288 search results - page 7 / 58 » Query-Based Model Checking of Ad Hoc Network Protocols |
MSWIM
2009
ACM
14 years 6 days ago
2009
ACM
Cognitive Radio (CR) technology constitutes a new paradigm to provide additional spectrum utilization opportunities in wireless ad hoc networks. Recent research in this field has ...
MSWIM
2005
ACM
14 years 1 months ago
2005
ACM
WWIC
2007
Springer
14 years 1 months ago
2007
Springer
Vehicular ad-hoc networks (VANETs) offer a large number of new potential applications without relying on significant infrastructure. Many of these applications benefit from multi-h...
ADHOC
2005
13 years 7 months ago
2005
We consider a wireless ad hoc network composed of a set of wireless nodes distributed in a two dimensional plane. Several routing protocols based on the positions of the mobile ho...
SIMUTOOLS
2008
13 years 9 months ago
2008
Mobile Ad Hoc Networks (MANETs) have evolved in the last years into standards in the communication world. By definition, they do not need any network infrastructure to facilitate ...