8644 search results - page 1620 / 1729 » On the Composition of Secure Systems |
138
click to vote
OOPSLA
2007
Springer
15 years 12 months ago
2007
Springer
Ownership domain annotations express and enforce design intent related to object encapsulation and communication directly in real object-oriented code. First, this work will make ...
181
click to vote
OOPSLA
2007
Springer
15 years 12 months ago
2007
Springer
We apply speculative multithreading to sequential Java programs in software to achieve speedup on existing multiprocessors. A common speculation library supports both Java bytecod...
129
click to vote
TCC
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. This paper presents a very simple and efficient adaptivelysound perfect NIZK argument system for any NP-language. In contrast to recently proposed schemes by Groth, Ostro...
149
click to vote
VLDB
2007
ACM
15 years 12 months ago
2007
ACM
An increasing number of enterprises outsource their IT services to third parties who can offer these services for a much lower cost due to economy of scale. Quality of service is ...
178
click to vote
CBMS
2006
IEEE
15 years 12 months ago
2006
IEEE
Identity management and federation is becoming an ever present problem in large multi-institutional environments. By their nature, Grids span multiple institutional administration...