1294 search results - page 165 / 259 » Routing Metrics and Protocols for Wireless Mesh Networks |
201
click to vote
JACM
2002
15 years 6 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: ...
164
click to vote
COMSWARE
2007
IEEE
16 years 23 days ago
2007
IEEE
— Wireless sensor networks have attracted significant interest for various scientific, military, and e-health applications. Recently a new class of sensor networks “sensor/ac...
198
click to vote
GLOBECOM
2006
IEEE
16 years 15 days ago
2006
IEEE
— The use of wireless sensor networks for gathering environmental and safety-critical data in real time is increasing at a rapid rate. Some of the main criteria in designing sens...
172
click to vote
ICMCS
2006
IEEE
16 years 14 days ago
2006
IEEE
Exploiting directional antenna technology in wireless networks has become an attractive option because of the potential capacity increase through spatial reuse. Such development a...
173
click to vote
ICDCS
1996
IEEE
15 years 10 months ago
1996
IEEE
Mobile hosts in a wireless network can move from one location to another while communicating with other hosts. A challenge is to provide seamless network access for mobile hosts a...