9821 search results - page 182 / 1965 » A Framework for the Development of Protocols |
181
click to vote
IDMS
1999
Springer
15 years 11 months ago
1999
Springer
This paper shows the use of protocols dynamically generated for a particular network environment and an application’s requirements. We have developed a novel system called PNUT (...
164
click to vote
IEEEARES
2006
IEEE
16 years 19 days ago
2006
IEEE
Distributed object systems for partitionable systems present a challenge, in that there is a trade-off between availability and consistency. Changes in one partition are not visib...
144
click to vote
IPPS
2006
IEEE
16 years 19 days ago
2006
IEEE
A self-stabilizing protocol is a brilliant framework for fault tolerance. It can recover from any number and any type of transient faults and eventually converge to its intended b...
222
click to vote
ACOM
2006
Springer
16 years 18 days ago
2006
Springer
Abstract. This paper explores the use of temporal logics in the context of communication protocols for multiagent systems. We concentrate on frameworks where protocols are used to ...
176
click to vote
CCS
2005
ACM
16 years 5 days ago
2005
ACM
d abstract) Prateek Gupta and Vitaly Shmatikov The University of Texas at Austin We present a cryptographically sound formal method for proving correctness of key exchange protoco...