1980 search results - page 195 / 396 » Compositional Model Checking of Real Time Systems |
113
click to vote
ASPDAC
2006
ACM
15 years 9 months ago
2006
ACM
- Early estimation of the execution time of Real-Time embedded SW is an essential task in complex, HW/SW embedded system design. Application SW execution time estimation requires t...
143
click to vote
ECOOP
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. The aim of component technology is the replacement of large monolithic applications with sets of smaller software components, whose particular functionality and interoper...
122
click to vote
TAP
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. In recent years, we see a growing awareness to the importance of assessing the quality of specifications. In the context of model checking, this can be done by analyzing ...
123
click to vote
IOT
2010
15 years 16 days ago
2010
Effectively assisting people in complex and highly dynamic work environment requires advances in high-level declarative activity models that can describe the flow of human work act...
135
click to vote
FOSSACS
2012
Springer
13 years 11 months ago
2012
Springer
Synthesis from components is the automated construction of a composite system from a library of reusable components such that the system satisfies the given specification. This i...