420 search results - page 16 / 84 » Efficient Implementation of the Orlandi Protocol |
ESAS
2005
Springer
15 years 3 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...
TELSYS
2002
14 years 9 months ago
2002
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
106
click to vote
MST
2006
14 years 9 months ago
2006
Load balancing is a critical issue for the efficient operation of peerto-peer networks. We give two new load-balancing protocols whose provable performance guarantees are within a...
IPPS
1998
IEEE
15 years 1 months ago
1998
IEEE
In this paper, we propose several deadlock-free protocols for implementing the generalized alternative construct, where a process non-deterministically chooses between sending or ...
89
Voted
FORTE
1998
14 years 11 months ago
1998
: In this paper, we propose a technique for hardware implementation of protocol specifications in LOTOS. For the purpose, we define a new model called synchronous EFSMs consisting ...