- UPSpace Home
- →
- Engineering, Built Environment and Information Technology
- →
- Computer Science
- →
- Browsing Computer Science by Issue Date
JavaScript is disabled for your browser. Some features of this site may not work without it.
Browsing Computer Science by Issue Date
Now showing items 1-20 of 474
-
(University of Pretoria, 1993)The purpose of this dissertation is to assess digital geo-referenced information and standards for exchanging such information, especially the South African National Exchange Standard (NES). The process of setting up a ...
-
(RWTH Aachen: Fachgruppe Informatik, 1997)In this paper, a new method supporting the well-known graph grammar specification approach to developing fine-grained and incrementally-operating integration tools is presented.
-
(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.
-
(TECTUM, 1997)This file contains a relevant excerpt of my Dipl.-Thesis from the year 1995 in which I had investigated the real gain of the algebraic optimisation techique of deforestation in functional programming. Those techniques were ...
-
(RWTH Aachen: Fachgruppe Informatik, 1998)The need for keeping separate, mutually dependend documents mutually consistent with each other is called an "integration problem". This technical report (in German language), recapitulates some of the already existing ...
-
(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 ...
-
(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 ...
-
(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 ...
-
(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 ...
-
(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 ...
-
(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 ...
-
(University of Pretoria, 2002)Please read the abstract in the section 00front of this document
-
(University of Pretoria, 2003)Please read the abstract in the section 00front of this document
-
(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.
-
(University of Pretoria, 2003)Tremendous emphasis has been placed on wireless technologies recently and it is expected that mobile communications will become an even bigger key driver for growth and innovation in the near future. The purpose of this ...
-
(University of Pretoria, 2005)A mobile ad hoc network is a collection of wireless mobile devices which dynamically form a temporary network, without using any existing network infrastructure or centralised administration. Each node in the network ...
-
(Emerald, 2005)Purpose – To define a framework for access control for virtual applications, enabled through web services technologies. The framework supports the loosely coupled manner in which web services are shared between partners. ...
-
(University of Pretoria, 2005)Operating System fingerprinting is a reconnaissance method used by Whitehats and Blackhats alike. Current techniques for fingerprinting do not take into account tunneling protocols, such as IPSec, SSL/TLS, and SSH, which ...
-
(University of Pretoria, 2005-04-06)The paradigm of Decision Support Systems (DSS) is to support decision-making, while an Expert System’s (ES) major objective is to provide expert advice in specialised situations. Knowledge-Based DSS (KB-DSS), also called ...
Now showing items 1-20 of 474