3342 search results - page 378 / 669 » Automating Abstract Interpretation |
140
click to vote
CCR
2004
15 years 4 months ago
2004
Abstract-- This paper describes a system for automated generation of attack signatures for network intrusion detection systems. Our system applies pattern-matching techniques and p...
140
click to vote
MICCAI
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We present a novel approach to fully automated reconstruction of tree structures in noisy 2D images. Unlike in earlier approaches, we explicitly handle crossovers and bif...
137
click to vote
CAV
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Proofs of progress properties often require fairness assumptions. Incorporating global fairness assumptions in a compositional method is a challenge, however, given the l...
143
click to vote
IEAAIE
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. In this paper, we describe a framework for integrating workflow modelling techniques with a knowledge management approach that enables us to represent the problem-solving...
168
click to vote
FM
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...