SAICSIT Digital Archive: Recent submissions

  • 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 ...
  • Laws and techniques of information systems 
    Mende, J. (Computer Society of South Africa (on behalf of SAICSIT), 1986)
    Research has a utilitarian role of providing the knowledge needed by the designers of mankind's artefacts. In this context four distinct categories of knowledge are identifiable. 1. Laws of Nature describe inherent ...
  • Low-cost artificial intelligence research tools 
    Machanick, Philip (Computer Society of South Africa (on behalf of SAICSIT), 1986)
    There has been a proliferation of low-cost AI tools. Consideration is given as to how significant research may be conducted using these tools, in the light of experience of developing Al tools on large, expensive machines. ...
  • A partial RJE pad specification to illustrate LOTOS 
    Kourie, D.G. (Computer Society of South Africa (on behalf of SAICSIT), 1986)
    LOTOS (Language Of Temporal Ordering Specification) is employed to give a partial specification of a system to connect RJE devices across an X.25 network. The system's implementation has been described fully elsewhere ...
  • The development of an RJE/X.25 pad: a case study 
    Carey, C.W.; Hattingh, C.; Kourie, D.G.; Van den Heever, R.J.; Verkroost, R.F. (Computer Society of South Africa (on behalf of SAICSIT), 1986)
    This paper describes the practical aspects of a protocol system implementation. The software for a BSC/X.25 Packet Assembler/Disassembler (PAD) was designed, developed and tested. The PAD was designed to support ...
  • 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 ...

Search UnisaIR


Browse

My Account