The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
System architecture directions for networked sensors
ASPLOS IX Proceedings of the ninth international conference on Architectural support for programming languages and operating systems
The design of an acquisitional query processor for sensor networks
Proceedings of the 2003 ACM SIGMOD international conference on Management of data
Programming sensor networks using abstract regions
NSDI'04 Proceedings of the 1st conference on Symposium on Networked Systems Design and Implementation - Volume 1
Beyond average: toward sophisticated sensing with queries
IPSN'03 Proceedings of the 2nd international conference on Information processing in sensor networks
Hi-index | 0.01 |
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.