2269 search results - page 335 / 454 » Behavioral Intrusion Detection |
ICALT
2008
IEEE
14 years 4 months ago
2008
IEEE
The Virtual Conductor is an artificial conducting system that uses real-time audio analysis of music played by musicians and uses this analysis to animate a virtual human that act...
ICCCN
2007
IEEE
14 years 4 months ago
2007
IEEE
— We present an attack containment framework against value-changing attacks in large-scale critical infrastructures, based on early warning and cooperative response approaches. W...
CAV
2007
Springer
14 years 4 months ago
2007
Springer
C32SAT is a tool for checking C expressions. It can check whether a given C expression can be satisfied, is tautological, or always defined according to the ISO C99 standard. C32...
ISCAS
2006
IEEE
14 years 4 months ago
2006
IEEE
— In this paper, we describe a simple second-order discrete-time model for the Transmission Control Protocol (TCP) with Random Early Detection (RED) algorithm. The TCP/RED mechan...
FATES
2004
Springer
14 years 3 months ago
2004
Springer
We present an extension of Tretmans’ theory and algorithm for test generation for input-output transition systems to real-time systems. Our treatment is based on an operational i...