loading...
Hybrid Logics and Model Checking: A Recipe for Query Processing in Location-Aware Environments
March 25-March 28
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/AINA.2008.10722nd International Conference on Adva ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
We introduce a novel approach to handle location-dependent query processing in location-aware environments. We define a hybrid logic-based query language by building a semantic model that benefits from the well-founded model checking techniques. Our language is defined by four modal operators; it can express common location-dependent queries, and has the ability to deal with relative locations. A prototype implementation of the query engine is also presented and will be discussed.
Citation:
Christian Hoareau, Ichiro Satoh, "Hybrid Logics and Model Checking: A Recipe for Query Processing in Location-Aware Environments," aina, pp.130-137, 22nd International Conference on Advanced Information Networking and Applications (aina 2008), 2008
Usage of this product signifies your acceptance of the Terms of Use.