A framework for protocol composition in Horus
Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing
A generic multicast transport service to support disconnected operation
Wireless Networks
Efficient communication in a design environment
DAC '96 Proceedings of the 33rd annual Design Automation Conference
Enriched View Synchrony: A Programming Paradigm for Partitionable Asynchronous Distributed Systems
IEEE Transactions on Computers
The Totem multiple-ring ordering and topology maintenance protocol
ACM Transactions on Computer Systems (TOCS)
Group-based multicast and dynamic membership in wireless networks with incomplete spatial coverage
Mobile Networks and Applications - Special issue on protocols and software paradigms of mobile networks
A Positive Acknowledgment Protocol for Causal Broadcasting
IEEE Transactions on Computers
Chameleon: A Software Infrastructure for Adaptive Fault Tolerance
IEEE Transactions on Parallel and Distributed Systems
Reconfiguration Models and Algorithms for Stateful Interactive Processes
IEEE Transactions on Software Engineering
Computing in the RAIN: A Reliable Array of Independent Nodes
IEEE Transactions on Parallel and Distributed Systems
Specifying and using a partitionable group communication service
ACM Transactions on Computer Systems (TOCS)
Group Communication in Partitionable Systems: Specification and Algorithms
IEEE Transactions on Software Engineering
Surviving Network Partitioning
Computer
Hierarchical Error Detection in a Software Implemented Fault Tolerance (SIFT) Environment
IEEE Transactions on Knowledge and Data Engineering
A Group Membership Algorithm with a Practical Specification
IEEE Transactions on Parallel and Distributed Systems
AQuA: An Adaptive Architecture that Provides Dependable Distributed Objects
IEEE Transactions on Computers
Overview of the InterGroup Protocols
ICCS '01 Proceedings of the International Conference on Computational Sciences-Part I
The Raincore Distributed Session Service for Networking Elements
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
Concurrent Updates on Striped Data Streams in Clustered Server Systems
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
Failure Detection vs Group Membership in Fault-Tolerant Distributed Systems: Hidden Trade-Offs
PAPM-PROBMIV '02 Proceedings of the Second Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
A Dynamic Primary Configuration Group Communication Service
Proceedings of the 13th International Symposium on Distributed Computing
Early-Delivery Dynamic Atomic Broadcast
DISC '02 Proceedings of the 16th International Conference on Distributed Computing
Throughput Stability of Reliable Multicast Protocols
ADVIS '00 Proceedings of the First International Conference on Advances in Information Systems
Interface-Based Protocol Specification of Open Systems using PSL
ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming
Automated Fast-Track Reconfiguration of Group Communication Systems
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
A Generic Multicast Transport Service to Support Disconnected Operation
MLICS '95 Proceedings of the 2nd Symposium on Mobile and Location-Independent Computing
Proving Hybrid Protocols Correct
TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
VECPAR '00 Selected Papers and Invited Talks from the 4th International Conference on Vector and Parallel Processing
Communication Adaptive Self-Stabilizing Group Membership Service
WSS '01 Proceedings of the 5th International Workshop on Self-Stabilizing Systems
Programming Partition-Aware Network Applications
Advances in Distributed Systems, Advanced Distributed Computing: From Algorithms to Systems
Group Communication in Partitionable Distributed Systems
Advances in Distributed Systems, Advanced Distributed Computing: From Algorithms to Systems
The Design and Use of Persistent Memory on the DNCP Hardware Fault-Tolerant Platform
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
Explicit Message Passing for Concurrent Clean
IFL '98 Selected Papers from the 10th International Workshop on 10th International Workshop
Framework for Authentication and Access Control of Client-Server Group Communication Systems
NGC '01 Proceedings of the Third International COST264 Workshop on Networked Group Communication
A Scalable and Reliable Multicast Communiction Service in Java
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Computing in the RAIN: A Reliable Array of Independent Nodes
IPDPS '00 Proceedings of the 15 IPDPS 2000 Workshops on Parallel and Distributed Processing
FT-NFS: an efficient fault-tolerant NFS server designed for off-the-shelf workstations
FTCS '96 Proceedings of the The Twenty-Sixth Annual International Symposium on Fault-Tolerant Computing (FTCS '96)
A fault-tolerant CORBA name server
SRDS '96 Proceedings of the 15th Symposium on Reliable Distributed Systems
A transparent light-weight group service
SRDS '96 Proceedings of the 15th Symposium on Reliable Distributed Systems
Real-Time Fault-Tolerant Atomic Broadcast
SRDS '99 Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems
CosNamingFT A Fault-Tolerant CORBA Naming Service
SRDS '99 Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems
Separation of Concerns: Functionality vs. Quality of Service
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
Communication in GLOBE: an object-based worldwide operating system
IWOOOS '96 Proceedings of the 5th International Workshop on Object Orientation in Operating Systems (IWOOOS '96)
Application-based dynamic primary views in asynchronous distributed systems
Journal of Parallel and Distributed Computing
Availability Study of Dynamic Voting Algorithms
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
Exploring Robustness in Group Key Agreement
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
Communication Adaptive Self-Stabilizing Group Membership Service
IEEE Transactions on Parallel and Distributed Systems
IEEE Transactions on Knowledge and Data Engineering
Cooperative computing with fragmentable and mergeable groups
Journal of Discrete Algorithms
Distributed communication in ML
Journal of Functional Programming
Building reliable, high-performance networks with the Nuprl proof development system
Journal of Functional Programming
Experiences, Strategies, and Challenges in Building Fault-Tolerant CORBA Systems
IEEE Transactions on Computers
Secure Group Communication Using Robust Contributory Key Agreement
IEEE Transactions on Parallel and Distributed Systems
IEEE Transactions on Software Engineering
On the performance of group key agreement protocols
ACM Transactions on Information and System Security (TISSEC)
Towards Real-Time Fault-Tolerant CORBA Middleware
Cluster Computing
A reactive system architecture for building fault-tolerant distributed applications
Journal of Systems and Software
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Total order broadcast and multicast algorithms: Taxonomy and survey
ACM Computing Surveys (CSUR)
Distributed Token Circulation in Mobile Ad Hoc Networks
IEEE Transactions on Mobile Computing
Fastpath Optimizations for Cluster Recovery in Shared-Disk Systems
Proceedings of the 2004 ACM/IEEE conference on Supercomputing
Application Fault Tolerance with Armor Middleware
IEEE Internet Computing
A Framework to Support Survivable Web Services
IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Papers - Volume 01
Synchronous, asynchronous, and causally ordered communication
Distributed Computing
Mobi_Causal: a protocol for causal message ordering in mobile computing systems
ACM SIGMOBILE Mobile Computing and Communications Review
Secure Spread: An Integrated Architecture for Secure Group Communication
IEEE Transactions on Dependable and Secure Computing
End-to-end latency of a fault-tolerant CORBA infrastructure
Performance Evaluation
Message-ordered multicast by common building blocks
InfoScale '06 Proceedings of the 1st international conference on Scalable information systems
Data consistent up- and downstreaming in a distributed storage system
SNAPI '03 Proceedings of the international workshop on Storage network architecture and parallel I/Os
Scalable, fault tolerant membership for MPI tasks on HPC systems
Proceedings of the 20th annual international conference on Supercomputing
'Cheap grid': Leveraging system failure using stochastic computation
Future Generation Computer Systems
Dynamic load balancing with group communication
Theoretical Computer Science
Using Distributed Object Middleware To Implement Scalable Workflow Management Systems
Journal of Integrated Design & Process Science
Design and implementation of a secure wide-area object middleware
Computer Networks: The International Journal of Computer and Telecommunications Networking
BitVault: a highly reliable distributed data retention platform
ACM SIGOPS Operating Systems Review - Systems work at Microsoft Research
A protocol for secure transactions
WOEC'96 Proceedings of the 2nd conference on Proceedings of the Second USENIX Workshop on Electronic Commerce - Volume 2
The object group design pattern
COOTS'96 Proceedings of the 2nd conference on USENIX Conference on Object-Oriented Technologies (COOTS) - Volume 2
Adding group communication and fault-tolerance to CORBA
COOTS'95 Proceedings of the USENIX Conference on Object-Oriented Technologies on USENIX Conference on Object-Oriented Technologies (COOTS)
Scalable multimedia streaming model in heterogeneous networks
International Journal of High Performance Computing and Networking
Disaster avoidance mechanism for content-delivering service
Computers and Operations Research
Group Abstractions for Organizing Dynamic Distributed Systems
Euro-Par 2008 Workshops - Parallel Processing
International Journal of High Performance Computing and Networking
J-Orchestra: Enhancing Java programs with distribution capabilities
ACM Transactions on Software Engineering and Methodology (TOSEM)
Symmetric active/active metadata service for high availability parallel file systems
Journal of Parallel and Distributed Computing
The Realize middleware for replication and resource management
Middleware '98 Proceedings of the IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing
Flexibility and coordination in event-based, loosely coupled, distributed systems
Computer Languages, Systems and Structures
Reliable multicast protocol adopting hierarchical tree-based repair mechanism
ICACT'09 Proceedings of the 11th international conference on Advanced Communication Technology - Volume 3
Information and Software Technology
Semi-passive replication and Lazy Consensus
Journal of Parallel and Distributed Computing
An event/rule framework for specifying the behavior of distributed systems
SEM'02 Proceedings of the 3rd international conference on Software engineering and middleware
A peer-to-peer membership notification service
DBISP2P'05/06 Proceedings of the 2005/2006 international conference on Databases, information systems, and peer-to-peer computing
A flexible group communication protocol with hybrid clocks
Proceedings of the 7th International Conference on Advances in Mobile Computing and Multimedia
Design of a hierarchical group to realize a scalable group
Journal of Mobile Multimedia
Don't settle for eventual: scalable causal consistency for wide-area storage with COPS
SOSP '11 Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles
A robust web-based approach for broadcasting downward messages in a large-scaled company
WISE'06 Proceedings of the 7th international conference on Web Information Systems
Churn resilience of peer-to-peer group membership: a performance analysis
IWDC'05 Proceedings of the 7th international conference on Distributed Computing
Multi-process systems analysis using event b: application to group communication systems
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Performance evaluation of group communication architectures in large scale systems using MPI
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part II
Total order communications: a practical analysis
EDCC'05 Proceedings of the 5th European conference on Dependable Computing
A replication-based fault tolerance protocol using group communication for the grid
ISPA'06 Proceedings of the 4th international conference on Parallel and Distributed Processing and Applications
Computer Communications
Research: Design and analysis of an efficient and reliable atomic multicast protocol
Computer Communications
Consistency and fault tolerance for erasure-coded distributed storage systems
Proceedings of the fifth international workshop on Data-Intensive Distributed Computing Date
Stronger semantics for low-latency geo-replicated storage
nsdi'13 Proceedings of the 10th USENIX conference on Networked Systems Design and Implementation
Hi-index | 0.01 |