2502 search results - page 82 / 501 » Using probabilistic model checking in systems biology |
144
Voted
BIOINFORMATICS
2006
15 years 3 months ago
2006
Motivation Quantitative estimation of the regulatory relationship between transcription factors and genes is a fundamental stepping stone when trying to develop models of cellular...
110
Voted
ICDCSW
2000
IEEE
15 years 8 months ago
2000
IEEE
We introduce a technique that can be used to model the behaviour of protocols. In our model each process within a protocol belongs to a particular class. A set of rules governs th...
119
Voted
SAFECOMP
2009
Springer
15 years 10 months ago
2009
Springer
A key concern in safety engineering is understanding the overall emergent failure behaviour of a system, i.e., behaviour exhibited by the system that is outside its specification ...
115
Voted
ACSD
2009
IEEE
15 years 10 months ago
2009
IEEE
We present a formal semantics for a subset of Verilog, commonly used to describe cell libraries, in terms of transition systems. Such transition systems can serve as input to symb...
131
Voted
PPDP
2004
Springer
15 years 9 months ago
2004
Springer
Object Petri nets (OPNs) provide a natural and modular method for modelling many real-world systems. We give a structure-preserving translation of OPNs to Prolog by encoding the O...