3785 search results - page 660 / 757 » Immune System Based Intrusion Detection System |
132
click to vote
ICRA
2005
IEEE
15 years 10 months ago
2005
IEEE
– Future robotic space missions will employ a precision soft-landing capability that will enable exploration of previously inaccessible sites that have strong scientific signific...
137
click to vote
ACIVS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Even if lots of object invariant descriptors have been proposed in the literature, putting them into practice in order to obtain a robust system face to several perturbat...
116
click to vote
HIP
2005
Springer
15 years 10 months ago
2005
Springer
Web-based services designed for human users are being abused by computer programs (bots). This real-world issue has recently generated a new research area called Human Interactive...
150
click to vote
LPAR
2005
Springer
15 years 10 months ago
2005
Springer
Separation logic is a subset of the quantifier-free first order logic. It has been successfully used in the automated verification of systems that have large (or unbounded) inte...
122
click to vote
IUI
2004
ACM
15 years 10 months ago
2004
ACM
Layout refers to the process of determining the size and position of the visual objects in an information presentation. We introduce the WeightMap, a bitmap representation of the ...