677 search results - page 11 / 136 » Automatized Verification of Ad Hoc Routing Protocols |
PERCOM
2004
ACM
14 years 8 months ago
2004
ACM
Current peer-to-peer file-sharing systems mostly work on wired networks. Mobile ad hoc network is characterized as multi-hop wireless communications between mobile devices. In thi...
ADHOCNETS
2009
Springer
14 years 3 months ago
2009
Springer
Experiments with wireless sensor networks have shown that unidirectional communication links are quite common. What is even more, they have also shown that the range of a unidirect...
INFOCOM
2000
IEEE
14 years 1 months ago
2000
IEEE
Ad hoc networks are characterized by multihop wireless connectivity, frequently changing network topology and the need for efficient dynamic routing protocols. We compare the perf...
ICWN
2004
13 years 10 months ago
2004
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...
INFOCOM
2006
IEEE
14 years 2 months ago
2006
IEEE
— We use a mathematical model based on Brownian motion to analyze the performance of Last Encounter Routing (LER), a routing protocol for ad hoc networks. Our results show that, ...