TUESDAY, JUNE 3 |
|
09:30 | Keynote speaker: Frank Leymann Orchestrating Management Behavior of Cloud Applications |
10:30 | Coffee break |
11:00 - 12:30 | Session 1 - Cloud Computing 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 (short paper) |
12:30 - 14:00 | Lunch |
14:00 - 16:00 | Session 2 - Storage 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 (short paper) |
16:00 - 16:30 | Coffee break |
16:30 - 18:00 | Session 3 - Web and peer-to-peer systems Behave: Behavioral Cache for Web Content Implementing the Web Socket Protocol based on Formal Modelling and Automated Code Generation GreenBrowsing (short paper) |
WEDNESDAY, JUNE 4 |
|
09:30 | Keynote speaker: Maarten van Steen A perspective on the future of computer sciences (through a technical example) |
10:30 | Coffee break |
11:00 - 12:30 | Joint Session Making Operation-based CRDTs Operation-based (DAIS) Encoding Synchronous Interactions using Labelled Petri Nets (COORDINATION) Coinductive Definition of Distances Between Processes: Beyond Bisimulation Distances (FORTE) |
12:30 - 14:30 | Lunch |
14:30 - 16:00 | Session 4 - Large-scale systems 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 |
16:00 - 16:30 | Coffee break |
16:30 - 18:00 | Session 5 - Distributed algorithms Distributed Vertex-Cut Partitioning Multi-agent systems design and prototyping with bigraphical reactive systems (short paper) |
19:00 - | Social Dinner |
THURSDAY, JUNE 5 |
|
09:30 | Keynote speaker:Joachim Parrow The right stuff |
10:30 | Coffee break |
Program