4386 search results - page 402 / 878 » A Tamper-Resistant Programming Language System |
126
click to vote
SP
2000
IEEE
15 years 7 months ago
2000
IEEE
Tradeoffs are an important part of engineering security. Protocol security is important. So are efficiency and cost. This paper provides an early framework for handling such aspec...
192
click to vote
OOGRAPHICS
1995
15 years 7 months ago
1995
The structure of the image synthesis process naturally leads to the use of object-oriented software design and many existing rendering systems are based on some kind of object-orie...
127
Voted
PLDI
2010
ACM
15 years 7 months ago
2010
ACM
We describe an automatic verification method to check whether transactional memories ensure strict serializability--a key property assumed of the transactional interface. Our main...
131
click to vote
CD
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We describe a methodology for developing and deploying distributed Java applications using a reflective middleware system called RAFDA. We illustrate the methodology by d...
146
Voted
CD
2004
Springer
15 years 9 months ago
2004
Springer
Abstract In this paper we present a framework defining the architecture of systems providing software components with means to contractualise their resource access conditions with...