1613 search results - page 82 / 323 » Model-Driven Constraint Engineering |
124
Voted
AMAST
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Software applications are inevitably concerned with data integrity, whether the data is stored in a database, files, or program memory. An integrity guard is code execut...
163
Voted
CCECE
2006
IEEE
15 years 9 months ago
2006
IEEE
In this paper, we introduce new algorithms for selecting taxon samples from large evolutionary trees, maintaining uniformity and randomness, under certain new constraints on the t...
119
Voted
CSMR
2005
IEEE
15 years 9 months ago
2005
IEEE
In complex systems, it is difficult to identify which system element is involved in which requirement. In this article, we present a new approach for expressing and validating a ...
126
Voted
ICDM
2009
IEEE
15 years 1 months ago
2009
IEEE
Efficient acquisition of constraint networks is a key factor for the applicability of constraint problem solving methods. Current techniques ease knowledge acquisition by generati...
170
Voted
ICST
2009
IEEE
15 years 1 months ago
2009
IEEE
Euclide is a new Constraint-Based Testing tool for verifying safety-critical C programs. By using a mixture of symbolic and numerical analyses (namely static single assignment for...