A Risk-Based Model for Service Level Agreement Differentiation in Cloud Market Providers -- Adaptive and Scalable High Availability for Infrastructure Clouds -- Trust-Aware Operation of Providers in Cloud Markets -- Scaling HDFS with a Strongly Consistent Relational Model for Metadata -- Distributed Exact Deduplication for Primary Storage Infrastructures -- Scalable and Accurate Causality Tracking for Eventually Consistent Stores -- Cooperation across Multiple Healthcare Clinics on the Cloud -- Behave: Behavioral Cache for Web Content -- Implementing the WebSocket Protocol Based on Formal Modelling and Automated Code Generation -- GreenBrowsing: Towards Energy Efficiency in Browsing Experience -- Making Operation-Based CRDTs Operation-Based -- Autonomous Multi-dimensional Slicing for Large-Scale Distributed Systems -- Bandwidth-Minimized Distribution of Measurements in Global Sensor Networks -- A Fuzzy-Logic Based Coordinated Scheduling Technique for Inter-grid Architectures -- Distributed Vertex-Cut Partitioning -- Multi-agent Systems Design and Prototyping with Bigraphical Reactive Systems.