In interactive graphical applications we often require that objects do not overlap. Such non-overlap constraints can be modelled as disjunctions of arithmetic inequalities. Unfortu...
Kim Marriott, Peter Moulder, Peter J. Stuckey, Ala...
—Visualizations of actual run-time data support the comprehension of programs, like examples support the ion of abstract concepts and principles. Unfortunately, the required run-...
Michael Perscheid, Bastian Steinert, Robert Hirsch...
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...
Databases containing microscopy images and associated meta-data present users with the challenge of interpreting complex interrelationships between objects. Effective user tools m...
This paper challenges user interface paradigms for mobile devices, by using the technical classification of augmented reality interfaces as a ‘thinking tool’ to develop ideas ...