Institutional Repository

South African Computer Journal 1996(18)

South African Computer Journal 1996(18)

 

Recent Submissions

  • A pragmatic approach to development information to provide service on a wide scale 
    Mncube, SS (South African Computer Society (SAICSIT), 1996)
    The rapid technological growth in our time has produced an explosion of information. This, in tum, has spawned information systems based on the use of computers and automated systems. These mechanised devices with their ...
  • Dynamic deadlock avoidance: a prototype 
    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 ...
  • The practice of clausification in automatic theorem proving 
    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. ...
  • The new IS'95 curriculum 
    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 ...
  • Business process reengineering: A down to earth critique 
    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 ...
  • An AI search algorithm to obtain the shortest simplex path 
    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 ...
  • An integrated classification of multiple database systems 
    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 ...
  • The homological transfer research method revisited 
    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 ...
  • The complexity of Petri Net transformations 
    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 ...
  • Critical success factors for implementing CASE at a selection of companies in South Africa 
    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 ...