Search
Now showing items 71-80 of 206
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 ...
Access and information flow control to secure mobile web service compositions in resource constrained environments
(2015)
The growing use of mobile web services such as electronic health records systems and applications like twitter, Facebook has increased interest in robust mechanisms for ensuring security for such information sharing services. ...
A distributed computing environment (DCE) based object request broker
(1996)
Object oriented technology has moved beyond being a tool for design and programming and is now being used to implement enterprise wide computer systems. Also, there has been a move from centralised mainframe systems to ...
Designing mobile multi-touch drum sequencing applications
(2015)
Digital music software can limit the forms of music we create by using interfaces that directly copy those of the analogue instruments that came before. In this study we report on a new multi-touch interface that affords ...
Algorithms for efficiently and effectively matching agents in microsimulations of sexually transmitted infections
(2018)
Mathematical models of the HIV epidemic have been used to estimate incidence, prevalence and life-expectancy, as well the benefits and costs of public health interventions, such as the provision of antiretroviral treatment. ...
Neuro-evolution behavior transfer for collective behavior tasks
(2018)
The design of effective, robust and autonomous controllers for multi-agent and multi-robot systems is a long-standing problem in the fields of computational intelligence and robotics. Whilst nature-inspired problem-solving ...