2324 search results - page 38 / 465 » Benchmark Generation Using Domain Specific Modeling |
119
Voted
CODES
2001
IEEE
15 years 6 months ago
2001
IEEE
This paper addresses the problem of estimating cost and development effort of a system, starting from its complete or partial high-level description. In addition, some modificatio...
113
Voted
CATS
2008
15 years 3 months ago
2008
Lazy clause generation is a hybrid SAT and finite domain propagation solver that tries to combine the advantages of both: succinct modelling using finite domains and powerful nogo...
209
click to vote
SIGMOD
2007
ACM
16 years 2 months ago
2007
ACM
Declarative data quality has been an active research topic. The fundamental principle behind a declarative approach to data quality is the use of declarative statements to realize...
98
Voted
SIGOPSE
2004
ACM
15 years 7 months ago
2004
ACM
Configuration is the process whereby components are assembled or adjusted to produce a functional system that operates at a specified level of performance. Today, the complexity o...
130
Voted
ICST
2009
IEEE
15 years 1 days ago
2009
IEEE
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...