677 search results - page 70 / 136 » Automatized Verification of Ad Hoc Routing Protocols |
DIALM
1999
ACM
14 years 1 days ago
1999
ACM
We consider routing problems in ad hoc wireless networks modeled as unit graphs in which nodes are points in the plane and two nodes can communicate if the distance between them is...
ICPPW
2005
IEEE
14 years 1 months ago
2005
IEEE
— In a typical mobile ad hoc network, mobile computing devices wander autonomously and communicate via temporary links in a self-organized computing system without any central ad...
INFOCOM
2003
IEEE
14 years 1 months ago
2003
IEEE
—The terrorist attacks on September 11, 2001 have drawn attention to the use of wireless technology in order to locate survivors of structural collapse. We propose to construct a...
LCN
2003
IEEE
14 years 1 months ago
2003
IEEE
Abstract—Many routing protocols have been proposed for wireless ad hoc networks, and most of them are based on some variants of flooding. Thus many routing messages are propagat...
WOWMOM
2005
ACM
14 years 1 months ago
2005
ACM
—Hybrid networks are a promising architecture that builds ad hoc, wireless networks around the existing cellular telephony infrastructure. In this paper we present DST, a routing...