562 search results - page 52 / 113 » Agent communication transfer protocol |
CORR
2006
Springer
14 years 12 months ago
2006
Springer
We consider the model of population protocols introduced by Angluin et al. [AAD+ 04], in which anonymous finite-state agents stably compute a predicate of the multiset of their in...
AI
2010
Springer
15 years 2 hour ago
2010
Springer
Delegation is a foundational concept for understanding and engineering systems that interact and execute tasks autonomously. By extending recent work on tensed action logic, it be...
105
click to vote
DCOSS
2010
Springer
15 years 1 days ago
2010
Springer
Synchronization is widely considered as an important service in distributed systems which may simplify protocol design. Phase clock is a general synchronization tool that provides ...
107
click to vote
RSP
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
ICC
2008
IEEE
15 years 6 months ago
2008
IEEE
—Deep space communications are an important research line in scientific community. The possibility of performing the communication between earth and other planets is an excitant ...