1268 search results - page 86 / 254 » Verifying distributed systems: the operational approach |
174
click to vote
NDSS
2009
IEEE
16 years 27 days ago
2009
IEEE
Many existing privacy-preserving techniques for querying distributed databases of sensitive information do not scale for large databases due to the use of heavyweight cryptographi...
136
click to vote
DSOM
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. The successful deploymentof next-generation distributedsystems is signi cantly dependent on the e cient management support that improves the performance and reliability o...
165
click to vote
SOSP
2005
ACM
16 years 3 months ago
2005
ACM
We present a method for automatically extracting from a running system an indexable signature that distills the essential characteristic from a system state and that can be subjec...
141
click to vote
SRDS
2007
IEEE
16 years 13 days ago
2007
IEEE
The reliability of a large-scale storage system is influenced by a complex set of inter-dependent factors. This paper presents a comprehensive and extensible analytical framework ...
182
click to vote
WCE
2007
15 years 7 months ago
2007
—This paper presents power flow models of a self-excited induction generator. These models are used for steady-state power flow calculation in electric power systems in which a g...