Building reliable, high-performance communication systems from components
Proceedings of the seventeenth ACM symposium on Operating systems principles
Specifying and using a partitionable group communication service
ACM Transactions on Computer Systems (TOCS)
Software—Practice & Experience - Special issue: Mobile agent systems
Building Survivable Services Using Redundancy and Adaptation
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
A Protocol Stack Development Tool Using Generative Programming
GPCE '02 Proceedings of the 1st ACM SIGPLAN/SIGSOFT conference on Generative Programming and Component Engineering
Improving Mobile Computing Performance by Using an Adaptive Distribution Framework
HiPC '00 Proceedings of the 7th International Conference on High Performance Computing
Overview of the InterGroup Protocols
ICCS '01 Proceedings of the International Conference on Computational Sciences-Part I
A Dynamic Primary Configuration Group Communication Service
Proceedings of the 13th International Symposium on Distributed Computing
Specifications and Proofs for Ensemble Layers
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
Communication Adaptive Self-Stabilizing Group Membership Service
WSS '01 Proceedings of the 5th International Workshop on Self-Stabilizing Systems
A retrospective on the design of the GOPI middleware platform
Multimedia Systems
Constructing Adaptive Software in Distributed Systems
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
Dynamic cluster reconfiguration for power and performance
Compilers and operating systems for low power
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
NeCoMan: middleware for safe distributed service deployment in programmable networks
ARM '04 Proceedings of the 3rd workshop on Adaptive and reflective middleware
Dynamically programmable and reconfigurable middleware services
Proceedings of the 5th ACM/IFIP/USENIX international conference on Middleware
Dynamically Loadable Protocol Stacks: A Message Parser--Generator Implementation
IEEE Internet Computing
Towards preserving correctness in self-managed software systems
WOSS '04 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems
NeCoMan: Middleware for Safe Distributed-Service Adaptation in Programmable Networks
IEEE Distributed Systems Online
Formal Methods in System Design
Reflections on aspects and configurable protocols
Proceedings of the 5th international conference on Aspect-oriented software development
Dynamic reconfiguration in sensor middleware
Proceedings of the international workshop on Middleware for sensor networks
An Adaptive Programming Model for Fault-Tolerant Distributed Computing
IEEE Transactions on Dependable and Secure Computing
Provably secure authenticated group Diffie-Hellman key exchange
ACM Transactions on Information and System Security (TISSEC)
Scalability of the microsoft cluster service
WINSYM'98 Proceedings of the 2nd conference on USENIX Windows NT Symposium - Volume 2
Mixed-Mode Adaptation in Distributed Systems: A Case Study
SEAMS '07 Proceedings of the 2007 International Workshop on Software Engineering for Adaptive and Self-Managing Systems
Experiences with open overlays: a middleware approach to network heterogeneity
Proceedings of the 3rd ACM SIGOPS/EuroSys European Conference on Computer Systems 2008
Modelling adaptive services for distributed systems
Proceedings of the 2008 ACM symposium on Applied computing
A framework to support multiple reconfiguration strategies
Proceedings of the 1st international conference on Autonomic computing and communication systems
A configurable and extensible transport protocol
IEEE/ACM Transactions on Networking (TON)
CVM - A communication virtual machine
Journal of Systems and Software
Programming with Live Distributed Objects
ECOOP '08 Proceedings of the 22nd European conference on Object-Oriented Programming
Adaptive replication control based on consensus
Proceedings of the 2nd workshop on Dependable distributed data management
Typing communicating component assemblages
GPCE '08 Proceedings of the 7th international conference on Generative programming and component engineering
Deep middleware for the divergent Grid
Proceedings of the ACM/IFIP/USENIX 2005 International Conference on Middleware
Group Abstractions for Organizing Dynamic Distributed Systems
Euro-Par 2008 Workshops - Parallel Processing
Typing Component-Based Communication Systems
FMOODS '09/FORTE '09 Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems
A gossip-style failure detection service
Middleware '98 Proceedings of the IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing
From Local Impact Functions to Global Adaptation of Service Compositions
SSS '09 Proceedings of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems
Reliable Communication Infrastructure for Adaptive Data Replication
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part I
Building adaptive systems with service composition frameworks
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
A user-centric network communication broker for multimedia collaborative computing
Multimedia Tools and Applications
ZooKeeper: wait-free coordination for internet-scale systems
USENIXATC'10 Proceedings of the 2010 USENIX conference on USENIX annual technical conference
Structural and algorithmic issues of dynamic protocol update
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Run-time switching between total order algorithms
Euro-Par'06 Proceedings of the 12th international conference on Parallel Processing
Scalable group key management with partially trusted controllers
ICN'05 Proceedings of the 4th international conference on Networking - Volume Part II
On correctness of dynamic protocol update
FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Deep middleware for the divergent grid
Middleware'05 Proceedings of the ACM/IFIP/USENIX 6th international conference on Middleware
Enhancing group communication with self-manageable behavior
Journal of Parallel and Distributed Computing
Distributed control for the networks of adaptive software components
Information Systems Frontiers
Hi-index | 0.02 |