Good Manners for Pervasive Computing--An Approach Based on the Ambient Calculus | IEEE Conference Publication | IEEE Xplore