1382 search results - page 109 / 277 » Strider: Configuration Modelling and Analysis of Complex Sys... |
119
click to vote
IFIP13
2004
15 years 2 months ago
2004
: Safety is now a major concern in many complex systems such as medical robots. A way to control the complexity of such systems is to manage risk. The first and important step of t...
121
click to vote
ACSAC
2001
IEEE
15 years 5 months ago
2001
IEEE
Software component technology facilitates the costeffective development of specialized applications. Nevertheless, due to the high number of principals involved in a component-str...
119
click to vote
ISAS
2004
Springer
15 years 7 months ago
2004
Springer
Analytical and simulative modeling for dependability and performance evaluation has been proven to be a useful and versatile approach in all the phases of the system life cycle. I...
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract— Symbolic models are abstract descriptions of continuous systems in which symbols represent aggregates of continuous states. In the last few years there has been a growi...
131
click to vote
CAISE
2010
Springer
15 years 2 months ago
2010
Springer
Abstract As service-based Internet systems get increasingly complex they become harder to manage at design time as well as at runtime. Nowadays, many systems are described in terms...