4386 search results - page 268 / 878 » A Tamper-Resistant Programming Language System |
103
click to vote
ICCL
1998
IEEE
15 years 7 months ago
1998
IEEE
This paper presents a lightweight object migration protocol that preserves centralized object semantics yet allows for precise prediction of network behavior. The protocol is impl...
93
Voted
IFIP
1998
Springer
15 years 7 months ago
1998
Springer
BUILD-IT is an up-and-running system putting at work highly intuitive, videobased interaction technology to support complex planning and configuration tasks. It makes state-of-the...
126
click to vote
ASPLOS
1994
ACM
15 years 7 months ago
1994
ACM
Despite improvements in network interfaces and software messaging layers, software communication overhead still dominates the hardware routing cost in most systems. In this study,...
IFIP
1992
Springer
15 years 7 months ago
1992
Springer
On initiative of the Commission of the European Communities, the Information Technology Security Evaluation Criteria (ITSEC) are designed to provide a yardstick for the evaluation...
118
click to vote
AMAST
2004
Springer
15 years 7 months ago
2004
Springer
We present a calculus for the verification of sequential Java programs. It supports all Java language constructs and has additional support for Java Card. The calculus is formally ...