A verification mechanism for cloud brokerage system.

Johannes Harungguan Sianipar Christoph Meinel

Published in: CSCESM (2015)

Keyphrases

cloud computing
model checking
formal verification
knowledge sharing
databases
real world
machine learning
information retrieval
knowledge base
similarity measure
search algorithm
expert systems
evolutionary algorithm
cost effective
selection mechanism
functional verification