Sciweavers

594 search results - page 44 / 119
» Using Object Variants to Support Context-Aware Interactions
Sort
View
CP
2001
Springer
14 years 3 days ago
Solving Disjunctive Constraints for Interactive Graphical Applications
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...
WCRE
2010
IEEE
13 years 6 months ago
Immediacy through Interactivity: Online Analysis of Run-time Behavior
—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...
CCS
2007
ACM
14 years 1 months ago
Specifying and analyzing security automata using CSP-OZ
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, ...
David A. Basin, Ernst-Rüdiger Olderog, Paul E...
ISBI
2006
IEEE
14 years 8 months ago
Quasi-hierarchical, interactive navigation of images and meta-data in the Open Microscopy Environment
Databases containing microscopy images and associated meta-data present users with the challenge of interpreting complex interrelationships between objects. Effective user tools m...
Harry Hochheiser, Ilya G. Goldberg
ACMDIS
2000
ACM
13 years 12 months ago
Augmented Reality as a Design Tool for Mobile Interfaces
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 ...
Olav W. Bertelsen, Christina Nielsen