2123 search results - page 9 / 425 » Composition of Cyber-Physical Systems |
IEEESP
2011
13 years 1 months ago
2011
We present a representative development in the science of security that includes a generic model of computer systems, their security properties and adversaries who actively interf...
FASE
2011
Springer
13 years 1 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
PERCOM
2010
ACM
13 years 8 months ago
2010
ACM
Abstract—Service composition schemes create high-level application services by combining several basic services. Service composition schemes for dynamic, open systems, such as th...
IWFM
2000
13 years 11 months ago
2000
Component-oriented development of software supports the adaptability and maintainability of large systems, in particular if requirements change over time and parts of a system hav...
TACAS
2010
Springer
13 years 7 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...