644 search results - page 37 / 129 » Interaction and Realizability |
CBSE
2009
Springer
14 years 4 months ago
2009
Springer
An integrated model-based development approach has to capture the relationship between requirements, design, and implementation models. In the requirements engineering phase, the m...
CONCUR
2008
Springer
13 years 11 months ago
2008
Springer
A well-known theorem in automata theory states that every context-free language is accepted by a pushdown automaton. We investigate this theorem in the setting of processes, using ...
TEI
2010
ACM
14 years 4 months ago
2010
ACM
In this paper, I propose that visualization should escape the traditional constraint of the screen and embrace the physical environment to realize more tangible interactions for m...
PERCOM
2007
ACM
14 years 9 months ago
2007
ACM
In this paper we present a toolkit for realizing capacitive sensing applications for human-computer interaction in pervasive computing systems. We argue that capacitive sensors - ...
ECOOP
1998
Springer
14 years 2 months ago
1998
Springer
Framework optimizations capitalize on object dependencies, while framework flexibility and composability demand object independence. This paper shows how to balance these conflicti...