Monitoring distributed properties in networks of tiny wireless devices
Ştefan Gunǎ, Luca Mottola, Gian Pietro Picco · 2008
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.