- 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.
Please note that UPSpace will be unavailable from Friday, 2 May at 18:00 (South African Time) until Sunday, 4 May at 20:00 due to scheduled system upgrades. We apologise for any inconvenience this may cause and appreciate your understanding.
Browsing Computer Science by Issue Date
Now showing items 1-20 of 531
-
(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 ...
-
(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.
-
(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.
-
(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 ...
-
(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 ...
-
(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 ...
-
(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
-
(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 ...
-
(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, 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 531