288 search results - page 53 / 58 » Query-Based Model Checking of Ad Hoc Network Protocols |
149
Voted
SPAA
2005
ACM
15 years 10 months ago
2005
ACM
An important problem for wireless ad hoc networks has been to design overlay networks that allow time- and energy-efficient routing. Many local-control strategies for maintaining...
171
click to vote
JSAC
2007
15 years 4 months ago
2007
Abstract— Cooperative diversity facilitates spatio-temporal communications without requiring the deployment of physical antenna arrays. While physical layer studies on cooperativ...
150
click to vote
ICTAC
2005
Springer
15 years 10 months ago
2005
Springer
In distributed and mobile systems with volatile bandwidth and fragile connectivity, non-functional aspects like performance and reliability become more and more important. To forma...
150
click to vote
MOBIHOC
2006
ACM
16 years 4 months ago
2006
ACM
Traditionally, ad hoc networks have been viewed as a connected graph over which end-to-end routing paths had to be established. Mobility was considered a necessary evil that inval...
164
click to vote
MSWIM
2005
ACM
15 years 10 months ago
2005
ACM
Discrete-event network simulation is a major tool for the research and development of mobile ad-hoc networks (MANETs). These simulations are used for debugging, teaching, understa...