Sciweavers

65 search results - page 5 / 13
» Ad-hoc On-Demand Distance Vector Routing
Sort
View
ISSTA
2000
ACM
15 years 1 months ago
Verisim: Formal analysis of network simulations
—Network protocols are often analyzed using simulations. We demonstrate how to extend such simulations to check propositions expressing safety properties of network event traces ...
Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim...
ICWN
2004
14 years 11 months ago
Sustaining Performance Under Traffic Overload
In this paper, we investigate the performance of wireless ad hoc networks with traffic loads beyond saturation. While it is desirable to operate a network below saturation, an ad h...
Saman Desilva, Rajendra V. Boppana
DFN
2004
14 years 11 months ago
Prototype Implementation of Anycast-based Service Discovery for Mobile Ad Hoc Networks
: Mobile ad hoc networks are self-organized, and devices in such networks have to locate available services dynamically. We propose to utilize anycast for efficient service discove...
Jidong Wu, Oliver Stanze, Kilian Weniger, Martina ...
PERCOM
2003
ACM
15 years 2 months ago
Study of Distance Vector Routing Protocols for Mobile Ad Hoc Networks
We investigate the performance issues of destinationsequenced distance vector (DSDV) and ad-hoc on-demand distance vector (AODV) routing protocols for mobile ad hoc networks. Four...
Yi Lu, Weichao Wang, Yuhui Zhong, Bharat K. Bharga...
SIGMOBILE
2002
40views more  SIGMOBILE 2002»
14 years 9 months ago
Ad hoc on-demand multipath distance vector routing
Mahesh K. Marina, Samir Ranjan Das