1922 search results - page 125 / 385 » Systems biology, models, and concurrency |
112
click to vote
FSTTCS
2006
Springer
15 years 5 months ago
2006
Springer
In recent papers, the partial order reduction approach has been adapted to reason about the probabilities for temporal properties in concurrent systems with probabilistic behaviour...
CDC
2009
IEEE
15 years 6 months ago
2009
IEEE
—Motivated by the migration mechanisms of ecosystems, various extensions to biogeography-based optimization (BBO) are proposed. BBO is an original optimization method based on th...
SIAMAM
2000
15 years 1 months ago
2000
A simplified electrodiffusion model for rectangular current pulses in ionic channels of biological membranes is presented. Numerical simulations and a dynamical systems analysis of...
103
click to vote
AE
2001
Springer
15 years 6 months ago
2001
Springer
This is a time of increasing interdisciplinary research. Computer science is learning more from biology every day, enabling a plethora of new software techniques to flourish. And b...
144
click to vote
CONCURRENCY
2002
15 years 1 months ago
2002
: The accelerated development in Peer-to-Peer (P2P) and Grid computing has positioned them as promising next generation computing platforms. They enable the creation of Virtual Ent...