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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  29. 1994
  30. 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

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

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

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

  34. Critical Pairs in Term Graph Rewriting

    Plump, D., 1994, Proc. Mathematical Foundations of Computer Science (MFCS 1994). Springer, p. 556-566 (Lecture Notes in Computer Science; vol. 841).

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

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

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

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

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

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

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

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

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

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

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

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

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

  47. 1995
  48. 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  121. 1998
  122. 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  149. 1999
  150. A Framework for Scheduling in Safety-Critical Embedded Control Systems

    Bate, I. & Burns, A., 1999, 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 13-16 December 1999, Hong Kong, China. IEEE Computer Society, p. 46-53 8 p.

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

  151. A PCI bus based correlation matrix memory and its application to k-NN classification

    Zhou, P. & Austin, J., 1999, PROCEEDINGS OF THE SEVENTH INTERNATIONAL CONFERENCE ON MICROELECTRONICS FOR NEURAL, FUZZY AND BIO-INSPIRED SYSTEMS, MICORNEURO'99. LOS ALAMITOS: IEEE COMPUTER SOC, p. 196-204 9 p.

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

  152. A high performance k-NN classifier using a binary correlation matrix memory

    Zhou, P., Austin, J. & Kennedy, J., 1999, ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 11. Kearns, MS., Solla, SA. & Cohn, DA. (eds.). CAMBRIDGE: M I T PRESS, p. 713-719 7 p.

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

  153. A neural network architecture for trademark image retrieval

    Alwis, S. & Austin, J., 1999, ENGINEERING APPLICATIONS OF BIO-INSPIRED ARTIFICIAL NEURAL NETWORKS, VOL II. Mira, J. & SanchezAndres, JV. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 361-372 12 p.

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

  154. A principled design methodology for auditory interaction

    Mitsopoulos, E. N. & Edwards, A. D. N., 1999, HUMAN-COMPUTER INTERACTION - INTERACT '99. Sasse, MA. & Johnson, C. (eds.). AMSTERDAM: I O S PRESS, p. 263-271 5 p.

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

  155. A systematic approach to safety case maintenance

    Kelly, T. P. & McDermid, J. A., 1999, COMPUTER SAFETY, RELIABILITY AND SECURITY. Felici, M., Kanoun, K. & Pasquini, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 13-26 14 p.

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

  156. An approach to task attribute assignment for uniprocessor systems

    Bate, I. & Burns, A., 1999, PROCEEDINGS OF THE 11TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 46-53 8 p.

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

  157. An incremental recovery cache supporting software fault tolerance

    Rogers, P. & Wellings, A. J., 1999, RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE' 99. Harbour, MG. & DelaPuente, JA. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 385-396 12 p.

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

  158. An integrated framework for trademark image retrieval using gestalt features and CMM neural network

    Alwis, S. & Austin, J., 1999, SEVENTH INTERNATIONAL CONFERENCE ON IMAGE PROCESSING AND ITS APPLICATIONS. EDISON: INST ELECTRICAL ENGINEERS INSPEC INC, p. 290-295 6 p.

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

  159. An interactive approach to profiling parallel functional programs

    Charles, N. & Runciman, C., 1999, IMPLEMENTATION OF FUNCTIONAL LANGUAGES. Hammond, K., Davie, T. & Clack, C. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 20-37 18 p.

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

  160. Automated benchmarking of functional data structures

    Moss, G. E. & Runciman, C., 1999, PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES. Gupta, G. (ed.). BERLIN: SPRINGER-VERLAG BERLIN, p. 115 15 p.

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

  161. Automated generalisation of function definitions

    Bakewell, A. & Runciman, C., 1999, FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS. Middledorp, A. & Sato, T. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 225-240 16 p.

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

  162. Chemical structure matching using correlation matrix memories

    Austin, J., Turner, A., Turner, M. & Lees, K., 1999, NINTH INTERNATIONAL CONFERENCE ON ARTIFICIAL NEURAL NETWORKS (ICANN99), VOLS 1 AND 2. EDISON: IEEE, Vol. 2. p. 619-624 5 p.

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

  163. Combining LAPIS and WordNet for the learning of LR parsers with optimal semantic constraints

    Kazakov, D., 1999, INDUCTIVE LOGIC PROGRAMMING. Dzeroski, S. & Flach, P. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 140-151 12 p.

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

  164. Complete Strategies for Term Graph Narrowing

    Plump, D. & Habel, A., 1999, Recent Trends in Algebraic Development Techniques (WADT 1998), Selected Papers. Springer, p. 152-167 16 p. (Lecture Notes in Computer Science; vol. 1589).

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

  165. Coordination with attributes

    Wood, A. M., 1999, COORDINATION LANGUAGES AND MODELS. Ciancarini, P. & Wolf, AL. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 21-36 16 p.

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

  166. Detecting strain-gauge failures in stress-cycle count matrices

    Hickinbotham, S. J. & Austin, J., 1999, DAMAS 99: DAMAGE ASSESSMENT OF STRUCTURES. Gilchrist, MD., DulieuBarton, JM. & Worden, K. (eds.). ZURICH-UETIKON: TRANSTEC PUBLICATIONS LTD, p. 391-400 10 p.

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

  167. Developing a testbed for distributed real-time applications

    Woolley, P. T., Walker, W. M. & Burns, A., 1999, REAL TIME PROGRAMMING 1999 (WRTP'99). Frigeri, AH., Halang, WA. & Son, SH. (eds.). OXFORD: PERGAMON PRESS LTD, p. 101-106 6 p.

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

  168. Dynamic CPU scheduling with imprecise knowledge of computation-time

    Aldarmi, S. A. & Burns, A., 1999, REAL TIME PROGRAMMING 1999 (WRTP'99). Frigeri, AH., Halang, WA. & Son, SH. (eds.). OXFORD: PERGAMON PRESS LTD, p. 215-220 6 p.

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

  169. Dynamic value-density for scheduling real-time systems

    Aldarmi, S. A. & Burns, A., 1999, PROCEEDINGS OF THE 11TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 270-277 8 p.

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

  170. Experiences with the application of discrete formal methods to the development of engine control software

    Galloway, A. J., Cockram, T. J. & McDermid, J. A., 1999, DISTRIBUTED COMPUTER CONTROL SYSTEMS 1998. DePaoli, F. & MacLeod, IM. (eds.). OXFORD: PERGAMON PRESS LTD, p. 49-56 8 p.

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

  171. Hierarchically performed hazard origin and propagation studies

    Papadopoulos, Y. & McDermid, J. A., 1999, COMPUTER SAFETY, RELIABILITY AND SECURITY. Felici, M., Kanoun, K. & Pasquini, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 139-152 14 p.

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

  172. Implementing mode changes with shared resources in Ada

    Real, J. & Wellings, A. J., 1999, Proceedings of 11th Euromicro Conference on Real-Time Systems (ECRTS 1999), 9-11 June 1999, York, England, UK. IEEE Computer Society, p. 86-93 8 p.

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

  173. Inexact graph retrieval

    Huet, B. & Hancock, E. R., 1999, IEEE WORKSHOP ON CONTENT-BASED ACCESS OF IMAGE AND VIDEO LIBRARIES (CBAIVL'99) - PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 40-44 5 p.

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

  174. Isomorphic Sonification of Spatial Relations

    Edwards, A. D. N., Evreinov, G. E. & Agranovski, A. V., 1999, Human-Computer Interaction: Ergonomics and User Interfaces: Proceedings of HCI International '99 (the 8th International Conference on Human-Computer Interaction), Munich, Germany, August 22-26, 1999. Bullinger, H-J. & Ziegler, J. (eds.). Lawrence Erlbaum, Vol. 1. p. 526-530 5 p.

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

  175. Learning word segmentation rules for tag prediction

    Kazakov, D., Manandhar, S. & Erjavec, T., 1999, INDUCTIVE LOGIC PROGRAMMING. Dzeroski, S. & Flach, P. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 152-161 10 p.

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

  176. Loglinear models for first-order probabilistic reasoning

    Cussens, J., 1999, UNCERTAINTY IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS. Laskey, KB. & Prade, H. (eds.). SAN FRANCISCO: MORGAN KAUFMANN PUB INC, p. 126-133 8 p.

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

  177. Microelectronics Education Using WWW

    Reis, R. A. D. L. & Indrusiak, L. S., 1999, IEEE International Conference on Microelectronic Systems Education, MSE 1999, July 19-21, 1999, Arlington, Virginia, USA. IEEE Computer Society, p. 43-44 2 p.

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

  178. Morphosyntactic tagging of Slovene using Progol

    Cussens, J., Dzeroski, S. & Erjavec, T., 1999, INDUCTIVE LOGIC PROGRAMMING. Dzeroski, S. & Flach, P. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 68-79 12 p.

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

  179. Neural associative processing of document images

    O'Keefe, S. E. M. & Austin, J., 1999, NINTH INTERNATIONAL CONFERENCE ON ARTIFICIAL NEURAL NETWORKS (ICANN99), VOLS 1 AND 2. EDISON: INST ELECTRICAL ENGINEERS INSPEC INC, p. 720-725 6 p.

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

  180. Neural network approach to improving fault location in local telephone networks

    Zhou, P. & Austin, J., 1999, NINTH INTERNATIONAL CONFERENCE ON ARTIFICIAL NEURAL NETWORKS (ICANN99), VOLS 1 AND 2. EDISON: INST ELECTRICAL ENGINEERS INSPEC INC, p. 958-963 6 p.

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

  181. New models and heuristics for component placement in printed circuit board assembly

    Burke, E. K., Cowling, P. I. & Keuthen, R., 1999, Information Intelligence and Systems, 1999. Proceedings. 1999 International Conference on. p. 133-140 8 p.

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

  182. Portable Code for Complex Critical Systems

    Audsley, N. C., Bate, I. J. & Grigg, A., 1999, 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 13-16 December 1999, Hong Kong, China. IEEE Computer Society

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

  183. Shape retrieval by inexact graph matching

    Huet, B., Cross, A. D. J. & Hancock, E. R., 1999, IEEE INTERNATIONAL CONFERENCE ON MULTIMEDIA COMPUTING AND SYSTEMS, PROCEEDINGS VOL 1. LOS ALAMITOS: IEEE COMPUTER SOC, p. 772-776 5 p.

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

  184. Sorted downward refinement: Building background knowledge into a refinement operator for inductive logic programming

    Frisch, A. M., 1999, INDUCTIVE LOGIC PROGRAMMING. Dzeroski, S. & Flach, P. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 104-115 12 p.

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

  185. The ceiling protocol in multi-moded real-time systems

    Real, J. & Wellings, A., 1999, RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE' 99. Harbour, MG. & DelaPuente, JA. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 275-286 12 p.

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

  186. VRML and Microelectronics Education

    Reis, R. A. D. L. & Indrusiak, L. S., 1999, IEEE International Conference on Microelectronic Systems Education, MSE 1999, July 19-21, 1999, Arlington, Virginia, USA. IEEE Computer Society, p. 84-85 2 p.

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

  187. A comparison of the business object notation and the unified modeling language

    Paige, R. F. & Ostroff, J. S., 1 Jan 1999, UML 1999 - The Unified Modeling Language: Beyond the Standard - 2nd International Conference, Proceedings. Rumpe, B. & France, R. (eds.). Springer-Verlag, p. 67-82 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1723).

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

  188. An Approach to Task Attribute Assignment for Uniprocessor Systems

    Bate, I. & Burns, A., 1 Jun 1999, 11th Euromicro Workshop on Real-Time Systems. p. 46-53 8 p.

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

  189. Integrating Safety Analysis with Automatic Test-Data Generation for Software Safety Verification

    Tracey, N., Clark, J., McDermid, J. & Mander, K., 1 Aug 1999, Proceedings of 17th International System Safety Conference. p. 128-137 10 p.

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

  190. Neural associative processing of document images

    O'Keefe, S. E. M. & Austin, J., 1 Dec 1999, IEE Conference Publication. 470 ed. Stevenage, United Kingdom: IEE Press, Vol. 2. p. 720-725 6 p.

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

  191. Portable Code for Complex, Critical Systems

    Audsley, N., Bate, I. & Grigg, A., 1 Dec 1999, Proceedings of the 6th International Conference on Real-Time Computing Systems and Applications (RTCSA'99). p. 111-119 9 p.

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

  192. 2000
  193. (True) polymorphism in SPARK2000

    Lin, T. M. & McDermid, J. A., 2000, RELIABLE SOFTWARE TECHNOLOGIES ADA-EUROPE 2000. Keller, HB. & Plodereder, E. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 252-265 14 p.

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

  194. 3-D terrain from synthetic aperture radar images

    Bors, A. G., Hancock, E. R. & Wilson, R. C., 2000, IEEE WORKSHOP ON COMPUTER VISION BEYOND THE VISIBLE SPECTRUM: METHODS AND APPLICATIONS, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 63-72 10 p.

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

  195. A computer based system for space allocation optimisation

    Burke, EK., Cowling, P., Landa, JD., McCollum, B. & Varley, D., 2000, Proceedings of the 27th International Conference on Computers and Industrial Engineering.

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

  196. A hyperheuristic approach to scheduling a sales summit

    Cowling, P., Kendall, G. & Soubeiga, E., 2000, International Conference on the Practice and Theory of Automated Timetabling. p. 176-190 15 p.

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

  197. Achieving minimal and deterministic interrupt execution in stack-based processor architectures

    Bailey, C., 2000, PROCEEDINGS OF THE 26TH EUROMICRO CONFERENCE, VOLS I AND II. Vajda, F. (ed.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 368-375 8 p.

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

  198. Adapting scale by minimising spectral defocusing for shape from texture

    Ribeiro, E. & Hancock, E. R., 2000, 2000 INTERNATIONAL CONFERENCE ON IMAGE PROCESSING, VOL III, PROCEEDINGS. NEW YORK: IEEE, p. 893-896 4 p.

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

  199. Assessing the safety of integrity level partitioning in software

    McDermid, J. A. & Pumfrey, D. J., 2000, LESSONS IN SYSTEM SAFETY. Redmill, F. & Anderson, T. (eds.). GODALMING: SPRINGER-VERLAG LONDON LTD, p. 134-152 19 p.

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

  200. Attribute-Value and Relational Learning: A Statistical Viewpoint

    Cussens, J., 2000, Proceedings of the ICML-2000 Workshop on Attribute-Value and Relational Learning: Crossing the Boundaries. De Raedt, L. & Kramer, S. (eds.). p. 35-39 5 p.

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

  201. Automated Verification and Validation for High Integrity Systems: A Targeted Formal Methods Approach

    Burton, S., Clark, J. A., Galloway, A. & McDermid, J. A., 2000, Proceedings of the NASA Langley Formal Methods Workshop.

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

  202. Automorphs and involutions

    Jackson, T., 2000, NUMBER THEORY. Jakubec, S., Nemoga, K. & Porubsky, S. (eds.). BRATISLAVA: SLOVAK ACADEMY SCIENCES MATHEMATICAL INSTITUTE, p. 59-63 5 p.

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

  203. Complexity: Concept, causes and control

    McDermid, J. A., 2000, SIXTH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 29 8 p.

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

  204. Deriving quantified safety requirements in complex systems

    Lindsay, P. A., McDermid, J. A. & Tombs, D. J., 2000, COMPUTER SAFETY, RELIABILITY AND SECURITY, PROCEEDINGS. Koornneef, F. & VanderMeulen, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 117-130 14 p.

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

  205. Deriving safety requirements using scenarios

    Allenby, K. & Kelly, T., 2000, FIFTH IEEE INTERNATIONAL SYMPOSIUM ON REQUIREMENTS ENGINEERING, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 228-235 8 p.

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

  206. Double-Pushout Approach with Injective Matching

    Plump, D., Habel, A. & Müller, J., 2000, 6th International Workshop on Theory and Application of Graph Transformations (TAGT 98), Selected Papers. Springer, p. 103-116 (Lecture Notes in Computer Science; vol. 1764).

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

  207. Effective heuristic and metaheuristic approaches to optimize component placement in printed circuit board assembly

    Burke, E. K., Cowling, P. I. & Keuthen, R., 2000, Evolutionary Computation, 2000. Proceedings of the 2000 Congress on. Vol. 1. p. 301-308 8 p.

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

  208. Generating and Maintaining a Safety Argument for Integrated Modular Systems

    Nicholson, M., Conmy, P. M., Bate, I. J. & McDermid, J. A., 2000, Proceedings of 5th Australian Workshop on Industrial Experience with Safety Critical Systems and Software. p. 31-41

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

  209. Generating evidence for certification of modern processors for use in safety-critical systems

    Bate, I., Conmy, P. & McDermid, J., 2000, FIFTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 125-134 10 p.

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

  210. Heaven or hell? A "real-time" UML? Panel

    Selic, B., Burns, A., Moore, A., Tempelmeier, T. & Terrier, F., 2000, UML 2000 - THE UNIFIED MODELING LANGUAGE, PROCEEDINGS. Evans, A., Kent, S. & Selic, B. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 93-100 8 p.

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

  211. Hierarchical Graph Transformation

    Plump, D., Drewes, F. & Hoffmann, B., 2000, Proceedings Foundations of Software Science and Computation Structures (FOSSACS 2000). Springer, p. 98-113 16 p. (Lecture Notes in Computer Science; vol. 1784).

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

  212. Low-level analysis of a portable Java byte code WCET analysis framework

    Bate, I., Bernat, G., Murphy, G. & Puschner, P. P., 2000, 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 12-14 December 2000, Cheju Island, South Korea. IEEE Computer Society

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

  213. Multi-agent systems for dynamic scheduling

    Cowling, PI., Ouelhadj, D., Petrovic, S. & Garagnani, M., 2000, Proceedings of the nineteenth workshop of planning and scheduling of the UK. p. 45-54 10 p.

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

  214. Object-oriented programming and protected objects in Ada 95

    Wellings, A. J., Johnson, B., Sanden, B., Kienzle, J., Wolf, T. & Michell, S., 2000, RELIABLE SOFTWARE TECHNOLOGIES ADA-EUROPE 2000. Keller, HB. & Plodereder, E. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 16-28 13 p.

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

  215. Portable worst-case execution time analysis using Java Byte Code

    Bernat, G., Burns, A. & Wellings, A., 2000, EUROMICRO RTS 2000: 12TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 81-88 4 p.

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

  216. Predicting computation time for advanced processor architectures

    Burns, A. & Edgar, S., 2000, EUROMICRO RTS 2000: 12TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 89-96 4 p.

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

  217. Searching for a solution: Engineering tradeoffs and the evolution of provably secure protocols

    Clark, J. A. & Jacob, J. L., 2000, 2000 IEEE SYMPOSIUM ON SECURITY AND PRIVACY, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 82-95 14 p.

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

  218. Shape-from-texture from eigenvectors of spectral distortion

    Ribeiro, E. & Hancock, E. R., 2000, MATHEMATICS OF SURFACES IX. GODALMING: SPRINGER-VERLAG LONDON LTD, p. 194-213 6 p.

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

  219. Stochastic logic programs: Sampling, inference and applications

    Cussens, J., 2000, Proceedings of the Sixteenth Annual Conference on Uncertainty in Artificial Intelligence (UAI--2000). San Francisco, CA: MORGAN KAUFMANN PUB INC, p. 115-122 8 p.

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

  220. Three methods to automate the space allocation process in UK universities

    Burke, E. K., Cowling, P., Silva, JD. L. & McCollum, B., 2000, International Conference on the Practice and Theory of Automated Timetabling. p. 254-273 20 p.

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

  221. How Embedded Applications Using an RTOS can stay within On-chip Memory Limits

    Davis, R., Merriam, N. & Tracey, N., Jul 2000, Work-in-Progress Session of the Euromicro Conference on Real-Time Systems.

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

  222. Incorporating Linguistics Constraints into Inductive Logic Programming

    Cussens, J. & Pulman, S., 1 Sep 2000, Proceedings of CoNLL2000 and LLL2000. Lisbon: ACL, p. 184-193 10 p.

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

  223. Generating Evidence for Certification of Modern Processors for use in Safety-Critical Systems

    Bate, I., Conmy, P. & McDermid, J., 1 Nov 2000, Proceedings of the 5th International High Assurance Systems Engineering Symposium. p. 125-134 10 p.

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

  224. Low-level analysis of a portable WCET analysis framework

    Bate, I., Bernat, G., Murphy, G. & Puschner, P., 1 Dec 2000, 6th IEEE Real-Time Computing Systems and Applications (RTCSA2000). p. 39-48 10 p.

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

  225. 2001
  226. A Profile for High-Integrity Real-Time Java Programs

    Puschner, P. P. & Wellings, A. J., 2001, 4th International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2001), 2-4 May 2001, Magdeburg, Germany. IEEE Computer Society, p. 15-22 8 p.

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

  227. A Tool Architecture for Application of Portable Code to Future Avionic Systems

    Grigg, A., Audsley, N. C., Bate, I. J., Fletcher, M. A. & Wake, A. S., 2001, Proceedings of ERA Avionics Conference. ERA TECHNOLOGY LTD

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

  228. A hierarchical framework for modal correspondence matching

    Carcassoni, M. & Hancock, E. R., 2001, 11TH INTERNATIONAL CONFERENCE ON IMAGE ANALYSIS AND PROCESSING, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 327-332 6 p.

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

  229. A maximum likelihood framework for iterative eigendecomposition

    Robles-Kelly, A. & Hancock, E. R., 2001, EIGHTH IEEE INTERNATIONAL CONFERENCE ON COMPUTER VISION, VOL I, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 654-661 8 p.

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

  230. A parameter-free hyperheuristic for scheduling a sales summit

    Cowling, P., Kendall, G. & Soubeiga, E., 2001, Proceedings of the 4th metaheuristic international conference. Vol. 1101. p. 127-131 5 p.

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

  231. A robust eigendecomposition framework for inexact graph-matching

    Luo, B. & Hancock, E. R., 2001, 11TH INTERNATIONAL CONFERENCE ON IMAGE ANALYSIS AND PROCESSING, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 465-470 6 p.

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

  232. Adaptively parameterised hyperheuristics for sales summit scheduling

    Cowling, P., Kendall, G. & Soubeiga, E., 2001, Selected Papers from the 4th Metaheuristics International Conference.

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

  233. An effective schedulability analysis for fault-tolerant hard real-time systems

    Lima, G. M. D. & Burns, A., 2001, 13TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 209-216 8 p.

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

  234. Combining hybrid metaheuristics and populations for the multiobjective optimisation of space allocation problems

    Burke, EK., Cowling, P., Landa Silva, JD. & Petrovic, S., 2001, Proceedings of the 2001 Genetic and Evolutionary Computation Conference (GECCO 2001). p. 1252-1259 8 p.

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

  235. Computational Completeness of Programming Languages Based on Graph Transformation

    Habel, A., Plump, D., Honsell, F. (ed.) & Miculan, M. (ed.), 2001, Foundations of Software Science and Computation Structures : 4th International Conference (FOSSACS 2001) . Springer, p. 230-245 15 p. (Lecture Notes in Computer Science; vol. 2030).

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

  236. Design principles for tactile interaction

    Challis, B. P., Edwards, A. D. N., Brewster, S. (ed.) & Murray-Smith, R. (ed.), 2001, First International Workshop on Haptic Human-Computer Interaction. Springer-verlag, p. 17-24 7 p. (Lecture Notes in Computer Science; vol. 2058).

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

  237. Distributed Collaborative Design over Cave2 Framework

    Indrusiak, L. S., Becker, J., Glesner, M. & Reis, R. A. D. L., 2001, SOC Design Methodologies, IFIP TC10/WG10.5 Eleventh International Conference on Very Large Scale Integration of Systems-on/Chip (VLSI-SOC'01), December 3-5, 2001, Montpellier, France. Robert, M., Rouzeyre, B., Piguet, C. & Flottes, M-L. (eds.). Kluwer, Vol. 218. p. 97-108 12 p. (IFIP Conference Proceedings).

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

  238. Effective local and guided variable neighbourhood search methods for the asymmetric travelling salesman problem

    Burke, E. K., Cowling, P. I. & Keuthen, R., 2001, Workshops on Applications of Evolutionary Computation. p. 203-212 10 p.

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

  239. Freja, Hat and Hood - A comparative evaluation of three systems for tracing and debugging lazy functional programs

    Chitil, O., Runciman, C. & Wallace, M., 2001, IMPLEMENTATION OF FUNCTIONAL LANGUAGES. Mohnen, M. & Koopman, P. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 176-193 18 p.

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

  240. Ground plane segmentation for mobile robot visual navigation

    Pears, N. & Liang, B. J., 2001, IROS 2001: PROCEEDINGS OF THE 2001 IEEE/RJS INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS, VOLS 1-4. NEW YORK: IEEE, p. 1513-1518 6 p.

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

  241. Guaranteed on-line weakly-hard real-time systems

    Cayssials, R. & Bernat, G., 2001, 22nd IEEE Real-Time Systems Symposium. p. 25-35 10 p.

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

  242. Hardware compilation of sequential Ada

    Ward, M. & Audsley, N. C., 2001, CASES. p. 99-107 9 p.

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

  243. Hazard analysis for security protocol requirements

    Foster, N. & Jacob, J., 2001, ADVANCES IN NETWORK AND DISTRIBUTED SYSTEMS SECURITY. DeDecker, B., Piessens, F., Smits, J. & VanHerrewhen, L. (eds.). NORWELL: Kluwer Academic Publishers, p. 75-92 18 p.

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

  244. Hierarchical iterative eigendecomposition for motion segmentation

    Robles-Kelly, A., Bors, A. G. & Hancock, E. R., 2001, 2001 INTERNATIONAL CONFERENCE ON IMAGE PROCESSING, VOL II, PROCEEDINGS. NEW YORK: IEEE, p. 363-366 4 p.

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

  245. Hierarchical watermarking depending on local constraints

    Coltman, C. D. & Bors, A. G., 2001, 2001 INTERNATIONAL CONFERENCE ON IMAGE PROCESSING, VOL III, PROCEEDINGS. NEW YORK: IEEE, p. 1011-1014 4 p.

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

  246. Hybrid population-based metaheuristic approaches for the space allocation problem

    Burke, EK., Cowling, P. & Silva, JD. L., 2001, Evolutionary Computation, 2001. Proceedings of the 2001 Congress on. Vol. 1. p. 232-239 8 p.

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

  247. Improved shape-from-shading using darboux smoothing

    Ragheb, H. & Hancock, E. R., 2001, 2001 INTERNATIONAL CONFERENCE ON IMAGE PROCESSING, VOL II, PROCEEDINGS. NEW YORK: IEEE, p. 817-820 4 p.

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

  248. Learning shape categories by clustering shock trees

    Luo, B., Robles-Kelly, A., Torsello, A., Wilson, R. C. & Hancock, E. R., 2001, 2001 INTERNATIONAL CONFERENCE ON IMAGE PROCESSING, VOL III, PROCEEDINGS. NEW YORK: IEEE, p. 672-675 4 p.

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

  249. Maximum likelihood motion segmentation using eigendecomposition

    Robles-Kelly, A. & Hancock, E. R., 2001, 11TH INTERNATIONAL CONFERENCE ON IMAGE ANALYSIS AND PROCESSING, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 63-68 6 p.

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

  250. Model-based semiautomatic safety analysis of programmable systems in automotive applications

    Papadopoulos, Y., McDermid, J., Mavrides, A., Scheidler, C. & Maruhn, M., 2001, ADAS: INTERNATIONAL CONFERENCE ON ADVANCED DRIVER ASSISTANCE SYSTEMS. EDISON: INST ELECTRICAL ENGINEERS INSPEC INC, p. 53-57 5 p.

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

  251. On the performance of population-based metaheuristics for the space allocation problem

    Burke, E. K., Cowling, P., Silva, JD. L. & Petrovic, S., 2001, Proceedings of the 4th Metaheuristics International Conference. Vol. 2. p. 16-20 5 p.

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

  252. Predictable and efficient virtual addressing for safety-critical real-time systems

    Bennett, M. D. & Audsley, N. C., 2001, 13TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 183-190 8 p.

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

  253. Reservation-based timing analysis - A practical engineering approach for distributed real-time systems

    Grigg, A. & Audsley, N., 2001, EIGHTH ANNUAL IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER BASED SYSTEMS, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 103-110 8 p.

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

  254. Software Safety: where's the evidence

    McDermid, J. A. & Lindsay, P. A. (ed.), 2001, SCS '01 Proceedings of the Sixth Australian workshop on Safety critical systems and software. Brisbane: Australian Computer Society, Vol. 3. p. 1-6 6 p.

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

  255. Statistical analysis of WCET for scheduling

    Edgar, S. & Burns, A., 2001, 22ND IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 215-224 10 p.

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

  256. The printed circuit board assembly problem: heuristic approaches for multi-headed placement machinery

    Burke, E., Cowling, P. & Keuthen, R., 2001, Proc. of the IC-AI2001, Las Vegas, CSREA Press (2001.

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

  257. Three methods to automate the space allocation process

    Burke, EK., Cowling, P., Silva, A. & Mccollum, B., 2001, in UK universities. Lecture Notes in Computer Science.

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

  258. Three obstacles to flexible scheduling

    Bernat, G. & Burns, A., 2001, 13TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 11-18 8 p.

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

  259. Timely use of the CAN protocol in critical hard real-time systems with faults

    Broster, I. & Burns, A., 2001, 13TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 95-102 8 p.

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

  260. Statistical Aspects of Stochastic Logic Programs

    Cussens, J., 1 Jan 2001, Artificial Intelligence and Statistics 2001: Proceedings of the Eighth International Workshop. Jaakkola, T. & Richardson, T. (eds.). Key West, Florida: MORGAN KAUFMANN PUB INC, p. 181-186 6 p.

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

  261. Markov Chain Monte Carlo using Tree-Based Priors on Model Structure

    Angelopoulos, N. & Cussens, J., 1 Aug 2001, Proceedings of the Seventeenth Annual Conference on Uncertainty in Artificial Intelligence (UAI--2001). Breese, J. & Koller, D. (eds.). Seattle: MORGAN KAUFMANN PUB INC, p. 16-23 8 p.

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

  262. 2002
  263. A Mumford-Shah Diffusion Process for Shape-from-Shading

    Robles-Kelly, A. & Hancock, E. R., 2002, BMVC 2000.

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

  264. A Static Timing Analysis Environment Using Java Architecture for Safety Critical Real-Time Systems

    Hu, E. Y-S., Bernat, G. & Wellings, A. J., 2002, 7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2002), 7-9 January 2002, San Diego, CA, USA. IEEE Computer Society, p. 77-84 8 p.

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

  265. A graph spectral approach to shape-from-shading

    Robles-Kelly, A. & Hancock, E. R., 2002, 2002 INTERNATIONAL CONFERENCE ON IMAGE PROCESSING, VOL II, PROCEEDINGS. NEW YORK: IEEE, p. 569-572 4 p.

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

  266. A hardware-accelerated novel IR system

    Weeks, M., Hodge, V. J. & Austin, J., 2002, 10TH EUROMICRO WORKSHOP ON PARALLEL, DISTRIBUTED AND NETWORK-BASED PROCESSING, PROCEEDINGS. Vajda, F. & Podhorszki, N. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 283-289 7 p.

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

  267. A review of existing interfaces of automated examination and lecture scheduling systems

    McCollum, B., Ahmadi, S., Burke, E., Barone, R., Cheng, P. & Cowling, P., 2002, PATAT. p. 262-264 3 p.

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

  268. A survey and case study of practical examination timetabling problems

    Cowling, P., Kendall, G. & Hussin, N. M., 2002, PATAT. p. 258-261 4 p.

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

  269. A technique for managing complexity of use cases for large complex embedded systems

    Nasr, E., McDermid, J. & Bernat, G., 2002, ISORC 2002: FIFTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS. Bacellar, L., Puschner, P. & Hong, S. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 225-232 4 p.

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

  270. A, framework for integrating the real-time specification for Java and Java's remote method invocation

    Wellings, A., Clark, R., Jensen, D. & Wells, D., 2002, ISORC 2002: FIFTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS. Bacellar, L., Puschner, P. & Hong, S. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 13-22 10 p.

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

  271. Addressing dynamic dispatching issues in WCET analysis for object-oriented hard real-time systems

    Hu, E. Y. S., Bernat, G. & Wellings, A., 2002, ISORC 2002: FIFTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS. Bacellar, L., Puschner, P. & Hong, S. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 109-116 6 p.

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

  272. An adaptive length chromosome hyperheuristic genetic algorithm for a trainer scheduling problem

    Han, L., Kendall, G. & Cowling, P., 2002, Proceedings of the 4th Asia-Pacific conference on simulated evolution and learning (SEAL’02). p. 267-271 5 p.

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

  273. An investigation of a hyperheuristic genetic algorithm applied to a trainer scheduling problem

    Cowling, P., Kendall, G. & Han, L., 2002, Evolutionary Computation, 2002. CEC'02. Proceedings of the 2002 Congress on. Vol. 2. p. 1185-1190 6 p.

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

  274. Architectural Considerations in the Certification of Modular Systems

    Bate, I. & Kelly, T., 2002, Computer Safety, Reliability and Security - 21st International Conference, SAFECOMP 2002. Vol. LNCS 2434. p. 321-333 13 p.

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

  275. Architecture Trade-off Analysis and Codesign for Safety-Related Real-Time Embedded Systems

    Bate, I. & Audsley, N., 2002, Proceedings of 1st International Workshop on Embedded Systems Codesign. p. 8-15 8 p.

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

  276. Architecture Trade-off Analysis and the Influence on Component Design

    Bate, I. & Audsley, N., 2002, Proceedings of the Workshop on Component-based Software Engineering.

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

  277. Asynchronous event handling and real-time threads in the Real-time Specification for Java

    Wellings, A. J. & Burns, A., 2002, EIGHTH IEEE REAL-TIME AND EMBEDDED TECHNOLOGY AND APPLICATIONS SYMPOSIUM, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 81-89 9 p.

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

  278. Choice function and random hyperheuristics

    Kendall, G., Cowling, P. & Soubeiga, E., 2002, Proceedings of the fourth Asia-Pacific conference on simulated evolution and learning, SEAL. p. 667-671 5 p.

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

  279. Collaborative design using a shared object spaces infrastructure

    Sawicki, S., Brisolara, L., Indrusiak, L. S. & Reis, R., 2002, 15TH SYMPOSIUM ON INTEGRATED CIRCUITS AND SYSTEMS DESIGN, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 163-168 6 p.

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

  280. Combining human and machine intelligence to produce effective examination timetables

    Cowling, P., Ahmadi, S., Cheng, P. & Barone, R., 2002, Proceedings of the 4th Asia-Pacific conference on simulated evolution and learning (SEAL2002). p. 662-666 5 p.

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

  281. Combining inference and search for the propositional satisfiability problem

    Drake, L., Frisch, A. & Walsh, T., 2002, EIGHTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-02)/FOURTEENTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE (IAAI-02), PROCEEDINGS. CAMBRIDGE: M I T PRESS, p. 982-982 1 p.

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

  282. Comparative analysis and application of data repository infrastructure for collaboration-enabled distributed design environments

    Indrusiak, L. S., Glesner, M. & Reis, R., 2002, DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, 2002 PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 1130-1130 1 p.

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

  283. Dependable and ubitquitous Autocode Generation

    Audsley, N., J.Bate, I. & Crook-Dawkins, S. K., 2002, Proceedings of the 7th CaberNet Radicals Workshop, Bertinoro, Italy.

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

  284. Eigenvector method for texture recognition

    Carcassoni, M., Ribeiro, E. & Hancock, E. R., 2002, 2002 INTERNATIONAL CONFERENCE ON IMAGE PROCESSING, VOL III, PROCEEDINGS. NEW YORK: IEEE, p. 321-324 4 p.

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

  285. Evaluation of image pre-processing techniques for eigenface based face recognition

    Heseltine, T., Pears, N. & Austin, J., 2002, SECOND INTERNATION CONFERENCE ON IMAGE AND GRAPHICS, PTS 1 AND 2. Sui, W. (ed.). BELLINGHAM: SPIE-INT SOC OPTICAL ENGINEERING, p. 677-685 9 p.

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

  286. Evolving Boolean functions satisfying multiple criteria

    Clark, J. A., Jacob, J. L., Stepney, S., Maitra, S. & Millan, W., 2002, PROGRESS IN CRYPTOLOGY - INDOCRYPT 2002, PROCEEDINGS. Menezes, A. & Sarkar, P. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 246-259 14 p. (Lecture Notes in Computer Science; vol. 2551).

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

  287. Forward simulation for data refinement of classes

    Cavalcanti, A. & Naumann, D. A., 2002, International Symposium of Formal Methods Europe. Berlin / Heidelberg: Springer, p. 133-140 7 p. (Lecture Notes In Computer Science; vol. 2391).

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

  288. Ground plane segmentation from multiple visual cues

    Liang, B. J. & Pears, N., 2002, SECOND INTERNATION CONFERENCE ON IMAGE AND GRAPHICS, PTS 1 AND 2. Sui, W. (ed.). BELLINGHAM: SPIE-INT SOC OPTICAL ENGINEERING, p. 822-829 8 p.

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

  289. Hardware implementation of programming languages for real-time

    Ward, M. & Audsley, N. C., 2002, EIGHTH IEEE REAL-TIME AND EMBEDDED TECHNOLOGY AND APPLICATIONS SYMPOSIUM, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 276-285 10 p.

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

  290. Hardware implementation of the Ravenscar Ada tasking profile

    Ward, M. J. & Audsley, N. C., 2002, Proceedings of the International Conference on Compilers, Architectures and Synthesis for Embedded Systems, CASES 2002, Greenoble, France, October 8-11, 2002. Bhattacharyya, S. S., Mudge, T. N., Wolf, W. & Jerraya, A. A. (eds.). ACM, p. 59-68 10 p.

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

  291. Height estimation from vector fields of surface normals

    Smith, G. D. J. & Bors, A. G., 2002, DSP 2002: 14TH INTERNATIONAL CONFERENCE ON DIGITAL SIGNAL PROCESSING PROCEEDINGS, VOLS 1 AND 2. Skodras, AN. & Constantinides, AG. (eds.). NEW YORK: IEEE, p. 1031-1034 4 p.

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

  292. Hyperheuristics: A robust optimisation method applied to nurse scheduling

    Cowling, P., Kendall, G. & Soubeiga, E., 2002, International Conference on Parallel Problem Solving from Nature. p. 851-860 10 p.

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

  293. Hyperheuristics: A tool for rapid prototyping in scheduling and optimisation

    Cowling, P., Kendall, G. & Soubeiga, E., 2002, Workshops on Applications of Evolutionary Computation. p. 1-10 10 p.

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

  294. Integrating human abilities and automated systems for timetabling: A competition using STARK and HuSSH representations at the PATAT 2002 conference

    Ahmadi, S., Barone, R., Burke, E., Cheng, P., Cowling, P. & McCollum, B., 2002, Proceedings of the 4th international conference on the practice and theory of automated timetabling (PATAT 2002), KaHo St.-Lieven, Gent. p. 265-273 9 p.

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

  295. Java virtual-machine support for portable worst-case execution-time analysis

    Bate, I., Bernat, G. & Puschner, P., 2002, ISORC 2002: FIFTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS. Bacellar, L., Puschner, P. & Hong, S. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 83-90 6 p.

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

  296. Lambertian reflectance correction for rough and shiny surfaces

    Ragheb, H. & Hancock, E. R., 2002, 2002 INTERNATIONAL CONFERENCE ON IMAGE PROCESSING, VOL II, PROCEEDINGS. NEW YORK: IEEE, p. 553-556 4 p.

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

  297. Language issues of compiling Ada to hardware

    Ward, M. & Audsley, N. C., 2002, RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2002. Blieberger, J. & Strohmeier, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 88-99 12 p.

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

  298. Multimodal interaction and people with disabilities

    Edwards, A. D. N., 2002, MULTIMODALITY IN LANGUAGE AND SPEECH SYSTEMS. Granstrom, B., House, D. & Karlsson, I. (eds.). DORDRECHT: SPRINGER, p. 73-92 20 p.

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

  299. Opening the information bottleneck in complex scheduling problems with a novel representation: STARK diagrams

    Cheng, P. CH., Barone, R., Cowling, P. I. & Ahmadi, S., 2002, International Conference on Theory and Application of Diagrams. p. 264-278 15 p.

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

  300. Optimisation for surface mount placement machines

    Ayob, M., Cowling, P. & Kendall, G., 2002, Industrial Technology, 2002. IEEE ICIT'02. 2002 IEEE International Conference on. Vol. 1. p. 498-503 6 p.

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

  301. Power consumption in point-to-point interconnect architectures

    Ortiz, A. G., Murgan, T., Indrusiak, L. & Glesner, M., 2002, 15TH SYMPOSIUM ON INTEGRATED CIRCUITS AND SYSTEMS DESIGN, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 155-160 6 p.

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

  302. Probabilistic analysis of CAN with faults

    Broster, I., Burns, A. & Rodriguez-Navas, G., 2002, 23RD IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 269-278 10 p.

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

  303. Probabilistic population coding of multiple edge orientation

    Ludtke, N., Wilson, R. C. & Hancock, E. R., 2002, 2002 INTERNATIONAL CONFERENCE ON IMAGE PROCESSING, VOL II, PROCEEDINGS. NEW YORK: IEEE, p. 865-868 4 p.

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

  304. Re-targetable Framework for Worst-Case Execution Time Analysis

    Bate, I., 2002, Proceedings of the 4th Plenary Cabernet Workshop.

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

  305. Recovering height information from SAR images of terrain

    Bors, A. G. & Hancock, E. R., 2002, 2002 INTERNATIONAL CONFERENCE ON IMAGE PROCESSING, VOL II, PROCEEDINGS. NEW YORK: IEEE, p. 477-480 4 p.

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

  306. Reinforcement learning of coordination in cooperative multi-agent systems

    Kapetanakis, S. & Kudenko, D., 2002, EIGHTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-02)/FOURTEENTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE (IAAI-02), PROCEEDINGS. CAMBRIDGE: M I T PRESS, p. 326-331 6 p.

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

  307. Relabelling in Graph Transformation

    Habel, A. & Plump, D., 2002, Proceedings 1st International Conference on Graph Transformation (ICGT 2002). Corradini, A., Ehrig, H., Kreowski, HJ. & Rozenberg, G. (eds.). Berlin: Springer, p. 135-147 13 p. (Lecture Notes in Computer Science; vol. 2505).

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

  308. Scalability of a distributed neural information retrieval system

    Weeks, M., Hodge, V. J. & Austin, J., 2002, 11TH IEEE INTERNATIONAL SYMPOSIUM ON HIGH PERFORMANCE DISTRIBUTED COMPUTING, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 423-423 1 p.

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

  309. Shape-from-shading using viewpoint-invariant principal curvatures

    Ragheb, H. & Hancock, E. R., 2002, 2002 INTERNATIONAL CONFERENCE ON IMAGE PROCESSING, VOL II, PROCEEDINGS. NEW YORK: IEEE, p. 577-580 4 p.

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

  310. TERMGRAPH 2002 Workshop Survey

    Plump, D., 2002, Proceedings 1st International Conference on Graph Transformation (ICGT 2002). Corradini, A., Ehrig, H., Kreowski, HJ. & Rozenberg, G. (eds.). Berlin: Springer, p. 435-439 5 p. (Lecture Notes in Computer Science; vol. 2505).

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

  311. Visual navigation using planar homographies

    Liang, B. J. & Pears, N., 2002, 2002 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS I-IV, PROCEEDINGS. NEW YORK: IEEE, p. 205-210 6 p.

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

  312. WCET analysis of probabilistic hard real-time systems

    Colin, A., Petters, S. M. & Bernat, G., 2002, 23rd IEEE Real-Time Systems Symposium. IEEE, p. 279-288 9 p.

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

  313. Watermarking 3D models

    Harte, T. & Bors, A. G., 2002, 2002 INTERNATIONAL CONFERENCE ON IMAGE PROCESSING, VOL III, PROCEEDINGS. NEW YORK: IEEE, p. 661-664 4 p.

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

  314. Watermarking graphical objects

    Harte, T. & Bors, A. G., 2002, DSP 2002: 14TH INTERNATIONAL CONFERENCE ON DIGITAL SIGNAL PROCESSING PROCEEDINGS, VOLS 1 AND 2. Skodras, AN. & Constantinides, AG. (eds.). NEW YORK: IEEE, p. 709-712 4 p.

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

  315. Weakly hard real-time constraints on controller area network

    Broster, I., Bernat, G. & Burns, A., 2002, EUROMICRO RTS 2002: 14TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 134-141 8 p.

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

  316. Java Virtual Machine Support for Portable Worst-Case Execution Time Analysis

    Bate, I., Bernat, G. & Puschner, P., 1 Jan 2002, ISORC. IEEE International Symposium on Object-Oriented Real-Time Distributed Computing. Washington, USA

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

  317. Breaking row and column symmetries in matrix models

    Flener, P., Frisch, A. M., Hnich, B., Kiziltan, Z., Miguel, I., Pearson, J. & Walsh, T., Sep 2002, Proceedings of the 8th International Conference on Principles and Practice of Constraint Programmin. Berlin / Heidelberg: Springer, p. 462-477 15 p. (Lecture Notes in Computer Science; vol. 2470).

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

  318. 2003
  319. A Circus semantics for Ravenscar protected objects

    Atiya, D. A., King, S. & Woodcock, J. C. P., 2003, FME 2003: FORMAL METHODS, PROCEEDINGS. Araki, K., Gnesi, S. & Mandrioli, D. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 617-635 19 p.

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

  320. A Contract-based Approach to Designing Safe Systems

    Bate, I., Hawkins, R., McDermid, J., Lindsay, P. A. & Cant, A., 2003, Proceedings of the 8th Australian Workshop on Safety Critical Systems and Software. p. 25-36 12 p.

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

  321. A behavioural notion of subtyping for object-oriented programming in SPARK95.

    Lin, T. M. & McDermid, J. A., 2003, RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2003. Rosen, JP. & Strohmeier, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 309-321 13 p.

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

  322. A comparison of the asynchronous transfer of control features in Ada and the real-time specification for Java (TM)

    Brosgol, B. M. & Wellings, A., 2003, RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2003. Rosen, JP. & Strohmeier, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 113-128 16 p.

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

  323. A probabilistic framework for schedulability analysis

    Burns, A., Bernat, G. & Broster, I., 2003, EMBEDDED SOFTWARE, PROCEEDINGS. Alur, R. & Lee, I. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 115 15 p.

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

  324. A real-time RMI framework for the RTSF

    Borg, A. & Wellings, A., 2003, 15TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 238-246 9 p.

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

  325. A round robin scheduling policy for Ada

    Burns, A., Harbour, M. G. & Wellings, A. J., 2003, RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2003. Rosen, JP. & Strohmeier, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 334-343 10 p.

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

  326. A spectral analysis of perceptual shape variation

    Hughes, A. & Wilson, R. C., 2003, 12TH INTERNATIONAL CONFERENCE ON IMAGE ANALYSIS AND PROCESSING, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 38-43 6 p.

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

  327. A taxonomy of attacks on secure devices

    Rae, A. & Wildman, L., 2003, Proceedings of the Australia Information Warfare and Security Conference 2003. p. 251-264

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

  328. Adding temporal annotations and associated verification to the Ravenscar Profile

    Burns, A. & Lin, T. M., 2003, RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2003. Rosen, JP. & Strohmeier, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 80-91 12 p.

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

  329. Almost Boolean functions: The design of Boolean functions by spectral inversion

    Clark, J. A., Jacob, J. L., Maitra, S. & Stanica, P., 2003, CEC: 2003 CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-4, PROCEEDINGS. NEW YORK: IEEE, p. 2173-2180 8 p.

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

  330. An Analysable Bus-Guardian for Event-Triggered Communication

    Broster, I. & Burns, A., 2003, Proceedings of the 24th IEEE Real-Time Systems Symposium. p. 410-419 9 p.

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

  331. An Approach to Designing Safety Critical Systems using the Unified Modelling Language

    Bate, I., Hawkins, R. & Toyn, I., 2003, Proceedings of the Workshop on Critical Systems Development with UML. Technische Universtat Munchen, p. 3-17 15 p.

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

  332. An eigenvector method for shape-from-shading

    Robles-Kelly, A. & Hancock, E. R., 2003, 12TH INTERNATIONAL CONFERENCE ON IMAGE ANALYSIS AND PROCESSING, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 474-479 6 p.

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

  333. An outline pattern language for Z: Five illustrations and two tables

    Stepney, S., Polack, F. & Toyn, I., 2003, ZB 2003: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B. Bert, D., Bowen, JP., King, S. & Walden, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 219 18 p.

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

  334. Artificial immune systems and the grand challenge for non-classical computation

    Stepney, S., Clark, J. A., Johnson, C. G., Partridge, D. & Smith, R. E., 2003, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Timmis, J., Bentley, P. & Hart, E. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 204-216 13 p.

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

  335. Automated design of security protocols

    Chen, H., Clark, J. A. & Jacob, J. L., 2003, CEC: 2003 CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-4, PROCEEDINGS. NEW YORK: IEEE, p. 2181-2188 8 p.

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

  336. Automatic code generation for airborne systems

    Audsley, N., Bate, I. & Crook-Dawkins, S., 2003, 2003 IEEE AEROSPACE CONFERENCE PROCEEDINGS, VOLS 1-8. NEW YORK: IEEE, p. 2863-2873 11 p.

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

  337. CGRASS: A system for transforming constraint satisfaction problems

    Frisch, A. M., Miguel, I. & Walsh, T., 2003, RECENT ADVANCES IN CONSTRAINTS. OSullivan, B. (ed.). BERLIN: SPRINGER-VERLAG BERLIN, p. 15-30 16 p.

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

  338. CLP(BN): Constraint Logic Programming for Probabilistic Knowledge

    Santos Costa, V., Page, D., Qazi, M. & Cussens, J., 2003, Proceedings of the Nineteenth Annual Conference on Uncertainty in Artificial Intelligence (UAI--2003). rulff, U. K. & Meek, C. (eds.). Acapulco, Mexico: MORGAN KAUFMANN PUB INC, p. 517-524 8 p.

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

  339. Challenging formal specifications by mutation: a CSP security example

    Srivatanakul, T., Clark, J. A., Stepney, S. & Polack, F., 2003, ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS. Azada, D. (ed.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 340-350 11 p.

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

  340. Combining curvature evidence to shape-from-shading

    Sartori, F. & Hancock, E. R., 2003, 2003 INTERNATIONAL CONFERENCE ON IMAGE PROCESSING, VOL 3, PROCEEDINGS. NEW YORK: IEEE, p. 709-712 4 p.

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

  341. Comparison of formalisation approaches of UML class constructs in Z and Object-Z

    Amalio, N. & Polack, F., 2003, ZB 2003: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B. Bert, D., Bowen, JP., King, S. & Walden, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 339-358 20 p.

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

  342. Constraints for breaking more row and column symmetries

    Frisch, A. M., Jefferson, C. & Miguel, I., 2003, PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2003, PROCEEDINGS. Rossi, F. (ed.). BERLIN: SPRINGER-VERLAG BERLIN, p. 318-332 15 p.

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

  343. Critical critical systems

    Stepney, S., 2003, FORMAL ASPECTS OF SECURITY. Abdallah, AE., Ryan, P. & Schneider, S. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 62-70 9 p.

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

  344. Deriving Java virtual machine timing models for portable worst-case execution time analysis

    Hu, E. Y. S., Wellings, A. J. & Bernat, G., 2003, ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2003: OTM 2003 WORKSHOPS. Meersman, R. & Tari, Z. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 411-424 14 p.

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

  345. Developing Safety Contracts for OO Systems

    Bate, I., Hawkins, R. & McDermid, J., 2003, 21st International System Safety Conference. The International System Safety Society, p. 636-645 10 p.

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

  346. Diagrams for meaning preservation

    Wells, J. B., Plump, D. & Kamareddine, F., 2003, Proceedings Rewriting Techniques and Applications (RTA 2003). Nieuwenhuis, R. (ed.). Berlin: Springer, p. 88-106 19 p. (Lecture Notes in Computer Science; vol. 2706).

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

  347. Edit distance from graph spectra

    Robles-Kelly, A. & Hancock, E. R., 2003, NINTH IEEE INTERNATIONAL CONFERENCE ON COMPUTER VISION, VOLS I AND II, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 234-241 8 p.

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

  348. Establishing safety criteria for artificial neural networks

    Kurd, Z. & Kelly, T., 2003, KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 1, PROCEEDINGS. Palade, V., Howlett, RJ. & Jain, L. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 163-169 7 p.

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

  349. Establishing timing requirements and control attributes for control loops in real-time systems

    Bate, I., Nightingale, P. & Cervin, A., 2003, 15TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 121-128 8 p.

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

  350. Gain time reclaiming in high performance real-time Java systems

    Hu, E. Y. S., Wellings, A. & Bernat, G., 2003, ISORC 2003: SIXTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS. Puschner, P., Nakajima, T. & Ghafoor, A. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 249-256 8 p.

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

  351. Group decision making through mediated discussions

    Kudenko, D., Bauer, M. & Dengler, D., 2003, USER MODELING 2003, PROCEEDINGS. Brusilovsky, P., Corbett, A. & DeRosis, F. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 238-247 10 p. (Lecture Notes in Computer Science; vol. 2702).

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

  352. Hyperheuristics for managing a large collection of low level heuristics to schedule personnel

    Cowling, P. & Chakhlevitch, K., 2003, Evolutionary Computation, 2003. CEC'03. The 2003 Congress on. Vol. 2. p. 1214-1221 8 p.

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

  353. Improved AURA k-Nearest Neighbour approach

    Weeks, M., Hodge, V., O'Keefe, S., Austin, J. & Lees, K., 2003, ARTIFICIAL NEURAL NETS PROBLEM SOLVING METHODS, PT II. Mira, J. & Alvarez, JR. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 2687. p. 663-670 8 p. (Lecture Notes in Computer Science).

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

  354. Improving shape recovery by estimating properties of slightly-rough surfaces

    Ragheb, H. & Hancock, E. R., 2003, 12TH INTERNATIONAL CONFERENCE ON IMAGE ANALYSIS AND PROCESSING, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 32-37 6 p.

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

  355. Integrating human abilities with the power of automated scheduling systems: Representational epistemological interface design

    Cheng, P., Barone, R., Ahmadi, S. & Cowling, P., 2003, AAAI Spring Symposium on Human Interaction with Autonomous Systems in Complex Environments. American Association for Artificial Intelligence: Palo Alto, CA. p. 23-29 7 p.

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

  356. Invited paper. Nature-inspired cryptography: Past, present and future

    Clark, J. A., 2003, CEC: 2003 CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-4, PROCEEDINGS. NEW YORK: IEEE, p. 1647-1654 8 p.

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

  357. Learning modes of structural variation in graphs

    Luo, B., Wilson, R. C. & Hancock, E. R., 2003, 2003 INTERNATIONAL CONFERENCE ON IMAGE PROCESSING, VOL 2, PROCEEDINGS. NEW YORK: IEEE, p. 37-40 4 p.

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

  358. Making the most of two heuristics: breaking transposition ciphers with ants

    Russell, M. D., Clark, J. A. & Stepney, S., 2003, CEC: 2003 CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-4, PROCEEDINGS. NEW YORK: IEEE, p. 2653-2658 6 p.

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

  359. Mapping Concurrent Real-Time Software to FPGA

    Audsley, N., Bate, I. & Ward, M., 2003, Proceedings of the 3rd U.K. ACM SIGDA Workshop on Electronic Design Automation.

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

  360. Pattern spaces from graph polynomials

    Wilson, R. C. & Hancock, E. R., 2003, 12TH INTERNATIONAL CONFERENCE ON IMAGE ANALYSIS AND PROCESSING, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 480-485 6 p.

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

  361. Patterns to guide practical refactoring: Examples targetting promotion in Z

    Stepney, S., Polack, F. & Toyn, I., 2003, ZB 2003: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B. Bert, D., Bowen, JP., King, S. & Walden, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 20-39 20 p.

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

  362. Predictable memory utilization in the Ravenscar-Java profile

    Kwon, J., Wellings, A. & King, S., 2003, ISORC 2003: SIXTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS. Puschner, P., Nakajima, T. & Ghafoor, A. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 267-274 8 p.

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

  363. Processing group parameters in the real-time specification for Java

    Burns, A. & Wellings, A. J., 2003, ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2003: OTM 2003 WORKSHOPS. Meersman, R. & Tari, Z. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 360-370 11 p.

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

  364. Prolog issues and experimental results of an MCMC algorithm

    Angelopoulos, N. & Cussens, J., 2003, WEB KNOWLEDGE MANAGEMENT AND DECISION SUPPORTS. Bartenstein, O., Geske, U., Hannebauer, M. & Yoshie, O. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 186-196 11 p.

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

  365. Reducing authoring costs of Online training in microelectronics design by reusing design documentation content

    Indrusiak, L. S., Glesner, M., Reis, R. A. D., Alcantara, G., Hormann, S. & Steinmetz, R., 2003, 2003 IEEE INTERNATIONAL CONFERENCE ON MICROELECTRONIC SYSTEMS EDUCATION, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 57-58 2 p.

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

  366. Reference objects for RTSJ memory areas

    Borg, A. & Wellings, A. J., 2003, ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2003: OTM 2003 WORKSHOPS. Meersman, R. & Tari, Z. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 397-410 14 p.

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

  367. Reinforcement learning approaches to coordination in cooperative multi-agent systems

    Kapetanakis, S., Kudenko, D. & Strens, M. J. A., 2003, ADAPTIVE AGENTS AND MULTI-AGENT SYSTEMS. Alonso, E., Kudenko, D. & Kazakov, D. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 18-32 15 p.

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

  368. Safety case architectures to complement a contract-based approach to designing safe systems

    Bate, I., Bates, S., Hawkins, R., Kelly, T. & McDermid, J., 2003, 21st International System Safety Conference. The International System Safety Society, p. 182-192 11 p.

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

  369. Safety lifecycle for developing safety critical artificial neural networks

    Kurd, Z. & Kelly, T., 2003, COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS. Anderson, S., Felici, M. & Littlewood, B. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 77-91 15 p.

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

  370. Scenario-based stochastic constraint programming

    Manandhar, S., Tarim, A. & Walsh, T., 2003, Proceedings of the 18th International Joint Conference in Artificial Intelligence. p. 257-262 5 p.

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

  371. Secret agents leave big footprints: How to plant a cryptographic trapdoor, and why you might not get away with it

    Clark, J. A., Jacob, J. L. & Stepney, S., 2003, GENETIC AND EVOLUTIONARY COMPUTATION - GECCO 2003, PT II, PROCEEDINGS. CantuPaz, E., Foster, JA., Deb, K., Davis, LD., Roy, R., OReilly, UM., Beyer, HG., Standish, R., Kendall, G., Wilson, S., Hartman, M., Wegener, J., Dasgupta, D., Potter, MA., Schultz, AC., Dowsland, KA., Jonoska, N. & Miller, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 2022-2033 12 p.

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

  372. Stochastic simulation of inherited kinship-driven altruism

    Turner, H. & Kazakov, D., 2003, ADAPTIVE AGENTS AND MULTI-AGENT SYSTEMS. Alonso, E., Kudenko, D. & Kazakov, D. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 187-201 15 p.

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

  373. Supporting Consistency Control between Functional and Structural Views in Interface-based Design Models

    Indrusiak, L. S., Reis, R. & Glesner, M., 2003, Forum on specification and Design Languages, FDL 2003, September 23-26, 2003, Frankfurt, Germany, Proceedings. ECSI, p. 364-373 10 p.

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

  374. Surface acquisition from single gray-scale images

    Robles-Kelly, A., Bors, A. G. & Hancock, E. R., 2003, 2003 INTERNATIONAL CONFERENCE ON IMAGE PROCESSING, VOL 3, PROCEEDINGS. NEW YORK: IEEE, p. 721-724 4 p.

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

  375. Testing and tracing lazy functional programs using QuickCheck and Hat

    Claessen, K., Runciman, C., Chitil, O., Hughes, J. & Wallace, M., 2003, ADVANCED FUNCTIONAL PROGRAMMING. Jeuring, J. & Jones, SP. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 59-99 41 p.

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

  376. Towards a high integrity real-time Java virtual machine

    Cai, H. & Wellings, A. J., 2003, ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2003: OTM 2003 WORKSHOPS. Meersman, R. & Tari, Z. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 319-334 16 p.

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

  377. Ubiquitous access to reconfigurable hardware: Application scenarios and implementation issues

    Indrusiak, L. S., Lubitz, F., Reis, R. & Glesner, M., 2003, DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 940-945 6 p.

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

  378. Using ants to attack a classical cipher

    Russell, M., Clark, J. A. & Stepney, S., 2003, GENETIC AND EVOLUTIONARY COMPUTATION - GECCO 2003, PT I, PROCEEDINGS. CantuPaz, E., Foster, JA., Deb, K., Davis, LD., Roy, R., OReilly, UM., Beyer, HG., Standish, R., Kendall, G., Wilson, S., Harman, M., Wegener, J., Dasgupta, D., Potter, MA., Schultz, AC., Dowsland, KA., Jonoska, N. & Miller, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 146-147 2 p.

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

  379. Utility and stability measures for agent-based dynamic scheduling of steel continuous casting

    Ouelhadj, D., Cowling, P. I. & Petrovic, S., 2003, Robotics and Automation, 2003. Proceedings. ICRA'03. IEEE International Conference on. Vol. 1. p. 175-180 6 p.

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

  380. Variational Gaussian mixtures for blind source detection

    Nasios, N. & Bors, A. G., 2003, 2003 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5, CONFERENCE PROCEEDINGS. NEW YORK: IEEE, p. 474-479 6 p.

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

  381. Variational expectation-maximization training for Gaussian networks

    Nasios, N. & Bors, A. G., 2003, 2003 IEEE XIII WORKSHOP ON NEURAL NETWORKS FOR SIGNAL PROCESSING - NNSP'03. NEW YORK: IEEE, p. 339-348 10 p.

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

  382. XRTJ: An extensible distributed high-integrity real-time Java environment

    Hu, E. Y. S., Wellings, A. & Bernat, G., 2003, REAL-TIME AND EMBEDDED COMPUTING SYSTEMS AND APPLICATIONS. Chen, J. & Hong, S. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 208-228 21 p.

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

  383. Automatic Code Generation for Airborne Systems

    Audsley, N. C., Bate, I. J. & Crook-Dawkins, S. K., 1 Mar 2003, Proceedings of the IEEE Aerospace Conference. IEEE, p. 8-15 8 p.

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

  384. Establishing Timing Requirements and Control Attributes for Control Loops in Real-Time Systems

    Bate, I., Cervin, A. & Nightingale, P., 1 Jul 2003, Proceedings of the 15th Euromicro Conference on Real-Time Systems. p. 121-128 8 p.

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

  385. Individuals, relations and structures in probabilistic models

    Cussens, J., 1 Aug 2003, IJCAI Workshop on Learning Statistical Models from Relational Data (SRL2003). Getoor, L. & Jensen, D. (eds.). p. 32-36 5 p.

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

  386. Nature-inspired cryptography: past, present and future

    Clark, J. A., 1 Dec 2003, CEC '03. The 2003 Congress on Evolutionary Computation, 2003.. Vol. 3. p. 1647 - 1654 Vol.3

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

  387. Task attribute-based scheduling: Extending Ada's support for scheduling

    Burns, A. & Wellings, A. J., 1 Dec 2003, Proceedings of the 12th International Workshop on Real-Time Ada, IRTAW '03. p. 36-41 6 p.

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

  388. 2004
  389. A Probabilistic approach to sparse multi scale phase based stereo

    Ulusoy, K., Halici, U. U. & Hancock, E. R., 2004, PROCEEDINGS OF THE IEEE 12TH SIGNAL PROCESSING AND COMMUNICATIONS APPLICATIONS CONFERENCE. NEW YORK: IEEE, p. 249-252 4 p.

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

  390. A grid based diagnostics and prognosis system for Rolls Royce Aero Engines: The DAME project.

    Austin, J., 2004, PROCEEDINGS OF THE SECOND INTERNATIONAL WORKSHOP ON CHALLENGES OF LARGE APPLICATIONS IN DISTRIBUTED ENVIRONMENTS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 22 1 p.

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

  391. A mechanism for implementing precise exceptions in pipelined processors

    Alli, S. & Bailey, C., 2004, PROCEEDINGS OF THE EUROMICRO SYSTEMS ON DIGITAL SYSTEM DESIGN. Selvaraj, H. (ed.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 598-602 5 p.

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

  392. A proposed mechanism for super-pipelined instruction-issue for ILP stack machines

    Bailey, C., 2004, Proceedings of Euromicro Symposium on Digital Systems. Selvaraj, H. (ed.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 121-129 8 p.

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

  393. A real-time isolate specification for Ravenscar-Java

    Cai, H. & Wellings, A., 2004, SEVENTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS. Gustafsson, J., Aoki, T. & Lee, I. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 325-328 4 p.

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

  394. A selection mechanism based upon the explicit expression of preference

    Audsley, N. C. & Baker, R. E., 2004, Proceedings of the 1st ACM SIGSOFT Workshop on Self-Managed Systems, WOSS 2004, Newport Beach, California, USA, October 31 - November 1, 2004. Garlan, D., Kramer, J. & Wolf, A. L. (eds.). ACM, p. 13-17 5 p.

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

  395. A variational approach for color image segmentation

    Nasios, N. & Bors, A. G., 2004, PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOL 1. Kittler, J., Petrou, M. & Nixon, M. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 680-683 4 p.

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

  396. Accurate capture of timing parameters in inductively-coupled on-chip interconnects

    Murgan, T., Schlachta, C., Petrov, M., Indrusiak, L., Garcia Ortiz, A., Glesner, M. & Reis, R., 2004, SBCCI2004:17TH SYMPOSIUM ON INTEGRATED CIRCUITS AND SYSTEMS DESIGN, PROCEEDINGS. NEW YORK: ASSOC COMPUTING MACHINERY, p. 117-122 6 p.

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

  397. Acquiring height maps of faces from a single image

    Castelan, M. & Hancock, E. R., 2004, 2ND INTERNATIONAL SYMPOSIUM ON 3D DATA PROCESSING, VISUALIZATION, AND TRANSMISSION, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 183-190 8 p.

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

  398. Algorithms for distributed exploration

    Walker, T., Kudenko, D., Strens, M. J. A., López de Mántaras, R. (ed.) & Saitta, L. (ed.), 2004, ECAI 2004: 16TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS. LopezdeMantaras, R. & Saitta, L. (eds.). AMSTERDAM: IOS Press, p. 84-88 5 p.

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

  399. An Assessment Framework for Automatic Code Generator Tools

    Audsley, N., Bate, I. & O'Halloran, C., 2004, Proceedings of the 22nd International System Safety Conference. p. 665-674 10 p.

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

  400. At the interface of inductive logic programming and statistics

    Cussens, J., 2004, INDUCTIVE LOGIC PROGRAMMING, PROCEEDINGS. Camacho, R., King, R. & Srinivasan, AS. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 23 2 p.

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

  401. Blind watermarking of 3D shapes using localized constraints

    Bors, A. G., 2004, 2ND INTERNATIONAL SYMPOSIUM ON 3D DATA PROCESSING, VISUALIZATION, AND TRANSMISSION, PROCEEDINGS. Aloimonos, Y. & Taubin, G. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 242-249 8 p.

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

  402. COTS product selection for safety-critical systems

    Ye, F. & Kelly, T., 2004, COTS BASED SOFTWARE SYSTEMS, PROCEEDINGS. Port, D. (ed.). BERLIN: SPRINGER-VERLAG BERLIN, p. 53-62 10 p.

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

  403. Checking the shape safety of pointer manipulations

    Plump, D., Bakewell, A. & Runciman, C., 2004, Relational Methods in Computer Science (RelMiCS 7), Revised Selected Papers. Berghammer, R., Moller, B. & Struth, G. (eds.). Berlin: Springer, p. 48-61 14 p. (Lecture Notes in Computer Science; vol. 3051).

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

  404. Comparing real-time communication under electromagnetic interference

    Broster, I., Burns, A. & Rodriguez-Navas, G., 2004, 16TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 45-52 8 p.

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

  405. Comparison of classification techniques for a personnel scheduling problem

    Thabtah, F., Cowling, P. & Peng, Y., 2004, Proceedings of the 2004 International Business Information Management Conference. p. 207-213 7 p.

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

  406. Compiler-directed dynamic memory disambiguation for loop structures

    Alli, S. & Bailey, C., 2004, PROCEEDINGS OF THE EUROMICRO SYSTEMS ON DIGITAL SYSTEM DESIGN. Selvaraj, H. (ed.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 130-134 5 p.

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

  407. Cost enforcement and deadline monitoring in the Real-Time Specification for Java

    Wellings, A., Bollella, G., Dibble, P. & Holmes, D., 2004, SEVENTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS. Gustafsson, J., Aoki, T. & Lee, I. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 78-85 8 p.

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

  408. Design of s-boxes by simulated annealing

    Clark, J. A., Jacob, J. L. & Stepney, S., 2004, CEC2004: PROCEEDINGS OF THE 2004 CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1 AND 2. NEW YORK: IEEE, p. 1533-1537 5 p.

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

  409. Dynamic ceiling priorities: A proposal for Ada0Y

    Real, J., Burns, A., Miranda, J., Schonberg, E. & Crespo, A., 2004, RELIABLE SOFTWARE TECHNOLOGIES- ADA-EUROPE 2004. Llamosi, A. & Strohmeier, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 261-272 12 p.

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

  410. Effective security requirements analysis: HAZOP and use cases

    Srivatanakul, T., Clark, J. A. & Polack, F., 2004, INFORMATION SECURITY, PROCEEDINGS. Zhang, K. & Zheng, Y. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 416-427 12 p.

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

  411. Estimating the surface radiance function from single images

    Robles-Kelly, A. & Hancock, E. R., 2004, 2ND INTERNATIONAL SYMPOSIUM ON 3D DATA PROCESSING, VISUALIZATION, AND TRANSMISSION, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 494-501 8 p.

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

  412. Evolving quantum circuits and programs through genetic programming

    Massey, P., Clark, J. A. & Stepney, S., 2004, GENETIC AND EVOLUTIONARY COMPUTATION GECCO 2004 , PT 2, PROCEEDINGS. Deb, K., Poli, R., Banzhaf, W., Beyer, HG., Burke, E., Darwen, P., Dasgupta, D., Floreano, D., Foster, O., Harman, M., Holland, O., Lanzi, PL., Spector, L., Tettamanzi, A., Thierens, D. & Tyrrell, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 569-580 12 p.

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

  413. Exploiting safety constraints in fuzzy self-organising maps for safety critical applications

    Kurd, Z., Kelly, T. P. & Austin, J., 2004, INTELLIGENT DAA ENGINEERING AND AUTOMATED LEARNING IDEAL 2004, PROCEEDINGS. Yang, ZR., Everson, R. & Yin, H. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 266-271 6 p.

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

  414. Facial view synthesis from a single image using shape from shading

    Smith, W. A. P., Robles-Kelly, A. & Hancock, E. R., 2004, 2ND INTERNATIONAL SYMPOSIUM ON 3D DATA PROCESSING, VISUALIZATION, AND TRANSMISSION, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 510-517 8 p.

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

  415. Fixed priority timing analysis of real-time systems with limited parallelism

    Audsley, N. C. & Bletsas, K., 2004, 16TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 231-238 8 p.

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

  416. Flexible design of complex high-integrity systems using trade offs

    Bate, I. J., Audsley, N. & Real Time Systems Grp, 2004, 8th IEEE International Symposium on High Assurance Systems Engineering. LOS ALAMITOS: IEEE COMPUTER SOC, p. 22-31 10 p.

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

  417. High Level Organisation of Safety Arguments

    Bate, I., Bates, S. & McDermid, J., 2004, Proceedings of the 22nd International System Safety Conference. p. 675-684 10 p.

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

  418. Implementing contract net in TUPLE space models

    Udzir, N. I. & Wood, A. M., 2004, Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Networks. Hamza, MH. (ed.). CALGARY: ACTA Press, p. 325-330 6 p.

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

  419. Improving Certification Capability Through Autocode Generation

    Audsley, N., Bate, I., Crook-Dawkins, S. & McDermid, J., 2004, Proceedings of the World Computing Congress.

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

  420. Improving certification capability through automatic code generation

    Audsley, N., Bate, F., Crook-Dawkins, S. & McDermid, J., 2004, BUILDING THE INFORMATION SOCIETY. Jacquart, R. (ed.). DORDRECHT: SPRINGER, p. 511-520 10 p.

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

  421. Investigating available instruction level parallelism for stack based machine architectures

    Shi, H. & Bailey, C., 2004, PROCEEDINGS OF THE EUROMICRO SYSTEMS ON DIGITAL SYSTEM DESIGN. Selvaraj, H. (ed.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 112-120 9 p.

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

  422. Lazy assertions

    Chitil, O., McNeill, D. & Runciman, C., 2004, IMPLEMENTATION OF FUNCTIONAL LANGUAGES. Trinder, P., Michaelson, G. & Pena, R. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 119 19 p.

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

  423. Lookup-based Remote Laboratory for FPGA Digital Design Prototyping

    Indrusiak, L. S., Glesner, M. & Reis, R. A. D. L., 2004, Proceedings of the 1st International Workshop on e-learning and Virtual and Remote Laboratories, VIRTUAL-LAB 2004: In conjunction with ICINCO 2004, Setúbal, Portugal, August 2004. Borza, P. N., Gomes, L. & Scutaru, G. (eds.). INSTICC Press, p. 3-11 9 p.

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

  424. MMAC: A new multi-class, multi-label associative classification approach

    Thabtah, F. A., Cowling, P. & Peng, Y., 2004, Data Mining, 2004. ICDM'04. Fourth IEEE International Conference on. p. 217-224 8 p.

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

  425. Memory management based on method invocation in RTSJ

    Kwon, J. & Wellings, A., 2004, ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2004: OTM 2004 WORKSHOPS, PROCEEDINGS. Meersman, R., Tari, Z., Corsaro, A., Herrero, P., Perez, MS., Radenkovic, M., Robles, V., Santoro, C., Albani, A., Turowski, K., Jarrar, M., Gangemi, A., Duval, E., Spyns, P. & Palinginis, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 333-345 13 p.

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

  426. Mining large engineering data sets on the grid using AURA

    Liang, B. & Austin, J., 2004, INTELLIGENT DAA ENGINEERING AND AUTOMATED LEARNING IDEAL 2004, PROCEEDINGS. Yang, ZR., Everson, R. & Yin, H. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 430-436 7 p.

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

  427. Model driven architecture as a facilitator for automatic code generation

    Audsley, N. & Crook-Dawkins, S. K., 2004, Proceedings of the IASTED International Conference on Software Engineering. Hamza, MH. (ed.). CALGARY: ACTA Press, p. 505-510 6 p.

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

  428. Modelling knowledge based systems using the eXecutable Modelling Framework (XMF)

    Abdullah, M. S., Evans, A., Benest, I., Paige, R. & Kimble, C., 2004, 2004 IEEE CONFERENCE ON CYBERNETICS AND INTELLIGENT SYSTEMS, VOLS 1 AND 2. NEW YORK: IEEE, p. 1055-1060 6 p.

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

  429. OpenAda: Compile-time reflection for Ada 95

    Rogers, P. & Wellings, A. J., 2004, RELIABLE SOFTWARE TECHNOLOGIES- ADA-EUROPE 2004. Llamosi, A. & Strohmeier, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 166-177 12 p.

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

  430. Plane segmentation from two views in reciprocal-polar image space

    Chen, Z. Z., Pears, N. E., Liang, B. J. & McDermid, J., 2004, IMAGE ANALYSIS AND RECOGNITION, PT 1, PROCEEDINGS. Campilho, A. & Kamel, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 638-646 9 p.

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

  431. Realistic Analysis of Limited Parallel Software / Hardware Implementations

    Audsley, N. C. & Bletsas, K., 2004, Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium. p. 388-395 7 p.

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

  432. Realistic analysis of limited parallel software/hardware implementations

    Audsley, N. C. & Bletsas, K., 2004, RTAS 2004: 10TH IEEE REAL-TIME AND EMBEDDED TECHNOLOGY AND APPLICATIONS SYMPOSIUM, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 388-395 8 p.

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

  433. Reconfigurable platforms for ubiquitous computing

    Glesner, M., Hollstein, T., Indrusiak, L. S., Zipf, P., Pionteck, T., Petrov, M., Zimmer, H. & Murgan, T., 2004, Proceedings of the First Conference on Computing Frontiers, 2004, Ischia, Italy, April 14-16, 2004. Vassiliadis, S., Gaudiot, J-L. & Piuri, V. (eds.). ACM, p. 377-389 13 p.

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

  434. Results on rotation symmetric bent and correlation immune Boolean functions

    Stanica, P., Maitra, S. & Clark, J. A., 2004, FAST SOFTWARE ENCRYPTION. Roy, B. & Meier, W. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 161-177 17 p.

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

  435. Rewriting history to exploit gain time

    Bernat, G., Broster, I. & Burns, A., 2004, 25TH IEEE INTERNATIONAL REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 328-335 8 p.

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

  436. Safety Arguments for use of an Ada to FPGA Compiler

    Bate, I., Bates, S. & McDermid, J., 2004, Proceedings of the 22nd International System Safety Conference. p. 685-694 10 p.

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

  437. Search based automatic test-data generation at an architectural level

    Zhan, Y. & Clark, J., 2004, GENETIC AND EVOLUTIONARY COMPUTATION GECCO 2004 , PT 2, PROCEEDINGS. Deb, K., Poli, R., Banzhaf, W., Beyer, HG., Burke, E., Darwen, P., Dasgupta, D., Floreano, D., Foster, O., Harman, M., Holland, O., Lanzi, PL., Spector, L., Tettamanzi, A., Thierens, D. & Tyrrell, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 1413-1424 12 p.

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

  438. Searching for cost functions

    Clark, J. A., Jacob, J. L. & Stepney, S., 2004, CEC2004: PROCEEDINGS OF THE 2004 CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1 AND 2. NEW YORK: IEEE, p. 1517-1524 8 p.

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

  439. Secure databases: An analysis of Clark-Wilson model in a database environment

    Ge, X. C., Polack, F. & Laleau, R., 2004, ADVANCED INFORMATION SYSTEMS ENGINEERING, PROCEEDINGS. Persson, A. & Stirna, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 234-247 14 p.

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

  440. Smart devices and software agents: The basics of good behaviour

    Chivers, H., Clark, J. A. & Stepney, S., 2004, SECURITY IN PERVASIVE COMPUTING. Hutter, D., Muller, G., Stephan, W. & Ullmann, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 39-52 14 p.

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

  441. Social learning through evolution of language

    Kazakov, D. & Bartlett, M., 2004, ARTIFICIAL EVOLUTION. Liardet, P., Collet, P., Fonlupt, C., Lutton, E. & Schoenauer, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 397-408 12 p.

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

  442. Specification-driven design with Eiffel and agents for teaching lightweight formal methods

    Paige, R. F. & Ostroff, J. S., 2004, TEACHING FORMAL METHODS, PROCEEDINGS. Dean, CN. & Boute, RT. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 107-123 17 p.

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

  443. Specifying pointer structures by graph reductions

    Plump, D., Bakewell, A. & Runciman, C., 2004, Applications of Graph Transformations with Industrial Relevance (AGTIVE 2003): Revised Selected and Invited Papers. Pfaltz, JL., Nagl, M. & Bohlen, B. (eds.). Berlin: Springer, p. 30-44 15 p. (Lecture Notes in Computer Science; vol. 3062).

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

  444. Supporting deadlines and EDF scheduling in Ada

    Burns, A., Wellings, A. J. & Taft, S. T., 2004, RELIABLE SOFTWARE TECHNOLOGIES- ADA-EUROPE 2004. Llamosi, A. & Strohmeier, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 156-165 10 p.

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

  445. Supporting mixed criticality applications in a ravenscar-java environment

    Cai, H. & Wellings, A., 2004, ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2004: OTM 2004 WORKSHOPS, PROCEEDINGS. Meersman, R., Tari, Z., Corsaro, A., Herrero, P., Perez, MS., Radenkovic, M., Robles, V., Santoro, C., Albani, A., Turowski, K., Jarrar, M., Gangemi, A., Duval, E., Spyns, P. & Palinginis, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 278-291 14 p.

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

  446. Surface height recovery using heat flow and manifold embedding

    Robles-Kelly, A. & Hancock, E. R., 2004, 2ND INTERNATIONAL SYMPOSIUM ON 3D DATA PROCESSING, VISUALIZATION, AND TRANSMISSION, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 860-867 8 p.

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

  447. Surface normals and height from non-Lambertian image data

    Ragheb, H. & Hancock, E. R., 2004, 2ND INTERNATIONAL SYMPOSIUM ON 3D DATA PROCESSING, VISUALIZATION, AND TRANSMISSION, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 18-25 8 p.

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

  448. Symmetry breaking as a prelude to implied constraints: A constraint modelling pattern

    Frisch, A. M., Jefferson, C. & Miguel, I., 2004, ECAI 2004: 16TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS. LopezdeMantaras, R. & Saitta, L. (eds.). AMSTERDAM: I O S PRESS, p. 171-175 5 p.

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

  449. Synthesis of Legacy Real-Time Ada Software to FPGA

    Audsley, N. & Bate, I., 2004, Proceedings of the 10th International Conference on Real-Time and Embedded Computing Systems and Applications (RTCSA 2004). p. 21-40 20 p.

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

  450. Testing reflectance models against radiance data

    Ragheb, H., Robles-Kelly, A. & Hancock, E. R., 2004, 2ND INTERNATIONAL SYMPOSIUM ON 3D DATA PROCESSING, VISUALIZATION, AND TRANSMISSION, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 880-887 8 p.

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

  451. The Real-Time Specification for Java: Current Status and Future Work

    Dibble, P. C. & Wellings, A. J., 2004, 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), 12-14 May 2004, Vienna, Austria. IEEE Computer Society, p. 71-77 7 p.

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

  452. The Use of Satisfaction Arguments for Traceability in Requirements Reuse for System Families

    Attwood, K. C. & Kelly, T., 2004, International Workshop on Requirements Reuse in System Family Engineering, Technical Report, Universidad Politecnica de Madrid. Madrid, Spain, p. 18-21 4 p.

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

  453. The interaction between inference and branching heuristics

    Drake, L. & Frisch, A., 2004, THEORY AND APPLICATIONS OF SATISFIABILITY TESTING. Giunchiglia, E. & Tacchella, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 370-382 13 p.

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

  454. Towards Graph Programs for Graph Algorithms

    Plump, D. & Steinert, S., 2004, Proceedings 2nd International Conference on Graph Transformation (ICGT 2004). Ehrig, H., Engels, G., ParisiPresicce, F. & Rozenberg, G. (eds.). Berlin: Springer, p. 128-143 16 p. (Lecture Notes in Computer Science; vol. 3256).

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

  455. Towards a conceptual framework for artiflcial immune systems

    Stepney, S., Smith, R. E., Timmis, J. & Tyrrell, A. M., 2004, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Nicosia, G., Cutello, V., Bentley, PJ. & Timmis, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 53-64 12 p.

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

  456. Towards an understanding of the expressive power of the RTSJ scoped memory model

    Borg, A. & Wellings, A., 2004, ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2004: OTM 2004 WORKSHOPS, PROCEEDINGS. Meersman, R., Tari, Z., Corsaro, A., Herrero, P., Perez, MS., Radenkovic, M., Robles, V., Santoro, C., Albani, A., Turowski, K., Jarrar, M., Gangemi, A., Duval, E., Spyns, P. & Palinginis, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 315-332 18 p.

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

  457. Travelling processes

    Tang, X. & Woodcock, J., 2004, Mathematics of Program Construction, MPC 2004 Proceedings. Berlin / Heidelberg: Springer, p. 381-399 18 p. (Lecture Notes in Computer Science; vol. 3125).

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

  458. Uncalibrated two-view metrology

    Liang, B. J., Chen, Z. Z. & Pears, N., 2004, PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOL 1. Kittler, J., Petrou, M. & Nixon, M. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 96-99 4 p.

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

  459. Using bugs and viruses to teach artificial intelligence

    Cowling, PI., Fennell, R., Hogg, R., King, G., Rhodes, P. & Sephton, N., 2004, Proceedings of The International Conference on Computer Games: Artificial Intelligence, Design and Education (CGAIDE).

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

  460. Using document dimensions for enhanced information retrieval

    Jayasooriya, T. & Manandhar, S., 2004, APPLIED COMPUTING, PROCEEDINGS. Manandhar, S., Austin, J., Desai, U., Oyanagi, Y. & Talukder, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 145-152 8 p.

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

  461. Using fuzzy self-organising maps for safety critical systems

    Kurd, Z. & Kelly, T. P., 2004, COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS. Heisel, M., Liggesmeyer, P. & Wittmann, S. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 17-30 14 p.

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

  462. Watermarking 3D shapes using local moments

    Bors, A. G., 2004, ICIP: 2004 INTERNATIONAL CONFERENCE ON IMAGE PROCESSING, VOLS 1- 5. NEW YORK: IEEE, p. 729-732 4 p.

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

  463. Worst-case execution time analysis for dynamic branch predictors

    Bate, I. & Reutemann, R., 2004, 16TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 215-222 8 p.

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

  464. Worst-Case Execution Time Analysis for Dynamic Branch Predictors

    Bate, I. & Reutemann, R., 1 Jul 2004, Proceedings of the 16th Euromicro Conference on Real-Time Systems. Catania, Italy: IEEE, p. 215-222 8 p.

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

  465. A coupled relaxation method for finding perceptual structures

    Wilson, R. C., 18 Aug 2004, STRUCTURAL, SYNTACTIC, AND STATISTICAL PATTERN RECOGNITION, PROCEEDINGS. Fred, A., Caelli, T., Duin, RPW., Campilho, A. & DeRidder, D. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 224-232 9 p.

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

  466. Contour segments from spline interpolation

    Ludtke, N. & Wilson, R. C., 18 Aug 2004, STRUCTURAL, SYNTACTIC, AND STATISTICAL PATTERN RECOGNITION, PROCEEDINGS. Fred, A., Caelli, T., Duin, RPW., Campilho, A. & DeRidder, D. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 134-142 9 p.

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

  467. Scale descriptors through phase unwrapping

    Hughes, A. & Wilson, R. C., 18 Aug 2004, STRUCTURAL, SYNTACTIC, AND STATISTICAL PATTERN RECOGNITION, PROCEEDINGS. Fred, A., Caelli, T., Duin, RPW., Campilho, A. & DeRidder, D. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 530-537 8 p.

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

  468. Metrics are fitness functions too

    Harman, M. & Clark, J. A., 1 Sep 2004, Proceedings of 10th International Symposium on Software Metrics 2004. p. 58 - 69

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

  469. 2005
  470. "Devices are people too" - Using process patterns to elicit security requirements in novel domains: A ubiquitous healthcare example

    Liu, Y., Clark, J. A. & Stepney, S., 2005, SECURITY IN PERVASIVE COMPUTING, PROCEEDINGS. Hutter, D. & Ullmann, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 31-45 15 p.

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

  471. A Markov chain model of the B-cell algorithm

    Clark, E., Hone, A. & Timmis, J., 2005, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Jacob, C., Pilat, ML., Bentley, PJ. & Timmis, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 318-330 13 p.

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

  472. A comparative study of real-valued negative selection to statistical anomaly detection techniques

    Stibor, T., Timmis, J. & Eckert, C., 2005, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Jacob, C., Pilat, ML., Bentley, PJ. & Timmis, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 262-275 14 p.

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

  473. A generic framework for population-based algorithms, implemented on multiple FPGAs

    Newborough, J. & Stepney, S., 2005, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Jacob, C., Pilat, ML., Bentley, PJ. & Timmis, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 43-55 13 p.

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

  474. A linear generative model for graph structure

    Luo, B., Wilson, R. C. & Hancock, E. R., 2005, GRAPH-BASED REPRESENTATIONS IN PATTERN RECOGNITION, PROCEEDINGS. Brun, L. & Vento, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 54-62 9 p.

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

  475. A neural supergraph matching architecture

    Klinger, S. & Austin, J., 2005, Proceedings of the International Joint Conference on Neural Networks (IJCNN), Vols 1-5. NEW YORK: IEEE, p. 2453-2458 6 p.

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

  476. A pattern restore method for restoring missing patterns in server side clickstream data

    Ting, I-H., Kudenko, D. & Kimble, C., 2005, Web Technologies Research and Development - APWeb 2005. Zhang, Y., Tanaka, K., Yu, JX., Wang, S. & Li, M. (eds.). Berlin / Heidelberg: Springer, p. 501-512 11 p. (Lecture Notes in Computer Science; vol. 3399).

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

  477. A pragmatic perspective on UML for system-on-chip design

    Indrusiak, L. S., 2005, Norchip 2005, Proceedings. NEW YORK: IEEE, p. 169-171 3 p.

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

  478. Adaptive Agents and Multi-Agent Systems II: Adaptation and Multi-Agent Learning

    Kudenko, D. & Kazakov, D., 2005, Adaptive Agents and Multi-Agent Systems II: Adaptation and Multi-Agent Learning.

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

  479. Advantages of the Linz-Sprott weak nonlinearity on the FPGA implementation of chaotic systems: a comparative analysis

    Indrusiak, L. S., Dutra e Silva Junior, E. C. & Glesner, M., 2005, ISSCS 2005: International Symposium on Signals, Circuits and Systems, Proceedings. NEW YORK: IEEE, p. 753-756 4 p.

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

  480. Agile security using an incremental security architecture

    Chivers, H., Paige, R. F. & Ge, X. C., 2005, EXTREME PROGRAMMING AND AGILE PROCESSES IN SOFTWARE ENGINEERING, PROCEEDINGS. Baumeister, H., Marchesi, M. & Holcombe, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 57-65 9 p.

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

  481. An agile and extensible code generation framework

    Kolovos, D. S., Paige, R. F. & Polack, F. A. C., 2005, EXTREME PROGRAMMING AND AGILE PROCESSES IN SOFTWARE ENGINEERING, PROCEEDINGS. Baumeister, H., Marchesi, M. & Holcombe, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 226-229 4 p.

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

  482. An architecture for modelling emergence in CA-like systems

    Polack, F., Stepney, S., Turner, H., Welch, P. & Barnes, F., 2005, ADVANCES IN ARTIFICAL LIFE, PROCEEDINGS. Capcarrere, MS., Freitas, AA., Bentley, PJ., Johnson, CG. & Timmis, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 433-442 10 p.

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

  483. An automated approach to specification-based program inspection

    Liu, S. Y., Nagoya, F., Chen, Y. T., Goya, M. & McDermid, J. A., 2005, FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS. Lau, KK. & Banach, R. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 421-434 14 p.

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

  484. An object-oriented structuring for Z based on views

    Amalio, N., Polack, F. & Stepney, S., 2005, ZB 2005: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B, PROCEEDINGS. Treharne, H., King, S., Henson, M. & Schneider, S. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 262-278 17 p.

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

  485. Application areas of AIS: The past, the present and The Future

    Hart, E. & Timmis, J., 2005, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Jacob, C., Pilat, ML., Bentley, PJ. & Timmis, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 483-497 15 p.

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

  486. Baselines for joint-action reinforcement learning of coordination in cooperative multi-agent systems

    Carpenter, M. & Kudenko, D., 2005, ADAPTIVE AGENTS AND MULTI-AGENT SYSTEMS II. Kudenko, D., Kazakov, D. & Alonso, E. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 55-72 18 p.

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

  487. Biomolecular immune-computer: Theoretical basis and experimental simulator

    Goncharova, L. B., Jacques, Y., Martin-Vide, C., Tarakanov, A. O. & Timmis, J. I., 2005, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Jacob, C., Pilat, ML., Bentley, PJ. & Timmis, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 72-85 14 p.

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

  488. Board Evaluation For The Virus Game.

    Cowling, P. I., 2005, CIG.

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

  489. Choosing the fittest subset of low level heuristics in a hyperheuristic framework

    Chakhlevitch, K. & Cowling, P., 2005, European Conference on Evolutionary Computation in Combinatorial Optimization. p. 23-33 11 p.

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

  490. Combined Simulator Statistics and Block-Code Sampling to Study Performance Enhancement of Microarchitecture

    Huibin, S., Bailey, C., Farrall, G., Hastie, N. & Jenkins, S., 2005, Proceedings of IEEE International System-On-Chip Conference 2005. p. 33 - 36

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

  491. Comparing resource sharing with information exchange in co-operative agents, and the role of environment structure

    Bartlett, M. & Kazakov, D., 2005, ADAPTIVE AGENTS AND MULTI-AGENT SYSTEMS II. Kudenko, D., Kazakov, D. & Alonso, E. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 41-54 14 p.

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

  492. Conceptual modelling of knowledge-based systems using UML

    Abdullah, M. S., Paige, R., Thompson, C., Benest, A. & Kimble, C., 2005, Artificial Intelligence Applications and Innovations II. Li, DL. & Wang, B. (eds.). NEW YORK: SPRINGER, p. 23-33 11 p.

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

  493. Consistency control in data-driven design automation environments

    Indrusiak, L. S., Murgan, T., Glesner, M. & Reis, R., 2005, ISSCS 2005: International Symposium on Signals, Circuits and Systems, Proceedings. NEW YORK: IEEE, p. 629-632 4 p.

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

  494. Control law diagrams in circus

    Cavalcanti, A., Clayton, P. & O'Halloran, C., 2005, FM 2005: FORMAL METHODS, PROCEEDINGS. Fitzgerald, J., Hayes, IJ. & Tarlecki, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 253-268 16 p.

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

  495. Dealing with Emergent Properties in Embedded Systems

    Bate, I., 2005, Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications. p. 63-66 4 p.

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

  496. Dealing with emergent properties in embedded systems

    Bate, I., 2005, 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Proceedings. LOS ALAMITOS: IEEE COMPUTER SOC, p. 63-66 4 p.

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

  497. Defining and decomposing safety policy for systems of systems

    Hall-May, M. & Kelly, T., 2005, COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS. Winther, R., Gran, BA. & Dahll, G. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 37-51 15 p.

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

  498. Design for flexible and scalable avionics systems

    Bate, I. & Emberson, P., 2005, 2005 IEEE Aerospace Conference, Vols 1-4. NEW YORK: IEEE, p. 2837-2848 12 p.

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

  499. Designing a binary neural network co-processor

    Freeman, M. & Austin, J., 2005, DSD 2005: 8th Euromicro Conference on Digital System Design, Proceedings. Wolinski, C. (ed.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 223-226 4 p.

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

  500. Designing a domain-specific contract language: A metamodelling approach

    Chan, Z. E. & Paige, R. F., 2005, MODEL DRIVEN ARCHITECTURE FOUNDATIONS AND APPLICATIONS, PROCEEDINGS. Hartman, A. & Kreische, D. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 175-189 15 p.

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

  501. Developing a UML profile for modelling knowledge-based systems

    Abdullah, M. S., Kimble, C., Paige, R., Benest, I. & Evans, A., 2005, MODEL DRIVEN ARCHITECTURE. Assmann, U., Aksit, M. & Rensink, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 220-233 14 p.

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

  502. Distributed health monitoring for aero-engines on the GRID: DAME

    Jackson, T., Austin, J., Fletcher, M., Jessop, M., Liang, B., Pasley, A., Ong, M., Ren, X., Allan, G., Kadirkamanathan, V., Thompson, H. A. & Fleming, P. J., 2005, 2005 IEEE Aerospace Conference, Vols 1-4. NEW YORK: IEEE, p. 3738-3747 10 p.

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

  503. Efficient Integration of Bimodal Branch Prediction and Pipeline Analysis

    Bate, I. & Reutemann, R., 2005, Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications. p. 39-44 6 p.

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

  504. Efficient access of remote resources in embedded networked computer systems

    Usher, P. S. & Audsley, N. C., 2005, EMBEDDED AND UBIQUITOUS COMPUTING - EUC 2005 WORKSHOPS, PROCEEDINGS. Enokido, T., Yan, L., Xiao, B., Kim, D., Dai, Y. & Yang, LT. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 632-641 10 p.

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

  505. Efficient integration of bimodal branch prediction and pipeline analysis

    Bate, I. & Reutemann, R., 2005, 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Proceedings. LOS ALAMITOS: IEEE COMPUTER SOC, p. 39-44 6 p.

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

  506. Entanglement in quantum information processing

    Braunstein, S. L., 2005, Decoherence, Entanglement and Information Protection in Complex Quantum Systems. Akulin, VM., Sarfati, A., Kurizki, G. & Pellegrin, S. (eds.). DORDRECHT: SPRINGER, p. 17-26 10 p.

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

  507. Evolution of a human-competitive quantum fourier transform algorithm using genetic programming

    Massey, P., Clark, J. A. & Stepney, S., 2005, Proceedings of the 2005 Conference on Genetic and Evolutionary Computation. New York, NY, USA: ACM, p. 1657-1663 7 p. (GECCO '05).

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

  508. Evolving the game of life

    Kazakov, D. & Sweet, M., 2005, ADAPTIVE AGENTS AND MULTI-AGENT SYSTEMS II. Kudenko, D., Kazakov, D. & Alonso, E. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 132-146 15 p.

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

  509. Experiences on Actor-oriented Design of Reconfigurable Systems

    Indrusiak, L. S. & Glesner, M., 2005, Proceedings of the 1st International Workshop on Reconfigurable Communication-centric Systems-on-Chip, ReCoSoC 2005, Montpellier, France, June 2005. Sassatelli, G., Glesner, M., Torres, L., Indrusiak, L. S. & Hollstein, T. (eds.). Univ. Montpellier II, p. 79-84 6 p.

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

  510. Exploiting informative priors for Bayesian classification and regression trees

    Angelopoulos, N., Cussens, J., Pack Kaelbling, L. (ed.) & Saffiotti, A. (ed.), 2005, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence. Professional Book Center, p. 641-646 5 p.

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

  511. Extended analysis with reduced pessimism for systems with limited paralellism

    Bletsas, K. & Audsley, N. C., 2005, 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Proceedings. LOS ALAMITOS: IEEE COMPUTER SOC, p. 525-531 7 p.

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

  512. Extending ravenscar with CSP channels

    Atiya, D. A. & King, S., 2005, RELIABLE SOFTWARE TECHNOLOGY ADA-EUROPE 2005, PROCEEDINGS. Vardanega, T. & Wellings, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 79-90 12 p.

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

  513. Finding the number of clusters for nonparametric segmentation

    Nasios, N. & Bors, A. G., 2005, COMPUTER ANALYSIS OF IMAGES AND PATTERNS, PROCEEDINGS. Gagalowicz, A. & Philips, W. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 213-221 9 p.

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

  514. Growing music: Musical interpretations of L-systems

    Worth, P. & Stepney, S., 2005, APPLICATIONS OF EVOLUTIONARY COMPUTING, PROCEEDINGS. Rothlauf, F., Branke, J., Cagnoni, S., Corne, DW., Drechsler, R., Jin, Y., Machado, P., Marchiori, E., Romero, J., Smith, GD. & Squillero, G. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 545-550 6 p.

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

  515. Haptic and tactile feedback in directed movements

    Subramanian, S., Gutwin, C., Sanchez, M. N., Power, C. D. & Liu, J., 2005, Proceedings of GOTHI-05 Guidelines On Tactile and Haptic Interactions. University of Saskatchewan, p. 37 1 p.

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

  516. Hierarchical fixed priority pre-emptive scheduling

    Davis, R. I. & Burns, A., 2005, IEEE Real-Time Systems Symposium. p. 389-398 10 p.

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

  517. Immunising automated teller machines

    Ayara, M., Timmis, J., de Lemos, R. & Forrest, S., 2005, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Jacob, C., Pilat, ML., Bentley, PJ. & Timmis, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 404-417 14 p.

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

  518. Impact of Embedded Systems on RTOS Use and Design

    Andrews, D., Bate, I., Nolte, T., Otero-Perez, C. M. & Petters, S. M., 2005, Proceedings of the Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT). p. 13-20 8 p.

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

Previous 1 2 3 4 Next