22909 search results - page 229 / 4582 » A System of Interaction and Structure |
174
click to vote
ECBS
1997
IEEE
15 years 11 months ago
1997
IEEE
We present a new approach to an interactive design and analysis environment for visual languages. The main components, i.e., editor, animator, and interpreter, are introduced. The...
178
click to vote
BCSHCI
2007
15 years 8 months ago
2007
The major goal of this workshop is to explore how interactive systems can support human memory, using novel technologies and innovative human/machine interaction paradigms, such a...
194
click to vote
AICOM
2010
15 years 7 months ago
2010
This paper presents an interactive proof method for the verification of temporal properties of concurrent systems based on symbolic execution. Symbolic execution is a well known a...
191
click to vote
ENTCS
2006
15 years 7 months ago
2006
This paper describes a Java-based framework for the development of componentbased software systems supporting the specification of the logic of component interactions as a first-c...
150
click to vote
TEI
2010
ACM
16 years 2 months ago
2010
ACM
We describe an approach for a class of tangible interaction elements that are applicable across a broad variety of interactive systems. These tangibles share certain physical, vis...