Sign in

Modeling Accountable Cloud Services Based on Dynamic Logic for Accountability.

Jun ZouYan WangMehmet A. Orgun
Published in: Int. J. Web Serv. Res. (2015)
Keyphrases
  • dynamic logic
  • cloud computing
  • cloud services
  • expert systems
  • query processing
  • programming language
  • reasoning about actions