Institutional Repository

Browsing College of Science, Engineering and Technology by Title

Browsing College of Science, Engineering and Technology by Title

Sort by: Order: Results:

  • Putter, P; Roos, JD (South African Computer Society (SAICSIT), 1992)
    This paper proposes a general building block for distributed systems. This building block is referred to as a generic distributed system entity (GDE). The purpose of the GDE is to create a generic entity which can be used ...
  • Van Biljon, WR (1987)
    The expression structure of programming languages is examined. Two weaknesses are identified. The first pertains to the inability, or limited ability, to redefine operators or to define new operators. The second pertains ...
  • Hazelhurst, S (South African Computer Society (SAICSIT), 1999)
    Given two temporal logic formulas, g and h, we wish to know whether there is a modification, m, we can make to h so that g ==> m( h). This problem has important applications in hardware verification, where finding such ...
  • Venter, H (1996)
    Given a complete, formal description of the semantics of a programming language, it should be possible to generate a compiler for the language using an automated process. This is highly desirable, since it reduces the work ...
  • von Solms, S. H. (Computer Society of South Africa (on behalf of SAICSIT), 1987)
    Grammars generating 2-dimensional arrays have been studied by many people [1, 2, 3, 4). One effort was Random Context Array Grammars [4], where different types of context conditions placed on the production, were used ...
  • De Waal, DA; Denecker, M; Bruynooghe, M; Thielscher, M (2000)
    In deductive planning, there exists a· particular class of planning problems, called unsolvable planning problems, which although successfully treated theoretically, turns out to be undetectable using ordinary resolution ...
  • Kotze, P (South African Computer Society (SAICSIT), 1999)
    Existing modelling frameworks for the design of interactive systems emphasise the relationship between the system's in­ternal state and the rendering of this state at the user interface. Modern programming and multimedia ...
  • 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 ...
  • De Wet, Pieter Oloff (2009-08-25)
    In 1992 Du and Hwang published a paper confirming the correctness of a well known 1968 conjecture of Gilbert and Pollak suggesting that the Euclidean Steiner ratio for the plane is 2/3. The original objective of this ...
  • Mphahlele, M; Roos, J (2000)
    Survivability in connection-oriented ATM networks is critical due to link and node failures. With regard to high priority connections, it is important that the network maintains their performance guarantees. The restoration ...
  • Nyanhi, Musekiwa Gift (2013-10)
    The study investigated South African Grade 10 Physical science learners’ reasoning about basic chemical phenomena at sub-microscopic level. The study adopted a non-experimental, exploratory and descriptive method and was ...
  • Kroeze, Jan H; Prinsloo, Paul; Ponelis, Shana; Venter, Isabella; Pretorius, Philip (AMCIS, 2012-08-09)
    This poster presentation discusses graduate attributes that are required of students in Computer Science and Information Systems disciplines in Africa in general and in South Africa in particular. Graduate attributes as ...
  • Ndlovu, Principal; Moyo, C.; Francis, J. (2012)
    Empowerment aims at assisting the disadvantaged members of society to take control of their livelihoods. However, questions still arise as to whether women have full control of their lives given the socio-cultural dynamics ...
  • Saba, Farrokh (1991-11)
    Chapter I begins with a brief history of the topic of greatest common subgraphs. Then we provide a summaiy of the work done on some variations of greatest common subgraphs. Finally, in this chapter we present results ...
  • Oladeji, Olawumi Akinfenwa (2021-07-02)
    Global change and the rise in toxic waste produced by electronic devices are some of the problems presently being tackled using so-called 'green technologies. Although the approach to these significant issues does not ...
  • Brink, Basil Niel (2006-07-27)
    Planning for a green built environment is contextualised within notions of sustainability and unsustainability. The need to create a greater awareness of green planning processes; the importance of integrating green planning ...
  • Tiwari, A.D.; Mishra, A.K.; Mishra, S.B.; Arotiba, O.A.; Mamba, B.B. (2011)
  • Vilakazi, Happy Lerato (2023-01)
    In this dissertation, we investigate the role of the nucleon-nucleon (nn) and threebody interactions on the ground-state structure of the 22C! 20C + n + n borromean system. We start by outlining the theoretical formulation ...
  • Chinyanga, Kumbirai Theotimus (2022-11)
    The few-body integrodifferential equations are approximations to the few-body Schr¨odinger equation in hyperspherical coordinates. The few-body integrodifferential equations for identical particles reduce to a single ...
  • Smit, J (South African Computer Society (SAICSIT), 1999)
    Grounded Theory (GT), along with the surging interest in qualitative research, is becoming a popular research strategy in the Information Systems (IS) field. At the same time however, the method seems to be changing in its ...

Search UnisaIR


Browse

My Account