4074 search results - page 126 / 815 » Abstract Graph Transformation |
111
click to vote
ICLP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The many approaches which have been proposed in the literature for proving the correctness of unfold/fold program transformations, consist in associating suitable well-fo...
110
click to vote
EUROPKI
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Transformations of signed documents raise questions of technical and organisational nature which render the legal security of the transformed document doubtful. In partic...
110
click to vote
CC
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. Source code transformations are a very effective method of parallelizing and improving the efficiency of programs. Unfortunately most compiler systems require implementin...
TSP
2010
14 years 8 months ago
2010
Abstract--We present a constructive algorithm for the design of real lapped equal-norm tight frame transforms. These transforms can be efficiently implemented through filter banks ...
CAISE
2004
Springer
15 years 7 months ago
2004
Springer
In this article, we present a model for transformation of resources in information supply. These transformations allow us to reason more flexibly about information supply, and cul...