ACM Transactions on Information and System Security (TISSEC)
Modular verification of collaboration-based software designs
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
The Influence of Software Module Systems on Modular Verification
Proceedings of the 9th International SPIN Workshop on Model Checking of Software
Thread Transparency in Information Flow Middleware
Middleware '01 Proceedings of the IFIP/ACM International Conference on Distributed Systems Platforms Heidelberg
Middleware '01 Proceedings of the IFIP/ACM International Conference on Distributed Systems Platforms Heidelberg
A compositional formalization of connector wrappers
Proceedings of the 25th International Conference on Software Engineering
Thread transparency in information flow middleware
Software—Practice & Experience - Special issue: Middleware
Infopipes: an abstraction for multimedia streaming
Multimedia Systems
An Overview of MSHN: The Management System for Heterogeneous Networks
HCW '99 Proceedings of the Eighth Heterogeneous Computing Workshop
Perimorph: Run-Time Composition and State Management for Adaptive Systems
ICDCSW '04 Proceedings of the 24th International Conference on Distributed Computing Systems Workshops - W7: EC (ICDCSW'04) - Volume 7
Infopipes for composing distributed information flows
M3W Proceedings of the 2001 international workshop on Multimedia middleware
MANETKit: supporting the dynamic deployment and reconfiguration of ad-hoc routing protocols
Proceedings of the 10th ACM/IFIP/USENIX International Conference on Middleware
Active replication of software components
SEM'02 Proceedings of the 3rd international conference on Software engineering and middleware
Facilitating gossip programming with the GossipKit framework
DAIS'08 Proceedings of the 8th IFIP WG 6.1 international conference on Distributed applications and interoperable systems
MANETKit: supporting the dynamic deployment and reconfiguration of ad-hoc routing protocols
Middleware'09 Proceedings of the ACM/IFIP/USENIX 10th international conference on Middleware
Hi-index | 0.00 |
Trends in networking and distributed computing are creating a new generation of applications that must adapt as the environment within which they execute changes. Examples of adaptations include switching protocols to overcome a security exposure or failure mode seen only in certain setting, changing data rates to accommodate a slow link, or adapting the behavior of a high level application to match the set of participants using the application. We describe the Ensemble system, a tool for building adaptive distributed programs.