1153 search results - page 14 / 231 » Reversing graph transformations |
110
click to vote
STACS
1992
Springer
15 years 1 months ago
1992
Springer
We show how to speed up two string-matching algorithms: the Boyer-Moore algorithm (BM algorithm), and its version called here the reverse factor algorithm (RF algorithm). The RF al...
157
click to vote
AGTIVE
2007
Springer
14 years 11 months ago
2007
Springer
Abstract. The DRAGOS database eases the development of graphbased applications by providing a uniform graph-oriented data storage facility. In this paper, we extend the existing da...
126
click to vote
WCRE
2008
IEEE
15 years 3 months ago
2008
IEEE
Data modeling is an essential part of the software development process, and together with application modeling forms the core of the model-driven approach to software engineering....
CONCUR
2001
Springer
15 years 1 months ago
2001
Springer
In this paper we introduce a static analysis technique for graph transformation systems. We present an algorithm which, given a graph transformation system and a start graph, produ...
HASE
2008
IEEE
15 years 3 months ago
2008
IEEE
A high assurance system requires both functional and nonfunctional correctness before the system is put into operation. To examine whether a system’s actual performance complies...