1222 search results - page 143 / 245 » Verifying a File System Implementation |
118
click to vote
STORAGESS
2006
ACM
15 years 8 months ago
2006
ACM
New designs for petabyte-scale storage systems are now capable of transferring hundreds of gigabytes of data per second, but lack strong security. We propose a scalable and effici...
133
Voted
JOT
2008
15 years 2 months ago
2008
This article provides an overview of a pattern-based programming system, named Panda, for automatic generation of high-level programming language code. Many code generation system...
130
Voted
OSDI
2008
ACM
16 years 2 months ago
2008
ACM
The number and complexity of distributed applications has exploded, and to-date, each has had to create its own method for providing diagnostic tools and performance metrics. Thes...
130
Voted
CCS
2008
ACM
15 years 4 months ago
2008
ACM
We present FairplayMP (for "Fairplay Multi-Party"), a system for secure multi-party computation. Secure computation is one of the great achievements of modern cryptograp...
105
click to vote
AAAI
1997
15 years 4 months ago
1997
This case study paper reports on the development and implementation of DISXPERT, a rule-based expert system tool for referral of social security disability recipients to vocationa...