3785 search results - page 332 / 757 » Immune System Based Intrusion Detection System |
153
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— The nullspace method is a powerful framework to solve the synthesis problem of fault detection filters in the most general setting. It is also well suited to address the least...
384
click to vote
SPIN
2012
Springer
13 years 9 months ago
2012
Springer
Since counterexamples generated by model checking tools are only symptoms of faults in the model, a significant amount of manual work is required in order to locate the fault that...
174
click to vote
CC
2002
Springer
15 years 6 months ago
2002
Springer
Abstract. This paper describes the C Intermediate Language: a highlevel representation along with a set of tools that permit easy analysis and source-to-source transformation of C ...
200
click to vote
GLOBECOM
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— In this paper, we propose a low complexity Maximum Likelihood (ML) decoding algorithm for orthogonal spacetime block codes (OSTBCs) based on the real-valued lattice rep...
209
click to vote
FIW
1998
15 years 8 months ago
1998
We present a method to systematically detect feature interactions in requirements, which are expressed as constraints on system event traces. We show its application on the lift sy...