Optimal User Migration upon Server failures in Edge Computing Environment | IEEE Conference Publication | IEEE Xplore