SpaceOS: Operating system services for smart computing environments. - Debashish Ghosh; Lineker Tomazeli; Fan Jin; Muthucumaru Maheswaran (WoWMoM, 2014)