As new technologies create smaller, cheaper and faster machines, we see a paradigm shift from desktop computing to wearable computing. In less than a decade, we have witnessed the...
Jennifer G. Sheridan, Valerie Lafond-Favieres, Wen...
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
Willem Visser, Klaus Havelund, Guillaume P. Brat, ...
We analyze help-seeking strategies in two large tech support boards and observe a number of previously unreported differences between tech support boards and other types of online...
We have used semantic technologies to design, implement, and deploy an interdisciplinary virtual observatory. The Virtual Solar-Terrestrial Observatory is a production data framew...
Deborah L. McGuinness, Peter Fox, Luca Cinquini, P...
In this paper, we describe the origins, thematics, projects and practices of the art research collective Sponge. In particular, we focus on Sponge as a useful case study in transd...