Formal semantics of SQL queries
ACM Transactions on Database Systems (TODS)
Next century challenges: Nexus—an open global infrastructure for spatial-aware applications
MobiCom '99 Proceedings of the 5th annual ACM/IEEE international conference on Mobile computing and networking
Location Models from the Perspective of Context-Aware Applications and Mobile Ad Hoc Networks
Personal and Ubiquitous Computing
A Location Model for Communicating and Processing of Context
Personal and Ubiquitous Computing
Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR
TACAs '96 Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Modeling Moving Objects for Location Based Services
IMWS '01 Revised Papers from the NSF Workshop on Developing an Infrastructure for Mobile and Wireless Systems
Handbook of automated reasoning
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
Model Checking for Combined Logics with an Application to Mobile Systems
Automated Software Engineering
CTL Model Checking for Processing Simple XPath Queries
TIME '04 Proceedings of the 11th International Symposium on Temporal Representation and Reasoning
On location models for ubiquitous computing
Personal and Ubiquitous Computing
A Location Model for Pervasive Computing Environments
PERCOM '05 Proceedings of the Third IEEE International Conference on Pervasive Computing and Communications
Proceedings of the 2009 international conference on Pervasive services
| Hi-index | 0.00 |
We present a model checking approach to the rationale, implementation, and applications of a query language for location-based services. Such query mechanisms are necessary so that users, objects, and/or services can effectively benefit from the location-awareness of their surrounding environment. The underlying data model is founded on a symbolic model of space organized in a tree structure. Once extended to a semantic model for modal logic, we regard location query processing as a model checking problem, and thus define location queries as hybrid logic-based formulas. Our approach is unique to existing research because it explores the connection between location models and query processing in ubiquitous computing systems, relies on a sound theoretical basis, and provides modal logic-based query mechanisms for expressive searches over a decentralized data structure. A prototype implementation is also presented and will be discussed.