1590 search results - page 309 / 318 » On Channel-Discontinuity-Constraint Routing in Wireless Netw... |
JACM
2002
14 years 9 months 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: ...
MOBIHOC
2004
ACM
15 years 9 months ago
2004
ACM
In the near future, the advent of large-scale networks of mobile agents autonomously performing long-term sensing and communication tasks will be upon us. However, using controlle...
60
Voted
MOBISYS
2003
ACM
15 years 9 months ago
2003
ACM
We propose the Robust Overlay Architecture for Mobility (ROAM) to provide seamless mobility for Internet hosts. ROAM is built on top of the Internet Indirection Infrastructure (i3...
GLOBECOM
2009
IEEE
15 years 4 months ago
2009
IEEE
—In this paper we look at the problem of accurately reconstructing distributed signals through the collection of a small number of samples at a data gathering point. The techniqu...
HICSS
2003
IEEE
15 years 2 months ago
2003
IEEE
Bluetooth is a wireless networking technology specifically developed for Personal Area Networking and other short range applications. Bluetooth devices can be networked together ...