4386 search results - page 543 / 878 » A Tamper-Resistant Programming Language System |
147
click to vote
IFIP
1994
Springer
15 years 8 months ago
1994
Springer
The computer simulation control problem can be splitted in two parts, namely a local control problem and a global control problem. The local control de nes the \behavior" of ...
115
click to vote
IFIP
1994
Springer
15 years 8 months ago
1994
Springer
Domain-oriented design environments are cooperative problem-solving systems that support designers in complex design tasks. In this paper we present the facilities and architectur...
139
click to vote
POS
1994
Springer
15 years 8 months ago
1994
Springer
With the emerging of 10 Gbps Ethernet, modern storage networks allow the hosts to access remote cache nearly as quickly as they can access from their local storages. Aiming at imp...
125
click to vote
APLAS
2007
ACM
15 years 8 months ago
2007
ACM
This paper studies types and probabilistic bisimulations for a timed -calculus as an effective tool for a compositional analysis of probabilistic distributed behaviour. The types c...
136
click to vote
APLAS
2001
ACM
15 years 8 months ago
2001
ACM
We verified two versions of the CPS transformation in Isabelle/HOL: one by Plotkin by Danvy and Filinski. We adopted first order abstract syntax so that the formalization is close...