2269 search results - page 335 / 454 » Behavioral Intrusion Detection |
130
click to vote
ICALT
2008
IEEE
15 years 11 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...
127
Voted
ICCCN
2007
IEEE
15 years 11 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...
102
Voted
CAV
2007
Springer
15 years 10 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...
107
Voted
ISCAS
2006
IEEE
15 years 10 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...
139
click to vote
FATES
2004
Springer
15 years 10 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...