1965 search results - page 118 / 393 » On the analysis of interacting pushdown systems |
150
click to vote
SNPD
2008
15 years 7 months ago
2008
This paper focuses on studying efficient solutions for modeling and deriving compositional tests for component-based real-time systems. In this work, we propose a coherent framewo...
172
click to vote
ACMDIS
2006
ACM
16 years 6 days ago
2006
ACM
Human-Computer Interaction (HCI) is defined by the Association for Computing Machinery (ACM) Special Interest Group on Computer-Human Interaction (SIGCHI) as “a discipline conce...
145
click to vote
WSC
2004
15 years 7 months ago
2004
The interactive, simulation-aided analysis of material flow systems is often done with the help of virtual reality. If a user wants to influence the simulation run, the simulation...
169
click to vote
CMMR
2004
Springer
15 years 11 months ago
2004
Springer
I describe here a real-time vision-based gesture recognition system used in interactive computer music performances. The performer moves his hands in a video-camera capture area, t...
241
click to vote
ECEASST
2010
15 years 3 months ago
2010
Abstract: Graphical user interfaces (GUIs) are critical components of todays software. Given their increased relevance, correctness and usability of GUIs are becoming essential. Th...