4305 search results - page 349 / 861 » Analysing Protocol Implementations |
169
click to vote
DSVIS
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
168
click to vote
FSTTCS
2005
Springer
16 years 7 days ago
2005
Springer
We construct a formal framework for investigating epistemic and temporal notions in the context of distributed quantum systems. While we rely on structures developed in [DDKP05], w...
150
click to vote
ICANN
2005
Springer
16 years 7 days ago
2005
Springer
This research employs unsupervised pattern recognition to approach the thorny issue of detecting anomalous network behavior. It applies a connectionist model to identify user behav...
151
click to vote
IDEAL
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. The work presented in this paper shows the capability of a connectionist model, based on a statistical technique called Exploratory Projection Pursuit (EPP), to identify ...
173
click to vote
TACAS
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. The Succinct Solver Suite offers two analysis engines for solving data and control flow problems expressed in clausal form in a large fragment of first order logic. Th...