269 search results - page 35 / 54 » AniLan - An Animation Language |
SIGGRAPH
2000
ACM
14 years 6 days ago
2000
ACM
Programmable shading is a common technique for production animation, but interactive programmable shading is not yet widely available. We support interactive programmable shading ...
SIGSOFT
2010
ACM
13 years 2 months ago
2010
ACM
Specification and verification of real-time systems are important research topics which have practical implications. In this work, we present a self-contained toolkit to analyze r...
LPE
1997
13 years 9 months ago
1997
Visualization can be a powerful aid for learning a programming language. It may be used to reinforce central language concepts. In the context of Prolog and CLP-languages, however...
UML
2004
Springer
14 years 1 months ago
2004
Springer
The Object Constraint Language (OCL) plays an important role in the elaboration of precise UML models. Although OCL was designed to be both formal and simple, UML/OCL models may be...
IFIP
2010
Springer
13 years 2 months ago
2010
Springer
This manuscript addresses the creation of scenario-based models to reason about the behavior of existing industrial information systems. In our approach the system behavior is mode...