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 ...

This short-paper offers an experience report about a successful way of giving an introductory compiler construction course to 3rd-year undergraduate students. Because the in-depth-presentation of compiler construction has ...

This 3-page abstract (with literature references) summarises the main points of my spoken presentation at the IACAP`2019 conference in Mexico City, June the 6th, 2019. A post-proceedings full-paper on this topic is in preparation.

This paper recapitulates some of the most important thoughts and aspects of the early and almost forgotten computer- and informatics-philosophy by the Austrian computer pioneer Heinz Zemanek (1920-2014). From a practical ...

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 ...

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 ...

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.

Experiments have been conducted in order to determine to what extent Abstract Partial Deduction can infer implicit safety properties of the well-known Bakery Protocol.

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 ...