Search research publications and outputs

  1. 1998
  2. Formal methods in the classroom: The logic of real-time software design

    Ostroff, J. S. & Paige, R. F., 1 Jan 1998, Proceedings - Real-Time Systems Education III, RTSE 1998. Zalewski, J., Nawrocki, J. & Schwarz, J-J. (eds.). Institute of Electrical and Electronics Engineers Inc., Vol. 1998-November. p. 63-70 8 p. 766514

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

  3. A case study for a WWW based CAD framework

    Indrusiak, L. S. & Reis, R. A. D., 1998, XI BRAZILIAN SYMPOSIUM ON INTEGRATED CIRCUIT DESIGN, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 116-119 4 p.

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

  4. A cellular system for pattern recognition using associative neural networks

    Orovas, C. & Austin, J., 1998, CNNA 98 - 1998 FIFTH IEEE INTERNATIONAL WORKSHOP ON CELLULAR NEURAL NETWORKS AND THEIR APPLICATIONS - PROCEEDINGS. Tavsanoglu, V. (ed.). NEW YORK: IEEE, p. 143-148 4 p.

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

  5. An automated framework for structural test-data generation

    Tracey, N., Clark, J., Mander, K. & McDermid, J., 1998, 13TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 285-288 4 p.

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

  6. Asynchronous data sharing in multiprocessor real time systems using process consensus

    Chen, J. & Burns, A., 1998, 10TH EUROMICRO WORKSHOP ON REAL-TIME SYSTEMS, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 29 8 p.

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

  7. Distributed fault-tolerant avionic systems - A real-time perspective

    Audsley, N. C. & Burke, M., 1998, 1998 IEEE AEROSPACE CONFERENCE PROCEEDINGS, VOL 4. NEW YORK: IEEE, p. 43-60 18 p.

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

  8. Edge location with electrostatic region attractors

    Wilson, R. C., Cross, A. D. J. & Hancock, E. R., 1998, 1998 INTERNATIONAL CONFERENCE ON IMAGE PROCESSING - PROCEEDINGS, VOL 2. LOS ALAMITOS: IEEE COMPUTER SOC, p. 535-539 5 p.

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

  9. Estimating vanishing point from the angular correlation of spectral texture distribution

    Ribeiro, E. & Hancock, E. R., 1998, SIBGRAPI '98 - INTERNATIONAL SYMPOSIUM ON COMPUTER GRAPHICS, IMAGE PROCESSING, AND VISION, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 339-345 7 p.

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

  10. Extensible Protected Types

    Kiddle, O. P. & Wellings, A. J., 1998, SIGAda. p. 229-239 11 p.

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

  11. Incorporating input/output operations in LINDA

    Menezes, R. & Wood, A. M., 1998, PROCEEDINGS OF THE THIRTY-FIRST HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, VOL VII. ElRewini, H. (ed.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 216-225 10 p.

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

  12. Integrating real-time structured design and formal techniques

    Priddin, D. & Burns, A., 1998, FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS. Ravn, AP. & Rischel, H. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 92-102 11 p.

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

  13. Investigation of the Pessimism in Distributed Systems Timing Analysis

    Bate, I. & Burns, A., 1998, Proceedings of the 10th Euromicro Workshop on Real-Time Systems, Berlin, Germany. p. 107-114 8 p.

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

  14. Investigation of the pessimism in distributed systems timing analysis

    Bate, I. & Burns, A., 1998, 10TH EUROMICRO WORKSHOP ON REAL-TIME SYSTEMS, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 107-114 8 p.

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

  15. LINDA for case base retrieval: A case for extending the functionality of LINDA and its abstract machine

    Campbell, D. K. G., Osborne, H. R., Bridge, D. G. & Wood, A. M., 1998, PROCEEDINGS OF THE THIRTY-FIRST HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, VOL VII. ElRewini, H. (ed.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 226-235 10 p.

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

  16. Life-Cycle Timing Analysis of IMA Systems

    Audsley, N. C., Bate, I. J. & Grigg, A., 1998, Proceedings of the IEE Colloquium on Systems Engineering of Aerospace Projects, London. p. 7/1-7/5

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

  17. MOPping up Exceptions

    Mitchell, S. E., Burns, A. & Wellings, A. J., 1998, Object-Oriented Technology, ECOOP'98 Workshop Reader : ECOOP'98 Workshops, Demos, and Posters, Brussels, Belgium, July 20-24, 1998. Demeyer, S. & Bosch, J. (eds.). Springer, Vol. 1543. p. 365-366 2 p. (Lecture Notes in Computer Science).

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

  18. Portable Code in Future Avionic Systems

    Audsley, N. C., Bate, I. J., Fletcher, M., Grigg, A. & Wake, A., 1998, Proceedings of the IEE Colloquium on Real-Time Systems, York, U.K. p. 3/1-3/6

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

  19. Real-time scheduling in a generic fault-tolerant architecture

    Wellings, A. J., Beus-Dukic, L. & Powell, D., 1998, 19TH IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 390-398 9 p.

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

  20. Relational histograms for shape indexing

    Huet, B. & Hancock, E. R., 1998, SIXTH INTERNATIONAL CONFERENCE ON COMPUTER VISION. NEW DELHI: NAROSA PUBLISHING HOUSE, p. 563-569 7 p.

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

  21. Schedulability analysis for mode changes in flexible real-time systems

    Pedro, P. & Burns, A., 1998, 10TH EUROMICRO WORKSHOP ON REAL-TIME SYSTEMS, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 172-179 8 p.

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

  22. The Role of Timing Analysis in the Certification of IMA Systems

    Audsley, N. C., Bate, I. J. & Grigg, A., 1998, Proceedings of IEE Symposium on the Certification of Ground/Air Systems, London, U.K. p. 6/1-6/6

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

  23. The technology transfer gap: A case study of academic-industrial technology transfer

    Smith, J., Wright, P., McDermid, J. & Cockram, T., 1998, CONFERENCE ON ACADEMIC AND INDUSTRIAL COOPERATION IN SPACE RESEARCH. PARIS: EUROPEAN SPACE AGENCY, p. 63-72 10 p.

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

  24. Time-related dependability mechanisms in guards

    Beus-Dukic, L. & Wellings, A., 1998, DATA SYSTEMS IN AEROSPACE - PROCEEDINGS. PARIS: EUROPEAN SPACE AGENCY, p. 335-340 6 p.

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

  25. Towards industrially applicable formal methods: Three small steps, and one giant leap

    McDermid, J., Galloway, A., Burton, S., Clark, J., Toyn, I., Tracey, N. & Valentine, S., 1998, SECOND INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS. Staples, J., Hinchey, MG. & Liu, S. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 76-88 13 p.

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

  26. Using Prior Probabilities and Density Estimation for Relational Classification

    Cussens, J., 1998, Inductive Logic Programming: Proceedings of the 8th International Conference (ILP-98). Page, D. (ed.). SPRINGER, Vol. 1446. p. 106-115 10 p. (Lecture Notes in Artificial Intelligence).

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

  27. Using the Internet in project management

    Edwards, A. D. N., 1998, IMPROVING THE QUALITY OF LIFE FOR THE EUROPEAN CITIZEN. Porrero, IP. & Ballabio, E. (eds.). AMSTERDAM: I O S PRESS, p. 453-457 5 p.

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

  28. Value-based scheduling of flexible real-time systems for intelligent autonomous vehicle control

    Burns, A. & Prasad, D., 1998, INTELLIGENT AUTONOMOUS VECHICLES 1998 (IAV'98). Salichs, MA. & Halme, A. (eds.). OXFORD: PERGAMON PRESS LTD, p. 33-38 6 p.

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

  29. 1997
  30. Sensitivity Analysis of Real-Time Task Sets

    Punnekkat, S., Davis, R. I. & Burns, A., Dec 1997, Advances in Computing Science Conference - Asian 97. p. 72-82

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

  31. Guaranteeing timing constraints under shortest remaining processing time scheduling

    Davis, R. I., Burns, A. & Walker, W., Jul 1997, Euromicro Workshop on Real-Time Systems. p. 88-93 6 p.

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

  32. A Worst-Case Behavior Analysis for Hard Real-Time Transactions

    Byun, J., Burns, A., Davis, R. & Wellings, A. J., 1997, Real-Time Database Systems. Vol. 396. p. 235-249

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

  33. A distributed associative memory for symbolic reasoning

    Austin, J., 1997, CONNECTIONIST-SYMBOLIC INTEGRATION. Sun, R. & Alexandre, F. (eds.). MAHWAH: LAWRENCE ERLBAUM ASSOC PUBL, p. 265-278 14 p.

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

  34. A neural relaxation technique for chemical graph matching

    Turner, M. & Austin, J., 1997, FIFTH INTERNATIONAL CONFERENCE ON ARTIFICIAL NEURAL NETWORKS. EDISON: INST ELECTRICAL ENGINEERS INSPEC INC, p. 187-192 6 p.

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

  35. Adaptive Scheduling Using Reflection

    Mitchell, S. E., Burns, A. & Wellings, A. J., 1997, Object-Oriented Technology, ECOOP'97 Workshop Reader: ECOOP'97 Workshops, Jyväskylä, Finland, June 9-13, 1997. Bosch, J. & Mitchell, S. (eds.). Springer, Vol. 1357. p. 74-79 6 p. (Lecture Notes in Computer Science).

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

  36. An Improved Auditory Interface for the Exploration of Lists

    Pitt, I. J. & Edwards, A. D. N., 1997, ACM Multimedia. p. 51-61 11 p.

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

  37. Analysis of checkpointing for schedulability of real-time systems

    Punnekkat, S. & Burns, A., 1997, FOURTH INTERNATIONAL WORKSHOP ON REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS. LOS ALAMITOS: I E E E, COMPUTER SOC PRESS, p. 198-205 8 p.

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

  38. Application of correlation memory matrices in high frequency asset allocation

    Kustrin, D., Austin, J. & Sanders, A., 1997, FIFTH INTERNATIONAL CONFERENCE ON ARTIFICIAL NEURAL NETWORKS. EDISON: INST ELECTRICAL ENGINEERS INSPEC INC, p. 167-172 6 p.

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

  39. BONITA: A set of tuple space primitives for distributed coordination

    Rowstron, A. I. T. & Wood, A. M., 1997, THIRTIETH HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, VOL 1. ElRewini, H. & Patt, YN. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 379-388 10 p.

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

  40. Building a Preliminary Safety Case: An Example from Aerospace

    Bate, I. J., Burns, A., Kelly, T. P. & McDermid, J. A., 1997, Proceedings of the 1997 Australian Workshop on Industrial Experience with Safety Critical Systems and Software, Sydney, Australia. p. 1-10 10 p.

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

  41. C-NNAP: A dedicated platform for binary neural networks

    Kennedy, J. V., Austin, J., Pack, R. & Cass, B., 1997, FIFTH INTERNATIONAL CONFERENCE ON ARTIFICIAL NEURAL NETWORKS. EDISON: INST ELECTRICAL ENGINEERS INSPEC INC, p. 161-166 6 p.

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

  42. Cautious Induction in Inductive Logic Programming

    Anthony, S., Frisch, A. M., Lavrac, N. (ed.) & Dzeroski, S. (ed.), 1997, Inductive Logic Programming: Proc. of the Seventh Int. Workshop. Prague, Czech Republic: Springer, Vol. 1297. p. 45-60 16 p. (Lecture Notes in Artificial Intelligence).

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

  43. Developing a real-time metaobject protocol

    Mitchell, S. E., Burns, A. & Wellings, A. J., 1997, THIRD INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS. LOS ALAMITOS: I E E E, COMPUTER SOC PRESS, p. 323-330 8 p.

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

  44. Efficient transient overload tests for real-time systems

    Bernat, G., Burns, A. & Llamosi, A., 1997, COMPUTER PERFORMANCE EVALUATION. Marie, R., Plateau, B., Calarossa, M. & Rubino, G. (eds.). BERLIN 33: SPRINGER-VERLAG BERLIN, p. 72-82 11 p.

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

  45. Formal development of a real-time kernel

    Fowler, S. & Wellings, A., 1997, 18TH IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 220-229 10 p.

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

  46. Generating Numerical Literals During Refinement

    Anthony, S., Frisch, A. M., Lavrac, N. (ed.) & Dzeroski, S. (ed.), 1997, Inductive Logic Programming: Proc. of the Seventh Int. Workshop. Prague, Czech Republic: Springer, Vol. 1297. p. 61-76 16 p. (Lecture Notes in Artificial Intelligence).

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

  47. Interface properties of aluminium locally reinforced with Al2O3 short fibres

    Fuller, M. J., Durrant, G., Cantor, B., Hughes, M. J. & Anderson, P. R. G., 1997, EUROMAT 97 - PROCEEDINGS OF THE 5TH EUROPEAN CONFERENCE ON ADVANCED MATERIALS AND PROCESSES AND APPLICATIONS: MATERIALS, FUNCTIONALITY & DESIGN, VOL 1. Sarton, LAJ. & Zeedijk, HB. (eds.). ZWIJNDRECHT: NETHERLANDS SOC MATERIALS SCIENCE, p. 269-272 4 p.

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

  48. On programming atomic actions in Ada 95

    Romanovsky, A., Mitchell, S. E. & Wellings, A. J., 1997, RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE '97. Hardy, K. & Briggs, J. (eds.). BERLIN 33: SPRINGER-VERLAG BERLIN, p. 254-265 12 p.

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

  49. Part-of-Speech Tagging using Progol

    Cussens, J., 1997, Inductive Logic Programming: Proceedings of the 7th International Workshop (ILP-97). LNAI 1297. SPRINGER, p. 93-108 16 p.

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

  50. Progress in Sign Languages Recognition

    Edwards, A. D. N., 1997, Gesture and Sign Language in Human-Computer Interaction, International Gesture Workshop, Bielefeld, Germany, September 17-19, 1997, Proceedings. Wachsmuth, I. & Fröhlich, M. (eds.). Springer, Vol. 1371. p. 13-21 9 p. (Lecture Notes in Computer Science).

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

  51. Safety Case Construction and Reuse using Patterns

    Kelly, T. P. & McDermid, J. A., 1997, Safe Comp 97 : The 16th International Conference on Computer Safety, Reliability and Security. Springer, p. 55-69

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

  52. Schedulability Analysis of Fixed Priority Real-Time Systems with Offsets

    Bate, I. & Burns, A., 1997, Proceedings of 9th Euromicro Workshop on Real-Time Systems, Toledo, Spain. p. 153-160 8 p.

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

  53. Shape from shading using robust statistics

    Worthington, P. L. & Hancock, E. R., 1997, DSP 97: 1997 13TH INTERNATIONAL CONFERENCE ON DIGITAL SIGNAL PROCESSING PROCEEDINGS, VOLS 1 AND 2. NEW YORK: I E E E, COMPUTER SOC PRESS, p. 1145-1148 4 p.

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

  54. Simplification Orders for Term Graph Rewriting

    Plump, D., 1997, Proceedings Mathematical Foundations of Computer Science (MFCS 1997). Springer, p. 458-467 (Lecture Notes in Computer Science; vol. 1295).

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

  55. Slice interpolation using the distance transform and morphing

    Luo, B. & Hancock, E. R., 1997, DSP 97: 1997 13TH INTERNATIONAL CONFERENCE ON DIGITAL SIGNAL PROCESSING PROCEEDINGS, VOLS 1 AND 2. NEW YORK: I E E E, COMPUTER SOC PRESS, p. 1083-1086 4 p.

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

  56. Task termination in Ada 95

    Wellings, A. J., Burns, A. & Pazy, O., 1997, RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE '97. Hardy, K. & Briggs, J. (eds.). BERLIN 33: SPRINGER-VERLAG BERLIN, p. 149-160 12 p.

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

  57. Ten steps towards systematic requirements reuse

    Lam, W., McDermid, J. A. & Vickers, A. J., 1997, RE '97 - PROCEEDINGS OF THE THIRD IEEE INTERNATIONAL SYMPOSIUM ON REQUIREMENTS ENGINEERING. LOS ALAMITOS: I E E E, COMPUTER SOC PRESS, p. 615 2 p.

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

  58. Two-pass heap profiling: A matter of life and death

    Runciman, C. & Rojemo, N., 1997, IMPLEMENTATION OF FUNCTIONAL LANGUAGES. Kluge, W. (ed.). BERLIN 33: SPRINGER-VERLAG BERLIN, p. 222-232 11 p.

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

  59. Using Inductive Logic Programming for Natural Language Processing

    Cussens, J., Page, D., Muggleton, S. & Srinivasan, A., 1997, ECML'97 -- Workshop Notes on Empirical Learning of Natural Language Tasks. Daelemans, W., Weijters, T. & Bosch, A. V. D. (eds.). Prague: University of Economics, Prague, p. 25-34 10 p.

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

  60. Using neural networks as part of a system to recognise formations of aircraft

    Zanelli, P. R. & Austin, J., 1997, FIFTH INTERNATIONAL CONFERENCE ON ARTIFICIAL NEURAL NETWORKS. EDISON: INST ELECTRICAL ENGINEERS INSPEC INC, p. 152-157 6 p.

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

  61. 1996
  62. Feasibility analysis of fault-tolerant real-time task sets

    Burns, A., Davis, R. & Punnekkat, S., Jul 1996, Euromicro Workshop on Real-Time Systems. p. 29-33 5 p.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  83. Towards a Fixed Priority Scheduler for an Aircraft Application

    Bate, I. J., Burns, A., McDermid, J. A. & Vickers, A. J., 1996, Proceedings of 8th Euromicro Conference on Real-Time Systems, L'Aquila, Italy. p. 34-40 7 p.

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

  84. Universal Design: Everyone has Special Needs

    Bergman, E., Edwards, A. D. N., Kaplan, D., Lowney, G., Raman, T. V. & Johnson, E., 1996, CHI Conference Companion. p. 153-154 2 p.

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

  85. Using harmonic task-sets to increase the schedulable utilization of cache-based preemptive real-time systems

    Busquets-Mataix, J. V., Serrano, J. J., Ors, R., Gil, P. J. & Wellings, A. J., 1996, Third International Workshop on Real-Time Computing Systems Application (RTCSA '96), October 30 - November 01, 1996, Seoul, Korea. IEEE Computer Society, p. 195-202 8 p.

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

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

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

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

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

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

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

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

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

  95. Image object labelling and classification using an associative memory

    O'Keefe, S. E. M. & Austin, J., 1995, Fifth International Conference on Image Processing and its Applications, 1995. London: IET, p. 286-290 5 p.

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

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

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

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

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

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

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

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

  103. 1994
  104. 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

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

Previous 1 2 Next