We are improving our search experience. To check which content you have full access to, or for advanced search, go back to the old search.

Search

Please fill in this field.
Filters applied:
Computer science

Search Results

Showing 1-20 of 1,693 results

  1. Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming

    In the field of Model-Driven Engineering, Triple Graph Grammars (TGGs) play an important role as a rule-based means of implementing consistency...

    Nils Weidmann, Anthony Anjorin in Formal Aspects of Computing
    Article Open access 24 August 2021

  2. Ensuring User Interface Adaptation Consistency Through Triple Graph Grammars

    As modern User Interfaces (UIs) are used in varying context-of-use situations, sophisticated mechanisms to control UI adaptations are needed. UI...
    Kai Biermeier, Enes Yigitbas, ... Gregor Engels in Sense, Feel, Design
    Conference paper 2022

  3. Bonding Grammars

    We introduce bonding grammars, a graph grammar formalism developed to model DNA computation. It is a modification of fusion grammars introduced by...
    Tikhon Pshenitsyn in Unconventional Computation and Natural Computation
    Conference paper 2024

  4. A general parsing algorithm with context matching for context-sensitive graph grammars

    Context-sensitive graph grammars have been intuitive and rigorous formalisms for specifying visual programming languages, as they are sufficient...

    Yang Zou, **aoqin Zeng, Yun Zhu in Multimedia Tools and Applications
    Article 23 July 2021

  5. Avoiding unnecessary information loss: correct and efficient model synchronization based on triple graph grammars

    Model synchronization, i.e., the task of restoring consistency between two interrelated models after a model change, is a challenging task. Triple...

    Lars Fritsche, Jens Kosiol, ... Gabriele Taentzer in International Journal on Software Tools for Technology Transfer
    Article Open access 08 September 2020

  6. Dependency-enhanced graph convolutional networks for aspect-based sentiment analysis

    Aspect-based sentiment analysis aims to extract aspect and opinion terms, and identify the sentiment polarities for such terms. The majority of...

    Meng Zhao, **g Yang, Fanshu Shang in Neural Computing and Applications
    Article 24 March 2023

  7. ACGtk: A Toolkit for Develo** and Running Abstract Categorial Grammars

    Abstract categorial grammars (ACGs) is an expressive grammatical framework whose formal properties have been extensively studied. While it can...
    Maxime Guillaume, Sylvain Pogodalla, Vincent Tourneur in Functional and Logic Programming
    Conference paper 2024

  8. Module Integration Using Graph Grammars (MIGRATE)

    Software, whether desktop, mobile or web, is becoming more and more connected. Software development is also becoming more connected with ecosystems...
    Diogo Raphael Cravo, Leila Ribeiro in Formal Methods: Foundations and Applications
    Conference paper 2021

  9. Path Querying on Acyclic Graphs Using Boolean Grammars

    Abstract

    Graph data models are widely employed in different areas of computer science, e.g., graph databases, bioinformatics, social network analysis,...

    E. N. Shemetova, S. V. Grigorev in Programming and Computer Software
    Article 01 January 2021

  10. Pushdown Automata and Context-Free Grammars

    In this chapter we study the class of pushdown automata and their relation to the class of context-free grammars and languages. We also consider...
    Alberto Pettorossi in Automata Theory and Formal Languages
    Chapter 2022

  11. Incremental Concurrent Model Synchronization using Triple Graph Grammars

    In the context of software model-driven development, artifacts are specified by several models describing different aspects, e.g., different views,...
    Fernando Orejas, Elvira Pino, Marisa Navarro in Fundamental Approaches to Software Engineering
    Conference paper Open access 2020

  12. HGAT: smart contract vulnerability detection method based on hierarchical graph attention network

    With the widespread use of blockchain, more and more smart contracts are being deployed, and their internal logic is getting more and more...

    Chuang Ma, Shuaiwu Liu, Guangxia Xu in Journal of Cloud Computing
    Article Open access 22 June 2023

  13. Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming

    Triple Graph Grammars (TGGs) are a declarative and rule-based approach to bidirectional model transformation. The key feature of TGGs is the...
    Nils Weidmann, Anthony Anjorin in Fundamental Approaches to Software Engineering
    Conference paper Open access 2020

  14. Unfolding Symbolic Attributed Graph Grammars

    Attributed graph grammars can specify the transformation of complex data and object structures within a natural rule-based model of concurrency....
    Maryam Ghaffari Saadat, Reiko Heckel, Fernando Orejas in Graph Transformation
    Conference paper 2020

  15. Basic Algorithmics of Multiset Grammars and Metagrammars

    Chapter 4 is dedicated to MGF enhanced algorithmics enabling development of MG-centered schedulers of...
    Igor A. Sheremet in Multigrammatical Framework for Knowledge-Based Digital Economy
    Chapter 2022

  16. The Power Word Problem in Graph Products

    Markus Lohrey, Florian Stober, Armin Weiß in Theory of Computing Systems
    Article Open access 07 May 2024

  17. Rule-Based Top-Down Parsing for Acyclic Contextual Hyperedge Replacement Grammars

    Contextual hyperedge replacement (CHR) strengthens the generative power of hyperedge replacement (HR) significantly, thus increasing its usefulness...
    Frank Drewes, Berthold Hoffmann, Mark Minas in Graph Transformation
    Conference paper 2021

  18. Comprehensive Systems: A formal foundation for Multi-Model Consistency Management

    Model management is a central activity in Software Engineering. The most challenging aspect of model management is to keep inter-related models...

    Patrick Stünkel, Harald König, ... Adrian Rutle in Formal Aspects of Computing
    Article Open access 30 July 2021

  19. Simple Question Answering over Knowledge Graph Enhanced by Question Pattern Classification

    Question answering over knowledge graph (KGQA), which automatically answers natural language questions by querying the facts in knowledge graph (KG),...

    Hai Cui, Tao Peng, ... Lu Liu in Knowledge and Information Systems
    Article 03 September 2021

  20. Model Transformation with Triple Graph Grammars and Non-terminal Symbols

    This work proposes a new graph grammar formalism, that introduces non-terminal symbols to triple graph grammars (TGG) and shows how to apply it to...
    William da Silva, Max Bureck, ... Christian Hein in Formal Techniques for Safety-Critical Systems
    Conference paper 2019
Did you find what you were looking for? Share feedback.