2227 search results - page 22 / 446 » Reversibility and Models for Concurrency |
ESAW
2008
Springer
13 years 11 months ago
2008
Springer
The IODA methodology allows automated construction of models from an ontology, consisting of generic interactions that we can assign to families of agents. Thanks to the measuremen...
IMECS
2007
13 years 11 months ago
2007
— A pseudo-reverse approach is presented in this paper to analyze the evolutionary behaviour of enzymes. It employs the standard model of Nei and Gojobori [1] in a generalized fo...
CAV
2006
Springer
14 years 1 months ago
2006
Springer
Many multithreaded programs employ concurrent data types to safely share data among threads. However, highly-concurrent algorithms for even seemingly simple data types are difficul...
ATS
2004
IEEE
14 years 1 months ago
2004
IEEE
Logical reversibility occurs in low-power applications and is an essential feature of quantum circuits. Of special interest are reversible circuits constructed from a class of rev...
BMCBI
2007
13 years 10 months ago
2007
Background: Reverse engineering cellular networks is currently one of the most challenging problems in systems biology. Dynamic Bayesian networks (DBNs) seem to be particularly su...