Proceedings of the third ACM conference on Digital libraries
Persistent messages in local transactions
PODC '98 Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing
Fault-tolerant distributed simulation
PADS '98 Proceedings of the twelfth workshop on Parallel and distributed simulation
ACM Transactions on Computer Systems (TOCS)
An atomic multicast protocol for mobile computing
DIALM '99 Proceedings of the 3rd international workshop on Discrete algorithms and methods for mobile computing and communications
Six misconceptions about reliable distributed computing
Proceedings of the 8th ACM SIGOPS European workshop on Support for composing distributed applications
Software engineering and middleware: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Implementing a caching service a distributed COBRA objects
IFIP/ACM International Conference on Distributed systems platforms
SmartBridge: a scalable bridge architecture
Proceedings of the conference on Applications, Technologies, Architectures, and Protocols for Computer Communication
Stackelberg scheduling strategies
STOC '01 Proceedings of the thirty-third annual ACM symposium on Theory of computing
Group communication specifications: a comprehensive study
ACM Computing Surveys (CSUR)
An inheritance-based technique for building simulation proofs incrementally
ACM Transactions on Software Engineering and Methodology (TOSEM)
Collaborative Group Membership
The Journal of Supercomputing - Special issue on computational issues in fluid dynamics optimization and simulation
XMIDDLE: A Data-Sharing Middleware for Mobile Computing
Wireless Personal Communications: An International Journal
Collaborative Computing and E-learning
ICCS '02 Proceedings of the International Conference on Computational Science-Part II
Introducing Fault-Tolerant Group Membership into the Collaborative Computing Transport Layer
ICCS '01 Proceedings of the International Conference on Computational Sciences-Part I
On Group Communication Systems: Insight, a Primer, and a Snapshot
ICCS '01 Proceedings of the International Conference on Computational Sciences-Part I
Working Towards Strong Wireless Group Communications: The Janus Architecture
ICCS '02 Proceedings of the International Conference on Computational Science-Part II
The Agreement Problem Protocol Verification Environment
Proceedings of the 9th International SPIN Workshop on Model Checking of 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
Testing from Formal Specifications, a Generic Approach
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
Performance study of a probabilistic multicast transport protocol
Performance Evaluation
Journal of Parallel and Distributed Computing
A Framework for Robust HLA-based Distributed Simulations
Proceedings of the 20th Workshop on Principles of Advanced and Distributed Simulation
Worm-IT - A wormhole-based intrusion-tolerant group communication system
Journal of Systems and Software
Scalability of the microsoft cluster service
WINSYM'98 Proceedings of the 2nd conference on USENIX Windows NT Symposium - Volume 2
MuON: Epidemic based mutual anonymity in unstructured P2P networks
Computer Networks: The International Journal of Computer and Telecommunications Networking
A solution for fault tolerance in replicated database systems
International Journal of Computational Science and Engineering
Efficient state transfer for hypervisor-based proactive recovery
Proceedings of the 2nd workshop on Recent advances on intrusiton-tolerant systems
Parallel state transfer in object replication systems
DAIS'07 Proceedings of the 7th IFIP WG 6.1 international conference on Distributed applications and interoperable systems
Improving validity of query answering in dynamic systems
Proceedings of the Third International Workshop on Reliability, Availability, and Security
A new locality-based IP multicasting scheme for mobile hosts
Computer Communications
Hi-index | 0.00 |