958 search results - page 132 / 192 » Model Transformation Languages and Their Implementation by B... |
117
click to vote
ICMCS
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper describes an implementation of vertex weighting for real-time animation of 3D trees as a result of wind force and direction. This method improves over similar technique...
123
click to vote
ICFP
2005
ACM
16 years 1 months ago
2005
ACM
Implementing first-class continuations can pose a challenge if the target machine makes no provisions for accessing and re-installing the run-time stack. In this paper, we present...
118
click to vote
CASES
2005
ACM
15 years 3 months ago
2005
ACM
Digital Signal Processing (DSP) is becoming increasingly widespread in portable devices. Due to harsh constraints on power, latency, and throughput in embedded environments, devel...
108
click to vote
FM
2008
Springer
15 years 2 months ago
2008
Springer
Declarative specifications exhibit a variety of problems, such as inadvertently overconstrained axioms and underconstrained conjectures, that are hard to diagnose with model checki...
110
click to vote
SAC
2004
ACM
15 years 6 months ago
2004
ACM
XML data can be stored in different databases including ObjectRelational Database (ORDB). Using ORDB, we get the benefit of the relational maturity and the richness of OO modeling...