South African Computer Journal (SACJ): Recent submissions

  • Galileo: Experimenting with graphical user interfaces 
    Apteker, RT; Bishop, JM (South African Computer Society (SAICSIT), 1992)
    Graphic User Interfaces (GUls) are the key ingredient in the development of a new era of computer software. Pioneered at Xerox, launched at Apple, pursued by Microsoft, and challenged by a host of others, the age of the ...
  • ESML - A validation language for concurrent systems 
    De Villiers, PJA; Visser, WC (South African Computer Society (SAICSIT), 1992)
    Designing a concurrent reactive system which can be proven correct is a challenging task. A promising technique involves building a validation model which can be shown to have important correctness properties. This paper ...
  • Using statecharts to design and specify a direct-manipulation user interface 
    Van Zijl, L; Mitton, D (South African Institute of Computer Scientists and Information Technologists, 1992)
    Statecharts were developed by Harel et al [10] to specify complex reactive systems. In this paper we report on our application of statecharts as a design and specification tool for an X-Windows based Graphical User Interface ...
  • Efficient evaluation of regular path programs 
    Wood, PT (South African Institute of Computer Scientists and Information Technologists, 1992)
    The next generation of query languages for database systems should have the ability to express recursive queries, the efficient evaluation of which will be crucial to the success of these systems. One such query language ...
  • Extending local recovery techniques for distributed databases 
    Viktor, HL; Rennhackkamp, MH (South African Institute of Computer Scientists and Information Technologists, 1992)
    The most frequently used local database system failure recovery techniques are logging , shadowing and differential files. In a distributed database these local system failure recovery techniques may be·utilized for recovery ...
  • Integrating similarity-based and explanation-based learning 
    Oosthuizen, GD; Avenant, C (South African Institute of Computer Scientists and Information Technologists, 1992)
    Recently, there have been various attempts to combine the strengths of similarity-based learning (SBL) and explanation­-based learning (EBL) in a single learning system. We describe a graph-based learning method called ...
  • Analysing routing strategies in sporadic networks 
    Melville, SW (South African Institute of Computer Scientists and Information Technologists, 1992)
    Communications networks with sporadically available links pose particular problems in terms of delay analysis. This paper presents an approach to determining the effectiveness of various routing strategies when applied to ...
  • Design of an object-oriented framework for optimistic parallel simulation on shared-memory computers 
    Machanick, Philip (South African Institute of Computer Scientists and Information Technologists, 1992)
    Parallel simulation, if it is to become a mainstream technology, must become reasonably accessible to programmers without unusual skills. Since low-cost shared memory machines are becoming an increasing possibility, a ...
  • The design and analysis of distributed virtual memory consistency protocols in an object oriented operating system 
    MacGregor, K.J.; Campbell, RH (Soutth African Institute of Computer Scientists and Information Technologists, 1992)
    An object-orientated framework for the design of distributed virtual memory consistency protocols is presented. It is shown that custom designed protocols for different types of applications are easy to construct and use ...
  • An implementation of the parallel conditional 
    Jayasekera, U; Philips, N.C.K. (South African Institute of Computer Scientists and Information Technologists, 1992)
    The parallel conditional, a natural generalisation of both Lisp's COND and Dijkstra's guarded commands, is particularly suited to parallel processing. This note describes the implementation of a preprocessor that enables ...
  • Evaluating the motivating environment for information systems personnel in South Africa compared to the United States 
    Couger, JD; Smith, DC (South African Institute of Computer Scientists and Information Technologists, 1992)
    The South African computer industry suffers from a shortage of skilled staff. Therefore, an important management issue is to maximise the productivity and motivation of Information Systems (IS ) staff in their current and ...
  • An implementation of Linda tuple space under the Helios operating system 
    Clayton, Peter G.; Wentworth, EP; Wells, GC; de-Heer-Menlah, FK (th African Institute of Computer Scientists and Information Technologists, 1992)
    We discuss the implementation of Rhoda, our Linda(i)-like Tuple Space server which runs under the Helios(ii) operating system. The approach analyses and partitions tuple space at compile time in order to reduce the run ...
  • The CSP notation and its application to parallel processing 
    Clayton, Peter G. (South African Institute of Computer Scientists and Information Technologists, 1992)
    The principles put forward by Hoare' s CSP proposals have been a foundational influence in the development of distributed and parallel processing software and hardware. This paper provides a brief introduction to the ...
  • Modelling the algebra of weakest preconditions 
    Brink, C; Rewitzky, I (th African Institute of Computer Scientists and Information Technologists, 1992)
    Dijkstra's weakest precondition semantics, as presented in textbook form by Gries, may be viewed as an equational algebra. The problem then is to find a reasonable (set-theoretic ) model of this algebra. This paper provides one.
  • The physical correlates of local minima 
    Wessels, LFA; Barnard, E; Van Rooyen, E (South African Institute of Computer Scientists and Information Technologists, 1991)
    The training of neural-net classifiers is often hampered by the occurrence of local minima, which results in the attainment of inferior classification performance. We study the problem of local minima in order to devise ...
  • Knowledge representation using formal grammars 
    Von Solms, S.H.; Ehlers, E.M.; Enslin, DJ (South African Institute of Computer Scientists and Information Technologists, 1991)
    In this paper, formal grammars, specifically random context grammars, are used as a vehicle for knowledge representation in expert systems. Random context grammars and the manner in which they are used to represent knowledge ...
  • An efficient primal simplex implementation for the continuous 2-matching problem 
    Smith, THC; Meyer, TWS; Leenen, L (South African Institute of Computer Scientists and Information Technologists, 1991)
    The continuous 2-matching problem {RMP2) is the relaxation of the symmetric travelling salesman problem {STSP) used by Padberg & Rinaldi to develop a highly successful branch-and-cut algorithm for the STSP. ...
  • An update on UNINET-ZA: The Southern African Academic and Research Network 
    Shaw, V (South African Institute of Computer Scientists and Information Technologists, 1991)
    The UNINET Academic and Research Network is a collaborative project among Universities, Research Councils and the FRD for the development, implementation and promotion of an academic and research network of computers ...
  • PEST - A microcomputer Pascal base expert system shell 
    Sartori-Angus, AG; Neville, R (South African Institute of Computer Scientists and Information Technologists, 1991)
    The PEST System is a totally interactive, forward chaining, rule-based expert system shell. It was primarily, though not exclusively, designed for the development of scientifically related expert systems in Pascal, involving ...
  • Concept network framework for a multi-paradigm knowledge base 
    Kambanis, J (South African Institute of Computer Scientists and Information Technologists, 1991)
    This paper describes a conceptual framework and an implementation medium for constructing multi-paradigm knowledge bases. The idea of a concept network is used as a basis for storing knowledge in different knowledge ...

Search UnisaIR


Browse

My Account