Sciweavers

9821 search results - page 313 / 1965
» A Framework for the Development of Protocols
Sort
View
ESOP
2005
Springer
16 years 10 days ago
Computationally Sound, Automated Proofs for Security Protocols
Since the 1980s, two approaches have been developed for analyzing security protocols. One of the approaches relies on a computational model that considers issues of complexity and ...
Véronique Cortier, Bogdan Warinschi
IPTPS
2004
Springer
16 years 5 days ago
Diminished Chord: A Protocol for Heterogeneous Subgroup Formation in Peer-to-Peer Networks
In most of the P2P systems developed so far, all nodes play essentially the same role. In some applications, however, different machine capabilities or owner preferences may mean ...
David R. Karger, Matthias Ruhl
INFOCOM
2003
IEEE
16 years 3 days ago
An FDD Wideband CDMA MAC Protocol for Wireless Multimedia Networks
Abstract—A medium access control (MAC) protocol is developed for wireless multimedia networks based on frequency division duplex (FDD) wideband code division multiple access (CDM...
Xudong Wang
SRDS
1999
IEEE
15 years 11 months ago
An Adaptive Checkpointing Protocol to Bound Recovery Time with Message Logging
Numerous mathematical approaches have been proposed to determine the optimal checkpoint interval for minimizing total execution time of an application in the presence of failures....
Kuo-Feng Ssu, Bin Yao, W. Kent Fuchs
MOBICOM
1998
ACM
15 years 11 months ago
A Performance Comparison of Multi-Hop Wireless Ad Hoc Network Routing Protocols
An ad hoc network is a collection of wireless mobile nodes dynamically forming a temporary network without the use of any existing network infrastructure or centralized administra...
Josh Broch, David A. Maltz, David B. Johnson, Yih-...