Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 16 of 16 for “"graph transformation"”.
-
Picture Analysis by Graph Transformation
Made available in DSpace on 2014-12-10T20:13:42Z (GMT). No. of bitstreams: 1 7412101.pdf: 6076331 bytes, checksum: 4ce1e401e3c8759f36580e21a052bba6 (MD5) Previous issue date: 1973
-
Development of correct graph transformation systems
… die Erlangung der Fähigkeit die Korrektheit von graphenbasierten Spezifikationen zu entscheiden, die aus einer grafischen Vorbedingung, einem Graphprogramm und einer grafischen Nachbedingung bestehen. Es wird gezeigt, wie schwächste Vorbedingungen für Graphprogramme und Graphbedingungen …
-
Behavior and confluence analysis of M-adhesive transformation systems using M-functors
For modeling dynamic systems, various graphical modeling formalisms exist. In particular, rule-based graph transformation formalisms have proven to be adequate, both to capture system behavior and system adaptations. For some graph transformation-based formalisms there already exist …
-
Specification of Software Architecture Reconfiguration
… Theory, and specifies reconfigurations by graph transformation rules.
-
Formal Verification of Relational Model Transformations using an Intermediate Verification Language
… the complexity of software development. Model transformation is widely acknowledged as one of its central ingredients. Among different paradigms of model transformations, we are specifically interested in relational model transformations. Proving the correctness of relational model …
-
Strategic Modelling with Graph Rewriting Tools
To model complex systems, graphical formalisms have clear advantages: they are more intuitive and make it easier to visualise a system and convey intuitions or ideas about it. Graph rewriting rules can be used to model their dynamic evolution and from a practical point of view, graph …
-
Analysing First Passage Time Distributions of Large Ill-Conditioned Energy Landscapes
… computationally expensive. We introduce partial Graph Transformation, a network reduction tool that conserves the mean first passage time, and approximately preserves the full first passage time distribution. When there are significant differences in the fastest and slowest transition timescales …
-
A Graph Approach to Measuring Text Distance
… two texts by taking advantage of the inherently graphical structure in an ontology. We evaluate our method in a variety of NLP tasks. In our task-based evaluation, we find that our method performs well on two of three tasks. We introduce a novel measure which is intended to capture how well our …
-
Knowledge composition methodology for effective analysis problem formulation in simulation-based design
… analyst-intelligible building blocks, (2) graph transformation-based methods to automatically compose simulation templates from these building blocks based on analyst idealization decisions, and (3) meta-models for representing advanced simulation templates VTMB design models, analysis …
-
Architectural modelling and verification of open service-oriented systems of systems
… for our modelling approach which employs hybrid graph-transformation systems. The modelling approach is accompanied by a modular verification scheme that will be able to cope with the complexity constraints implied by the SoS' structural dynamics and size. Building such autonomous systems as SoS …
-
GROK-FPGA: Generating Real on-Chip Knowledge for FPGA Fine-Grain Delays Using Timing Extraction
… which paths to measure requires simple graph transformation algorithms applied to a representation of the FPGA circuit. Ultimately, this process decomposes the FPGA into individual components and identifies which paths to measure for computing the delay of individual components. We apply …
-
In solving the dominating set problem : group theory approach
… a new way to find the dominating set of a graph by introducing the concept of an orbit graph and a weighted dominating set. We showed that the Blokhuis-Lam method for the football pool problem is a special case of assuming that the solution has a non-trivial automorphism group. A general …
-
Design and Performance Prediction for Supply Chain Systems with Graphical Structures
… of large-scale supply chain systems with graphical structures such as assemble-to-order (ATO) systems and e-commerce fulfillment networks. It consists of three essays.</p><p>The first essay studies the design of effective operational policies in the assemble-to-order (ATO) systems. We …
-
Multi-objective Network Virtualization and its Applicability to Industrial Networks
… Service Function Chains (SFCs). We use the graph transformation method to transform abstract application requirements (represented by an Application Request (AR)) into an EVN. Both EVN composition and embedding methods consider the Substrate Network (SN) topology and different security, …
-
Specifying and verifying program transformations with PTRANS
… Framework for Optimizations and Program Transformations, designed to facilitate stating and reasoning about compiler optimizations and transformations on parallel programs. Most verified compilation projects focus on a single intermediate language and a small number of input and output …