7329 search results - page 253 / 1466 » Network Extractor Protocols |
138
click to vote
FUIN
2006
15 years 4 months ago
2006
Abstract. We analyse different versions of the Dining Cryptographers protocol by means of automatic verification via model checking. Specifically we model the protocol in terms of ...
117
click to vote
ENTCS
2000
15 years 3 months ago
2000
In this paper we consider two descriptions in Maude of the leader election protocol from the IEEE 1394 serial multimedia bus. Particularly, the time aspects of the protocol are st...
154
click to vote
SIGCOMM
2012
ACM
13 years 6 months ago
2012
ACM
This paper proposes an improved version of a fully distributed routing protocol, that is applicable for cloud computing infrastructure. Simulation results shows the protocol is id...
121
click to vote
MDM
2007
Springer
15 years 10 months ago
2007
Springer
In traditional fixed-wired networks, standard protocols like 2-Phase-Commit are used to guarantee atomicity for distributed transactions. However, within mobile networks, a highe...
156
Voted
ESAS
2005
Springer
15 years 9 months ago
2005
Springer
Mobile ad-hoc networks (MANETs) provide the technical platform for efficient information sharing in emergency and rescue operations. Some the data present on the scene is highly c...