loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
22nd International Conference on Advanced Information Networking and Applications (aina 2008)
Hybrid Logics and Model Checking: A Recipe for Query Processing in Location-Aware Environments
March 25-March 28
ISBN: 978-0-7695-3095-6
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.