677 search results - page 55 / 136 » Automatized Verification of Ad Hoc Routing Protocols |
VALUETOOLS
2006
ACM
14 years 2 months ago
2006
ACM
— Considered is a mobile ad hoc network consisting of three types of nodes (source, destination and relay nodes) and using the two-hop relay routing protocol. Packets at relay no...
ICDCSW
2007
IEEE
14 years 21 days ago
2007
IEEE
VANETs (Vehicle Ad hoc NETworks) are highly mobile wireless ad hoc networks targeted to support vehicular safety and other commercial applications. Conventional routing protocols ...
ICCS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We propose a distributed and adaptive topology management algorithm, called PATM (Priority-based Adaptive Topology Management), that constructs and maintains a connected ...
PIMRC
2010
IEEE
13 years 6 months ago
2010
IEEE
In this paper we show how game theory and Gibbs sampling techniques can be used to design a self-optimizing algorithm for minimizing end-to-end delays for all flows in a multi-clas...
INFOCOM
2007
IEEE
14 years 3 months ago
2007
IEEE
— Consider a large wireless ad hoc network that facilitates communication between random pairs of network nodes. The paper investigates the size of routing tables as the number o...