288 search results - page 28 / 58 » Query-Based Model Checking of Ad Hoc Network Protocols |
117
click to vote
ICDCSW
2006
IEEE
15 years 8 months ago
2006
IEEE
In this paper we present a gossip based protocol for path discovery in Mobile Ad Hoc Networks (MANETs). While in the classical gossip algorithm each node forwards a packet with th...
123
click to vote
IFIP
2004
Springer
15 years 7 months ago
2004
Springer
Abstract— An ad hoc wireless network is an autonomous selforganizing system of mobile nodes connected by wireless links where nodes not in direct range communicate via intermedia...
124
click to vote
BROADNETS
2004
IEEE
15 years 5 months ago
2004
IEEE
Traditionally, the routing problem is addressed at the network layer, an approach that has been extended to the wireless realm. In wireless multihop networks, however, strict laye...
136
click to vote
GLOBECOM
2008
IEEE
15 years 8 months ago
2008
IEEE
—In this paper, we propose an analytical technique to evaluate the statistics of the channel estimation error in a simple multi-user ad hoc networking scenario. This problem is v...
ISCC
2009
IEEE
15 years 8 months ago
2009
IEEE
We investigate the problem of spreading information contents in a wireless ad hoc network. In our vision, information dissemination should satisfy the following requirements: (i) ...