288 search results - page 10 / 58 » Query-Based Model Checking of Ad Hoc Network Protocols |
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
— We propose a spreading code medium access control (MAC) protocol with each node equipped with single transceiver for wireless ad hoc networks, based on the code division multip...
ACSD
2010
IEEE
13 years 5 months ago
2010
IEEE
We present a formal framework to evaluate stochastic properties of MANET protocols. It captures the interplay between stochastic behavior of protocols deployed at different network...
MONET
2007
13 years 7 months ago
2007
Efficient routing and medium access control (MAC) are very important for Mobile Ad hoc Networks (MANETs). Most existing routing and MAC protocols consider homogeneous ad hoc networ...
ADHOC
2006
13 years 7 months ago
2006
Unidirectional links in an ad hoc network can result from factors such as heterogeneity of receiver and transmitter hardware, power control or topology control algorithms, or diff...
PEWASUN
2004
ACM
14 years 29 days ago
2004
ACM
A mobile ad hoc network consists of mobile nodes that can move freely in an open environment. Communicating nodes in a wireless and mobile ad hoc network usually seek the help of ...