1098 search results - page 6 / 220 » System safety as an emergent property in composite systems |
104
Voted
CCR
2004
14 years 10 months ago
2004
The science of network service composition has emerged as one of the grand themes of networking research [17] as a direct result of the complexity and sophistication of emerging n...
72
Voted
CADE
2010
Springer
14 years 10 months ago
2010
Springer
115
Voted
TACAS
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...
78
Voted
SAFECOMP
2000
Springer
15 years 2 months ago
2000
Springer
Many safety-related systems are built from generic software which is customised to work in a particular situation by static configuration data. Examples of such systems are railwa...
106
Voted
APSEC
2008
IEEE
15 years 28 days ago
2008
IEEE
Reactive systems are often described by interconnecting sub-components along architectural connectors defining communication policies. Generally, such global systems may exhibit p...