8644 search results - page 71 / 1729 » On the Composition of Secure Systems |
IEEEARES
2006
IEEE
14 years 3 months ago
2006
IEEE
HYBRID
1998
Springer
14 years 1 months ago
1998
Springer
EMSOFT
2004
Springer
14 years 2 months ago
2004
Springer
In reactive systems, execution is driven by external events to which the system should respond with appropriate actions. Such events can be simple, but systems are often supposed ...
SNPD
2008
13 years 10 months ago
2008
This paper focuses on studying efficient solutions for modeling and deriving compositional tests for component-based real-time systems. In this work, we propose a coherent framewo...
JSS
2007
13 years 9 months ago
2007
Designing large software systems out of reusable components has become increasingly popular. Although liberal composition of reusable components saves time and expense, many exper...