9504 search results - page 314 / 1901 » Dynamic Substitution Model |
182
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
We are interested in verifying dynamic properties of finite state reactive systems under fairness assumptions by model checking. The systems we want to verify are specified throug...
198
click to vote
BMCBI
2006
15 years 7 months ago
2006
Background: Dynamic modeling of metabolic reaction networks under in vivo conditions is a crucial step in order to obtain a better understanding of the (dis)functioning of living ...
205
click to vote
BMCBI
2005
2005
A microarray data-based semi-kinetic method for predicting quantitative dynamics of genetic networks
15 years 7 months ago
Background: Elucidating the dynamic behaviour of genetic regulatory networks is one of the most significant challenges in systems biology. However, conventional quantitative predi...
171
click to vote
OTM
2005
Springer
16 years 22 days ago
2005
Springer
This paper proposes a model for integrating a higher level Semantic Grid Middleware with Web Service Resource Framework (WSRF) that extends the prototype presented in [1] informed ...
168
click to vote
MABS
1998
Springer
15 years 11 months ago
1998
Springer
This paper concerns agent based experiments in the field of negotiation and exchange simulation. A computer simulation environment is built, showing the emergence of chaotic price ...