3410 search results - page 172 / 682 » Measuring Model Transformation in Model Driven Development |
192
click to vote
SIGGRAPH
2010
ACM
15 years 10 months ago
2010
ACM
Achieving interactive performance in cloth animation has significant implications in computer games and other interactive graphics applications. Although much progress has been m...
185
click to vote
VMCAI
2010
Springer
16 years 3 months ago
2010
Springer
This paper investigates relative precision and optimality of analyses for concurrent probabilistic systems. Aiming at the problem at the heart of probabilistic model checking ? com...
156
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
Abstract-- The emergence of digital multimedia and the proliferation of its use have raised major concerns about the protection of intellectual property. In response to these conce...
169
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
The ForSyDe methodology has been developed for system level design. In this paper we present formal transformation methods for the refinement of an abstract and formal system mode...
112
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
For many years, meeting satisfaction has been a key outcome variable in experimental Group Support Systems (GSS) research. GSS research results on meeting satisfaction are conflic...