Measuring and Understanding Opportunistic Co-presence Patterns in Smart Office Spaces | IEEE Conference Publication | IEEE Xplore