4386 search results - page 728 / 878 » A Tamper-Resistant Programming Language System |
111
click to vote
ICDCS
1996
IEEE
15 years 7 months ago
1996
IEEE
: Software capabilities are a very convenient means to protect co-operating applications. They allow access rights to be dynamically exchanged between mutually suspicious interacti...
168
click to vote
AC
1992
Springer
15 years 7 months ago
1992
Springer
Logic and databases have gone a long way together since the advent of relational databases. Already the rst basic query languages for relational databases beside relational algebra...
130
click to vote
CASES
2007
ACM
15 years 7 months ago
2007
ACM
Delayed branching is a technique to alleviate branch hazards without expensive hardware branch prediction mechanisms. For VLIW processors with deep pipelines and many issue slots,...
172
click to vote
ECLIPSE
2007
ACM
15 years 7 months ago
2007
ACM
Designing and testing distributed applications is still a difficult task that requires in-depth knowledge about networking issues. Eclipse is, among other things, a powerful and w...
157
click to vote
CC
2006
Springer
15 years 7 months ago
2006
Springer
We propose a new language concept called "L-closures" for a running program to legitimately inspect/modify the contents of its execution stack. L-closures are lightweight...