29046 search results - page 287 / 5810 » Computable Models |
134
click to vote
AAAI
2004
15 years 5 months ago
2004
Qualitative assessment of scientific computations is an emerging application area that applies a data-driven approach to characterize, at a high level, phenomena including conditi...
156
click to vote
NMELP
1994
15 years 8 months ago
1994
In this paper, we propose a new constructive characterization of those semantics for disjunctive logic programs which are extensions of the well-founded semantics for normal progra...
124
click to vote
DSN
2006
IEEE
15 years 10 months ago
2006
IEEE
Designing highly dependable systems requires a good understanding of failure characteristics. Unfortunately, little raw data on failures in large IT installations is publicly avai...
112
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Flux variability analysis is often used to determine robustness of metabolic models in various simulation conditions. However, its use has been somehow limited by the ...
168
click to vote
DEXAW
2005
IEEE
15 years 10 months ago
2005
IEEE
As the complexity of computing systems steadily increases, self-managing systems – as Autonomic Computing Systems (ACS) proposed by IBM – are an adequate approach to minimize ...