231 search results - page 12 / 47 » Distributed and Scalable Intrusion Detection System Based on... |
ATAL
2010
Springer
13 years 8 months ago
2010
Springer
We present a method of distributed model checking of multiagent systems specified by a branching-time temporal-epistemic logic. We introduce a serial algorithm, central to the dis...
IWAN
2004
Springer
14 years 26 days ago
2004
Springer
The proliferation of computer viruses and Internet worms has had a major impact on the Internet Community. Cleanup and control of malicious software (malware) has become a key prob...
AGENTS
1997
Springer
13 years 11 months ago
1997
Springer
The information access and retrieval capabilities provided by several conventional search engines, while improving upon traditional techniques, are lacking in supporting conceptua...
ESWA
2008
13 years 7 months ago
2008
DADICC is the abbreviated name for an intelligent system able to detect on-line and diagnose anomalies as soon as possible in the dynamic evolution of the behaviour of a power pla...
ESAW
2009
Springer
14 years 2 months ago
2009
Springer
As the number of information in the Internet constantly increases and the complexity of systems rapidly grows, locating and manipulating complex data has become a difficult task. W...