10435 search results - page 152 / 2087 » Measuring system normality |
130
click to vote
SP
1996
IEEE
15 years 10 months ago
1996
IEEE
A method for anomaly detection is introduced in which "normal" is defined by short-range correlations in a process' system calls. Initial experiments suggest that t...
170
click to vote
IPPS
2005
IEEE
16 years 26 min ago
2005
IEEE
Traditional techniques for building dependable, highperformance distributed systems are too expensive for most non-critical systems, often causing dependability to be sidelined as...
191
click to vote
CSL
2007
Springer
16 years 17 days ago
2007
Springer
A focused proof system provides a normal form to cut-free proofs that structures the application of invertible and non-invertible inference rules. The focused proof system of Andre...
146
click to vote
SAC
2004
ACM
15 years 11 months ago
2004
ACM
Understanding the relationship among different distance measures is helpful in choosing a proper one for a particular application. In this paper, we compare two commonly used dis...
197
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
Abstract. A method based on dependency pairs for showing termination of functional programs on data structures generated by constructors with relations is proposed. A functional pr...