2036 search results - page 102 / 408 » A generic type-and-effect system |
110
click to vote
ICDCS
2003
IEEE
15 years 6 months ago
2003
IEEE
Current intrusion detection systems work in isolation from access control for the application the systems aim to protect. The lack of coordination and inter-operation between thes...
118
click to vote
SAGA
2001
Springer
15 years 5 months ago
2001
Springer
We propose a generic, domain-independent local search method called adaptive search for solving Constraint Satisfaction Problems (CSP). We design a new heuristics that takes advan...
100
click to vote
CC
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. We discuss the challenges faced by bytecode analyzers designed for code verification compared to similar analyzers for source code. While a bytecode-level analysis brings...
98
Voted
ESORICS
2008
Springer
15 years 2 months ago
2008
Springer
In this paper, we present the security implications of x86 processor bugs or backdoors on operating systems and virtual machine monitors. We will not try to determine whether the b...
100
Voted
ENTCS
2007
15 years 19 days ago
2007
The rewrite-based approach to satisfiability modulo theories consists of using generic theorem-proving strategies for first-order logic with equality. If one can prove that an i...