1592 search results - page 27 / 319 » The state of the email address |
RAID
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. In this work we present a NIDS cluster as a scalable solution for realizing high-performance, stateful network intrusion detection on commodity hardware. The design addre...
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
— This paper addresses the exact transformation of nonlinear systems into a multiple model form with unmeasurable premise variables. The multiple model structure serves to treat ...
GI
2009
Springer
15 years 4 months ago
2009
Springer
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...
CIVR
2004
Springer
15 years 3 months ago
2004
Springer
We address the problem of classifying scenes from feature films into semantic categories and propose a robust framework for this problem. We propose that the Finite State Machines ...
AMAI
2004
Springer
14 years 11 months ago
2004
Springer
We address the topic of specifying multi-agent systems using the situation and state calculus (SSC). SSC has been proposed as an extension of the situation calculus to overcome so...