4386 search results - page 385 / 878 » A Tamper-Resistant Programming Language System |
134
Voted
SCAM
2006
IEEE
15 years 10 months 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...
206
click to vote
ECOOP
1998
Springer
15 years 8 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...
111
Voted
CCS
2009
ACM
15 years 10 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 ...
121
click to vote
SIGSOFT
2004
ACM
15 years 9 months 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ļ...
134
click to vote
JALC
2006
15 years 3 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...