154 search results - page 31 / 31 » Formal Behavioral Modeling and Compliance Analysis for Servi... |
ECAL
1995
Springer
13 years 9 months ago
1995
Springer
Arti cial Life and the more general area of Complex Systems does not have a uni ed theoretical framework although most theoretical work in these areas is based on simulation. This ...
SP
1998
IEEE
13 years 9 months ago
1998
IEEE
This paper presents results from analyzing the vulnerability of security-critical software applications to malicious threats and anomalous events using an automated fault injectio...
ATAL
2007
Springer
13 years 11 months ago
2007
Springer
In an election held in a noisy environment, agents may unintentionally perturb the outcome by communicating faulty preferences. We investigate this setting by introducing a theore...
SIGMETRICS
2005
ACM
13 years 11 months ago
2005
ACM
The growing cost of tuning and managing computer systems is leading to out-sourcing of commercial services to hosting centers. These centers provision thousands of dense servers w...