In many occasions would one encounter the task of maintaining the consistency of two pieces of structured data that are related by some transform — synchronising bookmarks in diï...
This paper describes the Mediating Agent, an animated pedagogical agent inserted in a computational system for distance learning, which has the goal of motivating the student to le...
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
Abstract. This paper presents a formal analysis of the device discovery phase of the Bluetooth wireless communication protocol. The performance of this process is the result of a c...
Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman,...
We describe an interactive narrative system that embodies Object Oriented Prompted Play (O2P2). This means that behaviours, attributes, and crucially stories are attached to object...