Sciweavers

4731 search results - page 340 / 947
» Securing Interactive Programs
Sort
View
EICS
2009
ACM
16 years 1 months ago
A bisimulation-based approach to the analysis of human-computer interaction
This paper discusses the use of formal methods for analysing human-computer interaction. We focus on the mode confusion problem that arises whenever the user thinks that the syste...
Sébastien Combéfis, Charles Pecheur
IV
2008
IEEE
126views Visualization» more  IV 2008»
16 years 1 months ago
Stencil: A Conceptual Model for Representation and Interaction
Existing Information Visualization models provide insufficient support to visualization programmers in creating applications. They either broad and taxonomy based, or narrowly fo...
Joseph A. Cottam, Andrew Lumsdaine
ICSM
2007
IEEE
16 years 1 months ago
Combinatorial Interaction Regression Testing: A Study of Test Case Generation and Prioritization
Regression testing is an expensive part of the software maintenance process. Effective regression testing techniques select and order (or prioritize) test cases between successive...
Xiao Qu, Myra B. Cohen, Katherine M. Woolf
GRAPHITE
2006
ACM
16 years 21 days ago
Interactive landscape visualization using GPU ray casting
—This paper demonstrates the simple yet effective usage of height fields for interactive landscape visualizations using a ray casting approach implemented in the pixel shader of...
Stephan Mantler, Stefan Jeschke
MOBICOM
2006
ACM
16 years 21 days ago
The design, deployment, and analysis of signetLab: a sensor network testbed and interactive management tool
Abstract-The emergence of small, inexpensive, networkcapable sensing devices led to a great deal of research on the design and implementation of sensor networks. A critical step in...
Riccardo Crepaldi, Simone Friso, Albert F. Harris ...