2162 search results - page 183 / 433 » A Meta-Notation for Protocol Analysis |
173
click to vote
MOBICOM
2000
ACM
15 years 10 months ago
2000
ACM
An on-demand routing protocol for wireless ad hoc networks is one that searches for and attempts to discover a route to some destination node only when a sending node originates a...
152
click to vote
IMC
2006
ACM
15 years 12 months ago
2006
ACM
Network managers are inevitably called upon to associate network traffic with particular applications. Indeed, this operation is critical for a wide range of management functions...
184
click to vote
CCS
2005
ACM
15 years 11 months ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...
148
click to vote
ICDCS
2006
IEEE
16 years 1 days ago
2006
IEEE
Peer-to-peer (P2P) technology has been successfully applied in Internet telephony or Voice over Internet Protocol (VoIP), such as the Skype system, where P2P is used for both sear...
166
click to vote
LCN
2006
IEEE
16 years 5 hour ago
2006
IEEE
— Recent advance in IEEE 802.11 based standard has pushed the wireless bandwidth up to 600Mbps while keeping the same wireless medium access control (MAC) schemes for full backwa...