BiCloud-2M: A Combined Bigraph Maude-based Tool for Cloud Specification and Analysis.

Zakaria Benzadri Chafia Bouanaka Faiza Belala

Published in: ICAASE (2014)

Keyphrases

database
object oriented
formal specification
data sets
artificial intelligence
information systems
high level
learning environment
search algorithm
mobile devices
user friendly
quantitative analysis