Deadlock Analysis of Service-Oriented Systems with Recursion and Concurrency.

Mandy Weißbach

Published in: ESOCC Workshops (2016)

Keyphrases

neural network
database
decision making
image processing
databases
computer vision
image sequences
mobile robot
query language
logic programs
statistical analysis
integrity constraints
quantitative analysis