386 search results - page 35 / 78 » Modeling Intrusion Detection Systems Using Linear Genetic Pr... |
KDD
1997
ACM
14 years 24 days ago
1997
ACM
In this paper, we describe the JAM system, a distributed, scalable and portable agent-based data mining system that employs a general approach to scaling data mining applications ...
ACSAC
2002
IEEE
14 years 1 months ago
2002
IEEE
The threat to organisations from network attacks is very real. Current countermeasures to denial of service (DoS) attacks rely on the perimeter model of network security. However,...
RISE
2004
Springer
14 years 2 months ago
2004
Springer
In this paper, we develop a symbolic representation for timed concurrent constraint (tccp) programs, which can be used for defining a lightweight model–checking algorithm for re...
LPNMR
2001
Springer
14 years 1 months ago
2001
Springer
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. As the model of asynchronous syst...
CDC
2010
IEEE
13 years 3 months ago
2010
IEEE
We consider the problem of stabilizing a plant with a network of resource constrained wireless nodes. In a companion paper, we developed a protocol where each node repeatedly trans...