677 search results - page 122 / 136 » Automatized Verification of Ad Hoc Routing Protocols |
MOBIHOC
2004
ACM
14 years 1 months ago
2004
ACM
In this work, we develop an analytical framework to investigate the behavior of the communication links of a node in a random mobility environment. Analytical expressions characte...
MOBIHOC
2006
ACM
14 years 7 months ago
2006
ACM
Geographic ad hoc networks use position information for routing. They often utilize stateless greedy forwarding and require the use of recovery algorithms when the greedy approach...
AICCSA
2005
IEEE
14 years 1 months ago
2005
IEEE
— Mobile ad hoc networks (MANETs) provide a powerful and dynamic platform to enable mobile computers to establish communications without an existing infrastructure. In order to p...
PERCOM
2007
ACM
14 years 7 months ago
2007
ACM
Overlay Networks (ONs) are logical networks built on top of a physical network with the aim of moving part of the routing complexity to the application layer. At the same time, sen...
MSWIM
2005
ACM
14 years 1 months ago
2005
ACM
In this paper, we consider the security of geographical forwarding (GF) – a class of algorithms widely used in ad hoc and sensor networks. In GF, neighbors exchange their locati...