1980 search results - page 57 / 396 » Compositional Model Checking of Real Time Systems |
114
click to vote
WORDS
2005
IEEE
15 years 5 months ago
2005
IEEE
: The development of real-time systems that are distributed over a wide area is a significant problem that has challenged researchers for many years. Such systems require precise t...
115
click to vote
OTM
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. The creation of distributed applications requires sophisticated compositions, as various components — supporting application logic or non-functional requirements — mu...
114
click to vote
ECRTS
2006
IEEE
15 years 5 months ago
2006
IEEE
As real-time and embedded systems become increasingly large and complex, the traditional strictly static approach to memory management begins to prove untenable. The challenge is ...
FORMATS
2005
Springer
15 years 5 months ago
2005
Springer
Timed automata (TA) are a widely used model for real-time systems. Several tools are dedicated to this model, and they mostly implement a forward analysis for checking reachability...
EDOC
2000
IEEE
15 years 4 months ago
2000
IEEE
Practical experience indicates that the definition of realworld workflow applications is a complex and error-prone process. Existing workflow management systems provide the means,...