Institutional Repository

South African Computer Journal 1996(18)

South African Computer Journal 1996(18)

 

Recent Submissions

  • Blewett, CN; Erwin, GJ (South African Computer Society (SAICSIT), 1996)
    In this paper, we describe a prototype of an expert system software advisor for the deadlock treatment of a lock manager in a database system. The software advisor, called EAGLE (External Advisor for Granting Locks ...
  • Sutcliffe, G; Melville, S (South African Computer Society (SAICSIT), 1996)
    In the process of resolution based Automatic Theorem Proving, problems expressed in First Order Form (FOF) are transformed by a clausifier to Clause Normal Form (CNF). This research examines and compares clausifiers. ...
  • Smith, DC (South African Computer Society (SAICSIT), 1996)
    The recent acceptance of South Africa as a world player and the government's reconstruction and development programme (RDP) have created new challenges and opportunities for business and universities. The Information Systems ...
  • Shewaram, T (South African Computer Society (SAICSIT), 1996)
    'Change' is a universal phenomenon that many take for granted. Without change, time has no meaning. Even people are essentially dynamic processes, we are constantly changing in multitudinous ways. In light of this, it is ...
  • Scott, TG; Hattingh, J.M.; Steyn, T (South African Computer Society (SAICSIT), 1996)
    The simplex method is one way of solving a linear programming problem (LP-problem). An A* search algorithm based on a certain evaluation function has been developed to obtain the shortest path to an optimal solution within ...
  • Renaud, K; Kotze, P (South African Computer Society (SAICSIT), 1996)
    In many applications today multiple pre-existing database systems are integrated into one multiple database system. There are various characteristics of these systems which distinguish them from other types of multiple ...
  • Koornhof, C (South African Computer Society (SAICSIT), 1996)
    The Homological transfer method is a very efficient research method which is based on similarities between manufacturing, financial, educational, informational and other productive processes. The existence of these ...
  • Donaldson, SR; Bause, F; Kritzinger, Pieter S. (South African Computer Society (SAICSIT), 1996)
    We consider the complexity of several property preserving Petri net transformations found in the literature. These transfor­mations were candidates for.inclusion in a software tool to peiform liveness and boundedness ...
  • Addison, TM; Hamersma, S (South African Computer Society (SAICSIT), 1996)
    CASE, or Computer Assisted Software Engineering, provides the potential for a future in which computer programs will be generated automatically from business rules, but many potential buyers have adopted a wait and see ...