ACM Transactions on Computer Systems (TOCS)
Building reliable, high-performance communication systems from components
Proceedings of the seventeenth ACM symposium on Operating systems principles
Policies for using replica groups and their effectiveness over the Internet
COMM '00 Proceedings of NGC 2000 on Networked group communication
Middleware for dependable network services in partitionable distributed systems
ACM SIGOPS Operating Systems Review
An Adaptive Algorithm for Tolerating Value Faults and Crash Failures
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
Secure virtual enclaves: Supporting coalition use of distributed application technologies
ACM Transactions on Information and System Security (TISSEC)
ACM Transactions on Information and System Security (TISSEC)
On the Quality of Service of Failure Detectors
IEEE Transactions on Computers
Balancing configurability and efficiency in network support tools
EW 9 Proceedings of the 9th workshop on ACM SIGOPS European workshop: beyond the PC: new challenges for the operating system
A Network Protocol Stack in Standard ML
Higher-Order and Symbolic Computation
On the Quality of Service of Failure Detectors
IEEE Transactions on Computers
AQuA: An Adaptive Architecture that Provides Dependable Distributed Objects
IEEE Transactions on Computers
Experimental Evaluation of the Unavailability Induced by a Group Membership Protocol
EDCC-4 Proceedings of the 4th European Dependable Computing Conference on Dependable Computing
The UDP Calculus: Rigorous Semantics for Real Networking
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
Throughput Stability of Reliable Multicast Protocols
ADVIS '00 Proceedings of the First International Conference on Advances in Information Systems
Specifications and Proofs for Ensemble Layers
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
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
Proving Hybrid Protocols Correct
TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
A Tailorable Distributed Programming Environment
Ada-Europe '02 Proceedings of the 7th Ada-Europe International Conference on Reliable Software Technologies
Configuring the Communication Middleware to Support Multi-user Object-Oriented Environments
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Networking and Reflection: A Strong Combination
Reflection '99 Proceedings of the Second International Conference on Meta-Level Architectures and Reflection
Group Communication in Partitionable Distributed Systems
Advances in Distributed Systems, Advanced Distributed Computing: From Algorithms to Systems
A Dynamic Replica Selection Algorithm for Tolerating Timing Faults
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
Application-based dynamic primary views in asynchronous distributed systems
Journal of Parallel and Distributed Computing
Three-tier replication for FT-CORBA infrastructures
Software—Practice & Experience
Appia: A Flexible Protocol Kernel Supporting Multiple Coordinated Channels
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
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
IEEE Transactions on Software Engineering
Reifying communication at the application level
M3W Proceedings of the 2001 international workshop on Multimedia middleware
Pilot: Probabilistic Lightweight Group Communication System for Ad Hoc Networks
IEEE Transactions on Mobile Computing
Reliable Distributed Network Management by Replication
Journal of Network and Systems Management
Performance study of a probabilistic multicast transport protocol
Performance Evaluation
Implementing a replicated service with group communication
Journal of Systems Architecture: the EUROMICRO Journal
Application Fault Tolerance with Armor Middleware
IEEE Internet Computing
Self-managed decentralised systems using K-components and collaborative reinforcement learning
WOSS '04 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems
Secure Spread: An Integrated Architecture for Secure Group Communication
IEEE Transactions on Dependable and Secure Computing
Active Replication of Multithreaded Applications
IEEE Transactions on Parallel and Distributed Systems
Journal of Parallel and Distributed Computing
From spontaneous total order to uniform total order: different degrees of optimistic delivery
Proceedings of the 2006 ACM symposium on Applied computing
Addressing network heterogeneity in pervasive application environments
InterSense '06 Proceedings of the first international conference on Integrated internet ad hoc and sensor networks
Properties and mechanisms of self-organizing MANET and P2P systems
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Dynamic load balancing with group communication
Theoretical Computer Science
Latency and bandwidth-minimizing failure detectors
Proceedings of the 2nd ACM SIGOPS/EuroSys European Conference on Computer Systems 2007
Jgroup-ARM: a distributed object group platform with autonomous replication management
Software—Practice & Experience
Designing Fault-Tolerant Component Based Applications with a Model Driven Approach
SEUS '08 Proceedings of the 6th IFIP WG 10.2 international workshop on Software Technologies for Embedded and Ubiquitous Systems
Type-safe dynamic protocol composition in Jgroup/ARM
Proceedings of the 3rd International DiscCoTec Workshop on Middleware-Application Interaction
An architecture for next generation middleware
Middleware '98 Proceedings of the IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing
Building a reliable multicast service based on composite protocols for active networks
IWAN'04 Proceedings of the 6th IFIP TC6 international working conference on Active networks
Journal of Intelligent Manufacturing
iSAN: an intelligent storage area network architecture
HiPC'04 Proceedings of the 11th international conference on High Performance Computing
Towards a generic group communication service
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
Practical database replication
Replication
FTRMI: fault-tolerant transparent RMI
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Transparently increasing RMI fault tolerance
ACM SIGAPP Applied Computing Review
Quality of service management for a media-enhanced virtual meeting place
EG VE'00 Proceedings of the 6th Eurographics conference on Virtual Environments
Tailoring consistency in group membership for mobile networks
Future Generation Computer Systems
Hi-index | 0.01 |