288 search results - page 38 / 58 » Query-Based Model Checking of Ad Hoc Network Protocols |
181
click to vote
TWC
2011
15 years 24 days 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 ...
182
click to vote
INFOCOM
2007
IEEE
16 years 5 days 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...
185
click to vote
ICDCS
2003
IEEE
15 years 11 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...
186
click to vote
MSWIM
2003
ACM
15 years 11 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...
180
click to vote
TCOM
2010
15 years 17 days 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...