A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Building Verifiable Sensing Applications Through Temporal Logic Specification
[chapter]
2007
Lecture Notes in Computer Science
Sensing is at the core of virtually every DDDAS application. Sensing applications typically involve distributed communication and coordination over large self-organized networks of heterogeneous devices with severe resource constraints. As a consequence, developers must explicitly deal with low-level details, making programming time-consuming and error-prone. To reduce this burden, current sensor network programming languages espouse a model that relies on packaged reusable components to
doi:10.1007/978-3-540-72584-8_157
fatcat:bzu4fxllvbhmngy3sg6zdxngmy