2162 search results - page 66 / 433 » A Meta-Notation for Protocol Analysis |
121
click to vote
CSE
2009
IEEE
15 years 11 months ago
2009
IEEE
—Ceremonies are a useful tool to establish trust in scenarios where protocols operate. They describe a greater range of issues not taken into account by protocol designers. We ta...
176
click to vote
HICSS
1996
IEEE
15 years 8 months ago
1996
IEEE
The venerable problem solving technique of simulation finds itself inthe midstof a revolution. Where once it was regarded as a "technique of last resort" for systems ana...
132
click to vote
ADHOC
2008
15 years 4 months ago
2008
In this paper we present a novel probabilistic protocol for path discovery in Mobile Ad Hoc Networks (MANETs). The protocol implements what we call a polarized gossiping algorithm...
124
Voted
TON
1998
15 years 4 months ago
1998
This paper describes the analysis, implementation and performance of a new algorithm engineered to discipline a computer clock to a source of standard time, such as a GPS receiver...
129
Voted
TELSYS
2010
15 years 2 months ago
2010
In heterogeneous network environments, the network connections of a multi-homed device may have significant bandwidth differential. For a multihomed transmission protocol designed ...