14158 search results - page 2408 / 2832 » Generalized switch-setting problems |
213
click to vote
EUROCRYPT
2004
Springer
16 years 25 days ago
2004
Springer
Informally, an obfuscator O is an efficient, probabilistic “compiler” that transforms a program P into a new program O(P) with the same functionality as P, but such that O(P)...
199
click to vote
ICTAC
2004
Springer
16 years 24 days ago
2004
Springer
We give an inductive method for proving weak innermost termination of rule-based programs, from which we automatically infer, for each successful proof, a finite strategy for data...
206
click to vote
KR
2004
Springer
16 years 24 days ago
2004
Springer
Disjunction is generally considered to add expressive power to logic programs under the stable model semantics, which have become a popular programming paradigm for knowledge repr...
203
click to vote
OOPSLA
2004
Springer
16 years 24 days ago
2004
Springer
A proxy object is a surrogate or placeholder that controls access to another target object. Proxies can be used to support distributed programming, lazy or parallel evaluation, ac...
218
click to vote
SIGADA
2004
Springer
16 years 24 days ago
2004
Springer
Existing security models require that information of a given security level be prevented from “leaking” into lower-security information. High-security applications must be dem...