1922 search results - page 120 / 385 » Systems biology, models, and concurrency |
128
click to vote
EVOW
2007
Springer
15 years 7 months ago
2007
Springer
Biomedical research has been revolutionized by high-throughput techniques and the enormous amount of biological data they are able to generate. The interest shown over network mode...
84
Voted
ICANN
2005
Springer
15 years 7 months ago
2005
Springer
We present an approach where we combine attention with value maps for the purpose of acquiring a decision-making policy for multiple concurrent goals. The former component is essen...
115
click to vote
ASM
2010
ASM
15 years 5 months ago
2010
ASM
Symmetry reduction is a model checking technique that can help alleviate the problem of state space explosion, by preventing redundant state space exploration. In previous work, we...
ASM
2008
ASM
15 years 3 months ago
2008
ASM
As systems become ever more complex, verification becomes more main stream. Event-B and Alloy are two formal specification languages based on fairly different methodologies. While...
107
click to vote
IFIP
2004
Springer
15 years 7 months ago
2004
Springer
We introduce a new synchronization problem in mobile ad-hoc systems: the Driving Philosophers. In this problem, an unbounded number of driving philosophers (processes) access a rou...