685 search results - page 106 / 137 » A Comparative Study of Three Program Exploration Tools |
OZCHI
2006
ACM
2006
ACM
Tangible tiles: design and evaluation of a tangible user interface in a collaborative tabletop setup
14 years 1 months ago
In this paper we describe a tangible user interface “Tangible Tiles”, which utilizes optically tracked transparent Plexiglass tiles for interaction and display of projected im...
GG
2004
Springer
14 years 1 months ago
2004
Springer
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...
BC
2000
13 years 7 months ago
2000
Using tools from discrete dynamical systems theory, we begin a systematic analysis of a distributed model of leg coordination with both biological and robotic applications. In this...
DKE
2011
12 years 11 months ago
2011
We report on a case study on control-flow analysis of business process models. We checked 735 industrial business process models from financial services, telecommunications, and...
CHI
2005
ACM
14 years 8 months ago
2005
ACM
This paper presents a platform in which interaction designers can effectively and rapidly develop tangible interactive prototypes by sketching. The study aims to build a platform ...