3765 search results - page 367 / 753 » Formal Methods for Systems Engineering Behavior Models |
193
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: Quasi-steady state approximation (QSSA) based on time-scale analysis is known to be an effective method for simplifying metabolic reaction system, but the conventional...
175
click to vote
FGCS
2006
15 years 6 months ago
2006
In this work we present a predictive analytical model that encompasses the performance and scaling characteristics of a nondeterministic particle transport application, MCNP (Mont...
191
click to vote
ICMLA
2009
15 years 4 months ago
2009
In sequential decision making under uncertainty, as in many other modeling endeavors, researchers observe a dynamical system and collect data measuring its behavior over time. The...
153
click to vote
EXPCS
2007
15 years 10 months ago
2007
We present an active measurement study of the routing dynamics induced by AS-path prepending, a common method for controlling the inbound traffic of a multi-homed ISP. Unlike oth...
185
Voted
CGF
2004
15 years 6 months ago
2004
Animation of viscoelastic solids in entertainment and medical applications as well as scientific simulation can be improved through observations of real world objects. This paper ...