4386 search results - page 79 / 878 » A Tamper-Resistant Programming Language System |
127
click to vote
POPL
1998
ACM
15 years 5 months ago
1998
ACM
Previously, we developed a type system to ensure secure information flow in a sequential, imperative programming language [VSI96]. Program variables are classified as either hig...
103
click to vote
ECOOP
2005
Springer
15 years 7 months ago
2005
Springer
In this paper we investigate the addition of first-class relationships to a prototypical object-oriented programming language (a “middleweight” fragment of Java). We provide ...
131
click to vote
HPCN
2000
Springer
15 years 5 months ago
2000
Springer
The paper presents the implementation of a railway control system, as a means of assessing the potential of coordination languages to be used for modelling software architectures f...
110
click to vote
IFIP
2009
Springer
15 years 6 months ago
2009
Springer
We present an abstract language for distributed systems of processes with local memory and private communication channels. Communication between processes is done via messaging. Th...
ASPLOS
2006
ACM
15 years 7 months ago
2006
ACM
Operator mistakes have been identified as a significant source of unavailability in Internet services. In this paper, we propose a new language, A , for service engineers to writ...