2324 search results - page 321 / 465 » Specifying interaction surfaces using interaction maps |
142
click to vote
CAI
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. This paper introduces the model-based software development lifecycle model SMA--the Smyle Modeling Approach--which is centered around Smyle. Smyle is a dedicated learning...
168
click to vote
LICS
2012
IEEE
13 years 6 months ago
2012
IEEE
—We study the logic of dynamical systems, that is, logics and proof principles for properties of dynamical systems. Dynamical systems are mathematical models describing how the s...
130
Voted
CG
2007
Springer
15 years 3 months ago
2007
Springer
In this paper, we propose novel GPU accelerated algorithms for interactive point-based rendering (PBR) and high-quality shading of transparent point surfaces. By introducing the c...
127
click to vote
ISORC
1998
IEEE
15 years 8 months ago
1998
IEEE
The Time-Triggered Architecture (TTA) provides a computing infrastructure for the design and implementation of dependable distributed embedded systems. A large real-time applicatio...
134
Voted
EUROPAR
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Automatic performance analysis of parallel programs can be accomplished by scanning event traces of program execution for patterns representing inefficient behavior. The ...