Architecture for end-user programming of cross-smart space applications | IEEE Conference Publication | IEEE Xplore