Service-Oriented and Cloud Computing: 8th Ifip Wg 2.14 European Conference, Esocc 2020, Heraklion, Crete, Greece, September 28-30, 2020, Proceedings

ISBN-13: 9783030447687 / Angielski / Miękka / 2020 / 193 str.

Antonio Brogi; Wolf Zimmermann; Kyriakos Kritikos

Spis treści

Formal Methods.- Testing conformance in multi-component enterprise application management.- Formalizing Event-Driven Behavior of Serverless Applications.- Probabilistic Verification of Outsourced Computation Based on Novel Reversible PUFs.- Cloud Service and Platform Selection.- Multiplayer game backends: A Comparison of commodity cloud-based approaches.- Are Cloud Platforms Ready for Multi-Cloud?.- Identification of Comparison Key Elements and their Relationships for Cloud Service Selection.- Deployment and Workflows.- Deployable Self-Contained Workflow Models.- Technology-Agnostic Declarative Deployment Automation of Cloud Applications.- Blockchain-Based Healthcare Workflows in Federated Hospital Clouds.- Monitoring.- Monitoring Behavioral Compliance with Architectural Patterns based on Complex Event Processing.- Towards Real-Time Monitoring of Data Centers using Edge Computing.- Modeling Users' Performance: Predictive Analytics in an IoT Cloud Monitoring System.- Data Distribution and Analytics.- Multi-Source Distributed System Data for AI-powered Analytics.- Blockchain- and IPFS-based Data Distribution for the Internet of Things.