288 search results - page 37 / 58 » Query-Based Model Checking of Ad Hoc Network Protocols |
274
Voted
INFOCOM
2005
IEEE
15 years 7 months ago
2005
IEEE
Abstract— We present a model for the joint design of congestion control and media access control (MAC) for ad hoc wireless networks. Using contention graph and contention matrix,...
111
Voted
ISCC
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper studies the fairness with which competing flows share the channel in ad hoc networks using collision avoidance protocols. It is shown that the required multihop coordi...
115
click to vote
VTC
2007
IEEE
15 years 8 months ago
2007
IEEE
—In this paper, we study the use of IEEE 802.11e for priority based safety messaging for Inter-Vehicle Communications (IVC) in Vehicular Ad-Hoc Networks (VANET). The message prio...
109
click to vote
ICNP
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper presents an analytical model to compute the average service time and jitter experienced by a packet when transmitted in a saturated IEEE 802.11 ad hoc network. In contr...
120
click to vote
GLOBECOM
2007
IEEE
15 years 8 months ago
2007
IEEE
—In this paper, we clarify inter-link interference in wireless ad-hoc networks by using link-directional interference graphs (l-graph). Most of the interference graphs in the lit...