Institutional Repository

Browsing South African Computer Journal (SACJ) by Title

Browsing South African Computer Journal (SACJ) by Title

Sort by: Order: Results:

  • Galileo: Experimenting with graphical user interfaces 
    Apteker, RT; Bishop, JM (South African Computer Society (SAICSIT), 1992)
    Graphic User Interfaces (GUls) are the key ingredient in the development of a new era of computer software. Pioneered at Xerox, launched at Apple, pursued by Microsoft, and challenged by a host of others, the age of the ...
  • A general building block for distributed system management 
    Putter, P; Roos, JD (South African Computer Society (SAICSIT), 1992)
    This paper proposes a general building block for distributed systems. This building block is referred to as a generic distributed system entity (GDE). The purpose of the GDE is to create a generic entity which can be used ...
  • Generalised unification of finite temporal logic formulas 
    Hazelhurst, S (South African Computer Society (SAICSIT), 1999)
    Given two temporal logic formulas, g and h, we wish to know whether there is a modification, m, we can make to h so that g ==> m( h). This problem has important applications in hardware verification, where finding such ...
  • A generic modelling framework for interactive authoring support environments 
    Kotze, P (South African Computer Society (SAICSIT), 1999)
    Existing modelling frameworks for the design of interactive systems emphasise the relationship between the system's in­ternal state and the rendering of this state at the user interface. Modern programming and multimedia ...
  • A gentle introduction to domain theory: domains and powerdomains 
    Goslett, J.; Melton, A (South African Computer Society (SAICSIT), 1995)
    This tutorial is a companion paper to the tutorial Denotational Semantics and Domain Theory by Goslett, Hulley, and Melton. The purpose of the earlier tutorial was to present a computationally intuitive introduction to ...
  • Grounded theory methodology in IS research: Glaser vs Strauss 
    Smit, J (South African Computer Society (SAICSIT), 1999)
    Grounded Theory (GT), along with the surging interest in qualitative research, is becoming a popular research strategy in the Information Systems (IS) field. At the same time however, the method seems to be changing in its ...
  • Harmonizing global internet tax: a collaborative extranet model 
    Lawrence, E; Garner, B (South African Computer Society (SAICSIT), 1999)
    The advent of Internet Commerce represents a significant threat to taxation revenue collection for governments throughout the world. Governments cannot prevent the creative and innovative commercial use of the Internet in ...
  • Heuristics for resolution-based set-theoretic proofs 
    Van der Poll, JA; Labuschagne, WA (South African Computer Society (SAICSIT), 1999)
    A formal specification language like Z permits the specifier to construct proofs which corroborate the aptness of the spec­ification. This process may be facilitated by establishing a partnership between the specifier and ...
  • HILOG - a higher order logic programming language 
    Paterson-Jones, RA; Wood, PT (South African Computer Society (SAICSIT), 1992)
    HILOG is a new logic programming language with a higher-order syntax allowing the elegant expression of many tasks requiring meta-predicates in Prolog. We are in the process of developing a compiler and programming environment ...
  • The homological transfer research method revisited 
    Koornhof, C (South African Computer Society (SAICSIT), 1996)
    The Homological transfer method is a very efficient research method which is based on similarities between manufacturing, financial, educational, informational and other productive processes. The existence of these ...
  • Homological transfer: an informations systems research method 
    Mende, J. (South African Institute of Computer Scientists and Information Technologists, 1990)
    Information systems are members of a large class of similar systems called "productive processes". The existence of similarities between manufacturing, financial, educational, informational and other productive processes ...
  • Hypertext for browsing in computer aided learning 
    Barrow, J (South African Institute of Computer Scientists and Information Technologists, 1991)
    Hypertext is presented as a database accessing mechanism well-suited to computer aided learning applications. On the basis of informal experiments with prototype software, some benefits of structured hypertext are explored. ...
  • Ideologies of information systems and technology 
    Introna, LD (South African Computer Society (SAICSIT), 1994)
    In this paper some views and ideologies of information systems and technology will be explored. Some of these views and ideologies are clearly understood and have a high level of support. There are however more subtle ...
  • Image coding with fractal vector quantization 
    Cloete, E; Venter, LM (South African Computer Society (SAICSIT), 2000)
    In this paper, we address the time complexity problem associated with fractal image coding. In particular, we describe a new hybrid technique called Fractal Vector Quantization (FVQ), which takes advantage of the best ...
  • Image reconstruction via the Hartley transform 
    Murrell, HC; Carson, D (South African Institute of Computer Scientists and Information Technologists, 1990)
    The continuous and discrete Hartley transforms are real valued transforms that have similar properties to the continuous and discrete Fourier transforms. In addition, a fast algorithm exists for computing the discrete ...
  • An implementation of Linda tuple space under the Helios operating system 
    Clayton, Peter G.; Wentworth, EP; Wells, GC; de-Heer-Menlah, FK (th African Institute of Computer Scientists and Information Technologists, 1992)
    We discuss the implementation of Rhoda, our Linda(i)-like Tuple Space server which runs under the Helios(ii) operating system. The approach analyses and partitions tuple space at compile time in order to reduce the run ...
  • An implementation of the parallel conditional 
    Jayasekera, U; Philips, N.C.K. (South African Institute of Computer Scientists and Information Technologists, 1992)
    The parallel conditional, a natural generalisation of both Lisp's COND and Dijkstra's guarded commands, is particularly suited to parallel processing. This note describes the implementation of a preprocessor that enables ...
  • Implementing UNIX on the INMOS transputer 
    McCullagh, PJ; Smit, G de V (South African Institute of Computer Scientists and Information Technologists, 1990)
    The transputer is examined as the target for a UNIX port and specific problems encountered during implementation of a UNIX kernel in a transputer environment are discussed. Some solutions to the problems are suggested and ...
  • Improving object oriented analysis by explicit change analysis 
    Yu, L; Khong, SC; Xun, Y; Yuan, M (South African Computer Society (SAICSIT), 1999)
    Changeability is one of the major concerns in software development. OO (Object-Oriented) technology itself is not enough to solve this problem, i.e. software systems cannot have enough changeability by just using any ...
  • Indexing in a case-based reasoning system for waste management 
    Wortmann, KL; Petkov, D; Senior, E (South African Computer Society (SAICSIT), 1999)
    This paper presents a summary of research on indexing in Case-Based Reasoning (CBR) applied to the domain of waste management. Indexing theory and techniques are covered in order to position the results. The chosen application ...

Search UnisaIR


Browse

My Account