↓ Skip to main content
What is this page? Embed badge

Service-Oriented and Cloud Computing

Overview of attention for book
Cover of 'Service-Oriented and Cloud Computing'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 On or Off the Blockchain? Insights on Off-Chaining Computation and Data
  3. Altmetric Badge
    Chapter 2 Microservices Identification Through Interface Analysis
  4. Altmetric Badge
    Chapter 3 A Performance Survey of Lightweight Virtualization Techniques
  5. Altmetric Badge
    Chapter 4 Low-Level Exploitation Mitigation by Diverse Microservices
  6. Altmetric Badge
    Chapter 5 A Formal Approach for the Verification of AWS IAM Access Control Policies
  7. Altmetric Badge
    Chapter 6 Foundations for Designing, Defining, Validating and Executing Access Control Policies in Cloud Environments
  8. Altmetric Badge
    Chapter 7 Secure and Scalable Remote Access Tunnels for the IIoT: An Assessment of openVPN and IPsec Performance
  9. Altmetric Badge
    Chapter 8 Two Are Better Than One: An Algorithm Portfolio Approach to Cloud Resource Management
  10. Altmetric Badge
    Chapter 9 A Fuzzy Load Balancer for Adaptive Fault Tolerance Management in Cloud Platforms
  11. Altmetric Badge
    Chapter 10 Data Preparation as a Service Based on Apache Spark
  12. Altmetric Badge
    Chapter 11 Human-in-the-Loop Simulation of Cloud Services
  13. Altmetric Badge
    Chapter 12 Toward Automatic Semantic API Descriptions to Support Services Composition
  14. Altmetric Badge
    Chapter 13 On Abstraction-Based Deadlock-Analysis in Service-Oriented Systems with Recursion
  15. Altmetric Badge
    Chapter 14 IoT-Based Compliance Checking of Multi-party Business Processes Modeled with Commitments
  16. Altmetric Badge
    Chapter 15 Empowering Low-Latency Applications Through a Serverless Edge Computing Architecture
  17. Altmetric Badge
    Chapter 16 uStorage - A Storage Architecture to Provide Block-Level Storage Through Object-Based Storage
  18. Altmetric Badge
    Chapter 17 Heart Disorder Detection with Menard Algorithm on Apache Spark
Attention for Chapter 13: On Abstraction-Based Deadlock-Analysis in Service-Oriented Systems with Recursion
Altmetric Badge

Readers on

mendeley
1 Mendeley
Summary
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
On Abstraction-Based Deadlock-Analysis in Service-Oriented Systems with Recursion
Chapter number 13
Book title
Service-Oriented and Cloud Computing
Published by
Springer, Cham, September 2017
DOI 10.1007/978-3-319-67262-5_13
Book ISBNs
978-3-31-967261-8, 978-3-31-967262-5
Authors

Mandy Weißbach, Wolf Zimmermann, Weißbach, Mandy, Zimmermann, Wolf

View on publisher site

This page is provided by Altmetric.