Table of Contents
|
Service-Oriented and Cloud Computing
Antonio Brogi, Wolf Zimmermann, Kyriakos Kritikos |
Front Matter |
Formal Methods
|
Testing Conformance in Multi-component Enterprise Application Management
Jacopo Soldani, Lars Luthmann, Malte Lochau, Antonio Brogi |
3-18 |
Formalizing Event-Driven Behavior of Serverless Applications
Matthew Obetz, Anirban Das, Timothy Castiglia, Stacy Patterson, Ana Milanova |
19-29 |
Probabilistic Verification of Outsourced Computation Based on Novel Reversible PUFs
Hala Hamadeh, Abdallah Almomani, Akhilesh Tyagi |
30-37 |
Cloud Service and Platform Selection
|
Multiplayer Game Backends: A Comparison of Commodity Cloud-Based Approaches
Nicos Kasenides, Nearchos Paspallis |
41-55 |
Are Cloud Platforms Ready for Multi-cloud?
Kyriakos Kritikos, Paweł Skrzypek, Feroz Zahid |
56-73 |
Identification of Comparison Key Elements and Their Relationships for Cloud Service Selection
Anis Ahmed Nacer, Olivier Perrin, and François Charoy |
74-84 |
Deployment and Workflows
|
Deployable Self-contained Workflow Models
Benjamin Weder, Uwe Breitenbücher, Kálmán Képes, Frank Leymann, Michael Zimmermann |
85-96 |
Technology-Agnostic Declarative Deployment Automation of Cloud Applications
Michael Wurster, Uwe Breitenbücher, Antonio Brogi, Lukas Harzenetter, Frank Leymann, Jacopo Soldani |
97-112 |
Blockchain-Based Healthcare Workflows in Federated Hospital Clouds
Armando Ruggeri, Maria Fazio, Antonio Celesti, Massimo Villari |
113-121 |
Monitoring
|
Monitoring Behavioral Compliance with Architectural Patterns Based on Complex Event Processing
Christoph Krieger, Uwe Breitenbücher, Michael Falkenthal, Frank Leymann, Vladimir Yussupov, Uwe Zdun |
125-140 |
Towards Real-Time Monitoring of Data Centers Using Edge Computing
Brian Setz, Marco Aiello |
141-148 |
Modeling Users’ Performance: Predictive Analytics in an IoT Cloud Monitoring System
Rosa Salvo, Antonino Galletta, Orlando Marco Belcore, Massimo Villari |
149-158 |
Data Distribution and Analytics
|
Multi-source Distributed System Data for AI-Powered Analytics
Sasho Nedelkoski, Jasmin Bogatinovski, Ajay Kumar Mandapati, Soeren Becker, Jorge Cardoso, Odej Kao |
161-176 |
Blockchain- and IPFS-Based Data Distribution for the Internet of Things
Simon Krejci, Marten Sigwart, Stefan Schulte |
177-191 |
Designed by Inria-IES Team :  Hosted by HAL : 
|
