Skip to Main content Skip to Navigation

 

 

 


Full Text Documents

Chargement de la page

Search

Chargement de la page

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 : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/