Search research publications and outputs

  1. 1994
  2. Formal Methods for Real-Time Systems

    Barroca, L. M., McDermid, J. A., Halang, W. A. (ed.) & Stoyenko, A. D. (ed.), 1994, Real-Time Computing. Berlin: Springer-verlag

    Research output: Chapter in Book/Report/Conference proceedingChapter

  3. Interface modeling issues in providing access to GUIs for the visually impaired

    Edwards, A. D. N., Mynatt, E. D. & Thatcher, J., 1994, Proceedings of the ACM Conference on Assistive Technologies, ASSETS 1994, Marina Del Rey, California, USA, October 31 - November 3, 1994. ACM, p. 157 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  4. Mathtalk: The Design of an Interface for Reading Algebra Using Speech

    Stevens, R. D. & Edwards, A. D. N., 1994, Computers for Handicapped Persons, 4th International Conference, ICCHP'94, Vienna, Austria, September 14-16, 1994, Proceedings. Zagler, W. L., Bushy, G. & Wagner, R. (eds.). Springer, Vol. 860. p. 313-320 8 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  5. NOISE MODELS FOR LINEAR FEATURE DETECTION IN SAR IMAGES

    EVANS, A. N., SHARP, N. G. & HANCOCK, E. R., 1994, ICIP-94 - PROCEEDINGS, VOL I. LOS ALAMITOS: I E E E, COMPUTER SOC PRESS, p. 466-470 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  6. Non-Interference Through Determinism

    Roscoe, A. W., Woodcock, J. & Wulf, L., 1994, Computer Security - ESORICS 94, Third European Symposium on Research in Computer Security, Brighton, UK, November 7-9, 1994, Proceedings. Gollmann, D. (ed.). SPRINGER, Vol. 875. p. 33-53 21 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  7. RELATIONAL MATCHING BY DISCRETE RELAXATION

    WILSON, R. C., EVANS, A. N. & HANCOCK, E. R., 1994, BMVC94 - PROCEEDINGS OF THE 5TH BRITISH MACHINE VISION CONFERENCE, VOLS 1 AND 2. YORK: BRITISH MACHINE VISION CONF, p. 43-53 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  8. Safety Engineering and Assurance for Real-Time Systems

    McDermid, J. A., Halong, W. A. (ed.) & Stoyenko, A. D. (ed.), 1994, Real-Time Computing. Springer-Verlag

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  9. The Formal Specification in Z of Defence Standard 00-56

    Woodcock, J., Gardiner, P. H. B. & Hulance, J. R., 1994, Z User Workshop, Cambridge, UK, 29-30 June 1994, Proceedings. Bowen, J. P. & Hall, J. A. (eds.). Springer/BCS, p. 9-28 20 p. (Workshops in Computing).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  10. The design and evaluation of an auditory-enhanced scrollbar

    Brewster, S. A., Wright, P. C. & Edwards, A. D. N., 1994, HUMAN FACTORS IN COMPUTING SYSTEMS, CHI '94 CONFERENCE PROCEEDINGS - CELEBRATING INTERDEPENDENCE. Adelson, B., Dumais, S. & Olson, J. (eds.). NEW YORK: ASSOC COMPUTING MACHINERY, p. 173-179 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  11. What is the Right Specification, Design and Implementation Paradigm for Real-Time Applications?

    McDermid, J. A., Halang, W. A. (ed.) & Stoyenko, A. D. (ed.), 1994, Real-Time Computing. Springer-verlag

    Research output: Chapter in Book/Report/Conference proceedingChapter

  12. Appropriate mechanisms for the support of optional processing in hard real-time systems

    Audsley, N. C., Davis, R. I., Burns, A. & Wellings, A. J., May 1994, IEEE Workshop on Real-Time Operating Systems and Software. p. 23-27

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  13. Integrating Best Effort And Fixed Priority Scheduling

    Audsley, N. C., Burns, A., Davis, R. I. & Wellings, A. J., Jun 1994, IFIP Workshop on Real-Time Programming.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  14. Mechanisms for Enhancing the Flexibility and Utility of Hard Real-Time Systems

    Audsley, N. C., Davis, R. I. & Burns, A., Dec 1994, IEEE Real-Time Systems Symposium. p. 12-21 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  15. 1995
  16. A Bayesian Analysis of Algorithms for Learning Finite Functions

    Cussens, J., 1995, Machine Learning: Proceedings of the Twelfth International Conference (ML95). Prieditis, A. & Russell, S. (eds.). San Francisco, CA: Morgan Kaufmann Publishers, p. 142-149 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  17. A Bayesian approach to 3D surface fitting and refinement.

    Turner, M. & Hancock, E. R., 1995, PROCEEDINGS OF THE 6TH BRITISH MACHINE VISION CONFERENCE 1995, VOLS 1 AND 2. Pycock, D. (ed.). GUILDFORD: B M V A PRESS, p. 67-76 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  18. Dependability terminology: Similarities and differences

    Prasad, D., McDermid, J. & Wand, I., 1995, COMPASS '95 - PROCEEDINGS OF THE TENTH ANNUAL CONFERENCE ON COMPUTER ASSURANCE. NEW YORK: I E E E, p. 213-221 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  19. Enabling technology for users with special needs

    Edwards, A., Edwards, A. D. N. & Mynatt, E. D., 1995, CHI 95 Conference Companion. p. 351-352 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  20. Formal Specification of an Aerospace System: the Attitude Monitor

    Barroca, LM., Coombes, A. C., Fitzgerald, J. C., McDermid, J. A., Saeed, A., Spencer, L., Hinchey, M. (ed.) & Bowen, J. (ed.), 1995, Applications of Formal Methods. Prentice Hall, p. 307-332 26 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  21. Gadgets: Lazy functional components for graphical user interfaces

    Noble, R. & Runciman, C., 1995, PROGRAMMING LANGUAGES: IMPLEMENTATIONS, LOGICS AND PROGRAMS. Hermenegildo, M. & Swierstra, SD. (eds.). BERLIN 33: SPRINGER-VERLAG BERLIN, p. 321-340 20 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  22. Infiltration of Al2O3 short-fibre preforms during squeeze casting of A357 Al alloy

    Kang, H. G., Anderson, P. R. G. & Cantor, B., 1995, SYNTHESIS/PROCESSING OF LIGHTWEIGHT METALLIC MATERIALS. Froes, FH., Suryanarayana, C. & WardClose, CM. (eds.). WARRENDALE: MINERALS, METALS & MATERIALS SOC, p. 153-174 22 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  23. Linda implementation revisited

    Douglas, A., Wood, A. M. & Rowstron, A., 1995, TRANSPUTER AND OCCAM DEVELOPMENTS. Nixon, P. (ed.). AMSTERDAM: I O S PRESS, p. 125-138 14 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  24. Pointing in an auditory interface for blind users

    Pitt, I. J. & Edwards, A. D. N., 1995, 1995 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5. NEW YORK: I E E E, p. 280-285 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  25. Real-time distributed computing

    Burns, A., Audsley, N. C. & Wellings, A. J., 1995, Proceedings of 5th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS 1995), August 28-30, 1995, Chenju, Korea. IEEE Computer Society, p. 34-40 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  26. Relational matching with dynamic graph structures

    Wilson, R. C. & Hancock, E. R., 1995, FIFTH INTERNATIONAL CONFERENCE ON COMPUTER VISION, PROCEEDINGS. LOS ALAMITOS: I E E E, COMPUTER SOC PRESS, p. 450-456 3 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  27. Safety Arguments, Software and System Reliability

    McDermid, J. A. & Pham, H. (ed.), 1995, Software Reliability and Testing. New York: IEEE Computer Society Press, p. 82-89 8 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

Previous 1 2 3 4 5 6 7 8 ...80 Next