291 search results - page 12 / 59 » Interface Input Output Automata |
GRAPHICSINTERFACE
2007
15 years 1 months ago
2007
We use a haptically enhanced mixing board with a video projector as an interface to various data visualization tasks. We report results of an expert review with four participants,...
PODS
2004
ACM
15 years 11 months ago
2004
ACM
Typechecking consists of statically verifying whether the output of an XML transformation is always conform to an output type for documents satisfying a given input type. We focus...
CHI
2009
ACM
16 years 8 days ago
2009
ACM
In this paper, we explore how to add pointing input capabilities to very small screen devices. On first sight, touchscreens seem to allow for particular compactness, because they ...
103
click to vote
DSVIS
2008
Springer
15 years 1 months ago
2008
Springer
Specifying user interfaces consists in a fundamental activity in the user interface development life cycle as it informs the subsequent steps. Good quality specifications could lea...
104
click to vote
IJFCS
2002
14 years 11 months ago
2002
Vector algorithms allow the computation of an output vector r = r1r2 :::rm given an input vector e = e1e2 :::em in a bounded number of operations, independent of m the length of t...