Sciweavers

3886 search results - page 424 / 778
» Implementing Fault-Tolerant Distributed Applications
Sort
View
136
Voted
SRDS
1998
IEEE
15 years 8 months ago
View Consistency for Optimistic Replication
Optimistically replicated systems provide highly available data even when communication between data replicas is unreliable or unavailable. The high availability comes at the cost...
Ashvin Goel, Calton Pu, Gerald J. Popek
SRDS
1996
IEEE
15 years 8 months ago
A Transparent Light-Weight Group Service
The virtual synchrony model for group communication has proven to be a powerful paradigm for building distributed applications. Implementationsof virtual synchrony usually require...
Luís Rodrigues, Katherine Guo, Antonio Sarg...
USENIX
2007
15 years 7 months ago
Wresting Control from BGP: Scalable Fine-Grained Route Control
Today’s Internet users and applications are placing increased demands on Internet service providers (ISPs) to deliver fine-grained, flexible route control. To assist network o...
Patrick Verkaik, Dan Pei, Tom Scholl, Aman Shaikh,...
ASE
2008
102views more  ASE 2008»
15 years 4 months ago
Model driven code checking
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
Gerard J. Holzmann, Rajeev Joshi, Alex Groce
CORR
2006
Springer
103views Education» more  CORR 2006»
15 years 4 months ago
Prolog Server Pages
Prolog Server Pages (PSP) is a scripting language, based on Prolog, than can be embedded in HTML documents. To run PSP applications one needs a web server, a web browser and a PSP...
Alin Suciu, Kalman Pusztai, Andrei Vancea