7124 search results - page 1050 / 1425 » Programming Languages and Operating Systems |
156
click to vote
CP
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Searching objects within a catalog is a problem of increasing importance, as the general public has access to increasing volumes of data. Constraint programming has addre...
160
click to vote
ACSW
2004
15 years 6 months ago
2004
Software protection via obscurity is now considered fundamental for securing software systems. This paper proposes a framework for obfuscating the program interpretation instead o...
216
click to vote
SIGMOD
2006
ACM
16 years 5 months ago
2006
ACM
We define a match join of R and S with predicate to be a subset of the -join of R and S such that each tuple of R and S contributes to at most one result tuple. Match joins and t...
129
click to vote
IWSEC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Common software-protection systems attempt to detect malicious observation and modification of protected applications. Upon tamper detection, anti-hacking code may produ...
176
click to vote
ACL2
2006
ACM
15 years 10 months ago
2006
ACM
One of ACL2’s most interesting features is that it is executable, so users can run the programs that they verify, and debug them during verification. In fact, the ACL2 implemen...