2874 search results - page 213 / 575 » Intrusion Detection: Systems and Models |
193
click to vote
ATC
2006
Springer
15 years 11 months ago
2006
Springer
Self-healing relies on correct diagnosis of system malfunctioning. This paper presents a use-case based approach to self-diagnosis. Both a static and a dynamic model of a managed-s...
179
click to vote
CAV
2003
Springer
16 years 12 days ago
2003
Springer
In previous work, we showed how structural information can be used to efficiently generate the state-space of asynchronous systems. Here, we apply these ideas to symbolic CTL model...
267
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
We present a unified model for face detection, pose estimation, and landmark estimation in real-world, cluttered images. Our model is based on a mixtures of trees with a shared p...
171
click to vote
IJON
2008
15 years 7 months ago
2008
A computational model of the peripheral auditory system is used to explain the paradoxical observation that discriminating between broadband noise sounds with and without high-fre...
194
click to vote
HYBRID
1995
Springer
15 years 10 months ago
1995
Springer
Uppaal is a new tool suit for automatic veri cation of networks of timed automata. In this paper we describe the diagnostic model-checking feature of Uppaal and illustrates its use...