Linearizability: a correctness condition for concurrent objects
ACM Transactions on Programming Languages and Systems (TOPLAS)
Proceedings of the 10th international conference on Architectural support for programming languages and operating systems
Cross-Layer Design for Data Accessibility in Mobile Ad Hoc Networks
Wireless Personal Communications: An International Journal
Cooperative Caching in Ad Hoc Networks
MDM '03 Proceedings of the 4th International Conference on Mobile Data Management
PAN: providing reliable storage in mobile ad hoc networks with probabilistic quorum systems
Proceedings of the 4th ACM international symposium on Mobile ad hoc networking & computing
An adaptive mesh-based protocol for geocast routing
Journal of Parallel and Distributed Computing - Special issue on Routing in mobile and wireless ad hoc networks
GeoTORA: a protocol for geocasting in mobile ad hoc networks
ICNP '00 Proceedings of the 2000 International Conference on Network Protocols
Replica allocation methods in ad hoc networks with data update
Mobile Networks and Applications
Locating cache proxies in manets
Proceedings of the 5th ACM international symposium on Mobile ad hoc networking and computing
A message ferrying approach for data delivery in sparse mobile ad hoc networks
Proceedings of the 5th ACM international symposium on Mobile ad hoc networking and computing
Tracking moving devices with the cricket location system
Proceedings of the 2nd international conference on Mobile systems, applications, and services
MDDV: a mobility-centric data dissemination algorithm for vehicular networks
Proceedings of the 1st ACM international workshop on Vehicular ad hoc networks
Versatile low power media access for wireless sensor networks
SenSys '04 Proceedings of the 2nd international conference on Embedded networked sensor systems
Distributed Computing
Perfect Simulations for Random Trip Mobility Models
ANSS '05 Proceedings of the 38th annual Symposium on Simulation
Mobility improves coverage of sensor networks
Proceedings of the 6th ACM international symposium on Mobile ad hoc networking and computing
Reliable Broadcast in Wireless Mobile Ad Hoc Networks
HICSS '06 Proceedings of the 39th Annual Hawaii International Conference on System Sciences - Volume 09
Location Management of Replicas Considering Data Update in Ad Hoc Networks
AINA '06 Proceedings of the 20th International Conference on Advanced Information Networking and Applications - Volume 01
Consistency Management among Replicas Using a Quorum System in Ad Hoc Networks
MDM '06 Proceedings of the 7th International Conference on Mobile Data Management
Geo-registers: An Abstraction for Spatial-Based Distributed Computing
OPODIS '08 Proceedings of the 12th International Conference on Principles of Distributed Systems
Regular register: an implementation in a churn prone environment
SIROCCO'09 Proceedings of the 16th international conference on Structural Information and Communication Complexity
Reliable operational services in MANETs by misbehavior-tolerant quorum systems
Proceedings of the 8th International Conference on Network and Service Management
Hi-index | 0.00 |
Ensuring the consistency and the availability of replicated data in highly mobile ad hoc networks is a challenging task because of the lack of a backbone infrastructure. Previous work provides strong data guarantees by limiting the motion and the speed of the mobile nodes during the entire system lifetime, and by relying on assumptions that are not realistic for most mobile applications. We provide a small set of mobility constraints that are sufficient to ensure strong data guarantees and that can be applied when nodes move along unknown paths and speed, and are sparsely distributed. In the second part of the paper, we analyze the problem of conserving energy while ensuring strong data guarantees, using quorum system techniques. We devise a condition necessary for a quorum system to guarantee data consistency and data availability under our mobility model. This condition shows the unsuitability of previous quorum systems and is the basis for a novel class of quorum systems suitable for highly mobile networks, called mobile dissemination quorum (MDQ) systems. We also show a MDQ system that is provably optimal in terms of communication cost by proposing an efficient implementation of a read/write atomic shared memory. The suitability of our mobility model and MDQ systems is validated through simulations using the random waypoint model and the restricted random waypoint on a city section. Finally, we apply our results to assist routing and coordinate the low duty cycle of mobile nodes while maintaining network connectivity.