Type
Number of items: 39.
Advocacy: a Nurse's Guide. (1994)
Bob Gates
Transport for Tourism. (1994)
Stephen J. Page
Chaos, Management and Economics : The Implications of Nonlinear Thinking. (1994)
David Parker
and
Ralph Stacey
The chronicle history of Henry the fift. (1994)
G. Holderness
and
B. Loughrey
HARP: a statically scheduled multiple-instruction-issue architecture and its compiler. (1994)
R.G. Adams,
S.M. Gray
and
G.B. Steven
![]()
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
![]()
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
![]()
Potential for asynchronous microprocessor design. (1994)
C.J. Elston
![]()
A data flow model for prototyping reactive systems. (PhD Transfer Report). (1994)
D.A. Fensome
![]()
Using conditional execution to exploit instruction level concurrency. (1994)
S.M. Gray
and
R.G. Adams
![]()
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
![]()
Formal dialogue specification for hypertext and multimedia systems. (1994)
L. Jacob
and
S. Jones
![]()
3-dimensional modelling in knowledge engineering. (1994)
S. Jones
![]()
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
![]()
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
![]()
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
![]()
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
![]()