Items in UNISA Institutional Repository are protected by copyright, with all rights reserved, unless otherwise indicated. Please acknowledge publications according to acceptable standards and norms.
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 ...
Dijkstra's weakest precondition semantics, as presented in textbook form by Gries, may be viewed as an equational algebra. The problem then is to find a reasonable (set-theoric) model of this algebra. This paper provides one.
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
South African networking history started in the mid 1980's. Within less than ten years, the
country became the 15-th fastest growing network within the lnternet community. Today, the South African network offers a variety ...
Symmetric positive definite matrices appear in most methods for
Unconstrained Optimization. The method widely adopted for factoring
these matrices is Cholesky Factorization. Furthermore, in Quassi-Newton
methods for ...
A 1 D non-linear filter which is based on 'max-min' selectors is extended for use in 2 0 applications. The objective of this research is to remove impulsive noise without unduly changing original, valid data. Some examples ...
This paper presents an overview of the established concepts of David Harel' s higraphs, to increase their visibility. Higraphs are a union of extended graph and extended set theory which allows the understandable definition ...
The purpose of this paper is to identify and analyse error in selected medical devices: the Datex cardiocap and the capnomac Ultima II. These are both anaesthetic machines used to monitor patients in theatre. A secondary ...
With the continuing growth of the Internet, an increasing number of organisations are incorporating the Web into their business activities. The appeal of a site to users in terms of both attractiveness and usability ...
The notion of patterns has been used in many different disciplines, and the software industry is no exception. There are many books written, academic research done and practical examples available of where patterns have ...
A formal specification of a multi-level marketing (MLM} business is presented. Specifying a MLM business boils down to specifying properties of and operations on mathematical forests and trees. The usefulness of the ...
Group activities are important for students in order to develop the skills they will need for working with other people when they get into industry. The Internet offers an exciting environment for students to practise these ...