Disconnected operation in the Coda File System
ACM Transactions on Computer Systems (TOCS)
Isolation-only transactions for mobile computing
ACM SIGOPS Operating Systems Review
A mobile transaction model that captures both the data and movement behavior
Mobile Networks and Applications
Minimization of Communication Cost Through Caching in Mobile Environments
IEEE Transactions on Parallel and Distributed Systems
A performance comparison of multi-hop wireless ad hoc network routing protocols
MobiCom '98 Proceedings of the 4th annual ACM/IEEE international conference on Mobile computing and networking
A toggle transaction management technique for mobile multidatabases
Proceedings of the seventh international conference on Information and knowledge management
Transaction processing in PRO-MOTION
Proceedings of the 1999 ACM symposium on Applied computing
Network abstractions for context-aware mobile computing
Proceedings of the 24th International Conference on Software Engineering
Egocentric context-aware programming in ad hoc mobile environments
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Mobile Computing and Databases-A Survey
IEEE Transactions on Knowledge and Data Engineering
A Transaction Model for Mobile Computing
IDEAS '98 Proceedings of the 1998 International Symposium on Database Engineering & Applications
Maintaining consistency of data in mobile distributed environments
ICDCS '95 Proceedings of the 15th International Conference on Distributed Computing Systems
The price of validity in dynamic networks
SIGMOD '04 Proceedings of the 2004 ACM SIGMOD international conference on Management of data
RMAC: A Reliable Multicast MAC Protocol for Wireless Ad Hoc Networks
ICPP '04 Proceedings of the 2004 International Conference on Parallel Processing
Reliable and efficient message delivery in delay tolerant networks using rateless codes
Proceedings of the 1st international MobiSys workshop on Mobile opportunistic networking
A Local Data Abstraction and Communication Paradigm for Pervasive Computing
PERCOM '07 Proceedings of the Fifth IEEE International Conference on Pervasive Computing and Communications
Automatic consistency assessment for query results in dynamic environments
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
SICC: Source-Initiated Context Construction in Mobile Ad Hoc Networks
IEEE Transactions on Mobile Computing
Integrating participatory sensing in application development practices
Proceedings of the FSE/SDP workshop on Future of software engineering research
Fast track article: Using snapshot query fidelity to adapt continuous query execution
Pervasive and Mobile Computing
Virtual Tree: A robust architecture for interval valid queries in dynamic distributed systems
Journal of Parallel and Distributed Computing
Hi-index | 0.00 |
Queries are convenient abstractions for the discovery of information and services, as they offer content-based information access. In distributed settings, query semantics are well-defined, for example, queries are often designed to satisfy ACID transactional properties. When query processing is introduced in a dynamic network setting, achieving transactional semantics becomes complex due to the open and unpredictable environment. In this article, we propose a query processing model for mobile ad hoc and sensor networks that is suitable for expressing a wide range of query semantics; the semantics differ in the degree of consistency with which query results reflect the state of the environment during query execution. We introduce several distinct notions of consistency and formally express them in our model. A practical and significant contribution of this article is a protocol for query processing that automatically assesses and adaptively provides an achievable degree of consistency given the operational environment throughout its execution. The protocol attaches an assessment of the achieved guarantee to returned query results, allowing precise reasoning about a query with a range of possible semantics. We evaluate the performance of this protocol and demonstrate the benefits accrued to applications through examples drawn from an industrial application.