1153 search results - page 14 / 231 » Reversing graph transformations |
STACS
1992
Springer
13 years 11 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...
AGTIVE
2007
Springer
13 years 9 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...
WCRE
2008
IEEE
14 years 1 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
14 years 1 days 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
14 years 2 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...