58 search results - page 8 / 12 » UML Modeling and Formal Verification of Control Data Driven ... |
RTSS
2007
IEEE
14 years 2 months ago
2007
IEEE
Wireless sensor network (WSN) applications have been studied extensively in recent years. Such applications involve resource-limited embedded sensor nodes that have small size and...
SAFECOMP
1998
Springer
13 years 11 months ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
SEUS
2007
IEEE
14 years 2 months ago
2007
IEEE
In this paper we propose event-driven power management techniques for wireless sensor networks. To accomplish this we model a sensor network application as a set of application-spe...
MODELS
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. UML activity diagrams have become an established notamodel control and data flow on various levels of abstraction, ranging from fine-grained descriptions of algorithms ...
DATE
2004
IEEE
13 years 11 months ago
2004
IEEE
Designing cost-sensitive real-time control systems for safetycritical applications requires a careful analysis of the cost/coverage trade-offs of fault-tolerant solutions. This fu...