8644 search results - page 1620 / 1729 » On the Composition of Secure Systems |
OOPSLA
2007
Springer
14 years 3 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 ...
OOPSLA
2007
Springer
14 years 3 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...
TCC
2007
Springer
14 years 3 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...
VLDB
2007
ACM
14 years 3 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 ...
CBMS
2006
IEEE
14 years 3 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...