Type

No Grouping Creators

A

HARP: a statically scheduled multiple-instruction-issue architecture and its compiler. (1994) R.G. Adams, S.M. Gray and G.B. Steven

B

Using testing semantics to show safety and liveness in the development of CCS specifications. (1994) J. Baillie

A conservative extension to CCS for true concurrency semantics. (1994) J. Baillie and D. Smith

An integrated approach to the development of advice systems to support learning and domain based information retrieval. (1994) M. Bearne, J. Hewitt, S. Jones and J. Sapsford-Francis

Towards usability guidelines for multimedia systems. (1994) M. Bearne, S. Jones and J. Sapsford-Francis

Overloading and polymorphism in the interpretation of inheritance in C++. (1994) M. Buchanan

A comparative study of three neural networks that use soft competition. (1994) K. Butchart

C

Clone detection in telecommunications software systems : a neural net approach. (1994) S. Carter, R. Frank and D. Tansley

File server architecture for an open distributed document system. (1994) B. Christianson and P. Hu

Shrink-wrapped optimism: the DODA approach to distributed document processing. (1994) B. Christianson and J.F. Snook

An explicitly declared delayed-branch mechanism for a superscalar architecture. (1994) R. Collins and G.B. Steven

E

Potential for asynchronous microprocessor design. (1994) C.J. Elston

F

A data flow model for prototyping reactive systems. (PhD Transfer Report). (1994) D.A. Fensome

G

Using conditional execution to exploit instruction level concurrency. (1994) S.M. Gray and R.G. Adams

H

An application of task analysis to the development of a generic office reference model. (1994) J. Hewitt, J. Hobson and J. Sapsford-Francis

Integrating formal and diagrammatic techniques in requirements capture and early system design. (1994) J. Hewitt, S. Jones and J. Sapsford-Francis

Multicultural issues in the development of a Pan-European knowledge based system. (1994) J. Hewitt and J. Sapsford-Francis

A knowledge extraction approach for capturing dispersed knowledge and its application to the modelling of working environments for people with disabilities. (1994) J. Hewitt and J. Sapsford-Francis

MODEMA - a knowledge based browsing system to facilitate the employment of people with disabilities. (1994) J. Hewitt, J. Sapsford-Francis, G. Bolstad, O. Eftedal, P. Halford, D. Vervenne and M. Verheyen

MODEMA - a multimedia public information system. (1994) J. Hewitt, J. Sapsford-Francis and J. Halford

J

Formal dialogue specification for hypertext and multimedia systems. (1994) L. Jacob and S. Jones

3-dimensional modelling in knowledge engineering. (1994) S. Jones

L

To whom am I speaking? Remote booting in a hostile world. (1994) M. Lomas and B. Christianson

Self authenticating proxies. (1994) M.R. Low and B. Christianson

M

The Oberon-2 language and environment. (1994) A. Mayes and M. Buchanan

A comparison of Eiffel, C++ and Oberon-2. (1994) A. Mayes and M. Buchanan

Implementing associations between objects. (1994) A. Mayes, B. Dickerson and C. Britton

S

Validating knowledge models across multinational boundaries. (1994) J. Sapsford-Francis and J. Hewitt

User and designer centred issues in the development of a multimedia exhibition guide. (1994) J. Sapsford-Francis, J. Hewitt, P. Halford and N. Waring

The role of graphical representations in early design and requirements specification. (1994) J. Sapsford-Francis and S. Jones

Using a resource limited instruction scheduler to evaluate the iHARP processor. (1994) F.L. Steven, G.B. Steven and L. Wang

An evaluation of the iHARP multiple instruction issue processor. (1994) F.L. Steven, G.B. Steven and L. Wang

T

Increasing the usability of formal specification techniques through a combination of complementary formal languages and automated verification tools. (1994) P.N. Taylor and C. Britton

A case study for generic processes and reusability in LOTOS. (1994) P.N. Taylor and D.E. Smith

The influence of the formal description technique LOTOS on concurrent system design. (1994) P.N. Taylor and D.E. Smith