Search
Now showing items 401-410 of 441
Protocol engineering from Estelle specifications
(1993)
The design of efficient, reliable communication protocols has long been an area of active research in computer science and engineering, and will remain so while the technology continues to evolve, and information becomes ...
Modelling adaptive routing in Wide Area Networks
(1991)
This study investigates the modelling of adative routing algorithms with specific reference to the algorithm of an existing Wide Area Network (WAN). Packets in the network are routed at each node on the basis of routing ...
Rita+ : an SGML based document processing system
(1993)
Rita+ is a structured syntax directed document processing system, which allows users to edit documents interactively, and display these documents in a manner determined by the user. The system is SGML (Standard Generalized ...
Semantic optimisation in datalog programs
(1990)
Datalog is the fusion of Prolog and Database technologies aimed at producing an efficient, logic-based, declarative language for databases. This fusion takes the best of logic programming for the syntax of Datalog, and the ...
A control and sequencing language
(1991)
In a process control environment, hatch processes, as opposed to continuous processes, are characterised by multi-product manufacturing lines which often involve frequent product changes. One component of batch control ...
P-Pascal : a data-oriented persistent programming language
(1991)
Persistence is measured by the length of time an object is retained and is usable in a system. Persistent languages extend general purpose languages by providing the full range of persistence for data of any type. Moreover, ...
Parallelisation of algorithms
(1990)
Most numerical software involves performing an extremely large volume of algebraic computations. This is both costly and time consuming in respect of computer resources and, for large problems, often super-computer power ...
ROLAND : a tool for the realistic optimisation of local access network design
(1999)
Investment in the local access network represents between 50% and 70% of capital investment of a telecommunications company. This thesis investigates algorithms that can be used to design economical access networks and ...
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 ...