Virtual machine contracts for datacenter and cloud computing environments. - Jeanna N. Matthews; Tal Garfinkel; Christofer Hoff; Jeff Wheeler (ACDC@ICAC, 2009)