Institutional Repository

Browsing South African Computer Journal (SACJ) by Title

Browsing South African Computer Journal (SACJ) by Title

Sort by: Order: Results:

  • 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 ...
  • Information security on the electronic superhighway 
    Von Solms, SH (South African Computer Society (SAICSIT), 1996)
    This paper discusses a number of security protocols for the Internet and World Wide Web. The first two, SSL and SHTTP, provide general authentication, confidentiality and integrity facilities, while SEPP is a payment ...
  • Information Technology and South Africa's Green Paper on Science and Technology 
    Blake, E (South African Computer Society (SAICSIT), 1996)
    If an effective national system of innovation is the main proposal of the green paper then information technology (IT) has to play a very central role in that system. Supporting IT effectively will also mean supporting ...
  • Information technology in a developing economy 
    Crossman, T.D.; Fortmann, P; Heneke, V; Murray, D (South African Computer Society (SAICSIT), 1995)
    There is considerable debate about the value of information technology (IT) in developing economies. Some argue opti­mistically that without IT, developing economies will not grow. Others, somewhat pessimistically, warn ...
  • Information technology training in organisations: A replication 
    Roets, R (South African Computer Society (SAICSIT), 1994)
    This paper replicates a study conducted in the USA to test the perceived need for IT training in organisations by non-IS employees, and the need for more general business knowledge by IS employees. The hypothesis tested ...
  • An information-theoretic semantics for belief change 
    Meyer, TA (South African Computer Society (SAICSIT), 1999)
    Belief change is an interdisciplinary topic and is researched in departments of Computer Science, Artificial Intelligence, Philosophy, Mathematics and Engineering. It is therefore not surprising that there are a variety ...
  • The innovative management of information in the mid-1990s 
    Remenyi, D (South African Computer Society (SAICSIT), 1994)
    This paper reviews recent literature on the subject of the operational and financial difficulties facing business and manage­ment in the mid 1990's. It identifies how, due to generally poor results, business is under more ...

Search UnisaIR


Browse

My Account