: E-LOTOS, a new version of the ISO standard specification language LOTOS, is currently being developed. We describe how it can be used to give a formal meaning to, and to discover...
We examine the role of sound design in pervasive mobile games. As a case study, we present the sound design and evaluation of a working prototype game called The Songs of North. A...
Inger Ekman, Laura Ermi, Jussi Lahti, Jani Nummela...
In this paper we describe the material of a construction kit designed to allow children to build their own handheld and wearable devices to meet their interests and passions. Child...
Bakhtiar Mikhak, Fred Martin, Mitchel Resnick, Rob...
This work seeks to strengthen interaction within a research community through a centrally-located physical device that presents online presence information in a semi-public space....
In strategic multiagent decision making, it is often the case that a strategic reasoner must hold beliefs about other agents and use these beliefs to inform its decision making. T...