Sciweavers

21 search results - page 5 / 5
» Specifying Component Invariants with OCL
Sort
View
ICCS
2007
Springer
13 years 8 months ago
Building Verifiable Sensing Applications Through Temporal Logic Specification
Abstract. Sensing is at the core of virtually every DDDAS application. Sensing applications typically involve distributed communication and coordination over large self-organized n...
Asad Awan, Ahmed H. Sameh, Suresh Jagannathan, Ana...