Browsing Conference Papers & Presentations (Computer Science) by Title

Browsing Conference Papers & Presentations (Computer Science) by Title

Sort by: Order: Results:

  • Meta Typing is Compatible to the Typed SPO Approach 
    Gruner, Stefan (Technische Universität Berlin, 2000)
    The main result of this contribution is that the presented concept of meta-typing is compatible to the SPO theory and can be implemented, therefore, into the SPO-based graph grammar engineering environment AGG without ...
  • On Computer Simulations, with particular Regard to their Application in Contemporary Astrophysics — some Science-Philosophical Considerations: DISCUSSION ABSTRACT 
    Gruner, Stefan; Bartelmann, Matthias (2019-06-07)
    This 3-page abstract (with literature references) summarises the main points of our spoken presentation at the IACAP`2019 conference in Mexico City, June the 7th, 2019. A post-proceedings full-paper on this topic is in ...
  • On the shortage of engineering in recent information systems research 
    Gruner, Stefan; Kroeze, Jan C.W.; Australasian Conference on Information Systems, 25th : 2014 : Auckland, New Zealand (Australasian Association for Information Systems, 2014-12-08)
    In this paper we argue that the so-called 'positivism'-versus-'interpretivism' conflict raised by some constructivist, postmodernist, relativist philosophers and methodologists in information systems research is merely a ...
  • Parameterisation of three-valued abstractions 
    Timm, Nils; Gruner, Stefan; CBSoft 2014 Brazilian Conference on Software : Theory and Practice (2014 : Maceio, Brazil) untranslated (2014)
    Three-valued abstraction is an established technique in software model checking. It proceeds by generating an abstract state space model over the values true, false and unknown, where the latter value is used to represent ...
  • Synthesis of cost-optimal multi-agent systems for resource allocation 
    Timm, Nils; Botha, Josua (Open Publishing Association, 2022-09)
    Multi-agent systems for resource allocation (MRAs) have been introduced as a concept for modelling competitive resource allocation problems in distributed computing. An MRA is composed of a set of agents and a set of ...
  • A Tool for Interactive Visualization of Distributed Algorithms 
    Gruner, Stefan; Mosbah, Mohamed; Bauderon, Michel (2001)
    We present a tool for the visualization of distributed computations. Special attention is payed to certain distributed algorithms which have been coded as rewriting systems. In order to study the behaviour of algorithms ...
  • Towards a Generic Design for General-Purpose Sensor Network Nodes 
    Gruner, Stefan (SciTePress, 2010)
    The key to mature and efficient industrial software engineering is standardisation more than an aggressive struggle for innovation only for the sake of its own. This is assumption is also held for the area of sensor networks ...
  • Transfer learning in evolutionary spaces 
    Pillay, Nelishia; Pillay, Nelishia (Association for Computing Machinery, 2022-07)
    No abstract available.
  • A Visual Modeling Technique for Controlling Graph Transformations 
    Gruner, Stefan; Kurt, Murat; Taentzer, Gabriele (Carleton Scientific, 2000)
    Sophisticated control concepts are necessary to make the application of graph grammars feasible for practical graph grammar engineering and specification tasks. For this purpose we introduce hybrid control graphs based on ...
  • Werkzeugspezifikation mit Schemakorrespondenzen 
    Gruner, Stefan (Gesellschaft für Informatik (GI), 1997)
    Integration tools are important means for upholding the mutual consistency of dependent documents. In this work-in-progress-contribution (in German language) a new method for specifying such integration tools is sketched.
  • Why should Chemo-Engineers be interested in Graph Grammars? - A Solution to the Inconsistency Problem in Distributed Modeling 
    Gruner, Stefan (Universität-Gesamthochschule Paderborn, Fachbereich Mathematik-Informatik, 1998-11)
    In distributed modeling, a group of developers are elaborating some specification in a work-sharing manner. Sub specifications and partial models are constructed according to a divide-and-conquer principle. Maintaining the ...