1980 search results - page 182 / 396 » Compositional Model Checking of Real Time Systems |
131
click to vote
ISSE
2007
15 years 1 months ago
2007
Increasingly, computer software must adapt dynamically to changing conditions. The correctness of adaptation cannot be rigorously addressed without precisely specifying the require...
141
click to vote
WWW
2010
ACM
15 years 9 months ago
2010
ACM
Web service composition enables seamless and dynamic integration of business applications on the web. The performance of the composed application is determined by the performance ...
116
click to vote
IPSN
2004
Springer
15 years 7 months ago
2004
Springer
This paper presents an approach for dynamic software reconfiguration in sensor networks. Our approach utilizes explicit models of the design space of the embedded application. The...
159
click to vote
CAV
1994
Springer
15 years 6 months ago
1994
Springer
We introduce event-recording automata. An event-recording automaton is a timed automaton that contains, for every event a, a clock that records the time of the last occurrence of a...
136
click to vote
SCP
2010
15 years 10 days ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...