ACM Computing Surveys (CSUR)
A Hybrid Location Model with a Computable Location Identifier for Ubiquitous Computing
UbiComp '02 Proceedings of the 4th international conference on Ubiquitous Computing
A Context-Aware Data Management System for Ubiquitous Computing Applications
ICDCS '03 Proceedings of the 23rd International Conference on Distributed Computing Systems
On Data Management in Pervasive Computing Environments
IEEE Transactions on Knowledge and Data Engineering
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
Hybrid context modeling: A location-based scheme using ontologies
PERCOMW '06 Proceedings of the 4th annual IEEE international conference on Pervasive Computing and Communications Workshops
Survey of graph database models
ACM Computing Surveys (CSUR)
A data-oriented survey of context models
ACM SIGMOD Record
Provably Correct Pervasive Computing Environments
PERCOM '08 Proceedings of the 2008 Sixth Annual IEEE International Conference on Pervasive Computing and Communications
Principles of Model Checking (Representation and Mind Series)
Principles of Model Checking (Representation and Mind Series)
Query Language for Location-Based Services: A Model Checking Approach
IEICE - Transactions on Information and Systems
Context-Aware Data Management- An Object-Oriented Version Model
Context-Aware Data Management- An Object-Oriented Version Model
A unified semantics space model
LoCA'07 Proceedings of the 3rd international conference on Location-and context-awareness
Processing location-dependent queries with location granules
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems - Volume Part II
Location-based context retrieval and filtering
LoCA'06 Proceedings of the Second international conference on Location- and Context-Awareness
Journal of Systems and Software
Design and implementation of a space model server for indoor location-based services
Proceedings of the 2012 ACM Conference on Ubiquitous Computing
Hi-index | 0.00 |
This paper presents a query-processing framework for location-based services. The proposed approach aims at complementing existing context-aware services wherein locations of people, physical objects and services are modeled in a symbolic manner, independently of any sensing technology. To deliver contextual information to the various components of a pervasive computing platform, current systems tend to query the underlying location models in an ad-hoc manner. This makes it difficult to guarantee the quality of the results, and hence the reliability of context-aware services. The main idea behind our framework is to apply and adapt the principles of model checking to query the contextual data structures. Because such query mechanisms have to be sound, our approach is build upon a logic-based query language. We therefore ensure that the results of any query (i) do not miss any information that satisfy its necessary and sufficient conditions and (ii) do not contain any information that does not satisfy the conditions. We describe the implementation of or framework and discuss its applicability to existing graph-based location models.