9067 search results - page 1572 / 1814 » Adaptive Model Checking |
144
click to vote
RSS
2007
15 years 8 months ago
2007
Abstract— This paper reviews a template for dynamical climbing originating in biology, explores its stability properties in a numerical model, and presents empirical data from a ...
207
click to vote
IASTEDSEA
2004
15 years 8 months ago
2004
Creating long-lived software systems requires a technology to build systems with good maintainability. One of the core ideas of the Model Driven Architecture (MDA) is to ease the ...
195
Voted
CCGRID
2010
IEEE
15 years 8 months ago
2010
IEEE
Markets of computing resources typically consist of a cluster (or a multi-cluster) and jobs that arrive over time and request computing resources in exchange for payment. In this p...
176
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: A mathematical model to understand, predict, control, or even design a real biological system is a central theme in systems biology. A dynamic biological system is alw...
172
click to vote
CONSTRAINTS
2007
15 years 7 months ago
2007
In the ECAD area, the Test Generation (TG) problem consists in finding an input vector test for some possible diagnosis (a set of faults) of a digital circuit. Such tests may have ...