Verifying Cloud Application for the Interaction Correctness Using SoaML and SPIN.

Chunling Hu Guoqing Geng Bixin Li Chao Tang Xiaofeng Wang

Published in: ICSCA (2019)

Keyphrases

cloud computing
data center
data management
real time
image processing
image sequences
database
decision making
knowledge base
three dimensional
similarity measure
open source
key technologies
human interaction