Institutional Repository

Browsing South African Computer Journal 1996(18) by Title

Browsing South African Computer Journal 1996(18) by Title

Sort by: Order: Results:

  • 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 ...
  • 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 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 ...
  • 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 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 ...
  • 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. ...
  • 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 ...

Search UnisaIR


Browse

My Account