Search results for: 'mathematical models of virtual machines'