Abstract
In this paper we introduce ASQue (Agent Sensor Queries), a query language for ad-hoc sensor networks. ASQue is formally defined (in B) and is based on a restricted form of first order logic. We present a scenario where ASQue might be used, and illustrate the network communication needed to extract a required piece of information from the network.
Original language | English |
---|---|
Title of host publication | 31st EUROMICRO Conference on Software Engineering and Advanced Applications, Proceedings |
Place of Publication | Piscataway, NJ |
Publisher | Institute of Electrical and Electronics Engineers (IEEE) |
Pages | 404-411 |
Number of pages | 8 |
ISBN (Print) | 0769524311 |
DOIs | |
Publication status | Published - 2005 |
Externally published | Yes |
Event | 31st EUROMICRO Conference on Software Engineering and Advanced Applications - Oporto, Portugal Duration: 30 Aug 2005 → 3 Sept 2005 |
Conference
Conference | 31st EUROMICRO Conference on Software Engineering and Advanced Applications |
---|---|
Country/Territory | Portugal |
City | Oporto |
Period | 30/08/05 → 3/09/05 |