Run-time type analysis allows programmers to easily and concisely define operations based upon type structure, such as serialization, iterators, and structural equality. However,...
This paper proposes a distributed and scalable publish-subscribe broker with support for QoS. The broker, called “IndiQoS”, leverages on existing mechanisms to reserve resourc...
This paper introduces the Sigma algorithm that solves fault-tolerant mutual exclusion problem in dynamic systems where the set of processes may be large and change dynamically, pr...
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...
Among the variety of alignment approaches (e.g., using machine learning, subsumption computation, formal concept analysis, etc.) similarity-based ones rely on a quantitative asses...