653 search results - page 64 / 131 » A Logic of Secure Systems and its Application to Trusted Com... |
CLUSTER
2002
IEEE
14 years 2 months ago
2002
IEEE
Traditionally, the telecom industry has used clusters to meet its carrier-class requirements of high availability, reliability, and scalability, while relying on cost-effective ha...
APPROX
2010
Springer
13 years 10 months ago
2010
Springer
We initiate the study of multi-source extractors in the quantum world. In this setting, our goal is to extract random bits from two independent weak random sources, on which two q...
IEEEIAS
2008
IEEE
14 years 3 months ago
2008
IEEE
: This paper focuses on the different challenges to design a security typed web scripting language. It uses the type system approach on a simple imperative language that captures a...
POPL
1998
ACM
14 years 1 months ago
1998
ACM
Java is typically compiled into an intermediate language, JVML, that is interpreted by the Java Virtual Machine. Because mobile JVML code is not always trusted, a bytecode verifi...
SIGMOD
2011
ACM
12 years 12 months ago
2011
ACM
We are witnessing an exciting revival of interest in recursive Datalog queries in a variety of emerging application domains such as data integration, information extraction, netwo...