SAICSIT Digital Archive: Recent submissions

  • A Java-implemented remote respiratory disease diagnosis system on a high bandwidth network 
    Foster, A (2000)
    This telemedicine project is a proof of concept for a remote respiratory disease diagnosis computer system, operating over a high bandwidth network, implemented in Java TM. It hopes to increase medical health in South ...
  • Metamodelling in automated software engineering 
    Figueira, R; Berman, S (2000)
    This paper describes a metamodelling system that has been created at the University of Cape Town as part of an integrated software engineering environment called the Persistent Programmers Workshop. The workshop architecture ...
  • The emerging role of the CIO in South Africa 
    Dekenah, B (2000)
    The role of the Chief Information Officer (CIO) and all that it represents has inspired much discussion and speculation, as well as varied and heated debate, in overseas publications. In South Africa however, the title ...
  • The generation of pre-interpretations for detecting unsolvable planning problems 
    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 ...
  • Representing quadrics on a computer 
    Coetzee, MA; Baart, ML (2000)
    In our research on transfinite interpolation with quadric patches, we needed to draw the part of some quadratic surface that lies between two given planes. In this talk, we discuss a way to parameterize a quadric patch ...
  • Integrating spatial data management and object store technology 
    Berman, S; Buffler, S; Owen, J; Voges, E (2000)
    Efficient access to spatial data is essential for many engineering, town planning and mining applications. Conventional database systems are not capable of performing such searches effectively over large data sets. Relational ...
  • Theoretical Computer Science: What is it all about, and is it of any relevance to us? 
    Brink, C (2000)
    This is a quite general survey talk in which I present some of the infrastructure, activities and scientific flavour of what has, for better or worse, come to be called "Theoretical Computer Science". I will try to relate ...
  • Explanation facilities in expert systems using hypertext technology 
    Breetzke, T; Thomas, T (2000)
    The process of delivering suitable explanations in expert systems has been a significant area of research since the inception of expert systems. Their ability to provide explanations of the reasoning process behind a ...
  • Extending the client-server model for web-based execution of applications 
    Botha, L; Bishop, JM; Serbedzija, NB (2000)
    In this paper, options for executing applications in a distributed manner on the Worldwide Web are examined. An approach to providing a Java-based framework for such applications is presented. The Web Computing Framework ...
  • Access control needs in an electronic workflow environment 
    Botha, RA (2000)
    This paper defines an electronic workflow environment as being conducive to the performance of business processes according to certain policies and practices in an electronic fashion. The workflow procedure will be facilitated ...
  • Using multimedia technology for social up-liftment in deprived communities of Southern Africa 
    Bester, L; Du Preez, E (2000)
    In recent years individualized instruction and the use of computer technology to facilitate learning at all levels of education and training has received increased emphasis. The use of computers in education has been ...
  • A model for evaluating information security 
    Barnard, L; Von Solms, R (2000)
    During the last few decades computing environments have advanced from single user systems to distributed, open environments we all know today. Through these Information Technology advancements, more and more role players ...
  • Liming-like curve constructions 
    Baart, L; McLeod, R (2000)
    R.A. Liming developed a method based on classical conic section theory to design cross-sections of aircraft using implicit rather than explicit forms of the quadratic equations. In its basic form the method is used to ...
  • Software objects change: problems and solution 
    Ajila, SA (2000)
    The development of Software is a long term investment. This investment normally takes a lot of money and human efforts. So many things may change during the life span of a Software. The requirement and the specification ...
  • Automated network management using artificial intelligence 
    Watzenboeck, M (1996)
    Automating network management is regarded as a prerequisite for further plant automation. Artificial intelligence techniques, such as case based reasoning, topological reasoning and automated learning enable automated ...
  • Checklist support for ISO 9001 audits of software quality management systems 
    Walker, AJ (1996)
    This paper presents an overview of a national project to develop a checklist to support audits and assessments of quality management systems in the field of software in terms of the compliance requirements of the ISO 9001 ...
  • Software engineering development methodologies applied to computer-aided instruction 
    Kotze, P; De Villiers, R (1996)
    The research reported in this paper aims to integrate software engineering approaches with instructional factors in the requirements, analysis, design and production phases of instructional software development. The ...
  • A framework for executing multiple computational intelligent programs 
    Viktor, HL; Cloete, I (1996)
    Computational intelligent programs are capable of discovering interesting relationships contained in "raw" data. These programs, including artificial neural networks, set covering algorithms and decision trees, have been ...
  • Generating compilers from formal semantics 
    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 ...
  • Teaching turing machines - luxury or necessity? 
    Velinov, Y (1996)
    The purpose of this paper is to outline an approach for the development of the Tape Machines model in the Theory of Computation which is bound more closely to the real computer world. The approach is based on a developed ...

Search UnisaIR


Browse

My Account