17329 search results - page 2938 / 3466 » Improved non-approximability results |
217
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
The main function of IDS (Intrusion Detection System) is to protect the system, analyze and predict the behaviors of users. Then these behaviors will be considered an attack or a ...
201
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Abstract--This paper focuses on data structures for multicore reachability, which is a key component in model checking algorithms and other verification methods. A cornerstone of a...
198
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
The premise of automated alert correlation is to accept that false alerts from a low level intrusion detection system are inevitable and use attack models to explain the output in ...
176
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Dependently typed lambda calculi such as the Logical Framework (LF) can encode relationships between terms in types and can naturally capture correspondences between formulas and ...
180
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Standard hybrid learners that use domain knowledge require stronger knowledge that is hard and expensive to acquire. However, weaker domain knowledge can benefit from prior knowle...