2834 search results - page 377 / 567 » Design Intent-Oriented Modelling Tools for Aesthetic Design |
163
click to vote
WOSP
2005
ACM
15 years 10 months ago
2005
ACM
Software performance based on performance models can be applied at early phases of the software development cycle to characterize the quantitative behavior of software systems. We...
172
click to vote
ICPADS
1994
IEEE
15 years 8 months ago
1994
IEEE
Testingthe performance scalabilityof parallelprograms can be a time consuming task, involving many performance runs for different computer configurations, processor numbers, and p...
132
click to vote
ECMDAFA
2007
Springer
15 years 10 months ago
2007
Springer
Although there are a large number of academic and industrial model transformation frameworks available, allowing specification, implementation, maintenance and documentation of mod...
124
click to vote
ICFP
2007
ACM
16 years 4 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
156
click to vote
GRAPHITE
2003
ACM
15 years 10 months ago
2003
ACM
We consider a repository of animation models and motions that can be reused to generate new animation sequences. For instance, a user can retrieve an animation of a dog kicking it...