Towards verified cloud computing environments.

Frédéric Loulergue Frédéric Gava Nikolai Kosmatov Matthieu Lemerre

Published in: HPCS (2012)

Keyphrases

computing environments
computing platform
cloud computing
mobile computing
service discovery
mobile environments
pervasive computing
low bandwidth
grid computing
mobile agents
computing paradigm
pervasive computing environments
grid systems
data center
database systems
memory management
situation aware