288 search results - page 12 / 58 » Query-Based Model Checking of Ad Hoc Network Protocols |
ICC
2009
IEEE
14 years 2 months ago
2009
IEEE
— The dynamic composition of systems of networked appliances, or virtual devices, in MANETs, enables users to generate, on-the-fly, complex strong specific systems. Current work ...
WIOPT
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract—In this paper, we present our results on the performance of MAC protocols in multi-hop wireless ad hoc networks in terms of the newly proposed metric “aggregate multi-...
PIMRC
2008
IEEE
14 years 1 months ago
2008
IEEE
—This paper considers the performance of the MAC protocols ALOHA and CSMA in wireless ad hoc networks, where the total system bandwidth may be divided into smaller subbands. In t...
TWC
2010
13 years 2 months ago
2010
In this paper, we evaluate the performance of a Medium Access Control (MAC) protocol for MIMO ad hoc networks under imperfect channel estimation. To this end, we also present an an...
GLOBECOM
2008
IEEE
13 years 8 months ago
2008
IEEE
— The use of directional antennae in ad hoc networks has received growing attention in recent years. However, most existing directional MAC protocols assume interchangeable direc...