• DocumentCode
    2729206
  • Title

    Logic-inspired query processing framework for sensor networks

  • Author

    Hoareau, Christian ; Satoh, Ichiro

  • Author_Institution
    Grad. Univ. for Adv. Studies, Hayama
  • fYear
    2008
  • fDate
    17-19 June 2008
  • Firstpage
    236
  • Lastpage
    236
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Networked Sensing Systems, 2008. INSS 2008. 5th International Conference on
  • Conference_Location
    Kanazawa
  • Print_ISBN
    978-4-907764-31-9
  • Type

    conf

  • DOI
    10.1109/INSS.2008.4610875
  • Filename
    4610875
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2729206