Abstract. BeepBeep is a lightweight runtime monitor for Ajax web applications. Interface specifications are expressed internally in an extension of LTL with first-order quantificat...
In this paper, we describe a set of claims that have evolved from our work in designing visual representations of groups in online environments. We argue that these claims can ser...
Shair is a system allowing contracted mobile phone users to benefit from their unused quota minutes and text messages. Unused minutes and texts are shared via opportunistic local...
Pan Hui, Richard Mortier, Kuang Xu, Jon Crowcroft,...
—We have created a large-scale information delivery platform optimized for mobile phones and used it for many months now to run a content delivery service through SMS. We share t...
Thejovardhana Kote, S. Ramamirtham Jeyashankher, L...