Sciweavers

7924 search results - page 1197 / 1585
» Non-Malleable Functions and Their Applications
Sort
View
SOSP
2001
ACM
16 years 3 months ago
The Costs and Limits of Availability for Replicated Services
As raw system and network performance continues to improve at exponential rates, the utility of many services is increasingly limited by availability rather than performance. A ke...
Haifeng Yu, Amin Vahdat
SOSP
2003
ACM
16 years 3 months ago
Implementing an untrusted operating system on trusted hardware
Recently, there has been considerable interest in providing “trusted computing platforms” using hardware — TCPA and Palladium being the most publicly visible examples. In th...
David Lie, Chandramohan A. Thekkath, Mark Horowitz
PLPV
2010
ACM
16 years 3 months ago
Resource typing in Guru
This paper presents a resource typing framework for the Guru d-programming language, in which abstractions for various kinds of program resources can be defined. Implemented exam...
Aaron Stump, Evan Austin
PEPM
2010
ACM
16 years 3 months ago
Clone detection and elimination for Haskell
Duplicated code is a well known problem in software maintenance and refactoring. Code clones tend to increase program size and several studies have shown that duplicated code make...
Christopher Brown, Simon Thompson
IUI
2009
ACM
16 years 3 months ago
A probabilistic mental model for estimating disruption
Adaptive software systems are intended to modify their appearance, performance or functionality to the needs and preferences of different users. A key bottleneck in building effec...
Bowen Hui, Grant Partridge, Craig Boutilier
« Prev « First page 1197 / 1585 Last » Next »