2502 search results - page 270 / 501 » Using probabilistic model checking in systems biology |
160
click to vote
RE
2001
Springer
15 years 11 months ago
2001
Springer
at different levels of abstraction. There are two very different ways of using such languages. One approach is based on the manifestation of a single model, with construction of di...
179
click to vote
SIGMOD
2003
ACM
16 years 6 months ago
2003
ACM
In modern application domains such as multimedia, molecular biology and medical imaging, similarity search in database systems is becoming an increasingly important task. Especial...
195
click to vote
HICSS
2007
IEEE
16 years 29 days ago
2007
IEEE
This paper presents a graph transformation based approach to design pattern evolution. An evolution of a design pattern includes modifications of pattern elements, such as classes...
173
click to vote
IEEESCC
2005
IEEE
16 years 6 days ago
2005
IEEE
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...
160
click to vote
SAFECOMP
2005
Springer
16 years 3 days ago
2005
Springer
Event trees are a popular technique for modelling accidents in system safety analyses. Bayesian networks are a probabilistic modelling technique representing influences between unc...