Sciweavers

4074 search results - page 201 / 815
» Abstract Graph Transformation
Sort
View
108
Voted
LOPSTR
2004
Springer
15 years 8 months ago
Graph-Based Proof Counting and Enumeration with Applications for Program Fragment Synthesis
For use in earlier approaches to automated module interface adaptation, we seek a restricted form of program synthesis. Given some typing assumptions and a desired result type, we ...
J. B. Wells, Boris Yakobowski
125
Voted
IJWGS
2006
125views more  IJWGS 2006»
15 years 2 months ago
Compiling business processes: untangling unstructured loops in irreducible flow graphs
: This paper presents a systematic study of some major problems involved in the transformation of business process modelling languages to executable business process representation...
Wei Zhao, Rainer Hauser, Kamal Bhattacharya, Barre...
101
Voted
GD
1994
Springer
15 years 6 months ago
A Fast Adaptive Layout Algorithm for Undirected Graphs
d Abstract and System Demonstration) Arne Frick , Andreas Ludwig, Heiko Mehldau Universit
Arne Frick, Andreas Ludwig, Heiko Mehldau
152
Voted
CORR
2010
Springer
117views Education» more  CORR 2010»
15 years 2 months ago
Stability of Reeb graphs under function perturbations: the case of closed curves
ABSTRACT. Reeb graphs provide a method for studying the shape of a manifold by encoding the evolution and arrangement of level sets of a simple Morse function defined on
Barbara Di Fabio, Claudia Landi
JOT
2010
126views more  JOT 2010»
15 years 1 months ago
Inferring design patterns using the ReP graph
Abstract Periodic refactoring of a large source code often becomes a necessity especially for long-lived projects. In order to increase maintainability and extensibility of such pr...
Tushar Sharma, Dharanipragada Janakiram