Abstract. In this paper we argue that using verification in interactive systems development is more than just checking whether the specification of the system has all the required ...
GAZE-2 is an attentive video conferencing system that conveys whom users are talking to by measuring whom a user looks at and then rotating his video image towards that person in ...
A Java Card applet is, in general, not allowed to access fields and methods of other applets on the same smart card. This applet isolation property is enforced by dynamic checks i...
When an offence occurs, the victim and offender can overcome the harm done through forgiveness. This paper demonstrates how forgiveness can be supported in social system design. W...
Asimina Vasalou, Jens Riegelsberger, Adam N. Joins...