5374 search results - page 367 / 1075 » The induction of communication protocols |
189
click to vote
DALT
2004
Springer
16 years 8 days ago
2004
Springer
In this paper we address the challenges associated with the verification of correctness of communication between agents in MultiAgent Systems. Our approach applies model-checking ...
134
click to vote
SIGMOBILE
2008
15 years 6 months ago
2008
In this paper we advocate a service paradigm, profile-cast, within the communication framework of delay tolerant networks (DTN)[2]. This novel approach leverages the behavioral pat...
184
click to vote
INFOCOM
2006
IEEE
16 years 27 days ago
2006
IEEE
— Distributed time synchronization is an important part of a sensor network where sensing and actuation must be coordinated across multiple nodes. Several time synchronization pr...
179
click to vote
ICMCS
2010
IEEE
15 years 8 months ago
2010
IEEE
Alice and Bob possess sequences x and y respectively and would like to compute the 1 distance, namely x - y 1 under privacy and communication constraints. The privacy constraint r...
207
click to vote
PODC
2003
ACM
16 years 4 days ago
2003
ACM
Applications such as e-commerce payment protocols, electronic contract signing, and certified e-mail delivery require that fair exchange be assured. A fair-exchange protocol allo...