4386 search results - page 385 / 878 » A Tamper-Resistant Programming Language System |
172
click to vote
SCAM
2006
IEEE
16 years 21 days ago
2006
IEEE
Programmers often want to transform the source or binary representations of their programs (e.g., to optimize, add dynamic safety checks, or add proļ¬le gathering code). Unfortun...
239
click to vote
ECOOP
1998
Springer
15 years 11 months ago
1998
Springer
Many problems require recursively speci ed types ofdata and a collection of tools that operate on those data. Over time, these problems evolve so that the programmer must extend t...
159
click to vote
CCS
2009
ACM
16 years 1 months ago
2009
ACM
Many programs operate reactively, patiently waiting for user input, subsequently running for a while producing output, and eventually returning to a state where they are ready to ...
156
click to vote
SIGSOFT
2004
ACM
16 years 3 days ago
2004
ACM
Aspect-oriented programming has become an increasingly important means of expressing cross-cutting program abstractions. Despite this, aspects lack support for computeraided veriļ...
182
click to vote
JALC
2006
15 years 6 months ago
2006
Mobile programs, like applets, are not only ubiquitous, but also potentially malicious. We study the case where mobile programs are executed by a host system in a secured environm...