Sciweavers

2276 search results - page 245 / 456
» Failure of A Mix Network
Sort
View
ICDCS
1994
IEEE
15 years 11 months ago
Implementation of Process Migration in Amoeba
The design of a process migration mechanism for the Amoeba distributed operating system is described. The primary motivation for this implementation is to carry out experimental a...
Chris Steketee, Weiping Zhu, Philip Moseley
VLDB
1987
ACM
90views Database» more  VLDB 1987»
15 years 10 months ago
Enhancements to the Voting Algorithm
There are several consistency control algorithms for managing replicated files in the face of network partitioning due to site or communication link failures. In this paper, we co...
Sushil Jajodia, David Mutchler
ICWS
2003
IEEE
15 years 8 months ago
Using DAML-S for P2P Discovery
—Mechanisms for Web services Discovery proposed so far have assumed a centralized registry that collects information about all the Web services available at any given time. Centr...
Massimo Paolucci, Katia P. Sycara, Takuya Nishimur...
FLAIRS
2000
15 years 8 months ago
A Case Study in the Mechanical Verification of Fault Tolerance
To date, there is little evidence that modular reasoning about fault-tolerant systems can simplify the verification process in practice. We study this question using a prominent e...
Heiko Mantel, Felix C. Gärtner
SIGCSE
2002
ACM
131views Education» more  SIGCSE 2002»
15 years 6 months ago
Integrating a simulation case study into CS2: developing design, empirical and analysis skills
Case studies are widely used in business and medicine to help students learn from the successes and failures of practitioners in the field. This paper discusses the potential bene...
Kay A. Robbins, Catherine Sauls Key, Keith Dickins...