Search
Now showing items 3521-3530 of 4210
Volumetric cloud generation using a Chinese brush calligraphy style
(2014)
Clouds are an important feature of any real or simulated environment in which the sky is visible. Their amorphous, ever-changing and illuminated features make the sky vivid and beautiful. However, these features increase ...
Designing an architecture for secure sharing of personal health records : a case of developing countries
(2014)
While there has been an increase in the design and development of Personal Health Record (PHR) systems in the developed world, little has been done to explore the utility of these systems in the developing world. Despite ...
Force field comparison through computational analysis of capsular polysaccharides of Streptococcus pneumoniae serotypes 19A and F
(2014)
Modern Molecular Dynamics force fields, such as the CHARMM36 and GLYCAM06carbohydrate force fields, are parametrised to reproduce behaviours for specific molecules under specific conditions in order to be able to predict ...
An agent based layered framework to facilitate intelligent Wireless Sensor Networks
(2011)
Wireless Sensor Networks (WSNs) are networks of small, typically low-cost hardware devices which are able to sense various physical phenomenon in their surrounding environments. These simple nodes are also able to perform ...
Multi-layered security in the Internet of the Things
(2014)
It is well discussed and understood that there is still a need for suitable security for the Internet of Things. It is however still not clear how existing or emerging security paradigms can be effectively applied to a ...
Specification and verification of context conditions for programming languages
(1986)
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 ...
Incremental volume rendering using hierarchical compression
(1996)
The research has been based on the thesis that efficient volume rendering of datasets, contained on the Internet, can be achieved on average personal workstations. We present a new algorithm here for efficient incremental ...
A graphical representation for the formal description technique Estelle
(1998)
This dissertation concerns the specification and description of complex communicating systems using Formal Description Techniques. Specifically, we propose a standard graphical representation for the Formal Description ...
SSDE : structured software development environment
(1990)
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, ...
The complexity of Petri net transformations
(1993)
This study investigates the complexity of various reduction and synthesis Petri net transformations. Transformations that preserve liveness and boundedness are considered. Liveness and boundedness are possibly the two most ...