SAICSIT Digital Archive: Recent submissions

  • 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 ...
  • 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 ...
  • Connected digit recognition in Afrikaans using hidden Markov models 
    Nieuwoudt, C; Botha, EC (South African Computer Society (SAICSIT), 1999)
    We implement and evaluate the performance of a state-of-the-art connected digit recognition system for spoken Afrikaans digits. The creation of a database for our purpose is discussed. Results indicate that an efficient ...
  • Electronic performance support systems: appropriate technology for the development of middle management in developing countries 
    Cronje, JC; Baras Baker, SJ (South African Computer Society (SAICSIT), 1999)
    The shortage of suitably qualified middle management in South Africa, and its impact on the potential success of the RDP is well documented. There are various ways of addressing this problem. These methods range from ...
  • 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 ...
  • 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 ...
  • An Interactive Graphical Array Trace 
    Schach, Stephen R. (Computer Society of South Africa (on behalf of SAICSIT), 1982)
    data structure and its computer implementation. However, in the course of debugging a program written in a high-level language, the user is sometimes forced to try to understand the low-level implementation of his data ...
  • Reflections on the nature and future of computer science in Southern Africa 
    Venter, BH (Computer Society of South Africa (on behalf of SAICSIT), 1989)
    Computer Science is a relatively recent scientific discipline. It has seen rapid growth and even more rapid change. Not surprisingly there is constant controversy among computer scientists about the nature of the ...
  • Software design to meet third world requirements: an experimental software engineering approach 
    Machanick, Philip (Computer Society of South Africa (on behalf of SAICSIT), 1989)
    Appropriate technology refers to technology appropriate for use in less developed parts of the world, especially the Third World; this paper raises some problems in adapting a definition of appropriate technology to ...

Search UnisaIR


Browse

My Account