561 search results - page 90 / 113 » A Constructive Approach to Testing Model Transformations |
141
click to vote
AMR
2008
Springer
15 years 3 months ago
2008
Springer
A variety of approaches exist to the automatic retrieval of the key part within a musical piece - its thumbnail. Most of these however do not use adequate modeling with respect to ...
129
click to vote
COR
2007
15 years 1 months ago
2007
We present a unified heuristic, which is able to solve five different variants of the vehicle routing problem: the vehicle routing problem with time windows (VRPTW), the capacit...
140
click to vote
VMCAI
2010
Springer
15 years 9 months ago
2010
Springer
This paper upgrades Regular Linear Temporal Logic (RLTL) with past operators and complementation. RLTL is a temporal logic that extends the expressive power of linear temporal logi...
114
click to vote
APLAS
2008
ACM
15 years 3 months ago
2008
ACM
Abstract. Symbolic execution is a flexible and powerful, but computationally expensive technique to detect dynamic behaviors of a program. In this paper, we present a context-sensi...
105
click to vote
JDCTA
2010
14 years 8 months ago
2010
The transformation of economic development approach demands to develop high-tech industries, while high-tech industries can't develop without financial support, in which diff...