3104 search results - page 581 / 621 » Using quantitative analysis to implement autonomic IT system... |
102
click to vote
CONCURRENCY
2002
14 years 11 months ago
2002
In this paper, we outline the design of a recommendation system (MyPYTHIA) implemented as a web portal. MyPYTHIA's design objectives include evaluating the quality and perfor...
130
click to vote
PE
2000
Springer
14 years 11 months ago
2000
Springer
Conventional methods for state space exploration are limited to the analysis of small systems because they suffer from excessive memory and computational requirements. We have dev...
100
click to vote
ER
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Of particular concern in requirements engineering is the selection of requirements to implement in the next release of a system. To that end, there has been recent work o...
100
click to vote
JSC
2010
14 years 10 months ago
2010
We study the automated verification of pointer safety for heap-manipulating imperative programs with unknown procedure calls. Given a Hoare-style partial correctness specificati...
MICS
2010
14 years 10 months ago
2010
We revisit the problem of computing the topology and geometry of a real algebraic plane curve. The topology is of prime interest but geometric information, such as the position of...