561 search results - page 61 / 113 » A Constructive Approach to Testing Model Transformations |
110
click to vote
IJCAI
2001
15 years 1 months ago
2001
Much excitement has been generated by the success of stochastic local search procedures at finding solutions to large, very hard satisfiability problems. Many of the problems on wh...
IJAIT
2010
14 years 10 months ago
2010
Many real world industrial applications involve finding a Hamiltonian path with minimum cost. Some instances that belong to this category are transportation routing problem, scan c...
110
click to vote
QOSA
2010
Springer
15 years 3 months ago
2010
Springer
Critical properties of software systems, such as reliability, should be considered early in the development, when they can govern crucial architectural design decisions. A number o...
IJCNN
2007
IEEE
15 years 6 months ago
2007
IEEE
— Using the classical Parzen window estimate as the target function, the kernel density estimation is formulated as a regression problem and the orthogonal forward regression tec...
83
Voted
SIGSOFT
2001
ACM
16 years 16 days ago
2001
ACM
This article explores a dual approach to real-time software development. Models are written in UML, as this is expected to be relatively easy and economic. Then models are automat...