9051 search results - page 136 / 1811 » On detectability of stochastic systems |
192
click to vote
ICDCS
1999
IEEE
15 years 11 months ago
1999
IEEE
There is growing interest in run-time detection as parallel and distributed systems grow larger and more complex. This work targets run-time analysis of complex, interactive scien...
209
click to vote
INFSOF
2002
15 years 6 months ago
2002
We formally verify aspects of the rule-based expert system of IBM's System Automation software for IBM's zSeries mainframes. Starting with a formalization of the expert ...
222
click to vote
ACSAC
2010
IEEE
15 years 5 months ago
2010
IEEE
Research on network intrusion detection has produced a number of interesting results. In this paper, I look back to the NetSTAT system, which was presented at ACSAC in 1998. In ad...
189
click to vote
ISMIS
2005
Springer
16 years 13 days ago
2005
Springer
Abstract. We present an overview of anomaly detection used in computer security, and provide a detailed example of a host-based Intrusion Detection System that monitors file syste...