1592 search results - page 275 / 319 » Source-Tree Routing in Wireless Networks |
127
Voted
JACM
2002
15 years 5 days ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...
135
click to vote
MSWIM
2006
ACM
15 years 6 months ago
2006
ACM
In recent years different authors have proposed the used of random-walk-based algorithms for varying tasks in the networking community. These proposals include searching, routing...
115
Voted
IPSN
2003
Springer
15 years 5 months ago
2003
Springer
With the advancement of MEMS technologies, wireless networks consist of tiny sensor devices hold the promise of revolutionizing sensing in a wide range of application domains becau...
215
Voted
Lecture Notes
A comprehensive treatment of network security. Topics include remote access security, DMZ, firewalls, VPNs, PKI architecture, X.509 Public key infrastructure, web security, S-HTTP,...
94
Voted
CONEXT
2007
ACM
15 years 4 months ago
2007
ACM
In mobile ad-hoc networks, the multicast paradigm is of central importance. It can help to save scarce medium bandwidth if packets are to be delivered to multiple destinations. We...