Institutional Repository

Browsing South African Computer Journal (SACJ) by Title

Browsing South African Computer Journal (SACJ) by Title

Sort by: Order: Results:

  • The practice of clausification in automatic theorem proving 
    Sutcliffe, G; Melville, S (South African Computer Society (SAICSIT), 1996)
    In the process of resolution based Automatic Theorem Proving, problems expressed in First Order Form (FOF) are transformed by a clausifier to Clause Normal Form (CNF). This research examines and compares clausifiers. ...
  • A pragmatic approach to bitemporal databases: conceptualisation, representation and visualisation 
    Njovu, C; Gray, WA (South African Computer Society (SAICSIT), 1999)
    In this paper, we describe a pragmatic approach to bitemporal data modelling, logical representation and visualisation. Our proposed approach, herein referred to as the Bitemporal Object, State and Event Modelling Approach ...
  • A pragmatic approach to development information to provide service on a wide scale 
    Mncube, SS (South African Computer Society (SAICSIT), 1996)
    The rapid technological growth in our time has produced an explosion of information. This, in tum, has spawned information systems based on the use of computers and automated systems. These mechanised devices with their ...
  • Predicting the performance of shared multiprocessor caches 
    Goosen, HA; Cheriton, DR (South African Institute of Computer Scientists and Information Technologists, 1990)
    We investigate the performance of shared caches in a shared-memory multiprocessor executing parallel programs, and formulate simple models for estimating the load placed on the bus by such a shared cache. We·analyze three ...
  • Preliminary investigation of the RAMpage memory hierarchy 
    Machanick, P; Salverda, P (South African Computer Society (SAICSIT), 1998)
    The RAMpage memory hierarchy addresses the growing concern about the memory wall - the possibility that the CPU­-DRAM speed gap will ultimately limit the benefits of rapid improvement in CPU speed. Reducing references to ...
  • Problem analysis using small problem frames 
    Jackson, MA (South African Computer Society (SAICSIT), 1998)
    The notion of a problem frame is introduced and explained, and its use in analysing and structuring problems is illustrated. A problem frame characterises a class of simple problem. Realistic problems are seen as compositions ...
  • Programming using induction 
    Mueller, C.S.M. (South African Institute of Computer Scientists and Information Technologists, 1990)
    Induction has been used as a major tool in mathematics in proving theorems. This paper explores whether it has an equally important role in formulating programs. There are those who advocate that induction should be used ...
  • Progressing towards object orientation in South Africa 
    Jansen van Rensburg, M (South African Computer Society (SAICSIT), 1999)
    This article provides a description of the current state of Object Orientation in South African companies. It forms part of an MSc research report, looking at the pitfalls and guidelines in the transition to 00. The problems ...
  • Qualitative reasoning: an introduction 
    Bradshaw, J (South African Computer Society (SAICSIT), 1992)
    This paper serves as an introduction to the areas of qualitative reasoning. The three main streams of qualitative reasoning are described: the component centered approach, the process centered approach and the constraint ...
  • Quantifier elimination in second order predicate logic 
    Gabbay, D; Ohlbach, HJ (South African Computer Society (SAICSIT), 1992)
    An algorithm is presented which eliminates second-order quantifiers over predicate variables in formulae of type 3Pi , ...,Pn 1/; where 1/J is an arbitrary formula of first-order predicate logic. The resulting formula is ...
  • Reasoning about changing information 
    Blackburn, P; Jaspars, J; De Rijke, M (South African Computer Society (SAICSIT), 1997)
    The purpose of these notes is two fold: (i) to give a reasonably self-contained introduction to a particular approach to theory change, known as the Alchourron-Gardenfors-Makinson (AGM) approach, and to discuss some of the ...
  • The recall performance of multiple associative memories - a comparison of thresholding strategies 
    Vahed, A (South African Computer Society (SAICSIT), 1995)
    The associative network presents a practical and efficient means for the storage and retrieval of data. Although the recall abilities of single-layer associative memories have been well researched [3], little investigation ...
  • Reconciling the needs of new information systems graduates and their employers in small, developed countries 
    Turner, R; Lowry, G (South African Computer Society (SAICSIT), 1999)
    This paper is the first of a series of studies of a research program aimed at achieving a better fit between university study and professional practise of information systems. The paper reports the results of two surveys: ...
  • The recovery problem in multidatabase systems - characteristics and solutions 
    Renaud, K; Kotze, P (South African Computer Society (SAICSIT), 1997)
    In many applications today multiple pre-existing database systems are integrated into a single multiple database system called a multi­database system. One of the biggest problems for transaction management in a multidatabase ...
  • Recursive specifications and formal logic. What benefits for intelligent tutoring systems? 
    Tcheeko, L (South African Computer Society (SAICSIT), 1998)
    The pedagogical assessment of a tutoring system relies upon a proof of convergence: for such a tutor the correction of student mistakes must not forever delay the teaching process. Such a tutor must provide uniform diagnosis ...
  • The refinement calculus 
    Morgan, C (South African Computer Society (SAICSIT), 1995)
    The refinement calculus, based on weakest preconditions, elaborates imperative program developments as a series of steps linked by a mathematical refinement relation. Specifications and executable code are regarded equally ...
  • Reinforcing password authentication with typing biometrics 
    De Ru, WG; Eloff, JHP (South African Computer Society (SAICSIT), 1996)
    This paper presents a methodology for the reinforcement of password authentication with the use of typing biometrical mechanisms. Typing biometrics refers to the analysis of keystroke patterns, which is unique for each ...
  • Review of mapping neural networks in classification systems 
    Hing, RL (South African Institute of Computer Scientists and Information Technologists, 1990)
    An old approach used in classification systems has been revived by the discovery of new algorithms which use this approach to approximate complex non-linear functions. This approach, known as neurocomputing, classifies ...
  • A review of the use of computers in education in South Africa Part 1: Primary and High schools 
    Fallick, PM; Pistorius, MC (South African Institute of Computer Scientists and Information Technologists, 1990)
    This informal review is based on personal discussions carried out within the last year with various experts in the field as to the current use of computers in primary and secondary schools. An attempt has been made to ...
  • A review of the use of computers in education in South Africa: Tertiary education 
    Pistorius, MC; Fallick, PM (South African Institute of Computer Scientists and Information Technologists, 1990)
    This informal review is based on personal discussions carried out within the last year with various experts in the field on the current use of computers in tertiary education, particularly at universities. An attempt has ...

Search UnisaIR


Browse

My Account