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
Inquiry and Introspection for Non-deterministic Queries in Mobile Networks
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Automated Assessment of Aggregate Query Imprecision in Dynamic Environments
DAIS '09 Proceedings of the 9th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems
Partial constraint checking for context consistency in pervasive computing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Semantic self-assessment of query results in dynamic environments
ACM Transactions on Software Engineering and Methodology (TOSEM)
Fast track article: Using snapshot query fidelity to adapt continuous query execution
Pervasive and Mobile 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, e.g., they often satisfy ACID transactional properties. In a dynamic network setting, however, achieving transactional semantics becomes complex due to the openness and unpredictability. In this paper, we propose a query processing model for mobile ad hoc and sensor networks suitable for expressing a wide range of query semantics; the semantics differ in the degree of consistency with which results reflect the state of the environment during execution. We introduce several distinct notions of consistency and formalize them. A practical contribution of this paper is a protocol for query processing that automatically assesses and adaptively provides an achievable degree of consistency given the state of 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.