Institutional Repository

Browsing South African Computer Journal 1992(7) by Title

Browsing South African Computer Journal 1992(7) by Title

Sort by: Order: Results:

  • A lattice-theoretic model for relational database security 
    Melton, A; Shenoi, S (South African Computer Society (SAICSIT), 1992)
    It is often the case that a major concern with databases is security. In this paper we introduce a new model for database security. The basic idea of this new model is that answers to queries are based on equivalent data ...
  • Machine translation from African languages to English 
    Kourie, D.G.; van den Heever, WJ; Oosthuizen, GD (South African Computer Society (SAICSIT), 1992)
    This paper describes how a machine translation system, LEXICA, has been used and adapted to translate from African languages to English. Results with Tswana provide comprehensible translations that, although not necessarily ...
  • Managing methods creatively 
    Mcleod, G (South African Computer Society (SAICSIT), 1992)
    Organizations have used systems planning and development methodologies for some time now. Results are mixed, with some reporting substantial benefits, and others abandoning the process without achieving the desired benefits. ...
  • Mechanising execution sequence semantics in HOL 
    Tredoux, G (South African Computer Society (SAICSIT), 1992)
    The mechanization in Higher Order Logic of a general- purpose operational semantics for programming languages is described. The mechanization allows the sound derivation of Dijkstra-style axiomatic semantics. A small ...
  • A model for object-oriented databases 
    Brand, M; Wood, PT (South African Computer Society (SAICSIT), 1992)
    Unlike the relational model, there is no universally accepted object-oriented data model. This has led to systems being defined in an ad-hoc manner, with the resultant difficulty of determining exactly what features are ...
  • The multiserver station with dynamic concurrency constraints 
    Kriel, CF; Krzesinski, AE (South African Computer Society (SAICSIT), 1992)
    This paper defines the the Multiserver Station With Dynamic Concurrency Constraints. The MSDCC station consists of B parallel identical exponential servers. The customers requesting service at the MSDCC station belong to ...
  • A multitasking operating system above MS-DOS 
    Foss, RJ; Rehmet, GM; Watkins, RC (South African Computer Society (SAICSIT), 1992)
    This paper describes the development of a memory resident version of the Xinu operating system for the IBM PC range of computers. The operating system co-resides with the MS-DOS operating system. The need for the operating ...
  • Network partitions in distributed databases 
    Viktor, HL; Rennhackkamp, MH (South African Computer Society (SAICSIT), 1992)
    The technology of distributed databases is based on two other technologies which have developed a solid foundation: computer networks and centralized databases. A distributed database designer should therefore address ...
  • Placing processes in a transputer-based Linda programming environment 
    Clayton, Peter G.; de-Heer-Menlah, FK; Wentworth, EP (South African Computer Society (SAICSIT), 1992)
    This paper presents a process placement algorithm, designed for use in a transputer-based implementation of the Linda programming environment. A static, heuristic approach is adopted, which takes cognisance of the special ...
  • Quantifier elimination in second order predicate logic 
    Gabbay, D; Ohlbach, HJ (South African Computer Society (SAICSIT), 1992)
    An algorithm is presented which eliminates second-order quantifiers over predicate variables in formulae of type 3Pi , ...,Pn 1/; where 1/J is an arbitrary formula of first-order predicate logic. The resulting formula is ...
  • Semantic constructs for a persistent programming language 
    Sparg, S.B.; Berman, Sonia (South African Computer Society (SAICSIT), 1992)
    Existing persistent languages cannot express the structure and semantics of the data they work on precisely and simply. As a result programs are more difficult to write and the integrity of the data is compromised. This ...
  • Statenets - an alternative modelling mechanism for performance analysis 
    Lewis, L (South African Computer Society (SAICSIT), 1992)
    Statecharts were developed by Harel to specify complex reactive systems. Statecharts proved to be rich in modelling power and convenience [9] and well suited to mechanical implementation. However, the semantic definition ...
  • Using information systems methodology to design an instructional system 
    O'Donovan, BC (South African Computer Society (SAICSIT), 1992)
    Designers of both computerized information systems and instructional systems are faced with a need to find more effective methods of identifying and supplying the information that the users of these systems require. Both ...

Search UnisaIR


Browse

My Account