4731 search results - page 911 / 947 » Securing Interactive Programs |
AINA
2004
IEEE
13 years 11 months ago
2004
IEEE
Abstract-- As intrusion detection essentially can be formulated as a binary classification problem, it thus can be solved by an effective classification technique-Support Vector Ma...
TIC
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. A type-based certifying compiler maps source code to machine code and target-level type annotations. The target-level annotations make it possible to prove easily that th...
NSDI
2008
13 years 10 months ago
2008
This paper presents Swift, a packet filter for high performance packet capture on commercial off-the-shelf hardware. The key features of Swift include (1) extremely low filter upd...
CASCON
2006
13 years 9 months ago
2006
One aspect of autonomic computing is the ability to identify, separate and automatically tune parameters related to performance, security, robustness and other properties of a sof...
WOTUG
2007
13 years 8 months ago
2007
Abstract. Operating-systems are the core software component of many modern computer systems, ranging from small specialised embedded systems through to large distributed operating-...