278 search results - page 51 / 56 » Reliability and route diversity in wireless networks |
JACM
2002
13 years 7 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: ...
IPOM
2007
Springer
14 years 1 months ago
2007
Springer
It is by now widely accepted that the arrival process of aggregate network traffic exhibits self-similar characteristics which result in the preservation of traffic burstiness (hig...
PIMRC
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract--Machine-to-Machine (M2M), an emerging communications paradigm, is a facilitator of data flows between machines used, e.g., in mission-critical applications. Focusing in t...
SIGCOMM
2009
ACM
14 years 1 months ago
2009
ACM
This demo illustrates the benefits of BitHoc, a standalone protocol for content sharing among spontaneous communities of mobile handhelds using wireless multi-hop connections. Bi...
GLOBECOM
2009
IEEE
14 years 2 months ago
2009
IEEE
—The provision of very high data rates in a ubiquitous and fair manner throughout the service area is a great challenge for 4G and beyond-4G wireless networks. Towards that end, ...