4270 search results - page 194 / 854 » A Permutation Approach to Validation |
163
Voted
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t...
173
click to vote
ANOR
2006
15 years 6 months ago
2006
In this paper we introduce a new formulation of the logistics network design problem encountered in deterministic, single-country, single-period contexts. Our formulation is flexi...
139
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
Modeling and analysis is indispensable in engineering. To be safe and effective, a modeling method requires a language with a validated semantics; feature-rich, easy-to-use, depen...
144
click to vote
CSMR
2008
IEEE
16 years 19 days ago
2008
IEEE
Design anomalies, introduced during software evolution, are frequent causes of low maintainability and low flexibility to future changes. Because of the required knowledge, an im...
141
click to vote
HICSS
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper, we consider existing approaches to ontology definition and validation. Popular techniques include the use of domain experts or reliance on formal logic. We consider...