Search research publications and outputs

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

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

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

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

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

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

  5. The Interaction between Hardware, Software, and Algorithms

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

    Research output: Chapter in Book/Report/Conference proceedingChapter

  6. 1986
  7. Higher Level Operations using Processor Arrays

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

    Research output: Chapter in Book/Report/Conference proceedingChapter

  8. Motion Analysis

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

    Research output: Chapter in Book/Report/Conference proceedingChapter

  9. Software for sc \Clip4

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

    Research output: Chapter in Book/Report/Conference proceedingChapter

  10. 1987
  11. Assurance

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

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

    Research output: Chapter in Book/Report/Conference proceedingChapter

  14. Security Models and Enterprise Models

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

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

  15. 1989
  16. Assurance in High-Integrity Software

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

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

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

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

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

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

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

    Research output: Chapter in Book/Report/Conference proceedingChapter

  20. Integrated Project Support Environments and Software Engineering Toolsets

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

    Research output: Chapter in Book/Report/Conference proceedingChapter

  21. Security Policies for Integrated Project Support Environments

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

    Research output: Chapter in Book/Report/Conference proceedingChapter

  22. Specifying Security Properties

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

    Research output: Chapter in Book/Report/Conference proceedingChapter

  23. 1991
  24. ADAPTIVE ESTIMATION OF HYSTERESIS THRESHOLDS

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

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

  25. CADiZ - Computer Aided Design in Z

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

    Research output: Chapter in Book/Report/Conference proceedingChapter

  26. LINEARITY AND LAZINESS

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

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

  27. Software Development Process Models

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

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

  29. 1992
  30. A HIERARCHICAL EVIDENCE COMBINING EDGE DETECTOR

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

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

  31. A RELATIONAL PROGRAMMING SYSTEM WITH INFERRED REPRESENTATIONS

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

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

  32. MULTIRESOLUTION EDGE LABELING USING HIERARCHICAL-RELAXATION

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

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

  33. RELAXATIONAL REFINEMENT OF INTENSITY RIDGES

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

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

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

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

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

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

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

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

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

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

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

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

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

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

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

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

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

  41. Birds of a feather Group on Safety Critical Systems

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

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

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

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

    Research output: Chapter in Book/Report/Conference proceedingChapter

  43. Generating explicit orderings for non-monotonic logics

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

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

  44. HIERARCHICAL RELAXATION

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

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

  45. HOOD

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

    Research output: Chapter in Book/Report/Conference proceedingChapter

  46. Hypergraph Rewriting: Critical Pairs and Undecidability of Confluence

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

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

  47. Issues in the Development of Safety Critical Systems

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

    Research output: Chapter in Book/Report/Conference proceedingChapter

  48. RESOLVING EDGE-LINE AMBIGUITIES USING PROBABILISTIC RELAXATION

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

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

  49. Risk Management

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

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  60. Enabling technology for users with special needs

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

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

  61. FEATURE TRACKING BY MULTI-FRAME RELAXATION

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

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

  62. Formal Methods for Real-Time Systems

    Barroca, L. M., McDermid, J. A., Halang, W. A. (ed.) & Stoyenko, A. D. (ed.), 1994, Real-Time Computing. Berlin: Springer-verlag

    Research output: Chapter in Book/Report/Conference proceedingChapter

  63. Interface modeling issues in providing access to GUIs for the visually impaired

    Edwards, A. D. N., Mynatt, E. D. & Thatcher, J., 1994, Proceedings of the ACM Conference on Assistive Technologies, ASSETS 1994, Marina Del Rey, California, USA, October 31 - November 3, 1994. ACM, p. 157 1 p.

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

  64. Mathtalk: The Design of an Interface for Reading Algebra Using Speech

    Stevens, R. D. & Edwards, A. D. N., 1994, Computers for Handicapped Persons, 4th International Conference, ICCHP'94, Vienna, Austria, September 14-16, 1994, Proceedings. Zagler, W. L., Bushy, G. & Wagner, R. (eds.). Springer, Vol. 860. p. 313-320 8 p. (Lecture Notes in Computer Science).

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

  65. NOISE MODELS FOR LINEAR FEATURE DETECTION IN SAR IMAGES

    EVANS, A. N., SHARP, N. G. & HANCOCK, E. R., 1994, ICIP-94 - PROCEEDINGS, VOL I. LOS ALAMITOS: I E E E, COMPUTER SOC PRESS, p. 466-470 5 p.

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

  66. Non-Interference Through Determinism

    Roscoe, A. W., Woodcock, J. & Wulf, L., 1994, Computer Security - ESORICS 94, Third European Symposium on Research in Computer Security, Brighton, UK, November 7-9, 1994, Proceedings. Gollmann, D. (ed.). SPRINGER, Vol. 875. p. 33-53 21 p. (Lecture Notes in Computer Science).

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

  67. RELATIONAL MATCHING BY DISCRETE RELAXATION

    WILSON, R. C., EVANS, A. N. & HANCOCK, E. R., 1994, BMVC94 - PROCEEDINGS OF THE 5TH BRITISH MACHINE VISION CONFERENCE, VOLS 1 AND 2. YORK: BRITISH MACHINE VISION CONF, p. 43-53 11 p.

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

  68. Safety Engineering and Assurance for Real-Time Systems

    McDermid, J. A., Halong, W. A. (ed.) & Stoyenko, A. D. (ed.), 1994, Real-Time Computing. Springer-Verlag

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

  69. The Formal Specification in Z of Defence Standard 00-56

    Woodcock, J., Gardiner, P. H. B. & Hulance, J. R., 1994, Z User Workshop, Cambridge, UK, 29-30 June 1994, Proceedings. Bowen, J. P. & Hall, J. A. (eds.). Springer/BCS, p. 9-28 20 p. (Workshops in Computing).

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

  70. The design and evaluation of an auditory-enhanced scrollbar

    Brewster, S. A., Wright, P. C. & Edwards, A. D. N., 1994, HUMAN FACTORS IN COMPUTING SYSTEMS, CHI '94 CONFERENCE PROCEEDINGS - CELEBRATING INTERDEPENDENCE. Adelson, B., Dumais, S. & Olson, J. (eds.). NEW YORK: ASSOC COMPUTING MACHINERY, p. 173-179 7 p.

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

  71. What is the Right Specification, Design and Implementation Paradigm for Real-Time Applications?

    McDermid, J. A., Halang, W. A. (ed.) & Stoyenko, A. D. (ed.), 1994, Real-Time Computing. Springer-verlag

    Research output: Chapter in Book/Report/Conference proceedingChapter

  72. Appropriate mechanisms for the support of optional processing in hard real-time systems

    Audsley, N. C., Davis, R. I., Burns, A. & Wellings, A. J., May 1994, IEEE Workshop on Real-Time Operating Systems and Software. p. 23-27

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

  73. Integrating Best Effort And Fixed Priority Scheduling

    Audsley, N. C., Burns, A., Davis, R. I. & Wellings, A. J., Jun 1994, IFIP Workshop on Real-Time Programming.

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

  74. Mechanisms for Enhancing the Flexibility and Utility of Hard Real-Time Systems

    Audsley, N. C., Davis, R. I. & Burns, A., Dec 1994, IEEE Real-Time Systems Symposium. p. 12-21 10 p.

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

  75. 1995
  76. A Bayesian Analysis of Algorithms for Learning Finite Functions

    Cussens, J., 1995, Machine Learning: Proceedings of the Twelfth International Conference (ML95). Prieditis, A. & Russell, S. (eds.). San Francisco, CA: Morgan Kaufmann Publishers, p. 142-149 8 p.

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

  77. A Bayesian approach to 3D surface fitting and refinement.

    Turner, M. & Hancock, E. R., 1995, PROCEEDINGS OF THE 6TH BRITISH MACHINE VISION CONFERENCE 1995, VOLS 1 AND 2. Pycock, D. (ed.). GUILDFORD: B M V A PRESS, p. 67-76 10 p.

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

  78. Dependability terminology: Similarities and differences

    Prasad, D., McDermid, J. & Wand, I., 1995, COMPASS '95 - PROCEEDINGS OF THE TENTH ANNUAL CONFERENCE ON COMPUTER ASSURANCE. NEW YORK: I E E E, p. 213-221 9 p.

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

  79. Enabling technology for users with special needs

    Edwards, A., Edwards, A. D. N. & Mynatt, E. D., 1995, CHI 95 Conference Companion. p. 351-352 2 p.

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

  80. Formal Specification of an Aerospace System: the Attitude Monitor

    Barroca, LM., Coombes, A. C., Fitzgerald, J. C., McDermid, J. A., Saeed, A., Spencer, L., Hinchey, M. (ed.) & Bowen, J. (ed.), 1995, Applications of Formal Methods. Prentice Hall, p. 307-332 26 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  81. Gadgets: Lazy functional components for graphical user interfaces

    Noble, R. & Runciman, C., 1995, PROGRAMMING LANGUAGES: IMPLEMENTATIONS, LOGICS AND PROGRAMS. Hermenegildo, M. & Swierstra, SD. (eds.). BERLIN 33: SPRINGER-VERLAG BERLIN, p. 321-340 20 p.

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

  82. Infiltration of Al2O3 short-fibre preforms during squeeze casting of A357 Al alloy

    Kang, H. G., Anderson, P. R. G. & Cantor, B., 1995, SYNTHESIS/PROCESSING OF LIGHTWEIGHT METALLIC MATERIALS. Froes, FH., Suryanarayana, C. & WardClose, CM. (eds.). WARRENDALE: MINERALS, METALS & MATERIALS SOC, p. 153-174 22 p.

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

  83. Linda implementation revisited

    Douglas, A., Wood, A. M. & Rowstron, A., 1995, TRANSPUTER AND OCCAM DEVELOPMENTS. Nixon, P. (ed.). AMSTERDAM: I O S PRESS, p. 125-138 14 p.

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

  84. Pointing in an auditory interface for blind users

    Pitt, I. J. & Edwards, A. D. N., 1995, 1995 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5. NEW YORK: I E E E, p. 280-285 6 p.

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

  85. Real-time distributed computing

    Burns, A., Audsley, N. C. & Wellings, A. J., 1995, Proceedings of 5th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS 1995), August 28-30, 1995, Chenju, Korea. IEEE Computer Society, p. 34-40 7 p.

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

  86. Relational matching with dynamic graph structures

    Wilson, R. C. & Hancock, E. R., 1995, FIFTH INTERNATIONAL CONFERENCE ON COMPUTER VISION, PROCEEDINGS. LOS ALAMITOS: I E E E, COMPUTER SOC PRESS, p. 450-456 3 p.

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

  87. Safety Arguments, Software and System Reliability

    McDermid, J. A. & Pham, H. (ed.), 1995, Software Reliability and Testing. New York: IEEE Computer Society Press, p. 82-89 8 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  88. Safety Case Development: Current Practices, Future Prospects

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

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

  89. The sonic enhancement of graphical buttons

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

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

  90. Towards Operational Measures for Computer Security: Concepts

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

    Research output: Chapter in Book/Report/Conference proceedingChapter

  91. Towards Operational Measures of Computer Security: Concepts

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

    Research output: Chapter in Book/Report/Conference proceedingChapter

  92. sc \Linda Implementation Revisited

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

    Research output: Chapter in Book/Report/Conference proceedingChapter

  93. Flexible scheduling for adaptable real-time systems

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

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

  94. Hybrid algorithms for dynamic schedulability testing

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

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

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

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

    Research output: Chapter in Book/Report/Conference proceedingChapter

  96. Real-Time System Scheduling

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

    Research output: Chapter in Book/Report/Conference proceedingChapter

  97. Dual priority scheduling

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

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

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

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

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

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

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

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

  101. An Approach to the Evaluation of Assistive Technology

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

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

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

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

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

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

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

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

  104. Analysing APEX applications

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

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

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

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

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

  106. Cartographic indexing into a database of remotely sensed images

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

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

  107. Cartographic matching with millimetre radar images

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

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

  108. Engineering Safety Critical Systems

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

    Research output: Chapter in Book/Report/Conference proceedingChapter

  109. Flexible Scheduling Theory for Advanced Engine Controllers

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

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

  110. Formal analysis of a real-time kernel specification

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

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

  111. Graph Unification and Matching

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

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

  112. Hand Tension as a Gesture Segmentation Cue

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  140. Measurement and Assurance

    McDermid, J. A., Redmill, F. (ed.) & Dale, C. (ed.), 1997, Life Cycle Management for Dependability. London: Springer-Verlag, p. 77-104 28 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  158. An Assessment of Technologies for Multimedia Data streaming

    Crispin-Bailey, C., Maierhofer, M. & Sotudeh, R., 1998, Technologies for the Information Society: Developments and Opportunities. Stanford-Smith, B., Kidd, P. & Roger, J-Y. (eds.). IOS Press, p. 514-519 5 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

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

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

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

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

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

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

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

  169. Jisys: Development of an artificial immune system for real world applications

    Hunt, J., Timmis, J., Cooke, D., Neal, M. & King, C., 1998, Artificial Immune Systems and their Applications. Springer, p. 157-186 30 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  185. An Efficient VLSI Architecture for an Enhanced TSS Algorithm for Video Coding Applications

    Xu, D., Crispin-Bailey, C. & Sotudeh, R., Oct 1998, Recent Advances in Information Science and Technology. World Scientific Publishing, p. 82-86 5 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

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

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

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

  193. An Introduction to Inductive Logic Programming and Learning Language in Logic

    Dzeroski, S., Cussens, J. & Manandhar, S., 1999, Learning Language in Logic : Lecture Notes in Artificial Intelligence 1925. Springer, Vol. 1925/2000. p. 3-36 (Lecture Notes in Computer Science/ Lecture Notes in Artificial Intelligence).

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  219. Non resident fathers in Britain

    Bradshaw, J., Stimson, C., Skinner, C. & Williams, J., 1999, Changing Britain: families and households in the 1990s. McRae, S. (ed.). Oxford: Oxford University Press, p. pp. 404-426 23 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

  223. Term Graph Rewriting

    Plump, D., 1999, Handbook of Graph Grammars and Computing by Graph Transformation, Volume 2: Applications, Languages and Tools. Ehrig, H., Engels, G., Kreowski, H-J. & Rozenberg, G. (eds.). World Scientific Publishing, Vol. 2. p. 3-61

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

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

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

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

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

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

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

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

  231. 2000
  232. (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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  247. Experiments in Inductive Chart Parsing

    Cussens, J. & Pulman, S., 2000, Learning Language in Logic. Cussens, J. & Dzeroski, S. (eds.). SPRINGER, Vol. 1925. (LNAI).

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

  248. Family diversity and poverty and the mental wellbeing of young people

    Clarke, L., Bradshaw, J. & Williams, J., 2000, Changing Families, Changing Communities: Researching Health and Wellbeing Among Children and Young People, Proceedings of a joint conference held by the HEA Research Directorate and Young People's Health Network. Ryan, H. & Bull, J. (eds.). London: Health Development Agency, p. pp. 39-58 20 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  274. Artificial immune systems: Using the immune system as inspiration for data mining

    Timmis, J. & Knight, T., 2001, Data Mining: A Heuristic Approach. Idea Group, p. 209-230 22 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

  277. Connectionist propositional logic a simple correlation matrix memory based reasoning system

    Kustrin, D. & Austin, J., 2001, EMERGENT NEURAL COMPUTATIONAL ARCHITECTURES BASED ON NEUROSCIENCE: TOWARDS NEUROSCIENCE-INSPIRED COMPUTING. BERLIN: SPRINGER-VERLAG BERLIN, p. 534-546 13 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

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

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

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

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

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

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

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

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

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

  290. Integrating Probabilistic and Logical Reasoning

    Cussens, J., 2001, Foundations of Bayesianism. Corfield, D. & Williamson, J. (eds.). Dordrecht: Kluwer, Vol. 24. p. 241-260 20 p. (Applied Logic Series).

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

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

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

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

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

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

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

  297. Scalability in Linda-like Coordination Systems

    Menezes, R., Tolksdorf, R., Wood, A. M., Omicini, A. (ed.), Zambonelli, F. (ed.), Klusch, M. (ed.) & Baldwin, R. T. (ed.), 2001, Coordination of Internet Agents: Models, Technologies and Applications. Springer, p. 299-319 21 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

  300. The cost-effectiveness of therapeutics for Alzheimer's disease

    Manca, A., Davies, L. M. & Burns, A., 2001, Neuropsychopharmacology: The fifth Generation of Progress. Lippincott Williams & Wilkins

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

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

  305. Towards novel neuroscience-inspired computing

    Wermter, S., Austin, J., Willshaw, D. & Elshaw, M., 2001, EMERGENT NEURAL COMPUTATIONAL ARCHITECTURES BASED ON NEUROSCIENCE: TOWARDS NEUROSCIENCE-INSPIRED COMPUTING. BERLIN: SPRINGER-VERLAG BERLIN, p. 119 19 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

  310. A Search-Based Automated Test-Data Generation Framework for Safety-Critical Systems

    Tracey, N. J., Clark, J. A., McDermid, J. A., Mander, K. C. & Henderson, P. (ed.), 2002, Systems Engineering for Business Process Change: New Directions - Collected Papers from the EPSRC Research Programme. Springer-verlag, p. 174-213 40 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

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

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

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

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

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

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

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

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

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

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

  324. Artificial Immune Systems: A Novel Approach to Pattern Recognition

    Castro, L. N. D. & Timmis, J., 2002, Artificial Neural Networks in Pattern Recognition. University of Paisley, p. 67-84 18 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

  326. CONVERSE: A Family Oriented Software Development Process for Engine Controllers

    Buttle, D. L., Clark, J. A., McDermid, J. A., Stephenson, Z. R. & Henderson, P. (ed.), 2002, Systems Engineering for Business Process Change. Springer-verlag, p. 38-73 36 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  344. Issues in learning language in logic

    Cussens, J., 2002, COMPUTATIONAL LOGIC: LOGIC PROGRAMMING AND BEYOND, PT II. BERLIN: SPRINGER-VERLAG BERLIN, p. 491-505 15 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  360. Software Hazard and Safety Analysis

    McDermid, J. A., Damm, W. (ed.) & Olderog, E-R. (ed.), 2002, Formal Techniques in Real-Time and Fault-Tolerant Systems. Damn, W. & Olderog, E-R. (eds.). Springer-verlag, p. 23-36 14 p. (Lecture Notes in Computer Science; vol. 2469).

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

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

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

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

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

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

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

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

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

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

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

  372. A Multi-layered Immune Inspired Machine Learning Algorithm

    Knight, T. & Timmis, J., 2003, Applications and Science in Soft Computing. Springer, p. 195-202 8 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  450. An overview of artificial immune systems

    Timmis, J., Knight, T., Castro, L. N. D. & Hart, E., 2004, Computation in Cells and Tissues: Perspectives and Tools for Thought. Springer, p. 51-86 36 p. (Natural Computation).

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  471. Improving certification capability through automatic code generation

    Audsley, N. C., Bate, I., Crook-Dawkins, S. & McDermid, J., 2004, Building the Information Society: IFIP 18th World Computer Congress Topical Sessions. Springer Boston, Vol. IFIP Congress Topical Sessions. (IFIP International Federation for Information Processing).

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  521. 2005
  522. "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

Previous 1 2 3 4 Next