Sciweavers

7300 search results - page 252 / 1460
» Multi-modal network protocols
Sort
View
ICDE
2008
IEEE
214views Database» more  ICDE 2008»
16 years 6 months ago
Adjourn State Concurrency Control Avoiding Time-Out Problems in Atomic Commit Protocols
Abstract-- The use of atomic commit protocols in mobile adhoc networks involves difficulties in setting up reasonable timeouts for aborting a pending distributed transaction. This ...
George Samaras, Martin Hett, Panos K. Chrysanthis,...
FUIN
2006
142views more  FUIN 2006»
15 years 5 months ago
Comparing BDD and SAT Based Techniques for Model Checking Chaum's Dining Cryptographers Protocol
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 ...
Magdalena Kacprzak, Alessio Lomuscio, Artur Niewia...
ENTCS
2000
63views more  ENTCS 2000»
15 years 5 months ago
The Leader Election Protocol of IEEE 1394 in Maude
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...
Alberto Verdejo, Isabel Pita, Narciso Martí...
MDM
2007
Springer
119views Communications» more  MDM 2007»
15 years 11 months ago
A Failure Tolerating Atomic Commit Protocol for Mobile Environments
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...
Stefan Böttcher, Le Gruenwald, Sebastian Ober...
ESAS
2005
Springer
15 years 11 months ago
SKiMPy: A Simple Key Management Protocol for MANETs in Emergency and Rescue Operations
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...
Matija Puzar, Jon Andersson, Thomas Plagemann, Yve...