115 search results - page 13 / 23 » Perceptive User Interface, a Generic Approach |
KBSE
1994
IEEE
15 years 1 months ago
1994
IEEE
This paper describes a formal approach to domain-oriented software design environments, based on declarative domain theories, formal specifications, and deductive program synthesi...
104
Voted
SE
2007
14 years 11 months ago
2007
Abstract: Today’s enterprise applications are based on numerous interrelated components that capture domain-specific, generic or infrastructural functionality. Each component is...
MODELS
2007
Springer
15 years 3 months ago
2007
Springer
In this position paper, we explain our approach for collaborative systems development based on a model of cooperative applications and a formalism called ORCHESTRA allowing to exp...
CHI
2006
ACM
15 years 10 months ago
2006
ACM
We present an interactive method for cropping photographs given minimal information about the location of important content, provided by eye tracking. Cropping is formulated in a ...
GI
2010
Springer
14 years 7 months ago
2010
Springer
: paper we present a two-level approach to extend the abstract syntax of models with concrete semantics in order to execute such models. First, a light-weight execution infrastruct...