Institutional Repository

Browsing Quaestiones Informaticae (QI) by Title

Browsing Quaestiones Informaticae (QI) by Title

Sort by: Order: Results:

  • The P-NP Question and Recent Independence Results 
    Philips, N.C.K. (Computer Society of South Africa (on behalf of SAICSIT), 1979)
    Despite intensive research the P = NP question is unresolved and the research suggests thatitis hard to answer. The corresponding question for query machines with recursive oracles is undecidable in set theory. Simply ...
  • The parallel conditional 
    Postma, Stef W.; Philips, N.C.K. (S W Postma and N C K Phillips (1988) The parallel conditional. Computer Society of South Africa (on behalf of SAICSIT), 1988)
    The parallel conditional is a new but natural programming language construct. It is particularly suited to evaluation on parallel maclunes and generalizes other well known conditionals.
  • 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 ...
  • A persistent programming language: preliminary Report 
    Berman, Sonia (Computer Society of South Africa (on behalf of SAICSIT), 1986)
    A persistent programming language PPL is currently being designed at the University of Cape Town. The language treats persistence (permanent storage) as an orthogonal property of data and is consistent in its treatment of ...
  • Pointers as a data type 
    Philips, N.C.K.; Postma, Stef W. (Computer Society of South Africa (on behalf of SAICSIT), 1987)
    The distinction between an abstract data type and an implementation of a data type is not as clear as is commonly thought. A hash table can be used to implement the type bag but few of our colleagues think of a hash table ...
  • Polygon shading on vector type devices 
    Scheepers, C.F. (Computer Society of South Africa (on behalf of SAICSIT), 1987)
    A method is presented whereby the interior of boundary-defined regions on vector type devices may be shaded using regular line, cross-hatch and dot patterns. Different shades are realized by changing shading parameters ...
  • Program Design as the Tool of Preference in Computer Literacy Education, Experience, Incentives, Implications 
    Richfield, J.M. (Computer Society of South Africa (on behalf of SAICSIT), 1984)
    Structured program design is urged as a rewarding vehicle for the introduction of computer concepts to age groups ranging from mid primary school to senior management. Progressively expanded subsets of the material form ...
  • A program development environment for microcomputers 
    Byron-Moore, S.P. (Computer Society of South Africa (on behalf of SAICSIT), 1987)
    Any distractions in the working environment can affect the quality and quantity of output. For example, noise may disturb a person's thought processes and lead to errors. In addition, the programmer is subject to other, ...
  • A proposed computer network for researchers 
    McDonald, T (Computer Society of South Africa (on behalf of SAICSIT), 1988)
    In contrast to other countries, South Africa has sadly lacked a computer network for researchers. This paper starts with previous efforts to establish a national network for researchers and gives possible reasons for ...
  • Protection Graph Rewriting Grammars and the Take/Grant Security Model 
    Von Solms, S.H.; De Villiers, D.P. (Computer Society of South Africa (on behalf of SAICSIT), 1988)
    The operations in the Take/Grant Protection Model are formalised using theory and results from the discipline of formal languages. A Protection Graph Rewriting Grammar is defined, which generates protection graphs consistent ...
  • Protection of computerised private information: A comparative analysis 
    Van der Poel, K.G.; Bryson, I.R. (Computer Society of South Africa (on behalf of SAICSIT), 1986)
    The principles of protection of private information have gradually been defined during the last decades. The US Privacy Act of 1974 regulates practices of the federal government. Two committees of the UK government ...
  • Protocol Performance Using Image Protocols 
    Kritzinger, Pieter S. (Computer Society of South Africa (on behalf of SAICSIT), 1988)
    Performance analyses of data communication systems do not always rely on a detailed analysis of the underlying protocols. Those analyses which do, usually rely on an analysis of the protocol state transition graph. These ...
  • The protocol specification language ESTELLE 
    Roos, Jan (Computer Society of South Africa (on behalf of SAICSIT), 1987)
    ESTELLE is being developed by the International Standards Organisation (ISO), Technical Committee (TC) 97, Sub-committee (SC) 21, Working Group (WG) 1, Formal Definition Technique (FDT) Subgroup B to fulfil the need for ...
  • Quaestiones Informaticae Table of Contents 
    Unknown author (2019)
  • QUAESTIONES INFORMATICAE VOL 1 
    Unknown author (SAICSIT, 1979-06-01)
  • QUAESTIONES INFORMATICAE VOL 2 
    Unknown author (SAICSIT, 1982-11-01)
  • QUAESTIONES INFORMATICAE VOL 3 
    SAICSIT (SAICSIT, 1985)
  • QUAESTIONES INFORMATICAE VOL 4 
    SAICSIT (1986-01)
  • QUAESTIONES INFORMATICAE VOL 5 
    Unknown author (SAICSIT, 1987-04-01)
  • QUAESTIONES INFORMATICAE VOL 6 
    SAICSIT (SAICSIT, 1988-05)

Search UnisaIR


Browse

My Account