278 search results - page 51 / 56 » Reliability and route diversity in wireless networks |
113
click to vote
JACM
2002
14 years 11 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
15 years 5 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...
115
click to vote
PIMRC
2010
IEEE
14 years 9 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...
119
click to vote
SIGCOMM
2009
ACM
15 years 6 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...
104
click to vote
GLOBECOM
2009
IEEE
15 years 6 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, ...