A Model and Decision Procedure for Data Storage in Cloud Computing
Above the Clouds: A Berkeley View of Cloud Computing