School of Computing: Recent submissions

  • 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 ...
  • 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 ...

Search UnisaIR


Browse

My Account