1362 search results - page 120 / 273 » Model Checking Large Network Protocol Implementations |
116
Voted
GLOBECOM
2007
IEEE
15 years 10 months ago
2007
IEEE
—The adaptation of structured P2P networks, i.e. Distributed Hash Tables (DHTs), to wireless ad-hoc networks has been investigated in recent years. Existing work assume all peers...
143
Voted
WOSP
2005
ACM
15 years 9 months ago
2005
ACM
In order to effectively validate the performance of software systems throughout their development cycle it is necessary to continuously build performance models from software mod...
118
Voted
NOSSDAV
2004
Springer
15 years 9 months ago
2004
Springer
We present a low-overhead media streaming system, called SRMS (Scalable Resilient Media Streaming) that can be used to scalably deliver streaming data to a large group of receiver...
148
Voted
CMS
2003
15 years 5 months ago
2003
The Border Gateway Protocol (BGP) is a critical component of the Internet routing infrastructure, used to distribute routing information between autonomous systems (ASes). It is hi...
121
click to vote
SAC
2010
ACM
15 years 10 months ago
2010
ACM
A large number of the MAC protocols proposed for establishing wireless sensor networks are based on the 802.11 standard. The trade-off in these protocols is the control packet ov...