NSF Workshop on Pervasive Computing at Scale , PeCS