1523 search results - page 25 / 305 » Detecting and Sketching the Common |
115
click to vote
CRYPTO
2011
Springer
13 years 9 months ago
2011
Springer
Abstract. We present EasyCrypt, an automated tool for elaborating security proofs of cryptographic systems from proof sketches—compact, formal representations of the essence of a...
102
click to vote
IPPS
2010
IEEE
14 years 7 months ago
2010
IEEE
In this work we consider the problem of monitoring information streams for anomalies in a scalable and efficient manner. We study the problem in the context of network streams wher...
112
click to vote
FIW
1998
14 years 11 months ago
1998
We present a method to systematically detect feature interactions in requirements, which are expressed as constraints on system event traces. We show its application on the lift sy...
72
Voted
COMCOM
2006
14 years 9 months ago
2006
Abstract-- We investigate statistical anomaly detection algorithms for detecting SYN flooding, which is the most common type of Denial of Service (DoS) attack. The two algorithms c...
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
This paper considers the problem of finding sparse solutions from multiple measurement vectors (MMVs) with joint sparsity. The solutions share the same sparsity structure, and th...