Search research publications and outputs

  1. 1978
  2. COMFLEX: a high speed packet switch for Inter-Computer Communication

    McDermid, J. A., 1978, IRIA 1978. p. 187-204

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

  3. 1981
  4. Checkpointing and Error Recovery in Distributed Systems

    McDermid, J. A., 1981, Proc. 2nd Int. Conf. on Distributed Computing Systems. p. 271-282 12 p.

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

  5. The Interaction between Hardware, Software, and Algorithms

    Wood, A. M., Duff, M. J. B. (ed.) & Levialdi, S. (ed.), 1981, Languages and Architectures for Image Processing. Academic Press, p. 1-11 11 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  6. 1986
  7. Higher Level Operations using Processor Arrays

    Wood, A. M., Uhr, L. (ed.), Preston~Jr., K. (ed.), Levialdi, S. (ed.) & Duff, M. (ed.), 1986, Evaluation of Multicomputers for Image Processing. academic press, p. 91-105 15 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  8. Motion Analysis

    Wood, A. M., Duff, M. J. B. (ed.) & Fountain, T. J. (ed.), 1986, Cellular Logic Image Processing. academic press, p. 174-207 34 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  9. Software for sc \Clip4

    Wood, A. M., Reynolds, D. E., Duff, M. J. B. (ed.) & Fountain, T. J. (ed.), 1986, Cellular Logic Image Processing. academic press, p. 69-94 26 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  10. 1987
  11. Assurance

    McDermid, J. A. & Anderson, T. (ed.), 1987, Safe and Secure Computing Systems. Blackwell Scientific, p. 163-188 26 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  12. 1988
  13. Intermediate-level Vision, Relations and Processor Arrays: An Application of sc \Clip4 to Image Sequence Analysis

    Wood, A. M. & Page, I. (ed.), 1988, Parallel Architectures and Computer Vision. Oxford University Press, p. 157-170 14 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  14. Security Models and Enterprise Models

    Dobson, J. E., McDermid, J. A. & Landwehr, C. (ed.), 1988, Database Security II : Status and Prospects. II ed. IFIP - International Federation for Information Processing, p. 1-36 36 p.

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

  15. 1989
  16. Assurance in High-Integrity Software

    McDermid, J. A. & Sennett, C. T. (ed.), 1989, High-integrity software. Pitman, p. 226-273 48 p.

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

  17. USER MODELING BY CLASSIFICATION - A NEURAL-BASED APPROACH

    Beale, R., Finlay, J., Austin, J. & Harrison, M., 1989, NEW DEVELOPMENTS IN NEURAL COMPUTING. TAYLOR, JG. & MANNION, CLT. (eds.). BRISTOL: ADAM HILGER LTD, p. 103-110 8 p.

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

  18. 1990
  19. Integrated Project Support Environments: General Principles and Issues in the Development of High Integrity Systems

    McDermid, J. A. & Kitchenham, B. A. (ed.), 1990, Software engineering for large software systems. Elsevier Science, 57 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  20. Integrated Project Support Environments and Software Engineering Toolsets

    McDermid, J. A., Jenkins, D. G. (ed.) & Welland, R. C. (ed.), 1990, Software engineering for electronic systems designers. I E E E, (IEE Computing Series; vol. 18).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  21. Security Policies for Integrated Project Support Environments

    Hocking, E. S., McDermid, J. A., Landwehr, C. E. (ed.) & Spooner, D. (ed.), 1990, Database Security III: Status and Prospects. III ed. Monterey: IFIP/North Holland, p. 41-74 34 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  22. Specifying Security Properties

    Jacob, J. L. & Hoare, C. A. R. (ed.), 1990, Developments in Concurrency and Communication. Reading, Mass, U. S. A.: http://www.aw.com/Addison Wesley, p. 221-237 17 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  23. 1991
  24. ADAPTIVE ESTIMATION OF HYSTERESIS THRESHOLDS

    HANCOCK, E. R. & KITTLER, J., 1991, 1991 IEEE COMPUTER SOCIETY CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION. LOS ALAMITOS: I E E E, COMPUTER SOC PRESS, p. 196-201 6 p.

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

  25. CADiZ - Computer Aided Design in Z

    Jordan, D. T., McDermid, J. A., Toyn, I. & Nicholls, J. E. (ed.), 1991, Z User Workshop, Oxford 1990. Springer-Verlag, p. 93-104 12 p. (Workshops in Computing).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  26. LINEARITY AND LAZINESS

    Wakeling, D. & Runciman, C., 1991, FUNCTIONAL PROGRAMMING LANGUAGES AND COMPUTER ARCHITECTURE. HUGHES, J. (ed.). BERLIN: SPRINGER-VERLAG BERLIN, p. 215-240 26 p.

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

  27. Software Development Process Models

    McDermid, J. A., Rook, P. & McDermid, J. A. (ed.), 1991, Software Engineers' Reference Book. Oxford: Butterworth Heinemann

    Research output: Chapter in Book/Report/Conference proceedingChapter

  28. Using defeasible logic for a window on a probabilistic database: some preliminary notes

    Cussens, J. & Hunter, A., 1991, Symbolic and Quantitative Approaches for Uncertainty. Kruse, R. & Seigel, P. (eds.). Springer, Vol. 548. p. 146-152 7 p.

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

  29. 1992
  30. A HIERARCHICAL EVIDENCE COMBINING EDGE DETECTOR

    HANCOCK, E. R., HAINDL, M. & KITTLER, J., 1992, PROGRESS IN IMAGE ANALYSIS AND PROCESSING II. SINGAPORE: WORLD SCIENTIFIC PUBL CO PTE LTD, p. 494-501 8 p.

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

  31. A RELATIONAL PROGRAMMING SYSTEM WITH INFERRED REPRESENTATIONS

    Cattrall, D. & Runciman, C., 1992, PROGRAMMING LANGUAGE IMPLEMENTATION AND LOGIC PROGRAMMING. Bruynooghe, M. & Wirsing, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 475-476 2 p.

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

  32. MULTIRESOLUTION EDGE LABELING USING HIERARCHICAL-RELAXATION

    HANCOCK, E. R., HAINDL, M. & KITTLER, J., 1992, 11TH IAPR INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, PROCEEDINGS, VOL II. LOS ALAMITOS: I E E E, COMPUTER SOC PRESS, p. 140-144 5 p.

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

  33. RELAXATIONAL REFINEMENT OF INTENSITY RIDGES

    HANCOCK, E. R. & KITTLER, J., 1992, 11TH IAPR INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, PROCEEDINGS, VOL III. LOS ALAMITOS: I E E E, COMPUTER SOC PRESS, p. 459-463 5 p.

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

  34. THE STRUCTURE OF PERMISSIONS - A NORMATIVE FRAMEWORK FOR ACCESS RIGHTS

    Morris, P. & McDermid, J., 1992, DATABASE SECURITY, V. Landwehr, CE. & Jajodia, S. (eds.). AMSTERDAM: ELSEVIER SCIENCE PUBL B V, p. 77-97 21 p.

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

  35. The Structure of Permissions: A Normative Framework for Access Rights

    Morris, P., McDermid, J. A., Landwehr, C. (ed.) & Jajodia, S. (ed.), 1992, Database Security V: Status and Prospects. North Holland, p. 77-98 22 p. (IFIP Transactions A: Computer Science and Technology).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  36. Absolute and relative temporal constraints in hard real-time databases

    Audsley, N. C., Burns, A., Richardson, M. F. & Wellings, A. J., 1 Dec 1992, Proceedings - 4th Euromicro Workshop on Real-Time Systems, ECRTS 1992. p. 148-153 6 p. 637486

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

  37. 1993
  38. A BAYESIAN INTERPRETATION FOR THE HOPFIELD NETWORK

    HANCOCK, E. R. & KITTLER, J., 1993, 1993 IEEE INTERNATIONAL CONFERENCE ON NEURAL NETWORKS, VOLS 1-3. NEW YORK: I E E E, COMPUTER SOC PRESS, p. 341-346 6 p.

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

  39. AN EVALUATION OF EARCONS FOR USE IN AUDITORY HUMAN-COMPUTER INTERFACES

    Brewster, S. A., Wright, P. C. & Edwards, A. D. N., 1993, HUMAN FACTORS IN COMPUTING SYSTEMS. Ashlund, S., Henderson, A., Hollnagel, E., Mullet, K. & White, T. (eds.). AMSTERDAM: I O S PRESS, p. 222-227 6 p.

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

  40. Bayes and pseudo-Bayes estimates of conditional probability and their reliability

    Cussens, J., 1993, Machine Learning: ECML-93. Brazdil, P. B. (ed.). Springer, Vol. 667. p. 136-152 17 p. (LNAI).

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

  41. Birds of a feather Group on Safety Critical Systems

    Cullyer, W. J., McDermid, J. A., Halang, W. A. (ed.) & Stoyenko, A. D. (ed.), 1993, Real-Time Computing. Springer-verlag, p. 755-756 2 p.

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

  42. Formal Methods: Use and Relevance for the Development of Safety Critical Systems

    McDermid, J. A. & Bennett, P. A. (ed.), 1993, Safety Aspects of Computer Control. Oxford: Butterworth Heinemann, p. 96-153 58 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  43. Generating explicit orderings for non-monotonic logics

    Cussens, J., Hunter, A. & Srinivasan, A., 1993, Proc. of the Eleventh National Conference on Artificial Intelligence (AAAI-93). MIT Press, p. 420-425 6 p.

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

  44. HIERARCHICAL RELAXATION

    LAU, W. H., HANCOCK, E. R. & WILSON, R. C., 1993, PROCEEDINGS OF THE 5TH UNB ARTIFICIAL INTELLIGENCE SYMPOSIUM. FREDERICTON: UNIV NEW BRUNSWICK PRESS, p. 111-121 11 p.

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

  45. HOOD

    Buxton, J. N., McDermid, J. A., Thayer, K. (ed.) & McGettrick, A. D. (ed.), 1993, Software Engineering: A European Perspective. IEEE Computer Society Press

    Research output: Chapter in Book/Report/Conference proceedingChapter

  46. Hypergraph Rewriting: Critical Pairs and Undecidability of Confluence

    Plump, D., 1993, Term Graph Rewriting: Theory and Practice. Sleep, R., Plasmeijer, R. & van Eekelen, M. (eds.). John Wiley, p. 201-213 13 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  47. Issues in the Development of Safety Critical Systems

    McDermid, J. A., Redmill, F. (ed.) & Anderson, T. (ed.), 1993, Safety Critical Systems. London: Chapman and Hall, p. 16-42 27 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  48. RESOLVING EDGE-LINE AMBIGUITIES USING PROBABILISTIC RELAXATION

    HANCOCK, E. R., 1993, 1993 IEEE COMPUTER SOCIETY CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION : PROCEEDINGS. LOS ALAMITOS: I E E E, COMPUTER SOC PRESS, p. 300-306 7 p.

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

  49. Risk Management

    Hood, G. C. & McDermid, J. A., 1993, Risk: Analysis, Perception and Management. Royal Society, Vol. London. p. 135-182 48 p. (Report of a Royal Society Study Group ).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  50. SAM - A Tool to Support the Construction, Review and Evolution of Safety Arguments

    Forder, J., Higgins, C., McDermid, J. A., Storrs, G., Redmill, F. (ed.) & Anderson, T. (ed.), 1993, Directions in Safety-Critical Systems: Proceedings of the First Safety-Critical Systems Symposium . Springer-Verlag, p. 195-216 22 p.

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

  51. The Olympus Attitude and Orbital Control System: A Case Study in Hard Real-Time System Design and Implementation

    Burns, A., Wellings, A. J., Bailey, C. M. & Fyfe, E., 1993, Ada-Europe '93: 12th Ada-Europe International Conference, Ada Sans Frontières, Paris, France, June 14-18, 1993. Gauthier, M. (ed.). Springer, Vol. 688. p. 19-35 17 p. (Lecture Notes in Computer Science).

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

  52. Using maximum entropy in a defeasible logic with probabilistic semantics

    Cussens, J. & Hunter, A., 1993, IPMU'92 - Advanced Techniques in Artificial Intelligence. Bouchon-Meunier, B., Valverde, L. & Yager, R. R. (eds.). Lecture Notes in Computer Science 682, Springer-Verlag, p. 43-52 10 p.

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

  53. Scheduling Slack Time in Fixed priority Pre-emptive Systems

    Davis, R. I., Tindell, K. W. & Burns, A., Dec 1993, IEEE Real-Time Systems Symposium. p. 222-231 10 p.

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

  54. The end of the line for static cyclic scheduling?

    Audsley, N., Tindell, K. & Burns, A., 1 Dec 1993, Proceedings - 5th Euromicro Workshop on Real-Time Systems, ECRTS 1993. p. 36-41 6 p. 639042

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

  55. 1994
  56. A DETAILED INVESTIGATION INTO THE EFFECTIVENESS OF EARCONS

    Brewster, S. A., Wright, P. C. & Edwards, A. D. N., 1994, AUDITORY DISPLAY. Kramer, G. (ed.). READING: ADDISON-WESLEY PUBL CO, p. 471-498 28 p.

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

  57. A DEVELOPMENT OF HAZARD ANALYSIS TO AID SOFTWARE-DESIGN

    McDermid, J. A. & Pumfrey, D. J., 1994, COMPASS '94 - PROCEEDINGS OF THE NINTH ANNUAL CONFERENCE ON COMPUTER ASSURANCE. NEW YORK: I E E E, p. 17-25 9 p.

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

  58. APPLICATION OF AN ASSOCIATIVE MEMORY TO THE ANALYSIS OF DOCUMENT FAX IMAGES

    Okeefe, S. E. M. & Austin, J., 1994, BMVC94 - PROCEEDINGS OF THE 5TH BRITISH MACHINE VISION CONFERENCE, VOLS 1 AND 2. Hancock, ER. (ed.). YORK: BRITISH MACHINE VISION CONF, p. 315-325 11 p.

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

  59. CAUSALITY AS A MEANS FOR THE EXPRESSION OF REQUIREMENTS FOR SAFETY-CRITICAL SYSTEMS

    Coombes, A., McDermid, J. & Morris, P., 1994, COMPASS '94 - PROCEEDINGS OF THE NINTH ANNUAL CONFERENCE ON COMPUTER ASSURANCE. NEW YORK: I E E E, p. 223-231 9 p.

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

  60. Enabling technology for users with special needs

    Edwards, A., Edwards, A. D. N. & Mynatt, E. D., 1994, Conference on Human Factors in Computing Systems, CHI 1994, Boston, Massachusetts, USA, April 24-28, 1994, Conference Companion. Plaisant, C. (ed.). ACM, p. 405-406 2 p.

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

  61. FEATURE TRACKING BY MULTI-FRAME RELAXATION

    SHARP, N. G. & HANCOCK, E. R., 1994, BMVC94 - PROCEEDINGS OF THE 5TH BRITISH MACHINE VISION CONFERENCE, VOLS 1 AND 2. YORK: BRITISH MACHINE VISION CONF, p. 407-417 11 p.

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

  62. 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

  63. 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

  64. 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

  65. 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

  66. 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

  67. 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

  68. 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

  69. 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

  70. 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

  71. 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

  72. 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

  73. 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

  74. 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

  75. 1995
  76. 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

  77. 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

  78. 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

  79. 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

  80. 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

  81. 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

  82. 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

  83. 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

  84. 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

  85. 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

  86. 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

  87. 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

  88. Safety Case Development: Current Practices, Future Prospects

    Kelly, T. P., McDermid, J. A. & Wilson, S. P., 1995, Safety and Reliability of Software Based Systems : Twelfth Annual CSR Workshop (Bruges, 12–15 September 1995). Springer, p. 135-156

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

  89. The sonic enhancement of graphical buttons

    Brewster, S. A., Wright, P. C., Dix, A. J. & Edwards, A. D. N., 1995, Human-Computer Interaction, INTERACT '95, IFIP TC13 Interantional Conference on Human-Computer Interaction, 27-29 June 1995, Lillehammer, Norway. Nordby, K., Helmersen, P. H., Gilmore, D. J. & Arnesen, S. A. (eds.). Chapman and Hall, p. 43-48 6 p. (IFIP Conference Proceedings).

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

  90. Towards Operational Measures for Computer Security: Concepts

    Brocklehurst, S., Dobson, J. E., Fenton, N., Gollman, D., Littlewood, B., McDermid, J. A., Mellor, P., Page, S., Wright, D., Randell, B. (ed.), Laprie, J-C. (ed.), Kopetz, H. (ed.) & Littlewood, B. (ed.), 1995, Predictably Dependable Computing Systems. Springer-verlag, p. 537-553 17 p. (ESPRIT Basic Research Series).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  91. Towards Operational Measures of Computer Security: Concepts

    Brocklehurst, S., Dobson, J. E., Fenton, N., Gollman, D., Littlewood, B., McDermid, J. A., Mellor, P., Page, S., Wright, D., Randell, B. (ed.), Laprie, J-C. (ed.), Kopetz, H. (ed.) & Littlewood, B. (ed.), 1995, Predictably Dependable Computing Systems. Springer-verlag, p. 537-553 17 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  92. sc \Linda Implementation Revisited

    Rowstron, A., Douglas, A. & Wood, A., 1995, Transputer and occam Developments. IOS Press, p. 125-138 14 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  93. Flexible scheduling for adaptable real-time systems

    Davis, R. I., Punnekkat, S., Audsley, N. C. & Burns, A., May 1995, IEEE Real Time Technology and Applications Symposium. p. 230-239 10 p.

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

  94. Hybrid algorithms for dynamic schedulability testing

    McElhone, C., Burns, A. & Davis, R., Jun 1995, Euromicro Workshop on Real-Time Systems. p. 254-261 8 p.

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

  95. Integrating Unbounded Software Components into Hard Real-Time Systems

    Audsley, N. C., Burns, A., Davis, R. I. & Wellings, A. J., Jun 1995, Imprecise and Approximate Computation. Natarajan, S. (ed.). p. 63-86 (The Springer International Series in Engineering and Computer Science,; vol. 318).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  96. Real-Time System Scheduling

    Audsley, N. C., Burns, A., Davis, R., Tindell, K. W. & Wellings, A., Jun 1995, Predictably Dependable Computing Systems.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  97. Dual priority scheduling

    Davis, R. & Wellings, A., Dec 1995, IEEE Real-Time Systems Symposium. p. 100-109 10 p.

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

  98. 1996
  99. Ada 95: An Effective Concurrent Programming Language

    Burns, A. & Wellings, A. J., 1996, Reliable Software Technologies - Ada-Europe '96, 1996 : Proceedings ofAda-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10-14, 1996. Strohmeier, A. (ed.). Springer, Vol. 1088. p. 58-77 20 p. (Lecture Notes in Computer Science).

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

  100. Adding instruction cache effect to schedulability analysis of preemptive real-time systems

    Busquets-Mataix, J. V., Serrano, J. J., Ors, R., Gil, P. J. & Wellings, A. J., 1996, IEEE Real Time Technology and Applications Symposium. IEEE Computer Society, p. 204-

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

  101. An Approach to the Evaluation of Assistive Technology

    Stevens, R. D. & Edwards, A. D. N., 1996, International ACM Conference on Assistive Technologies. p. 64-71 8 p.

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

  102. An efficient and practical local synchronous bandwidth allocation scheme for the timed-token MAC protocol

    Zhang, S. J., Burns, A. & Wellings, A., 1996, IEEE INFOCOM '96 - FIFTEENTH ANNUAL JOINT CONFERENCE OF THE IEEE COMPUTER AND COMMUNICATIONS SOCIETIES: NETWORKING THE NEXT GENERATION, PROCEEDINGS VOLS 1-3. LOS ALAMITOS: I E E E, COMPUTER SOC PRESS, p. 920-927 8 p.

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

  103. An integrated approach to domain analysis and reuse for engineering complex systems

    Lam, W., Whittle, B., McDermid, J. & Wilson, S., 1996, IEEE SYMPOSIUM AND WORKSHOP ON ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS. LOS ALAMITOS: I E E E, COMPUTER SOC PRESS, p. 102-109 8 p.

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

  104. Analysing APEX applications

    Audsley, N. & Wellings, A., 1996, 17TH IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS. Sipple, RS. (ed.). LOS ALAMITOS: I E E E, COMPUTER SOC PRESS, p. 39-44 6 p.

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

  105. Assessing complex computer based systems using the goal structuring notation

    Wilson, S. P., McDermid, J. A., Pygott, C. H. & Tombs, D. J., 1996, SECOND IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS. LOS ALAMITOS: I E E E, COMPUTER SOC PRESS, p. 498-505 8 p.

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

  106. Cartographic indexing into a database of remotely sensed images

    Huet, B. & Hancock, E. R., 1996, THIRD IEEE WORKSHOP ON APPLICATIONS OF COMPUTER VISION - WACV '96, PROCEEDINGS. LOS ALAMITOS: I E E E, COMPUTER SOC PRESS, p. 814 7 p.

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

  107. Cartographic matching with millimetre radar images

    Moss, S. & Hancock, E. R., 1996, THIRD IEEE WORKSHOP ON APPLICATIONS OF COMPUTER VISION - WACV '96, PROCEEDINGS. LOS ALAMITOS: I E E E, COMPUTER SOC PRESS, p. 70-76 7 p.

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

  108. Engineering Safety Critical Systems

    McDermid, J. A., 1996, Computing Tomorrow : Future Research Directions in Computer Science. Wand, I. & Milner, R. (eds.). Cambridge: CUP, p. 217-245

    Research output: Chapter in Book/Report/Conference proceedingChapter

  109. Flexible Scheduling Theory for Advanced Engine Controllers

    Audsley, N. C., Bate, I. J. & Burns, A., 1996, IEE Colloquia on Hybrid Control for Real-Time Systems, London, UK. p. 8/1-8/3

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

  110. Formal analysis of a real-time kernel specification

    Fowler, S. & Wellings, A., 1996, FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS. Jonsson, B. & Parrow, J. (eds.). BERLIN 33: SPRINGER-VERLAG BERLIN, p. 440-458 19 p.

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

  111. Graph Unification and Matching

    Plump, D. & Habel, A., 1996, Graph Grammars and Their Application to Computer Science, Selected Papers. Springer, p. 75-89 (Lecture Notes in Computer Science; vol. 1073).

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

  112. Hand Tension as a Gesture Segmentation Cue

    Harling, P. A. & Edwards, A. D. N., 1996, Progress in Gestural Interaction: Proceedings of Gesture Workshop '96, March 19th 1996, University of York, UK. Harling, P. A. & Edwards, A. D. N. (eds.). Springer, p. 75-88 14 p.

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

  113. Improving the Usability of Speech-Based Interfaces for Blind Users

    Pitt, I. J. & Edwards, A. D. N., 1996, International ACM Conference on Assistive Technologies. p. 124-130 7 p.

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

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