On verification of nested workflows with extra constraints: From theory to practice.

Roman Barták Vladimír Rovenský

Published in: Expert Syst. Appl. (2014)

Keyphrases

grid workflow
data processing
constrained optimization
theoretical basis
face verification
theoretical insights
theoretical framework
global constraints
formal methods
general theory
database
data sets
web services
theoretical frameworks