1180 search results - page 136 / 236 » Interaction Protocols in Agentis |
119
click to vote
DCOSS
2010
Springer
15 years 1 months 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 ...
117
Voted
ENTCS
2006
15 years 24 days ago
2006
We report on an experiment in combining Isabelle with automatic first-order arithmetic provers to increase automation on the verification of distributed protocols. As a case study...
128
click to vote
JCM
2006
15 years 23 days ago
2006
Session Initiation Protocol (SIP) is a new signaling protocol designed to establish multimedia sessions in telecommunication networks. In this paper, we suggest the extension of SI...
CHI
2008
ACM
16 years 1 months ago
2008
ACM
Every year almost 10 million children die before reaching the age of five despite the fact that two-thirds of these deaths could be prevented by effective low-cost interventions. ...
103
click to vote
IAT
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—Social conventions are useful self-sustaining protocols for groups to coordinate behavior without a centralized entity enforcing coordination. We perform an in-depth stu...