98 search results - page 7 / 20 » A cohesive framework to quantify computer systems assurance |
CLUSTER
2009
IEEE
14 years 1 months ago
2009
IEEE
—Power has recently been recognized as one of the major obstacles in fielding a Peta-FLOPs class system. To reach Exa-FLOPs, the challenge will certainly be compounded. In this ...
HYBRID
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system...
FC
2006
Springer
13 years 10 months ago
2006
Springer
Reputation systems aggregate mutual feedback of interacting peers into a "reputation" metric for each participant. This is then available to prospective service "req...
CDC
2008
IEEE
13 years 9 months ago
2008
IEEE
This paper introduces a real rational module framework in the context of Prediction Error Identification using Box-Jenkins model structures. This module framework, which can easily...
EDBTW
2010
Springer
14 years 1 months ago
2010
Springer
Published data is prone to privacy attacks. Sanitization methods aim to prevent these attacks while maintaining usefulness of the data for legitimate users. Quantifying the trade-...