openpex : an open provisioning and execution system for virtual machines .
Xen and the art of virtualization