8132 search results - page 209 / 1627 » Dependability, Abstraction, and Programming |
185
click to vote
DIMVA
2011
14 years 10 months ago
2011
Abstract. With the widespread adoption of Internet advertising, fraud has become a systemic problem. While the existence of clickbots—malware specialized for conducting click-fra...
299
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
Mitchell's notion of representation independence is a particularly useful application of Reynolds' relational parametricity -- two different implementations of an abstra...
173
click to vote
ASM
2004
ASM
16 years 6 hour ago
2004
ASM
For a while it seemed possible to pretend that all interaction between an algorithm and its environment occurs inter-step, but not anymore. Andreas Blass, Benjamin Rossman and the ...
225
click to vote
SIGADA
2001
Springer
15 years 11 months ago
2001
Springer
Statement and AbstractProblem Statement and AbstractProblem Statement and AbstractProblem Statement and Abstract The U.S. Navy currently bases the majority of our contact managemen...
171
click to vote
PARLE
1993
15 years 10 months ago
1993
Abstract. We present a set of primitive program schemes, which together with just two basic combining forms provide a suprisingly expressive parallel programming language. The prim...