3104 search results - page 345 / 621 » Using quantitative analysis to implement autonomic IT system... |
171
click to vote
INFFUS
2006
15 years 6 months ago
2006
Fusionplex is a system for integrating multiple heterogeneous and autonomous information sources that uses data fusion to resolve factual inconsistencies among the individual sour...
155
click to vote
ACSAC
2007
IEEE
16 years 27 days ago
2007
IEEE
Security-typed languages (STLs) are powerful tools for provably implementing policy in applications. The programmer maps policy onto programs by annotating types with information ...
222
click to vote
PROMISE
2010
15 years 1 months ago
2010
Background. Software defect prediction has been one of the central topics of software engineering. Predicted defect counts have been used mainly to assess software quality and est...
215
click to vote
TII
2008
15 years 6 months ago
2008
Abstract--Safety analysis in Systems Engineering (SE) processes, as usually implemented, rarely relies on formal methods such as model checking since such techniques, however power...
206
click to vote
OOPSLA
2004
Springer
15 years 12 months ago
2004
Springer
This paper reports on the design and implementation of Chianti, a change impact analysis tool for Java that is implemented in the context of the Eclipse environment. Chianti analy...