When facilitating decisions in which some performance evaluations are uncertain, a decision must be taken about how this uncertainty is to be modelled. This involves, in part, choosing an uncertainty format {a way of ...

Redundant Array of Independent Disks (RAID) provides an inexpensive, fault-tolerant storage solution using commodity hard-drives. RAID storage systems have recently surged in popularity amongst enterprise clients, as they ...

This study has shown that modelling and simulation is a feasible approach for evaluating NPR solutions in the developing context. The model can represent different network models, patient types and performance metrics to ...

The last decades have witnessed the emergence of a large number of devices pervasively launched into our daily lives as systems producing and collecting data from a variety of information sources to provide different ...

Computer scientists must align social and technical factors for communication technologies in developing regions yet lack a framework to do so. The novel Softbridge framework comprises several components to address this ...

Computer scientists must align social and technical factors for communication technologies in developing regions yet lack a framework to do so. The novel Softbridge framework comprises several components to address this ...

Podcasting is fast gaining traction in developing regions as a means to augment classroom instruction. Commercial podcasting tools such as Apple’s Leopard Server, Tele-task and OpenEya, despite being successfully used in ...

When moving through an environment, people unconsciously build up a mental image, or cognitive map, of that environment. When later planning a trip or giving directions to someone else, they can mentally walk through the ...

This project aims to prototype formal specification in Larch. The motivation for looking at formal specifications stems from an appreciation of the problem outlined above, frustration with current methods, and a desire to ...

Context conditions - also called static semantics - are the constraints on computer programs that cannot be reasonably expressed by a context-free grammar, but that can be statically checked without considering the execution ...

This thesis examines Markov reward models, a formalism based on continuous time Markov chains, and it's usage in the generation and analysis of service levels. The particular solution technique we employ in this thesis is ...

It has been argued that much of evolution takes place in the absence of fitness gradients. Such periods of evolution can be analysed by examining the mutational network formed by sequences of equal fitness, that is, the ...

Many virtual environments like interactive computer games, educational software or training simulations make use of speech to convey important information to the user. These applications typically present a combination of ...

The efficiency of an image compression/synthesis system based on a spline multi-resolution analysis (MRA) is investigated. The proposed system uses a quadratic spline wavelet transform combined with minimum-mean squared ...

Software engineers have identified many problem areas regarding the development of software. There is a need for improving system and program quality at design level, ensuring that design costs remain within the budget, ...

This dissertation explores virtual storytelling for conveying cultural stories effectively. We set out to investigate: (1) the strengths and/or weaknesses of VR as a storytelling medium; (2) the use of a culturally familiar ...

The implementation of network security protocols has not received the same level of attention in the literature as their analysis. Security protocol analysis has successfully used inference logics, like GNY and BAN, and ...

The growth of mobile computing is changing the way people communicate. Mobile devices, especially mobile phones, have become cheaper and more powerful, and are able to run more applications and provide networking services. ...

This dissertation reports on the results on an exploratory investigation into the potential efficacy of VR as both a support mechanism to people living with HIV I AIDS, as well its capabilities as an emotive medium. Two ...

There exist several challenges in supporting mobile applications. For example, creating a separate target application for each device type, leaving developers with a huge maintenance chore. Most desktop applications run ...