Verification of Use-Cases with FOAM Tool in Context of Cloud Providers.

Jirí Vinárek Viliam Simko Petr Hnetynka

Published in: EUROMICRO-SEAA (2015)

Keyphrases

context aware
context sensitive
conceptual model
real time
contextual information
model checking
database
databases
genetic algorithm
decision trees
high level
expert systems
cloud computing
user friendly
context dependent
knowledge retrieval