1922 search results - page 202 / 385 » Systems biology, models, and concurrency |
122
click to vote
BIB
2007
15 years 1 months ago
2007
Biological knowledge can be inferred from three major levels of information: molecules, organisms and ecologies. Bioinformatics is an established field that has made significant a...
121
click to vote
DIS
2010
Springer
14 years 11 months ago
2010
Springer
Identifying the characteristics of biological systems through physical experimentation, is restricted by the resources available, which are limited in comparison to the size of the...
CAV
2009
Springer
16 years 1 months ago
2009
Springer
Window Abstraction for Infinite Markov Chains Thomas A. Henzinger1 , Maria Mateescu1 , and Verena Wolf1,2 1 EPFL, Switzerland 2 Saarland University, Germany Abstract. We present an...
BIRTHDAY
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. Petri nets have been widely used to model and analyze concurrent systems. Their wide-spread use in this domain is, on one hand, facilitated by their simplicity and expres...
104
click to vote
BPM
2004
Springer
15 years 6 months ago
2004
Springer
While collaboration has become a basic requirement for many development environments, solutions for collaborative modeling are far from being satisfact1ory. OPCATeam, which relies ...