89 search results - page 3 / 18 » Towards Unified Dependability Modeling and Analysis |
188
Voted
ECBS
2011
IEEE
14 years 5 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...
140
Voted
IPMI
2003
Springer
16 years 6 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...
198
Voted
CMSB
2007
Springer
16 years 3 days 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...
161
Voted
IFIP13
2004
15 years 7 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...
190
Voted
SIGSOFT
2003
ACM
16 years 6 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...