1954 search results - page 114 / 391 » Modelling Coordination in Biological Systems |
188
click to vote
EVOW
2007
Springer
16 years 19 days 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...
127
click to vote
DSOM
2005
Springer
15 years 12 months ago
2005
Springer
Dynamic provisioning systems change application capacity in order to use enough resources to accommodate current load. Rejuvenation systems detect/forecast software failures and te...
182
click to vote
ASM
2010
ASM
15 years 9 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...
163
click to vote
ASM
2008
ASM
15 years 8 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...
140
click to vote
BIOSYSTEMS
2008
15 years 6 months ago
2008
This paper investigates how self-organisation might be harnessed for the manipulation and control of calcium oscillations. Calcium signalling mechanisms are responsible for a numb...