- UPSpace Home
- →
- Engineering, Built Environment and Information Technology
- →
- Computer Science
- →
- Conference Papers & Presentations (Computer Science)
JavaScript is disabled for your browser. Some features of this site may not work without it.
Conference Papers & Presentations (Computer Science)
Recent Submissions
-
(2024-01-17)From Aristotle's "de Interpretatione IX" we are familiar with the famous scenario: "tomorrow there will be a sea battle, OR tomorrow there will be NO sea battle". From a purely syntactic-formal point of view, Aristotle's ...
-
(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 ...
-
(Association for Computing Machinery, 2022-07)No abstract available.
-
(College of Science, Engineering and Technology: University of South Africa (UNISA), 2019)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 ...
-
(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 ...
-
(2019-06-06)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.
-
(University of Cape Town, 2018)Many university students, especially first-year students, struggle to efficiently manage their study time which results in lower academic achievements. This paper empirically examines the effect that the number of ...
-
(University of Wollongong (Australia), 2016-12)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 ...
-
(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 ...
-
(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 ...
-
(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 ...
-
(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 ...
-
(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 ...
-
(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.
-
(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 ...
-
(Springer-Verlag, 2003)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.
-
(Springer-Verlag, 2000)In this overview-paper, a specification method based on coupled graph grammars is sketched that is able to uniformly describe consistent domain configurations which distributed modeling as well as re-engineering tasks are ...
-
(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 ...