Login / Signup

Towards a Formal Approach for Verifying Dynamic Workflows in the Cloud.

Fairouz FakhfakhHatem Hadj KacemAhmed 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