1332 search results - page 21 / 267 » ideas 2008 |
EDCC
2008
Springer
14 years 11 months ago
2008
Springer
The paper puts forward the idea of using fault tolerance refinement patterns to assist system developers in disciplined application of software fault tolerance mechanisms in rigor...
FLOPS
2008
Springer
14 years 11 months ago
2008
Springer
We propose undoable versions of the projection operations used when programs written in higher-order statically-typed languages interoperate with dynamically typed ones, localizing...
CORR
2008
Springer
14 years 9 months ago
2008
Springer
In this note we give a precise formulation of "resistance to arbitrary side information" and show that several relaxations of differential privacy imply it. The formulat...
CORR
2008
Springer
14 years 9 months ago
2008
Springer
Abstract. This article extends the idea of solving parity games by strategy iteration to non-deterministic strategies: In a non-deterministic strategy a player restricts himself to...
CORR
2008
Springer
14 years 9 months ago
2008
Springer
People usually regard algorithms as more abstract than the programs that implement them. The natural way to formalize this idea is that algorithms are equivalence classes of progra...