1922 search results - page 40 / 385 » Systems biology, models, and concurrency |
132
Voted
BIB
2010
15 years 2 months ago
2010
PathwayTools is a production-quality software environment for creating a type of model-organism database called a Pathway/Genome Database (PGDB). A PGDB such as EcoCyc integrates ...
112
click to vote
SIAMSC
2008
15 years 1 months ago
2008
Many important physiological processes operate at time and space scales far beyond those accessible to atom-realistic simulations, and yet discrete stochastic rather than continuum...
78
Voted
DEXAW
2003
IEEE
15 years 7 months ago
2003
IEEE
Bi-lateral negotiations represent an important class of encounter in agent-based systems. To this end, this paper develops and evaluates a heuristic model that enables an agent to...
130
Voted
FM
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
109
Voted
GECCO
2008
Springer
15 years 2 months ago
2008
Springer
Liveness properties in concurrent systems are, informally, those properties that stipulate that something good eventually happens during execution. In order to prove that a given ...