288 search results - page 38 / 58 » Query-Based Model Checking of Ad Hoc Network Protocols |
129
Voted
TWC
2011
14 years 8 months ago
2011
Abstract—In this paper we consider wireless cooperative multihop networks, where nodes that have decoded the message at the previous hop cooperate in the transmission toward the ...
136
click to vote
INFOCOM
2007
IEEE
15 years 8 months ago
2007
IEEE
— Topology control and routing protocols are used by designers of wireless packet data networks to lower the node degree, simplify routing and lower the nodes’ energy consumpti...
136
Voted
ICDCS
2003
IEEE
15 years 7 months ago
2003
IEEE
With the proliferation of wireless devices, mobile ad hoc networking (MANET) has become a very exciting and important technology due to its characteristics of open medium and dyna...
136
click to vote
MSWIM
2003
ACM
15 years 7 months ago
2003
ACM
The seamless communication of data and voice over short-range, point-to-multipoint wireless links between mobile and/or stationary devices is becoming a reality by newly introduce...
131
Voted
TCOM
2010
14 years 8 months ago
2010
This paper presents a mathematical framework for the evaluation of the performance of proactive and reactive routing protocols in mobile ad hoc networks (MANETs). This unified fram...