"Comparison of platform virtual machines"@cs .