South African Computer Journal (SACJ): Recent submissions

  • What are websites used for - cost saving, revenue generating or value creating? 
    Lee, M (South African Computer Society (SAICSIT), 1999)
    For responding to the previous debate about whether Websites can be more properly used as a cost saving or revenue generating devices. The author interprets Plehan's internet selling matrix in a particular way to provide ...
  • 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 ...
  • Formal verification with natural language specifications: guidelines, experiments and lessons so far 
    Holt, A (South African Computer Society (SAICSIT), 1999)
    The industrial take-up of formal verification techniques remains limited. Allowing specifications to be expressed in natural language (perhaps augmented with diagrams) offers the prospect of increasing the usability of ...
  • Introducing a continuum of abstraction-led hierarchical search techniques 
    Zimmer, R; Holte, R (South African Computer Society (SAICSIT), 1999)
    Abstraction in search works by replacing a state space by another space (the abstract space) that is easier to search, either because it is smaller or because it contains more solutions. Results of searches in the abstract ...
  • Understanding HCI methodologies 
    Warren, P (South African Computer Society (SAICSIT), 1999)
    The paper proposes a framework for discussing methodologies for developing interactive computer systems. It uses this framework for a sample of systems and shows how certain insights about missing aspects of the methodologies ...
  • 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 ...
  • 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 ...
  • The role of experience in user perceptions of information technology: an empirical examination 
    Handzic, M; Low, G (South African Computer Society (SAICSIT), 1999)
    This paper reports the results of an empirical examination of the effects of experience in using a multifunctional information technology on users' perceptions of its usefulness and ease of use in a university task context ...
  • Introducing research methods to Computer Science honours students 
    Galpin, V; Hazelhurst, S; Mueller, C; Sanders, I (South African Computer Society (SAICSIT), 1999)
    Research skills are important for any academic and can be of great benefit to any professional person. These skills are, however, difficult to teach and to learn. In the Department of Computer Science at the University ...
  • Shortest delay scheduling algorithm for lossless quality transmission of stored VBR video under limited bandwidth 
    Li, F; Liu, Y; Lee, JY; Ahmad, I (South African Computer Society (SAICSIT), 1999)
    In this paper, we propose scheduling algorithms for call admission control servers. For each requested video, the server sends it according to its smoothed profile aims at maximizing resource utilization and ease of network ...
  • Enhancing the predictability of two popular software reliability growth models 
    Keiller, PA; Mazzuchi, TA (South African Computer Society (SAICSIT), 1999)
    In this paper, enhancement of the performance of both the Musa-Okumoto and the Goel-Okumoto Software Reliability Growth models are investigated using various smoothing techniques. The method of parameter estimation for the ...
  • 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 ...
  • Approaches to video transmission over GSM networks 
    Du, B; Maeder, A (South African Computer Society (SAICSIT), 1999)
    Real-time video delivery adds an aspect of reality when used in conjunction with other computer and human communi­cations facilities (eg in videophone or videoconferencing applications). However, the complex and time-critical ...
  • Computer programming and learning to write 
    Barrow, J (South African Computer Society (SAICSIT), 1999)
    Programming is often seen in terms of mathematical models. An additional perspective, that of programming as a means of communication between the programmer and the computer, can also be useful, particularly in teaching ...
  • Critical success factors for the implementation of DSS at a selection of organisations in Kwazulu/Natal, South Africa 
    Averweg, URF; Erwin, GJ (South African Computer Society (SAICSIT), 1999)
    Decision Support Systems (DSS) are specially developed for supporting the solution of a non-structured management problem for improved decision-making. DSS utilise data, provide easy user interfaces and allow for the ...
  • 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 ...
  • A 3-dimensional security classification for information 
    Smuts, W (South African Computer Society (SAICSIT), 1999)
    Most existing information security classification schemes use a 1-dimensional scale such as [top secret, secret, employee confidential, company confidential, restricted]. These classification schemes do not differentiate ...
  • Orthogonal ray guarding of adjacencies between orthogonal rectangles 
    Sanders, I; Lubinsky, D; Sears, M; Kourie, D (South African Computer Society (SAICSIT), 1999)
    Guarding and covering problems have great importance in Computational Geometry. In this article the notion of' a ray guard, a guard that can only 'see' along a single ray, is introduced. The problem of siting the fewest ...
  • 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 ...
  • A formal model for object bases 
    Patsouris, PA; Korostenski, M; Kissimov, V (South African Computer Society (SAICSIT), 1999)
    We introduce FMOB: a formal model for Objectbases. The term "Objectbase" represents better the widely used "object­ oriented database". FMOB consists of ( 1) objects (classes and their instances) with extended encapsulation ...

Search UnisaIR


Browse

My Account