Title :
Logic-inspired query processing framework for sensor networks
Author :
Hoareau, Christian ; Satoh, Ichiro
Author_Institution :
Grad. Univ. for Adv. Studies, Hayama
Abstract :
We present Chequery, a novel query processing framework that brings together model checking approaches and query processing techniques for sensor networks. In addition to its expressiveness, Chequery provides sound mechanisms available to sensor networkspsila administrators for building their data management-oriented tasks.
Keywords :
program verification; query processing; wireless sensor networks; Chequery methods; data management-oriented tasks; logic-inspired query processing; sensor networks; Acoustic sensors; Containers; Context modeling; Database languages; Informatics; Logic; Proposals; Query processing; Sensor systems; Wireless sensor networks;
Conference_Titel :
Networked Sensing Systems, 2008. INSS 2008. 5th International Conference on
Conference_Location :
Kanazawa
Print_ISBN :
978-4-907764-31-9
DOI :
10.1109/INSS.2008.4610875
