89 search results - page 3 / 18 » Towards Unified Dependability Modeling and Analysis |
128
click to vote
ECBS
2011
IEEE
14 years 1 months ago
2011
IEEE
—Model-based development techniques enable a high efficiency and the mastering of complexity. For many domains more than one model has to be used to express the relevant informat...
102
click to vote
IPMI
2003
Springer
16 years 2 months ago
2003
Springer
We formulate and interpret several registration methods in the context of a unified statistical and information theoretic framework. A unified interpretation clarifies the implici...
136
click to vote
CMSB
2007
Springer
15 years 8 months ago
2007
Springer
We give a description of a Petri net-based framework for modelling and analysing biochemical pathways, which unifies the qualitative, stochastic and continuous paradigms. Each per...
120
click to vote
IFIP13
2004
15 years 3 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...
143
click to vote
SIGSOFT
2003
ACM
16 years 2 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...