1000 search results - page 27 / 200 » Relationship Model of Abstractions Used for Developing Domai... |
CAV
2010
Springer
13 years 12 months ago
2010
Springer
Analysis of Symbolic Executions Aws Albarghouthi1 , Arie Gurfinkel2 , Ou Wei1,3 , and Marsha Chechik1 1 Department of Computer Science, University of Toronto, Canada 2 Software Eng...
PR
2010
13 years 7 months ago
2010
Wavelet analysis has found widespread use in signal processing and many classification tasks. Nevertheless, its use in dynamic pattern recognition have been much more restricted ...
BALT
2010
13 years 3 months ago
2010
Abstract. This paper addresses the pattern matching problem for model transformation languages. Despite being an NP-complete problem, the pattern matching can be solved efficiently...
WEBI
2010
Springer
13 years 6 months ago
2010
Springer
Abstract--This paper describes an Open Linked Data backlinking service, a generic architecture component to support the discovery of useful links between items across highly connec...
ECBS
1999
IEEE
14 years 29 days ago
1999
IEEE
Model integrated computing (MIC) is gaining increased attention as an effective and efficient method for developing, maintaining, and evolving large-scale, domain-specific softwar...