384 search results - page 47 / 77 » Get another label |
101
click to vote
OSDI
2000
ACM
15 years 2 months ago
2000
ACM
: We explore the abstraction of failure transparency in which the operating system provides the illusion of failure-free operation. To provide failure transparency, an operating sy...
112
Voted
IJVR
2008
15 years 21 days ago
2008
These Nowadays more Virtual Environment (VEs) are becoming available on the web. This means that VE are becoming more accessible to a larger and more diverse audience. It also mean...
94
Voted
IJHPCA
2006
15 years 20 days ago
2006
Systems software for clusters typically derives from a multiplicity of sources: the kernel itself, software associated with a particular distribution, site-specific purchased or o...
120
Voted
JUCS
2006
15 years 19 days ago
2006
Abstract: We present a novel approach to the verification of functional-logic programs. For our verification purposes, equational reasoning is not valid due to the presence of non-...
110
Voted
SCN
2008
Springer
15 years 18 days ago
2008
Springer
In this paper, we build, in a generic way, two asymmetric cryptosystems with a careful study of their security. We present first an additively homomorphic scheme which generalizes,...