1887 search results - page 24 / 378 » Annotation Framework Validation Using Domain Models |
JOT
2006
14 years 9 months ago
2006
Model transformation has become one of the most focused research field, motivated by for instance the OMG's Model-Driven Architecture (MDA). Metamodeling is a central techniq...
74
Voted
VLSID
2002
IEEE
15 years 10 months ago
2002
IEEE
Verification is one of the most complex and expensive tasks in the current Systems-on-Chip (SOC) design process. Many existing approaches employ a bottom-up approach to pipeline v...
114
Voted
TOG
2012
12 years 12 months ago
2012
Geometric modeling and the physical validity of shapes are traditionally considered independently. This makes creating aesthetically pleasing yet physically valid models challengi...
PDP
2006
IEEE
15 years 3 months ago
2006
IEEE
— The Parallel Resource-Optimal (PRO) computation model was introduced by Gebremedhin et al. [2002] as a framework for the design and analysis of efficient parallel algorithms. ...
ICDCIT
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. A domain-specific service registry should satisfy two requirements at least: coping with diverse service description requirements from different services; supporting sema...