A Resource Elastic Scheduling Algorithm of Service Platform for Cloud Robotics | IEEE Conference Publication | IEEE Xplore