Sciweavers

1511 search results - page 76 / 303
» Hierarchical Graph Transformation
Sort
View
TSE
2010
148views more  TSE 2010»
15 years 2 months ago
Program Behavior Discovery and Verification: A Graph Grammar Approach
—Discovering program behaviors and functionalities can ease program comprehension and verification. Existing program analysis approaches have used text mining algorithms to infer...
Chunying Zhao, Jun Kong, Kang Zhang
WADT
1998
Springer
15 years 8 months ago
An Algebra of Graph Derivations Using Finite (co-) Limit Double Theories
Graph transformation systems have been introduced for the formal specification of software systems. States are thereby modeled as graphs, and computations as graph derivations acco...
Andrea Corradini, Martin Große-Rhode, Reiko ...
138
Voted
DAGSTUHL
2004
15 years 5 months ago
Multi-Domain Integration with MOF and extended Triple Graph Grammars
One aim of tool integration is designing an integrated development environment that accesses the data/models of different tools and keeps them consistent throughout a project bein...
Alexander Königs, Andy Schürr
DATE
2007
IEEE
146views Hardware» more  DATE 2007»
15 years 11 months ago
Data-flow transformations using Taylor expansion diagrams
Abstract: An original technique to transform functional representation of the design into a structural representation in form of a data flow graph (DFG) is described. A canonical,...
Maciej J. Ciesielski, Serkan Askar, Daniel Gomez-P...
ACIVS
2005
Springer
15 years 10 months ago
Image Registration Using Uncertainty Transformations
Abstract. In this work we introduce a new technique for a frequently encountered problem in computer vision: image registration. The registration is computed by matching features, ...
Kristof Teelen, Peter Veelaert