A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is
User requirements for sensor network applications can be expressed as spatial and temporal constraints on the events observed by sensor network nodes. In this paper a novel logic is introduced for expressing such sensor network requirements. The bi-modal requirements logic is based on timed propositional temporal logic and a one-hop spatial modal logic. The logic is used for expressing sensor network requirements, called spatialtemporal situations. In order to detect the occurrence ofdoi:10.1109/isola.2006.23 dblp:conf/isola/Cardell-OliverRK06 fatcat:yj73fmbnjvh33kes5gy6lculhe