4386 search results - page 498 / 878 » A Tamper-Resistant Programming Language System |
113
click to vote
CONCUR
2005
Springer
15 years 10 months ago
2005
Springer
d Abstract) Adrian Francalanza and Matthew Hennessy University of Sussex, Falmer Brighton BN1 9RH, England Abstract. We develop a behavioural theory of distributed programs in the ...
172
click to vote
ESORICS
2002
Springer
16 years 4 months ago
2002
Springer
Resource security pertains to the prevention of unauthorized usage of system resources that may not directly cause corruption or leakage of information. A common breach of resource...
123
click to vote
AOSD
2007
ACM
15 years 8 months ago
2007
ACM
Efficient data retrieval from databases is a significant issue of the design of persistent systems. We propose an aspect oriented persistent system named AspectualStore. Aspectual...
144
Voted
IADIS
2004
15 years 6 months ago
2004
A distributed monitoring system has been developed, which is organized with network cameras, an integrated web/mail server, web-based clients including high-performance cellular p...
125
click to vote
ENTCS
2007
15 years 4 months ago
2007
The use of typed intermediate languages can significantly increase the reliability of a compiler. By typechecking the code produced at each transformation stage, one can identify...