4356 search results - page 332 / 872 » Communicating Transactions - (Extended Abstract) |
174
click to vote
ESAW
2003
Springer
16 years 6 hour 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...
189
click to vote
FM
2003
Springer
16 years 4 hour ago
2003
Springer
Abstract. UnifyingTheoriesofProgramming(UTP)canprovideaformalsemantic foundation not only for programming languages but also for more expressive specification languages. We believ...
179
click to vote
IFIP
2003
Springer
15 years 12 months 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-...
191
click to vote
EVOW
2010
Springer
15 years 12 months 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...
149
click to vote
INFOCOM
2002
IEEE
15 years 11 months 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 ...