UnisaIR Home
→
College of Science, Engineering and Technology
→
School of Computing
→
SAICSIT Digital Archive
→
SAICSIT Proceedings: 1979-2001
→
1997 National Research and Development Conference
→
Browsing 1997 National Research and Development Conference by Issue Date

Browsing 1997 National Research and Development Conference by Issue Date

Now showing items 1-20 of 40

Model checking software with symbolic trajectory evaluation

Hazelhurst, S (1997)

Traditional methods of testing computer systems, although valuable, are inadequate for ensuring sufficiently high quality in systems in which a high degree of reliability must be placed. Formal methods for development of ...
A risk model to allocate resources to different computerised systems

Kruger, HA; Hattingh, JM (1997)

The majority of large organisations operate and maintain significant portfolios of computerised systems. All Information Systems (IS) managers are increasingly faced with the task of doing more with less. To cope with ...
The effects of virtual banking on the South African banking industry

Dunley-Owen, M; Hart, ML (2000)

The South African banking industry is set to undergo a complete transformation in the next ten years. One of the main reasons for this transformation is the development of virtual banking, specifically new delivery channels ...
PLaVa: a lightweight persistent Java virtual machine

Tjasink, S; Berman, S (2000)

This paper describes the implementation and tuning of an orthogonally persistent Java Virtual Machine (JVM) for small computers. It is based on a JVM that was targeted at a digital satellite television decoder with 1 ...
Information security awareness, a must for every organization

Thomson, M; Von Solms, R (2000)

Information Technology (IT) has become part and parcel of the business world today. In fact, with the increasing sophistication of networks and the continued growth in electronic commerce, it will continue becoming an ever ...
Cardinality constrained 0-1 Knapsack problems

Kruger, MF; Hattingh, JM; Steyn, T (2000)

The Knapsack Problem is one of the most important problems in Discrete optimization. Although it is the simplest integer program, it has numerous practical applications and often appears as a subproblem in solving more ...
Combining rule-based Artificial Intelligence with Geographic Information Systems to plan the physical layer of wireless networks in Greenfield areas

Prag, K; Premjeeth, P; Sandrasegaran, K (2000)

This paper elucidates the development of a computer tool which combines the use of terrain data in a Geographic Information System (GIS), an equipment database and rule-based inference. It explores the use of GJS to aid ...
Returns on the Stock Exchange

Kruger, JW (2000)

The McGreggor database supplies the accounting information of companies listed on the Johannesburg stock exchange. These attributes are not significantly correlated to the Return. The Pearl's algorithm in Bayesian belief ...
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 ...
Object-oriented business modelling and re-engineering

Watzenboeck, M (2000)

Financial industry and manufacturing are the main customers in migrating existing applications into client server environments. This paper helps in identifying the candidates for migration and suggests a method for ...
More readings than I thought: quantifier interaction in analysing the temporal structure of repeated eventualities

Rock, S (2000)

Focusing on the temporal structures of the events described by language, the sentence 'Simmer the soup stirring it occasional(y for fifteen minutes' without punctuation, has three syntactic structures, which give rise to ...
Algebraic factorization of integers using BDE's

Messerschmidt, HJ; Robertson, J (2000)

This paper outlines a new direct algebraic method for the factorization of integers. It shows how by using a mixed binary - decimal multiplication scheme the multiplication can be reconstructed from the product only. This ...
Developing soft skills in computer students

Schroder, C; Thomas, T (2000)

Today software developers are required to work closely with users when defining, developing and implementing systems. Interaction between software developers and users can influence the success or failure of the system ...
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 ...
The development of a tutoring system to assist students develop answering techniques

Pillay, N (2000)

End-user computing is a compulsory course that all first year technikon students who are not registered for a computer-related diploma. However, most students ( especially those from disadvantaged educational backgrounds) ...
An investigation in software process improvement in the software development of a large electricity utility

Lang, MT; Walker, AJ (2000)

Process improvement techniques as well as metrics have just recently been implemented in the software development department in the Eskom Information Technology Department. The techniques implemented are Function Point ...
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 ...
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 ...
Early results of a comparative evaluation of ISO 9001 and ISO/IEC 15504 assessment methods applied to a software project.

Gee, C; Walker, AJ (2000)

This paper presents early results of a comparative study undertaken on a software project. The methods used for assessment included an ISO 9001 based audit checklist for software (SABS ARP042), and the emerging ISO/IEC ...

Browsing 1997 National Research and Development Conference by Issue Date

Browsing 1997 National Research and Development Conference by Issue Date

Search UnisaIR

Browse

All of UnisaIR

This Collection

My Account