2421 search results - page 157 / 485 » Message from the Editor-in-Chief |
CAV
2009
Springer
14 years 11 months ago
2009
Springer
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...
CHI
2003
ACM
14 years 11 months ago
2003
ACM
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...
WMCSA
2009
IEEE
14 years 5 months ago
2009
IEEE
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...
COMSWARE
2008
IEEE
14 years 5 months ago
2008
IEEE
—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...
CSFW
2007
IEEE
14 years 5 months ago
2007
IEEE
mplementations for Typed Session Abstractions Ricardo Corin1,2,3 Pierre-Malo Deni´elou1,2 C´edric Fournet1,2 Karthikeyan Bhargavan1,2 James Leifer1 1 MSR-INRIA Joint Centre 2 Mic...