Institutional Repository

Browsing 1991 6th South African Computer Symposium by Title

Browsing 1991 6th South African Computer Symposium by Title

Sort by: Order: Results:

  • Analysing routing strategies in sporadic networks 
    Melville, S (1991)
    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 ...
  • Building a secure database using self-protecting objects 
    Olivier, MS Von Solms, SH (1991)
    In current database systems the responsibility for enforcing security is often given to the various application programs. Even where the Database Management System (DBMS) does supply security mechanisms, a single application ...
  • Concurrency control mechanisms for multidatabase systems 
    Deacon, A (1991)
    In conventional systems, transaction management has been thoroughly investigated and is now considered to be well understood. Transaction management in multidatabase systems, however, is less well understood. A multidatabase ...
  • The design and analysis of distributed virtual memory consistency protocols in an object oriented operating system 
    MacGregor, KJ Campbell, RH (1991)
    An object-orientated framework for the design of distributed virtual memory consistency is presented. It is shown that custom designed protocols for different types of applications are easy to construct and use within this ...
  • The design of a speech synthesis system for Afrikaans 
    Wagener, MJ (1991)
    The design of a speech synthesis system for the generation of speech from text is presented. The system accepts any Afrikaans sentence and then derives segmental and suprasegmental informa­tion through various linguistic ...
  • Design of an object-oriented framework for optimistic parallel simulation on shared-memory computers 
    Machanick, P (1991)
    Parallel simulation, if it is to become a mainstream technology, must become reasonably accessible to programmer s without unusual skills. Since low-cost shared memory machines are becoming an increasing possibility a ...
  • Efficient evaluation of regular path programs 
    Wood, PT (1991)
    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 ...
  • Expert systems for management control: a multi-expert architecture 
    Ram, V (South African Computer Society (SAICSIT), 1991)
    The use of Expert Systems technology in management decision making domains is increasing rapidly as business environments worldwide grow more turbulent and as the cost of development tools decrease. Research effort in ...
  • Extending local recovery techniques for distributed databases 
    Viktor, HL Rennhackkamp, MH (1991)
    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 ...
  • An implementation of Linda tuple space under the Helios operating system 
    Clayton, PG Wentworth, EP Wells, GC de-Heer-Menlah, FK (1991)
    We discuss the implementation of Rhoda, our Linda-like Tuple Space server which runs under the Helios operating system. The approach analyses and partitions tuple space at compile time in order to reduce the run time ...
  • Improving a control and sequencing language 
    Fair, CA Smit, GD (1991)
    In a process control environment, batch processes, as opposed to continuous pro­cesses, are characterised by multi-product manufacturing lines producing relatively small quantities which often involves frequent product ...
  • Integrating similarity-based and explanation-based learning 
    Oosthuizen, GD Avenant, C (1991)
    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 ...
  • A model checker for transition systems 
    De Villiers, PJA (1991)
    A model checker automatically determines whether a model of a re­active system satisfies its specification.Temporal logic is used to spec­ify the intended behaviour of a reactive system which is modelled as a transition ...
  • Modelling the algebra of weakest preconditions 
    Brink, C Rewitzky, I (1991)
    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-theoric) model of this algebra. This paper provides one.
  • A new algorithm for finding an upper bound of the genus of a graph 
    Carson, DI Oellermann, OR (1991)
    In this paper we discuss the problem of finding an upper bound on the genus of a graph. This problem has applications to circuit layouts. An electronic circuit may be modelled by a graph. By punching holes into the circuit ...
  • Object orientation in relational databases 
    Rennhackkamp, M (1991)
    There is, as yet, no single formal definition for the object-oriented approach. The object-oriented paradigm is described in terms of the concepts accentuated by the approach, namely classes, objects, methods, messages and ...
  • Product form solutions for multiserver centres with hierarchical concurrency constraints 
    Krzesinski, AE Schassberger, R (1991)
    The MultiServer centre with Hierarchical Concurrency Constraints (MSHCC) is an exponential multiserver with a queueing discipline which imposes restrictions on the number of customers of different types and subtypes that ...
  • A reusable kernel for the development of control software 
    Fouche, W De Villiers, PJA (1991)
    A kernel has been developed which can be used to simplify the development of control software. It can be used to control several physical machines which are interconnected via a fast local area network. One or more virtual ...
  • A transputer-based embedded controller development system 
    Webster, MR Harley, RG Levy, DC Woodward, DR (1991)
    This paper describes a software development environment currently being built at the University of Natal that provides a powerful and easy to use engineering tool for the design, simulation and implementation of high ...
  • Using statecharts to design and specify a direct-manipulation user interface 
    Van Zijl, L Mitton, D (1991)
    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 ...

Search UnisaIR


Browse

My Account