School of Computing: Recent submissions

  • Models to evaluate the state of computer Facilities at South African universities 
    Bruwer, P.J.S.; Hattingh, J.M. (Computer Society of South Africa (on behalf of SAICSIT), 1986)
    Computer technology has grown exponentially in the course of the past decade in terms of sophistication - not only with regard to hardware and networks, but also with regard to mainframe and micro-computer systems. ...
  • 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 ...
  • Modal logics for programs 
    Goldblatt, R (South African Computer Society (SAICSIT), 1995)
    These lectures provide an introduction to modal logic and its use in formalising reasoning about the behaviour of computational processes. They begin with a general introduction to the syntax, semantics, and proof-theory ...
  • Functionality decomposition by compositional correctness preserving transformation 
    Brinksma, E; Langerak, R (South African Computer Society (SAICSIT), 1995)
    We present an algorithm for the decomposition of processes in a process algebraic framework. Decomposition, or the refinement of process substructure, is an important design principle in the top-down development of concurrent ...
  • Specialization by exclusion 
    Theron, H; Cloete, I (South African Computer Society (SAICSIT), 1994)
    This paper presents a theoretical analysis of the search schemes employed by AQ, CN2 and the recently introduced BEXA algorithm. These covering algorithms induce disjunctive concept descriptions, and employ a general-to-specific ...
  • 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 ...
  • A linear time algorithm for the longest (s-t)-path problem restricted to partial k-trees 
    Mata-Montero, M; Ellis, JA (South African Computer Society (SAICSIT), 1994)
    The Longest (s-t)-path Problem, a known NP-complete set, is shown to admit a linear time solution when the instances of the problem are restricted to partial k-trees. This class of graphs is defined and some of the properties ...
  • Organizational computing technologies for supporting organizational activities 
    Lochovsky, FH (South African Computer Society (SAICSIT), 1994)
    Technologies for supporting organizational activities are becoming increasingly important as a means for organizations to achieve their business goals. Such technologies allow organizations to model, execute, and control ...
  • On using the situation calculus dynamically rather than temporally 
    Labuschagne, W.A.; Miller, MG (South African Computer Society (SAICSIT), 1994)
    Yet another axiomatisation of the Yale shooting scenario is provided. The point illustrated by the axiomatisation is that, when using the situation calculus to represent knowledge about a dynamic system in which actions ...
  • Teaching Pascal using multimedia 
    Jordaan, DB; Gilliland, S (South African Computer Society (SAICSIT), 1994)
    Research has shown that traditional teaching methods such as lecturing are not always as effective as the teacher or lecturer might like them to be. Frederick [3, p45] stated: 'Nearly all learning theorists.faculty development ...
  • The object-oriented paradigm: Uncertainties and insecurities 
    Schach, Stephen R. (South African Computer Society (SAICSIT), 1994)
    The object-oriented paradigm is widely promoted as the optimal way to develop software. However, there is as yet no experimental evidence to back that assertion, and it is extremely unlikely that such evidence could be ...
  • 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 ...
  • Intelligent production scheduling: A survey of current techniques and an application in the footwear industry 
    Ram, V (South African Computer Society (SAICSIT), 1994)
    Computer Based Scheduling is an important activity especially in automated environments such as CIM (Computer Integrated Manufacturing ) where it is an integral part of the total manufacturing function. Developments in ...
  • Parallel execution strategies for conventional logic problems: A review 
    Lutu, PEN (South African Computer Society (SAICSIT), 1994)
    Parallel execution strategies/or Prolog programs are reviewed. Three models, AOPM, APPNet and RAP are discussed in some detail. The AOPM and the APPNet are AND-OR parallel execution models and represent the two ends of the ...
  • 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 ...
  • EDI in South Africa : An assessment of the costs and benefits 
    Harrington, G (South African Computer Society (SAICSIT), 1994)
    EDI is a method of exchanging common business documentation between organisations by replacing paper transactions with electronic messages. The use of EDI can eliminate or significantly reduce the problems associated with ...
  • Ensuring successful IT utilisation in developing countries 
    Gardner, BR (South African Computer Society (SAICSIT), 1994)
    It is generally accepted that Information Technology (IT) has the potential to promote development and alleviate some of the common problems in the developing countries. However, it would appear that few developing countries ...
  • Effect of system and team size on 4GL software development productivity 
    Finnie, G.R.; Wittig, GE (South African Computer Society (SAICSIT), 1994)
    Modelling the effect of size on software development issues has been the object of considerable research in the software engineering community. The size metrics form an integral part of software project cost estimation ...
  • An evaluation of substring algorithms that determine similarity between surnames 
    De Kock, G de V; Du Plessis, C (South African Computer Society (SAICSIT), 1994)
    The problem investigated in this study is, given a surname, determine similar surnames in a genealogical database. There exist a number of algorithms to determine the similarity between two strings based on their common ...
  • What is information systems? 
    Crossman, T.D. (South African Computer Society (SAICSIT), 1994)
    This paper is an attempt to answer the question 'What is Information Systems?' While the characteristics of both a science and a non-science can be identified in Information Systems (IS), it is argued here that it is not ...

Search UnisaIR


Browse

My Account