Login / Signup
Towards a Formal Approach for Verifying Dynamic Workflows in the Cloud.
Fairouz Fakhfakh
Hatem Hadj Kacem
Ahmed Hadj Kacem
Published in:
EMCIS (2018)
Keyphrases
</>
dynamic environments
cloud computing
business processes
data sets
dynamically changing
information retrieval
artificial intelligence
web services
expert systems
description logics