The BaBar experiment at the Stanford Linear Accelerator Center (SLAC) is designed to perform a high precision investigation of the decays of the B-meson produced from electron-pos...
UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded systems specified as timed automata. In this paper we present our experiences...
Kim Guldstrand Larsen, Marius Mikucionis, Brian Ni...
The design of online collaborative computer games and pervasive games can learn from the everyday practice of deer hunting. We present an ethnographic study revealing how hunters ...
This paper gives an account of the practical experiences made in generating special statistical information of web server logs. It emphasizes the problem of combining different dat...
Ernst Georg Haffner, Uwe Roth, Andreas Heuer 0002,...
This paper reports on a UK ESRC-funded project studying representations of practice, in video clips and voice annotations, for professional collaborative learning in distributed o...