机译:容错拍卖协议的规范性说明:英语拍卖案例研究
DTU Informatics, Technical University of Denmark, Lyngby, Denmark;
Department of Computer Science, University of Bologna, Bologna, Italy;
declarative specification of market mechanisms; rule based specification; open dynamic; multiagent systems; english auction protocol; fault tolerant agent communication;
机译:建立规范性拍卖的声明框架
机译:安全电子英语拍卖协议的分类法
机译:基于拍卖的网络虚拟化环境中多基础架构提供商合作的容错算法
机译:使用逻辑编程的组合式拍卖的声明性规范和解决方案
机译:容错多版本软件的规范:设计多样性方法的实验研究。
机译:健康拍卖:评估实验(HAVE)研究方案
机译:使用逻辑编程的组合拍卖的声明性规范和解决方案