Christian Hoareau, Ichiro Satoh. From model checking to data management in pervasive computing: a location-based query-processing framework. In Julie A. McCann, Mario Lauria, Domenico Cotroneo, Mark A. Baker, editors, Proceedings of the 2009 international conference on Pervasive services, ICPS '09, London, United Kingdom, July 13-17, 2009. pages 41-48, ACM, 2009. [doi]
Abstract is missing.