4356 search results - page 332 / 872 » Communicating Transactions - (Extended Abstract) |
185
click to vote
ESAW
2003
Springer
16 years 22 days ago
2003
Springer
Abstract. In open agent societies, communication protocols and strategies cannot be assumed to always match perfectly, because they are typically specified by different designers...
218
Voted
FM
2003
Springer
16 years 22 days ago
2003
Springer
Abstract. UnifyingTheoriesofProgramming(UTP)canprovideaformalsemantic foundation not only for programming languages but also for more expressive specification languages. We believ...
201
click to vote
IFIP
2003
Springer
16 years 21 days ago
2003
Springer
Abstract. This position paper introduces the motivation and preliminary implementation issues of a distributed simulation middleware designed to increase the performance and speed-...
211
Voted
EVOW
2010
Springer
16 years 19 days ago
2010
Springer
Abstract. We analyze the convergence properties of our force based genetic algorithm(fga) as a decentralized topology control mechanism distributed among software agents. fga guide...
165
Voted
INFOCOM
2002
IEEE
16 years 13 days ago
2002
IEEE
Abstract—In this paper we propose an efficient on-line estimation algorithm for determining the size of a dynamic multicast group. By using diffusion approximation and Kalman ...