Search research publications and outputs

  1. 1995
  2. 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

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

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

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

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

  7. 1996
  8. 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

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

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

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

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

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

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

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

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

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

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

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

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

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

  22. Putting fixed priority scheduling theory into engineering practice for safety critical applications

    Bate, I. J., Burns, A. & Audsley, N. C., 1996, Proceedings of 2nd Real-Time Applications Symposium, Boston, U.S.A.. Jeffay, K. & Zhao, W. (eds.). LOS ALAMITOS: I E E E, COMPUTER SOC PRESS, p. 2-10 9 p.

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

  23. Real-time programming in the concurrent object-oriented language TAO

    Mitchell, S. E. & Wellings, A. J., 1996, SECOND WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS OF WORDS '96. LOS ALAMITOS: I E E E, COMPUTER SOC PRESS, p. 179-181 3 p.

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

  24. Segmenting modulated line textures with S-Gabor filters

    Hickinbotham, S. J., Hancock, E. R. & Austin, J., 1996, INTERNATIONAL CONFERENCE ON IMAGE PROCESSING, PROCEEDINGS - VOL III. NEW YORK: I E E E, COMPUTER SOC PRESS, Vol. 3. p. 149-152 4 p.

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

  25. Squeeze casting and melt infiltration of locally reinforced Al-4.5wt%Cu/20vol%Al2O3 discontinuous fibre MMC ingots

    Kang, H. G., Lee, H. I., Anderson, P. R. G. & Cantor, B., 1996, PROCESSING AND FABRICATION OF ADVANCED MATERIALS IV. Srivatsan, TS. & Moore, JJ. (eds.). WARRENDALE: MINERALS, METALS & MATERIALS SOC, p. 509-527 19 p.

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

  26. Technology Transfer: An Integrated `Culture Friendly' Approach

    Bate, I. J., Burns, A., Jackson, T. O., Kelly, T. P., Lam, W., Tongue, P., McDermid, J. A., Powell, A. L., Smith, J., Vickers, A. J., Wellings, A. J. & Whittle, B. R., 1996, Proceedings of Technology Transfer Workshop - Part of the 18th International Conference on Software Engineering, Berlin, Germany.

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

  27. The safety argument manager: An integrated approach to the engineering and safety assessment of computer based systems

    Wilson, S. P., McDermid, J. A., Kirkham, P. M. & Fenelon, P., 1996, IEEE SYMPOSIUM AND WORKSHOP ON ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS. LOS ALAMITOS: I E E E, COMPUTER SOC PRESS, p. 198-205 8 p.

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

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