8141 search results - page 1447 / 1629 » Higher Order Generalization |
207
click to vote
SOSP
2003
ACM
16 years 25 days ago
2003
ACM
This paper presents a new approach called model-carrying code (MCC) for safe execution of untrusted code. At the heart of MCC is the idea that untrusted code comes equipped with a...
128
click to vote
SOSP
2005
ACM
16 years 25 days ago
2005
ACM
Rapid improvements in network bandwidth, cost, and ubiquity combined with the security hazards and high total cost of ownership of personal computers have created a growing market...
139
click to vote
SOSP
2005
ACM
16 years 25 days ago
2005
ACM
Speculator provides Linux kernel support for speculative execution. It allows multiple processes to share speculative state by tracking causal dependencies propagated through inte...
132
Voted
SOSP
2007
ACM
16 years 25 days ago
2007
ACM
The rise of the software-as-a-service paradigm has led to the development of a new breed of sophisticated, interactive applications often called Web 2.0. While web applications ha...
140
Voted
SOSP
2007
ACM
16 years 25 days ago
2007
ACM
This paper describes the design, implementation, and evaluation of a replication scheme to handle Byzantine faults in transaction processing database systems. The scheme compares ...