8810 search results - page 1599 / 1762 » Openness |
133
click to vote
CCS
2006
ACM
15 years 8 months ago
2006
ACM
Attackers often try to evade an intrusion detection system (IDS) when launching their attacks. There have been several published studies in evasion attacks, some with available to...
135
Voted
DSN
2004
IEEE
15 years 8 months ago
2004
IEEE
The authors describe the use of bounded model checking (BMC) for verifying Web application code. Vulnerable sections of code are patched automatically with runtime guards, allowin...
151
click to vote
ECAI
2004
Springer
15 years 8 months ago
2004
Springer
We describe a flexible approach to automated reasoning, where non-theorems can be automatically altered to produce proved results which are related to the original. This is achieve...
143
Voted
CIKM
2006
Springer
15 years 8 months ago
2006
Springer
Web page classification is important to many tasks in information retrieval and web mining. However, applying traditional textual classifiers on web data often produces unsatisfyi...
166
Voted
ENC
2004
IEEE
15 years 8 months ago
2004
IEEE
Hidden Markov models have become the preferred technique for visual recognition of human gestures. However, the recognition rate depends on the set of visual features used, and al...