monitoring distributed properties in networks of tiny wireless devices
In this extended abstract we present a framework for monitoring distributed properties in networks of tiny embedded devices. The system consists of a high-level declarative language to express properties and of a flexible runtime that monitors the properties in a fully decentralized fashion.
wireless sensor networks property monitoring