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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  62. 1996
  63. Ada 95: An Effective Concurrent Programming Language

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

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

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

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

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

  65. An Approach to the Evaluation of Assistive Technology

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

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

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

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

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

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

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

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

  68. Analysing APEX applications

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

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

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

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

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

  70. Cartographic indexing into a database of remotely sensed images

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

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

  71. Cartographic matching with millimetre radar images

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

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

  72. Flexible Scheduling Theory for Advanced Engine Controllers

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

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

  73. Formal analysis of a real-time kernel specification

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

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

  74. Graph Unification and Matching

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

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

  75. Hand Tension as a Gesture Segmentation Cue

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  187. 2000
  188. (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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  219. 2001
  220. 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  256. 2002
  257. 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  312. 2003
  313. 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  380. 2004
  381. 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  461. 2005
  462. "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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  480. Board Evaluation For The Virus Game.

    Cowling, P. I., 2005, CIG.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  511. Implementing application specific RTOS policies using reflection

    Patil, A. & Audsley, N., 2005, RTAS 2005: 11th IEEE Real Time and Embedded Technology and Applications Symposium, Proceedings. LOS ALAMITOS: IEEE COMPUTER SOC, p. 438-447 10 p.

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

  512. Inspiration for the next generation of artificial immune systems

    Andrews, P. S. & Timmis, J., 2005, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Jacob, C., Pilat, ML., Bentley, PJ. & Timmis, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 126-138 13 p.

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

  513. Integrating hybrid garbage collection with dual priority scheduling

    Chang, Y. & Wellings, A., 2005, 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Proceedings. LOS ALAMITOS: IEEE COMPUTER SOC, p. 185-188 4 p.

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

  514. Isomorphic Types for Open Coordination Systems

    Wilkinson, A., Zheng, Z. Q. (ed.) & Wood, A. M., 2005, Proceedings of the 17th IASTED International Conference on Parallel and Distributed Computing and Systems. ACTA Press, p. 404-408 4 p.

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

  515. Learning to coordinate using commitment sequences in cooperative multi-agent systems

    Kapetanakis, S., Kudenko, D. & Strens, M. J. A., 2005, ADAPTIVE AGENTS AND MULTI-AGENT SYSTEMS II. Kudenko, D., Kazakov, D. & Alonso, E. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 106-118 13 p.

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

  516. MCAR: multi-class classification based on association rule

    Thabtah, F., Cowling, P. & Peng, Y., 2005, Computer Systems and Applications, 2005. The 3rd ACS/IEEE International Conference on. p. 33 1 p.

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

  517. Maxbeam2: a new method of identifying salient Beamlets

    Edwards, J., Nicholson, J. & O'Keefe, S., 2005, Proc. SPIE 5914: Wavelets XI. San Diego, CA: SPIE--The International Society for Optical Engineering, p. 695-703

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

  518. Modeling and prototyping of communication systems using Java: A case study

    Indrusiak, L. S., Prudencio, R. B. & Glesner, M., 2005, 16th International Workshop on Rapid System Prototyping, Proceedings. LOS ALAMITOS: IEEE COMPUTER SOC, p. 225-231 7 p.

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

Previous 1 2 3 4 Next