3104 search results - page 133 / 621 » Using quantitative analysis to implement autonomic IT system... |
126
click to vote
CNSR
2008
IEEE
15 years 10 months ago
2008
IEEE
Attacks and intrusions to information systems cause large revenue losses. The prevention of these attacks is not always possible by just considering information from isolated sour...
149
click to vote
ISLPED
2010
ACM
15 years 1 months ago
2010
ACM
Abstract--As a replacement for the fast-fading GloballySynchronous model, we have defined a flexible design style called GRLS, for Globally-Ratiochronous, Locally-Synchronous, whic...
159
click to vote
ESORICS
2012
Springer
13 years 6 months ago
2012
Springer
Although recent compromises and admissions have given new credibility to claimed encounters of Man-in-the-middle (MitM) attacks on SSL/TLS, very little proof exists in the public r...
142
click to vote
ASAP
2000
IEEE
15 years 8 months ago
2000
IEEE
High level modeling and (quantitative) performance analysis of signal processing systems requires high level models for the applications(algorithms) and the implementations (archi...
135
click to vote
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
We present an overview of the Jahob system for modular analysis of data structure properties. Jahob uses a subset of Java as the implementation language and annotations with formu...