1042 search results - page 81 / 209 » Can Aspects Implement Contracts |
OSDI
1996
ACM
13 years 11 months ago
1996
ACM
This paper describes a mechanism by which an operating system kernel can determine with certainty that it is safe to execute a binary supplied by an untrusted source. The kernel r...
NOMS
2010
IEEE
13 years 8 months ago
2010
IEEE
Crash and omission failures are common in service providers: a disk can break down or a link can fail anytime. In addition, the probability of a node failure increases with the num...
EUROCRYPT
2012
Springer
12 years 12 days ago
2012
Springer
We show that homomorphic evaluation of (wide enough) arithmetic circuits can be accomplished with only polylogarithmic overhead. Namely, we present a construction of fully homomorp...
CSMR
2009
IEEE
14 years 2 months ago
2009
IEEE
Creating accurate models of information systems is an important but challenging task. It is generally well understood that such modeling encompasses general scientific issues, bu...
COMPGEOM
2003
ACM
14 years 3 months ago
2003
ACM
We develop algorithms for computing the smallest enclosing ball of a set of n balls in d-dimensional space. Unlike previous methods, we explicitly address small cases (n ≤ d + 1...