677 search results - page 50 / 136 » Automatized Verification of Ad Hoc Routing Protocols |
ETFA
2005
IEEE
14 years 2 months ago
2005
IEEE
Ad hoc networks are characterized by dynamic topology caused by node mobility, multihop wireless connectivity and channel non-deterministic behavior (interference, multipath, hidd...
MOBIHOC
2006
ACM
14 years 8 months ago
2006
ACM
Vehicular ad hoc networks (VANETs) using WLAN technology have recently received considerable attention. The evaluation of VANET routing protocols often involves simulators since m...
SENSYS
2003
ACM
14 years 2 months ago
2003
ACM
We present a technique for compression of shortest paths routing tables for wireless ad hoc networks. The main characteristic of such networks is that geographic location of nodes...
BROADNETS
2006
IEEE
14 years 2 months ago
2006
IEEE
Secure routing protocols for mobile ad hoc networks have been developed recently, yet, it has been unclear what are the properties they achieve, as a formal analysis of these prot...
MOBIHOC
2001
ACM
14 years 8 months ago
2001
ACM
In most studies on mobile ad hoc networks (MANET), simulation models are used for the evaluation of devices and protocols. Typically, such simulations focus on the specific higher...