288 search results - page 20 / 58 » Query-Based Model Checking of Ad Hoc Network Protocols |
MOBIHOC
2003
ACM
15 years 2 months ago
2003
ACM
Reliable storage of data with concurrent read/write accesses (or query/update) is an ever recurring issue in distributed settings. In mobile ad hoc networks, the problem becomes e...
JSAC
2011
14 years 4 months ago
2011
— The growing interest in vehicular ad hoc networks (VANETs) enables decentralized traveler information systems to become more feasible and effective in Intelligent Transportatio...
ICC
2009
IEEE
15 years 4 months ago
2009
IEEE
—In this paper, we explore the feasibility of using Mobile Ad-hoc Networks (MANETs) for rural public safety. First, we discuss a QoS enhancement to a standard routing protocol, D...
89
Voted
COMCOM
2006
14 years 9 months ago
2006
One feature common to most existing routing protocols for wireless mobile ad hoc networks, or MANETs, is the need to flood control messages network-wide during the route acquisiti...
TWC
2011
14 years 4 months ago
2011
—In this paper, the performance of the ALOHA and CSMA MAC protocols are analyzed in spatially distributed wireless networks. The main system objective is correct reception of pac...