Educational resource management and optimization using virtualization technologies | IEEE Conference Publication | IEEE Xplore