561 search results - page 90 / 113 » A Constructive Approach to Testing Model Transformations |
107
click to vote
AMR
2008
Springer
14 years 11 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 ...
COR
2007
14 years 10 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...
111
click to vote
VMCAI
2010
Springer
15 years 5 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...
APLAS
2008
ACM
15 years 2 days 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...
JDCTA
2010
14 years 4 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...