1186 search results - page 127 / 238 » Goal-Oriented Interaction Protocols |
168
Voted
ENTCS
2006
15 years 5 months 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...
185
click to vote
JCM
2006
15 years 5 months 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...
179
click to vote
ICMCS
2010
IEEE
15 years 3 months ago
2010
IEEE
There is an ongoing explosion of interactive Internet applications. By nature, these applications require responsive clientserver data exchange and lossless, in-order delivery. In...
191
Voted
COMCOM
2011
15 years 19 days ago
2011
Key distribution in Wireless Sensor Networks (WSNs) is challenging. Symmetric cryptosystems can perform it efficiently, but they often do not provide a perfect trade-off between ...
172
click to vote
CORR
2011
Springer
15 years 19 days ago
2011
Springer
Herman’s algorithm is a synchronous randomized protocol for achieving self-stabilization in a token ring consisting of N processes. The interaction of tokens makes the dynamics o...