A Taxonomic Specification of Cloud@Home.

Salvatore Distefano Vincenzo D. Cunsolo Antonio Puliafito

Published in: ICIC (2) (2010)

Keyphrases

cloud computing
high level
formal specification
specification language
data sets
databases
real world
artificial intelligence
user defined
virtual machine
formal methods
daily activities
remote control
reactive systems
family members
protocol specification