10435 search results - page 152 / 2087 » Measuring system normality |
99
Voted
SP
1996
IEEE
15 years 8 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...
128
Voted
IPPS
2005
IEEE
15 years 9 months 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...
155
Voted
CSL
2007
Springer
15 years 10 months 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...
116
click to vote
SAC
2004
ACM
15 years 9 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...
153
click to vote
CADE
2007
Springer
16 years 4 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...