Service-oriented operating systems: future workspaces | IEEE Journals & Magazine | IEEE Xplore