Time-Aware Publish/Subscribe for Networks of Mobile Devices