Verifying the Availability of Cloud Applications.

Melanie Siebenhaar Olga Wenge Ronny Hans Hasan Tercan Ralf Steinmetz

Published in: CLOSER (2013)

Keyphrases

cloud computing
model checking
artificial neural networks
data center
real time
data sets
image segmentation
digital libraries
computational power
computing platform
computing infrastructure