CloudMan: A platform for portable cloud manufacturing services | IEEE Conference Publication | IEEE Xplore