Contract-Based Quality-of-Service Assurance in Dynamic Distributed Systems | IEEE Conference Publication | IEEE Xplore