288 search results - page 35 / 58 » Query-Based Model Checking of Ad Hoc Network Protocols |
114
click to vote
INFOCOM
2007
IEEE
15 years 8 months ago
2007
IEEE
—We propose a distributed scheduling and active queue management mechanism for wireless ad hoc networks. The approach is based on a random access scheduler where the transmission...
171
Voted
MOBIHOC
2005
ACM
16 years 1 months ago
2005
ACM
This paper proposes a new principle for designing MAC protocols for spread spectrum based ad hoc networks ? inducing spatial clustering in contending transmitters/receivers. We fi...
164
Voted
ADHOC
2004
15 years 1 months ago
2004
In this paper, we study a new multicast paradigm for large scale mobile ad hoc networks, namely team multicast. In team multicast the multicast group does not consist of individua...
110
click to vote
JNW
2006
15 years 1 months ago
2006
In mobile ad hoc networks (MANETs), there is frequently disconnected a route consisting of multi-hop from a source to a destination because of the dynamic nature such as the topolo...
119
click to vote
WOWMOM
2005
ACM
15 years 7 months ago
2005
ACM
— This paper presents the ALCA (Asymmetric Link Collision Avoidance) protocol. ALCA was designed to deal with a known deficiency of the Basic Scheme [1] for power control in 802...