Institutional Repository

Browsing South African Computer Journal (SACJ) by Title

Browsing South African Computer Journal (SACJ) by Title

Sort by: Order: Results:

  • Data structuring via functions 
    Venter, BH (South African Institute of Computer Scientists and Information Technologists, 1990)
    A programming language data model is introduced, based on the notions that variables are functions and types are sets of values. It is shown that, despite the simplicity of the underlying mathematical formalism, the data ...
  • Data-dependence of semantic information 
    Heidema, J; Labuschagne, W.A. (South African Institute of Computer Scientists and Information Technologists, 1990)
    The theory of semantic information is sketched in an algebraic setting, and automorphisms characterising various degrees of incompatibility are introduced. Data-dependent measures of semantic information are defined in ...
  • Database consistency under UNIX 
    Viktor, HL; Rennhackkamp, MH (South African Institute of Computer Scientists and Information Technologists, 1991)
    A recovery technique, to facilitate the recovery from system failures should ensure a consistent database state at all times. The UNIX write system call uses a delayed-write policy. Data blocks are kept in a buffer cache ...
  • A declarative and non-determinist framework for dynamic object-oriented and constraint logic programming 
    Abdulrab, H; Ngomo, M; Drissi-Talbi, A (South African Computer Society (SAICSIT), 1999)
    LOP (Logic, Object, Parallelism) is a system that integrates object-oriented and constraint logic programming. It is entirely designed and implemented, using object-oriented methodology, under the form of hierarchical ...
  • A declarative framework for temporal discrete simulation 
    Abdulrab, H; Ngomo, M; Drissi-Talbi, A (South African Computer Society (SAICSIT), 2000)
    The aim of this paper is to introduce temporal processes and linear constraints on naturals for solving temporal discrete simulations problems. We first describe a new approach for solving such constraints, based on the ...
  • Deduction systems based on resolution 
    Eisinger, N; Ohlbach, HJ (South African Computer Society (SAICSIT), 1993)
    A general theory of deduction systems is presented The theory is illustrated with deduction systems based on the resolution calculus, in particular with clause graphs. This theory distinguishes four constituents of a ...
  • Denotational semantics and domain theory 
    Goslett, J.; Hulley, H; Melton, A (South African Computer Society (SAICSIT), 1993)
    This tutorial is an introduction to denotational semantics and domain theory. For this reason the presentation is not entirely rigorous, with some proofs being omitted and certain simplifying assumptions being made. Instead, ...
  • The design and analysis of distributed virtual memory consistency protocols in an object oriented operating system 
    MacGregor, K.J.; Campbell, RH (Soutth African Institute of Computer Scientists and Information Technologists, 1992)
    An object-orientated framework for the design of distributed virtual memory consistency protocols is presented. It is shown that custom designed protocols for different types of applications are easy to construct and use ...
  • A design environment for semantic data models 
    Kambanis, J. (South African Institute of Computer Scientists and Information Technologists, 1990)
    This paper describes the functionality and architecture of a Semantic Data Modeling environment. It integrates User Interface techniques used in Computer Aided Software Engineering-and Expert Systems shells into a system ...
  • Design of an object-oriented framework for optimistic parallel simulation on shared-memory computers 
    Machanick, Philip (South African Institute of Computer Scientists and Information Technologists, 1992)
    Parallel simulation, if it is to become a mainstream technology, must become reasonably accessible to programmers without unusual skills. Since low-cost shared memory machines are becoming an increasing possibility, a ...
  • Design of secure medical database systems 
    Pangalos, G; Khair, M (South African Computer Society (SAICSIT), 1996)
    A database design methodology is presented in this paper which aims to improve the security of medical database systems. The proposed methodology is based on both the discretionary and the mandatory database security ...
  • The development of a generic framework for the implementation of a cheap, component-based virtual video-conferencing system 
    Panagou, S; Bangay, S (South African Computer Society (SAICSIT), 1999)
    We address the problem of virtual-videoconferencing. The proposed solution is effected in terms of a generic framework based on an in-house Virtual Reality system. The framework is composed of a number of distinct components: ...
  • Development, self-determination and information 
    Avgerou, C; Madon, S (South African Computer Society (SAICSIT), 1995)
    In this article we review the current debate on the impact of the increasing significance of information handling enabled by advances in information technology on socio-economic development, with particular emphasis on the ...
  • Die empiriese evaluering van variasie van woordpassingalgoritmes vir die bepaling van ekwivalente vanne in 'n genealogiese databasis 
    De Kock, G de V; Du Plessis, C (South African Computer Society (SAICSIT), 1993)
    An evaluation is made of the success of equivalence algorithms to be used for surname matching in a South African Genealogical Database. Surnames in the database can be grouped in ideal equivalence classes. The algorithms, ...
  • Die versoening van konflikterende doelwitte in die databasisomgewing met behulp van regressiemetodes 
    Jordaan, DB; Hattingh, J.M.; Steyn, T (South African Computer Society (SAICSIT), 1993)
    Daar bestaan baie voorbeelde in die dataverwerkingswêreld van gebruikers wat nie die inligting vanuit huIlle rekenaarstelsels kry wat hulle nodig het nie [26]. Nuwe en onvoorsiene vrae en versoeke vir inligting neem by die ...
  • Discriminators for authorship attribution 
    Paijmans, H (South African Computer Society (SAICSIT), 1999)
    This paper describes some experiments with the automated attribution of authorship. Lexical cohesion in combination with machine learning techniques are used as a method to compare texts of different authors. A methodology ...
  • Distributed operating systems: a study in applicability 
    Prange, J; Bishop, J (South African Computer Society (SAICSIT), 1999)
    This study will attempt to show the path of research and development of a huge and currently implemented SCADA (Super­visory Control and Data Acquisition) system product. The designers and their managers have identified ...
  • Dynamic deadlock avoidance: a prototype 
    Blewett, CN; Erwin, GJ (South African Computer Society (SAICSIT), 1996)
    In this paper, we describe a prototype of an expert system software advisor for the deadlock treatment of a lock manager in a database system. The software advisor, called EAGLE (External Advisor for Granting Locks ...
  • EDI in South Africa : An assessment of the costs and benefits 
    Harrington, G (South African Computer Society (SAICSIT), 1994)
    EDI is a method of exchanging common business documentation between organisations by replacing paper transactions with electronic messages. The use of EDI can eliminate or significantly reduce the problems associated with ...
  • Effect of system and team size on 4GL software development productivity 
    Finnie, G.R.; Wittig, GE (South African Computer Society (SAICSIT), 1994)
    Modelling the effect of size on software development issues has been the object of considerable research in the software engineering community. The size metrics form an integral part of software project cost estimation ...

Search UnisaIR


Browse

My Account