Search research publications and outputs

  1. 2010
  2. A Hoare Calculus for Graph Programs

    Poskitt, C. M. & Plump, D., 2010, Proceedings 5th International Conference on Graph Transformation (ICGT 2010). Ehrig, H., Rensink, A., Rozenberg, G. & Schürr, A. (eds.). Springer, Vol. 6372 . p. 139-154 (Lecture Notes in Computer Science; vol. 6372).

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

  3. A Linear Approach of 3D Face Shape and Texture Recovery using a 3D Morphable Model

    Aldrian, O. & Smith, W. A. P., 2010, Proceedings of the British Machine Vision Conference.

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

  4. A Neural-Endocrine Architecture for Foraging in Swarm Robotic Systems

    Timmis, J., Murray, L. & Neal, M., 2010, NICSO 2010: NATURE INSPIRED COOPERATIVE STRATEGIES FOR OPTIMIZATION. Gonzalez, JR., Pelta, DA., Cruz, C., Terrazas, G. & Krasnogor, N. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 284. p. 319-330 12 p.

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

  5. A Safety Case Approach to Assuring Configurable Architectures of Safety-Critical Product Lines

    Habli, I. & Kelly, T., 2010, ARCHITECTING CRITICAL SYSTEMS, PROCEEDINGS. Giese, H. (ed.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6150 LNCS. p. 142-160 19 p.

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

  6. A feedback-driven timing synchronisation protocol for cellular sensornets

    Tate, J. & Bate, I., 2010, Proceedings of the 7th IEEE International Conference on Mobile Ad-hoc and Sensor Systems. IEEE, p. 482-491 10 p.

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

  7. A locality model for the real-time specification for Java

    Malik, A. H., Wellings, A. J. & Chang, Y., 2010, Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2010, Prague, Czech Republic, August 19-21, 2010. Kalibera, T. & Vitek, J. (eds.). ACM, p. 36-45 10 p. (ACM International Conference Proceeding Series).

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

  8. AEINS: The role of interactive narrative in fostering character education

    Hodhod, R., Kudenko, D. & Cairns, P., 2010, Proceedings of the 3rd International Symposium on AI and Games - A Symposium at the AISB 2010 Convention. p. 47-53 7 p.

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

  9. AI for Herding Sheep.

    Cowling, P. I. & Gmeinwieser, C., 2010, AIIDE.

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

  10. Accessibility of Blended and E-Learning for Mature Age and Disabled Students and Staff: Introduction to the Special Thematic Session

    Petrie, H., Power, C., Veasco, C. A. & Boticario, J. G., 2010, COMPUTERS HELPING PEOPLE WITH SPECIAL NEEDS, PROCEEDINGS, PT 1. Miesenberger, K., Klaus, J., Zagler, W. & Karshmer, A. (eds.). PART 1 ed. BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6179 LNCS. p. 484-485 2 p.

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

  11. Accessibility of blended and E-learning for mature age and disabled students and staff: introduction to the special thematic session

    Petrie, H., Power, C. D., Velasco, C. A. & Boticario, J. G., 2010, International Conference on Computers Helping People with Special Needs. Springer, p. 484-485 2 p.

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

  12. An Iterative Approach for Development of Safety-Critical Software and Safety Arguments

    Ge, X., Paige, R. F. & McDermid, J. A., 2010, AGILE Conference, 2010. IEEE, p. 35-43 9 p.

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

  13. An Overview of the SoBP for Software in the Context of DS 00-56 Issue 4

    Menon, C., Hawkins, R. D., McDermid, J. A. & Kelly, T. P., 2010, Making Systems Safer. Dale, C. & Anderson, T. (eds.). London: SPRINGER-VERLAG LONDON LTD, p. 129-147 19 p.

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

  14. Assessing trustworthiness of nodes to enhance performance in mobile ad hoc networks

    Bista, S. K., Dahal, K., Cowling, P. & Bouras, A., 2010, Privacy Security and Trust (PST), 2010 Eighth Annual International Conference on. p. 80-87 8 p.

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

  15. Associating Minutiae between Distorted Fingerprints Using Minimal Spanning Tree

    Zhu, E., Hancock, E., Ren, P., Yin, J. & Zhang, J., 2010, IMAGE ANALYSIS AND RECOGNITION, 2010, PT II, PROCEEDINGS. Campilho, A. & Kamel, M. (eds.). PART 2 ed. BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6112 LNCS. p. 235-245 11 p.

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

  16. Assurance of Automotive Safety – A Safety Case Approach

    Habli, I. & Palin, R. A., 2010, 29th International Conference on Computer Safety, Reliability and Security .

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

  17. Asynchronous event handling and safety critical Java

    Wellings, A. J. & Kim, M., 2010, Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2010, Prague, Czech Republic, August 19-21, 2010. Kalibera, T. & Vitek, J. (eds.). ACM, p. 53-62 10 p. (ACM International Conference Proceeding Series).

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

  18. Building Model-Driven Engineering Traceability

    Paige, R. F., Olsen, G. K., Kolovos, D., Zschaler, S. & Power, C. D., 2010, ECMDA Traceability Workshop (ECMDA-TW). Sintef, p. 49 1 p.

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

  19. C-Link: Concept Linkage in Knowledge Repositories.

    Cowling, P. I., Remde, S., Hartley, P., Stewart, W., Stock-Brooks, J. & Woolley, T., 2010, AAAI Spring Symposium: Linked Data Meets Artificial Intelligence.

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

  20. Can recognising multiword expressions improve shallow parsing?

    Korkontzelos, I. & Manandhar, S., 2010, Human language technologies: the 2010 Annual Conference of the North American Chapter of the Association for Computational Linguistics. Stroudsburg, PA: Association for Computational Linguistics, p. 636-644 9 p.

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

  21. Combining Behavioural Real-time Software Modelling with the OSCI TLM-2.0 Communication Standard

    Yu, K. & Audsley, N. C., 2010, 10th IEEE International Conference on Computer and Information Technology, CIT 2010, Bradford, West Yorkshire, UK, June 29-July 1, 2010. IEEE Computer Society, p. 1825-1832 8 p.

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

  22. Concurrent abstract predicates

    Dinsdale-Young, T., Dodds, M. D., Gardner, P., Parkinson, M. J. & Vafeiadis, V., 2010, ECOOP 2010 – Object-Oriented Programming : 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings. Springer, p. 504-528 25 p. (Lecture Notes in Computer Science; vol. 6183).

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

  23. Data Mining Techniques for Proactive Fault Diagnostics of Electronic Gaming Machines

    Butler, M. & Keselj, V., 2010, ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS. Farzindar, A. & Keselj, V. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6085 LNAI. p. 366-369 4 p.

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

  24. Detection of skin lesions using diffuse polarisation

    Subramaniam, N., Saman, G. & Hancock, E., 2010, 2010 IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING. NEW YORK: IEEE, p. 3021-3024 4 p.

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

  25. Dispatching Domains for Multiprocessor Platforms and Their Representation in Ada

    Burns, A. & Wellings, A., 2010, RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2010. Real, J. & Vardanega, T. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6106 LNCS. p. 41-53 13 p.

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

  26. Distinguishing facial expression using the Fisher-Rao metric

    Ceolin, S. & Hancock, E. R., 2010, 2010 IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING. NEW YORK: IEEE, p. 1437-1440 4 p.

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

  27. Dual Priority Scheduling: Is the Processor Utilisation bound 100%?

    Burns, A., 2010, Proceedings of 1st International Real-Time Scheduling Open Problems Seminar, RTSOPS 2010. Davis, R. I. & Fisher, N. (eds.). p. 3-4 2 p.

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

  28. Evaluation and Integration of COTS in Evidence based Assurance Frameworks

    Despotou, G., Bennett, M. & Kelly, T., 2010, MAKING SYSTEMS SAFER. Dale, C. & Anderson, T. (eds.). GODALMING: SPRINGER-VERLAG LONDON LTD, p. 233-254 22 p.

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

  29. Experiments in objet trouvé browsing

    Colton, S., Gow, J., Torres, P. & Cairns, P., 2010, Proceedings of the International Conference on Computational Creativity, ICCC-10. p. 238-247 10 p.

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

  30. Explicit Stabilisation for Modular Rely-Guarantee Reasoning

    Wickerson, J., Dodds, M. & Parkinson, M. J., 2010, Programming Languages and Systems: 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings. Springer, Vol. 6012 LNCS. p. 610-629 20 p. (Lecture Notes in Computer Science; vol. 6012).

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

  31. Exploring the Identity Manifold: Constrained Operations in Face Space

    Patel, A. & Smith, W. A. P., 2010, Proceedings of the European Conference on Computer Vision. PART 6 ed. Vol. 6316 LNCS. p. 112-125 14 p.

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

  32. Face Recognition Using Simplicial Complexes

    Zou, C. & Hancock, E. R., 2010, ADVANCES IN PATTERN RECOGNITION. CarrascoOchoa, JA., MartinezTrinidad, JF. & Kittler, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6256 LNCS. p. 22-29 8 p.

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

  33. Graph Programs

    Plump, D., 2010, Pre-Proceedings 1st International Workshop on Strategies in Rewriting, Proving, and Programming (IWS 2010). Kirchner, H. & Munoz, C. (eds.). p. 39-44 6 p.

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

  34. Hoare Logic for Graph Programs

    Plump, D. & Poskitt, C. M., 2010, Proceedings THEORY Workshop at Verified Software: Theories, Tools and Experiments (VS-THEORY 2010). Naumann, D. & Yang, H. (eds.). 11 p.

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

  35. Improving QoS of Multi-layer Networks-on-Chip with Partial and Dynamic Reconfiguration of Routers

    Moller, L., Fischer, P., Moraes, F., Indrusiak, L. S. & Glesner, M., 2010, 2010 International Conference on Field Programmable Logic and Applications (FPL). p. 229-233 5 p.

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

  36. Incrementally Discovering Object Classes Using Similarity Propagation and Graph Clustering

    Xia, S. & Hancock, E. R., 2010, COMPUTER VISION - ACCV 2009, PT III. Zha, H., Taniguchi, RI. & Maybank, S. (eds.). PART 3 ed. BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5996 LNCS. p. 373-383 11 p.

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

  37. Investigating Average versus Worst-Case Timing Behavior of Data Caches and Data Scratchpads

    Whitham, J. & Audsley, N., 2010, 2010 22nd Euromicro Conference on Real-Time Systems (ECRTS). p. 165-174

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

  38. Learning Bayesian Networks for Improved Instruction Cache Analysis

    Bartlett, M., Bate, I. & Cussens, J., 2010, 2010 Ninth International Conference on Machine Learning and Applications: Proceedings of the 9th International Conference on Machine Learning and Applications. IEEE, p. 417-423 7 p.

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

  39. Learning the Nature of Generalisation Errors in a 3D Morphable Model

    Aldrian, O. & Smith, W. A. P., 2010, Proceedings of the International Conference on Image Processing. p. 4557-4560 4 p.

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

  40. Model Migration with Epsilon Flock

    Rose, L. M., Kolovos, D. S., Paige, R. F. & Polack, F. A. C., 2010, THEORY AND PRACTICE OF MODEL TRANSFORMATIONS. Tratt, L. & Gogolla, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6142 LNCS. p. 184-198 15 p.

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

  41. Model-Based Assurance for Justifying Automotive Functional Safety

    Habli, I., Kelly, T., Rivett, R. S. & Ibarra, I., 2010, 2010 SAE World Congress, Detroit.

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

  42. Optimising IDS Sensor Placement

    Chen, H., Clark, J. A., Shaikh, S. A., Chivers, H. & Nobles, P., 2010, FIFTH INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY, AND SECURITY: ARES 2010, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 315-320 6 p.

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

  43. PAC-MDP learning with knowledge-based admissible models

    Grzes, M. & Kudenko, D., 2010, Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010). Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems , p. 349-356 8 p.

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

  44. Partitioned EDF Scheduling for Multiprocessors using a C=D Scheme

    Burns, A., Davis, R. I., Wang, P. & Zhang, F., 2010, Proceedings of 18th International Conference on Real-Time and Network Systems (RTNS). p. 169-178 10 p.

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

  45. Photometric Stereo under Low Frequency Environment Illumination

    Huang, R. & Smith, W. A. P., 2010, Advances in Visual Computing: 6th International Symposium, ISVC 2010, Las Vegas, NV, USA, November 29 – December 1, 2010, Proceedings, Part II. PART 2 ed. Springer, Vol. 6454 LNCS. p. 139-150 12 p. (Lecture Notes in Computer Science; vol. 6454).

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

  46. Reflections on the Simulation of Complex Systems for Science

    Polack, F. A. C., Andrews, P. S., Ghetiu, T., Read, M., Stepney, S., Timmis, J. & Sampson, A. T., 2010, Engineering of Complex Computer Systems (ICECCS), 2010 15th IEEE International Conference on . IEEE, p. 276-285 9 p.

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

  47. Risk Based Access Control with Uncertain and Time-dependent Sensitivity

    Clark, J. A., Tapiador, J. E., McDermid, J. A., Cheng, P-C., Agrawal, D., Ivanic, N. & Slogget, D., 2010, Proceedings of the 2010 International Conference on Security and Cryptography. Katsikas, S. & Samarati, P. (eds.). SciTePress, p. 1-9 9 p.

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

  48. Satisfying Test Preconditions through Guided Object Selection

    Wei, Y., Gebhardt, S., Meyer, B. & Oriol, M., 2010, Software Testing, Verification and Validation (ICST), 2010 Third International Conference on. IEEE, p. 303-312

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

  49. Searching a multivariate partition space using weighted MAX-SAT

    Liverani, S., Cussens, J. & Smith, J. Q., 2010, Proceedings of the Sixth International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics (CIBB) 2009. Masulli, F., Peterson, L. & Tagliaferri, R. (eds.). SPRINGER, p. 240-253 14 p. (LNBI 6160).

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

  50. Semi-supervised Feature Selection for Gender Classification

    Wu, J., Smith, W. A. P. & Hancock, E. R., 2010, COMPUTER VISION - ACCV 2009, PT II. Zha, HB., Taniguchi, RI. & Maybank, S. (eds.). PART 2 ed. BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5995 LNCS. p. 23-33 11 p.

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

  51. Sensitivity analysis of relative deadline for EDF scheduled real-time systems

    Zhang, F., Burns, A. & Baruah, S., 2010, Proceedings of 2nd International Conference on Mechanical and Electronics Engineering (ICMEE). p. V1-296 -V1-301

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

  52. Sensitivity analysis of task period for EDF scheduled arbitrary deadline real-time systems

    Zhang, F., Burns, A. & Baruah, S., 2010, Proceedings of 3rd IEEE International Conference on Computer Science and Information Technology (ICCSIT). p. 23-28 6 p.

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

  53. Sensitivity analysis of the minimum task period for arbitrary deadline real-time systems

    Zhang, F., Burns, A. & Baruah, S., 2010, Proceedings of the 16th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC). IEEE Computer Society Press, p. 101-108 8 p. 5703233

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

  54. Sequential Data Mining using Correlation Matrix Memory

    Shanker, S., Turner, A., Sherly, E. & Austin, J., 2010, Proceedings. ICNIT 2010 International Conference on Networking and Information Technology. IEEE, p. 470-472 3 p.

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

  55. Shape and Refractive Index Recovery from Single-View Polarisation Images

    Huynh, C. P., Robles-Kelly, A. & Hancock, E., 2010, 2010 IEEE CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION (CVPR). LOS ALAMITOS: IEEE COMPUTER SOC, p. 1229-1236 8 p.

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

  56. Software Engineering Techniques for the Development of Systems of Systems

    Calinescu, R. & Kwiatkowska, M., 2010, FOUNDATIONS OF COMPUTER SOFTWARE: FUTURE TRENDS AND TECHNIQUES FOR DEVELOPMENT. Choppy, C. & Sokolsky, O. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6028 LNCS. p. 59-82 24 p.

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

  57. Software stage-effort estimation based on association rule mining and Fuzzy set theory

    Azzeh, M., Cowling, P. I. & Neagu, D., 2010, Computer and Information Technology (CIT), 2010 IEEE 10th International Conference on. p. 249-256 8 p.

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

  58. Spatial pyramid local keypoints quantization for bag of visual patches image representation

    Alqasrawi, Y., Neagu, D. & Cowling, P., 2010, Intelligent Systems Design and Applications (ISDA), 2010 10th International Conference on. p. 1270-1274 5 p.

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

  59. Spherical Embeddings for non-Euclidean Dissimilarities

    Wilson, R. C., Hancock, E. R., Pekalska, E. & Duin, R. P. W., 2010, 2010 IEEE CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION (CVPR). LOS ALAMITOS: IEEE COMPUTER SOC, p. 1903-1910 8 p.

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

  60. Studying the Applicability of the Scratchpad Memory Management Unit

    Whitham, J. & Audsley, N. C., 2010, 16th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2010, Stockholm, Sweden, April 12-15, 2010. Caccamo, M. (ed.). IEEE Computer Society, p. 205-214 10 p.

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

  61. Supporting Islands of Coherency for highly-parallel embedded architectures using Compile-Time Virtualisation

    Gray, I. & Audsley, N. C., 2010, Proceedings of the 13th International Workshop on Software & Compilers for Embedded Systems.

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

  62. Surface Material Segmentation Using Polarisation

    Subramaniam, N. & Hancock, E., 2010, ADVANCES IN PATTERN RECOGNITION. CarrascoOchoa, JA., MartinezTrinidad, JF. & Kittler, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6256. p. 115-124 10 p.

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

  63. Taming EMF and GMF Using Model Transformation

    Kolovos, D. S., Rose, L. M., bin Abid, S., Paige, R. F. & Polack, F. A. C., 2010, Model Driven Engineering Languages and Systems : 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I. Springer, p. 211-225 (Lecture Notes in Computer Science; vol. 6394).

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

  64. Taxonomy Learning Using Word Sense Induction

    Klapaftis, I. P. & Manandhar, S., 2010, Human Language Technologies: The 2010 Annual Conference of the North American Chapter of the ACL. Association for Computational Linguistics, p. 82-90

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

  65. Tenori-on stage: YouTube as performance space

    Blythe, M. & Cairns, P., 2010, NordiCHI 2010: Extending Boundaries - Proceedings of the 6th Nordic Conference on Human-Computer Interaction. p. 72-81 10 p.

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

  66. The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005

    Wellings, A. & Burns, A., 2010, RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2010. Real, J. & Vardanega, T. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6106 LNCS. p. 196-207 12 p.

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

  67. The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005

    Wellings, A. J. & Burns, A., 2010, Proceedings of Reliable Software Technologies - Ada-Europe. Real, J. & Vardanega, T. (eds.). Springer, Vol. LNCS 6106. p. 196-207 12 p.

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

  68. The Semantics of Graph Programs

    Plump, D. & Steinert, S., 2010, Proceedings 10th International Workshop on Rule-Based Programming (RULE 2009). Mackie, I. & Martins Moreira, A. (eds.). p. 27-38 (Electronic Proceedings in Theoretical Computer Science ; vol. 21).

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

  69. Timing Analyzing for Systems with Execution Dependencies between Tasks

    Lu, Y., Nolte, T., Bate, I. & Norstrom, C., 2010, The 25th ACM Symposium on Applied Computing (SAC2010). p. 357-358 2 p.

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

  70. Timing Analyzing for Systems with Task Execution Dependencies

    Lu, Y., Nolte, T., Bate, I. & Norstrom, C., 2010, Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2010, Seoul, Korea, 19-23 July 2010. Ahamed, S. I., Bae, D-H., Cha, S. D., Chang, C. K., Subramanyan, R., Wong, E. & Yang, H-I. (eds.). IEEE Computer Society, p. 515-524 10 p.

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

  71. Towards memory management for service-oriented real-time systems

    Richardson, T., Wellings, A. J., Dianes, J. A. & Díaz, M., 2010, Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2010, Prague, Czech Republic, August 19-21, 2010. Kalibera, T. & Vitek, J. (eds.). ACM, p. 128-137 10 p. (ACM International Conference Proceeding Series).

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

  72. Trace Specifications in Alloy

    Jacob, J. L., 2010, ABSTRACT STATE MACHINES, ALLOY, B AND Z, PROCEEDINGS. Frappier, M., Glasser, U., Khurshid, S., Laleau, R. & Reeves, S. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5977 LNCS. p. 105-117 13 p.

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

  73. Understanding and Supporting the Needs of Educational Professionals Working with Students with Disabilities and Mature Age Students

    Swallow, D., Petrie, H. & Power, C., 2010, COMPUTERS HELPING PEOPLE WITH SPECIAL NEEDS, PROCEEDINGS, PT 1. Miesenberger, K., Klaus, J., Zagler, W. & Karshmer, A. (eds.). PART 1 ed. BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6179 LNCS. p. 486-491 6 p.

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

  74. Understanding the Safety Lifecycle of Systems of Systems

    Despotou, G. & Kelly, T., 2010, 28th International System Safety Conference (ISSC).

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

  75. Understanding visitors' experiences with multimedia guides in cultural spaces

    Othman, M. K., Petrie, H. & Power, C. D., 2010, Proceedings of Transforming Culture in the Digital Age (International Conference in Tartu, April 14--16), Tartu, Estonia. Estonian National Museum, Estonian Literary Museum, University of Tartu, p. 30-36

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

  76. UoY: Graphs of Unambiguous Vertices for Word Sense Induction and Disambiguation

    Korkontzelos, I. & Manandhar, S., 2010, Proceedings of the 5th International Workshop on Semantic Evaluation, SemEval@ACL 2010, Uppsala University, Uppsala, Sweden, July 15-16, 2010. p. 355-358 4 p.

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

  77. Using the Fisher-Rao Metric to Compute Facial Similarity

    Ceolin, S. & Hancock, E. R., 2010, IMAGE ANALYSIS AND RECOGNITION, PT I, PROCEEDINGS. Campilho, A. & Kamel, M. (eds.). PART 1 ed. BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6111 LNCS. p. 384-393 10 p.

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

  78. Using the executor framework to implement asynchronous event handling in the RTSJ

    Kim, M. & Wellings, A. J., 2010, Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2010, Prague, Czech Republic, August 19-21, 2010. Kalibera, T. & Vitek, J. (eds.). ACM, p. 16-25 10 p. (ACM International Conference Proceeding Series).

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

  79. Virtual Learning Environments: Another Barrier to Blended and E-Learning

    Power, C., Petrie, H., Sakharov, V. & Swallow, D., 2010, COMPUTERS HELPING PEOPLE WITH SPECIAL NEEDS, PROCEEDINGS, PT 1. Miesenberger, K., Klaus, J., Zagler, W. & Karshmer, A. (eds.). PART 1 ed. BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6179 LNCS. p. 519-526 8 p.

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

  80. Wattsup? Motivating reductions in domestic energy consumption using social networks

    Foster, D., Lawson, S., Blythe, M. & Cairns, P., 2010, NordiCHI 2010: Extending Boundaries - Proceedings of the 6th Nordic Conference on Human-Computer Interaction. p. 178-187 10 p.

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

  81. Word sense induction disambiguation using hierarchical random graphs

    Klapaftis, I. P. & Manandhar, S., 2010, EMNLP '10 Proceedings of the 2010 Conference on Empirical Methods in Natural Language Processing . Stroudsburg, PA: Association for Computational Linguistics, p. 745-755 10 p.

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

  82. transML: A Family of Languages to Model Model Transformations

    Guerra, E., de Lara, J., Kolovos, D., Paige, R., dos Santos, O., Petriu, D., Rouquette, N. & Haugen, Ø., 2010, Model Driven Engineering Languages and Systems : 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I. p. 106-120 15 p.

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

  83. 2009
  84. An Improved Lightweight Synchronisation Primitive For Sensornets

    Tate, J. & Bate, I., 1 Dec 2009, IEEE 6th International Conference on Mobile Adhoc and Sensor Systems, MASS 2009, 12-15 October 2009, Macau (S.A.R.), China. Macau: IEEE Computer Society, Los Alamitos, CA, p. 448-457 10 p.

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

  85. On adaptive self-organization in artificial robot organisms

    Kernbach, S., Hamann, H., Stradner, J., Thenius, R., Schmickl, T., Crailsheim, K., Van Rossum, A. C., Sebag, M., Bredeche, N., Yao, Y., Baele, G., Van De Peer, Y., Timmis, J., Mohktar, M., Tyrrell, A., Eiben, A. E., McKibbin, S. P., Liu, W. & Winfield, A. F. T., 1 Dec 2009, Computation World: Future Computing, Service Computation, Adaptive, Content, Cognitive, Patterns, ComputationWorld 2009. p. 33-43 11 p. 5359550

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

  86. Priority Assignment for Global Fixed Priority Pre-Emptive Scheduling in Multiprocessor Real-Time Systems

    Davis, R. I. & Burns, A., Dec 2009, IEEE Real-Time Systems Symposium. p. 398-409 12 p.

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

  87. CONNECT challenges: Towards emergent connectors for eternal networked systems

    Issarny, V., Steffen, B., Jonsson, B., Blair, G., Grace, P., Kwiatkowska, M., Calinescu, R., Inverardi, P., Tivoli, M., Bertolino, A. & Sabetta, A., 22 Oct 2009, Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS. p. 154-161 8 p. 5090523

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

  88. Quantifying the Suboptimality of Uniprocessor Fixed Priority Pre-emptive Scheduling for Sporadic Tasksets with Arbitrary Deadlines

    Davis, R. I., Rothvoss, T., Baruah, S. K. & Burns, A., Oct 2009, International conference on Real-Time and Network Systems.

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

  89. Spare Capacity Distribution Using Exact Response-Time Analysis

    Zabos, A., Davis, R. I., Burns, A. & Harbour, M. G., Oct 2009, International conference on Real-Time and Network Systems. p. 97-106

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

  90. Improved storage capacity in correlation matrix memories storing fixed weight codes

    Hobson, S. J. & Austin, J., 16 Sep 2009, Lecture Notes in Computer Science. PART 1 ed. ICANN 2009: Springer, Vol. 5768. p. 728-736 9 p. (Lecture Notes in Computer Science).

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

  91. Discriminative Clustering for Content-Based Tag Recommendation in Social Bookmarking Systems

    Hassan, M. T., Karim, A., Manandhar, S. & Cussens, J., 1 Sep 2009, ECML PKDD Discovery Challenge 2009 (DC09). Eisterlehner, F., Hotho, A. & Jäschke, R. (eds.). Bled, Slovenia: CEUR Workshop Proceedings, Vol. 497. p. 85-97 13 p.

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

  92. Resource-definition policies for autonomic computing

    Calinescu, R., 23 Jul 2009, Proceedings of the 5th International Conference on Autonomic and Autonomous Systems, ICAS 2009. p. 111-116 6 p. 4976590

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

  93. On Generative Parameterisations of Markov Logic Networks

    Cussens, J., 1 Jul 2009, Proc. SRL 09.

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

  94. Energy Efficient Duty Allocation Protocols For Wireless Sensor Networks

    Tate, J. & Bate, I., 1 Jun 2009, 14th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2009, Potsdam, Germany, 2-4 June 2009. Los Alamitos: IEEE Computer Society Press, p. 58-67 10 p.

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

  95. A Comparison Framework for Spectrogram Track Detection Algorithms

    Lampert, T. & O'Keefe, S., 1 May 2009, Computer Recognition Systems . Kurzynski, M. & Wozniak, M. (eds.). Springer, Vol. 3. p. 119 126 p. (Advances in Intelligent and Soft Computing ; vol. 57/2009).

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

  96. Anomaly Detection Inspired by Immune Network Theory: A Proposal

    Lau, HK., [Unknown], J. T. & [Unknown], I. B., 1 May 2009, Proceedings of the 2009 IEEE Congress on Evolutionary Computation (CEC '09). IEEE, p. 3045-3051 7 p.

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

  97. Comparing Design Of Experiments and Evolutionary Approaches To Multi-Objective Optimisation Of Sensornet Protocols

    Tate, J., Woolford-Lim, B., Bate, I. & Yao, X., 1 May 2009, Proceedings of the 10th IEEE Congress on Evolutionary Computation. p. 1137-1144 8 p.

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

  98. Line Detection Methods for Spectrogram Images

    Lampert, T., O'Keefe, S. & Pears, N., 1 May 2009, Computer Recognition Systems. Kurzynski, M. & Wozniak, M. (eds.). Springer, Vol. 3. p. 127-134 (Advances in Intelligent and Soft Computing; vol. 57/2009).

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

  99. Understanding Behavioural Tradeoffs In Large-Scale Sensornet Design

    Tate, J. & Bate, I., 1 May 2009, IEEE International Workshop on Quantitative Evaluation of Large-Scale Systems and Technologies. NEW YORK: IEEE Computer Society Press, p. 1085-1091 7 p.

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

  100. Guaranteed Loop Bound Identification from Program Traces for WCET

    Bartlett, M., Bate, I. & Kazakov, D., 1 Apr 2009, Proceedings of the 15th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS). LOS ALAMITOS: IEEE Computer Society, p. 287-294

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

  101. Tuning Complex Sensornet Systems Using Principled Engineering Methods

    Tate, J. & Bate, I., 1 Apr 2009, Proceedings of the 16th Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems. Los Alamitos, CA: IEEE Computer Society Press, p. 275-284 10 p.

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

  102. Addressing Challenges of Hazard Analysis in Systems of Systems

    Despotou, G., Alexander, R. & Kelly, T., 1 Mar 2009, 2009 IEEE INTERNATIONAL SYSTEMS CONFERENCE, PROCEEDINGS. NEW YORK: IEEE, p. 167-172 6 p.

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

  103. 09381 Extended Abstracts Collection - Refinement Based Methods for the Construction of Dependable Systems

    Abrial, J-R., Butler, M. J., Joshi, R., Troubitsyna, E. & Woodcock, J. C. P., 2009, Refinement Based Methods for the Construction of Dependable Systems, 13.09. - 18.09.2009. Abrial, J-R., Butler, M. J., Joshi, R., Troubitsyna, E. & Woodcock, J. C. P. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, Vol. 09381. (Dagstuhl Seminar Proceedings).

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

  104. 3D Morphable Face Models Revisited

    Patel, A. & Smith, W. A. P., 2009, CVPR: 2009 IEEE CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION, VOLS 1-4. NEW YORK: IEEE, p. 1327-1334 8 p.

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

  105. A Deployment Value Model for Intrusion Detection Sensors

    Shaikh, S. A., Chivers, H., Nobles, P., Clark, J. A. & Chen, H., 2009, Advances in Information Security and Assurance, Third International Conference and Workshops, ISA 2009, Seoul, Korea, June 25-27, 200. Vol. 5576 LNCS. p. 250-259 10 p.

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

  106. A Framework for Remote User Evaluation of Accessibility and Usability of Websites

    Power, C., Petrie, H. & Mitchell, R., 2009, UNIVERSAL ACCESS IN HUMAN-COMPUTER INTERACTION: ADDRESSING DIVERSITY, PT I, PROCEEDINGS. Stephanidis, C. (ed.). PART 1 ed. BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5614 LNCS. p. 594-601 8 p.

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

  107. A Multi-Scale Piecewise-Linear Feature Detector for Spectrogram Tracks

    Lampert, T., Pears, N. & O'Keefe, S., 2009, AVSS: 2009 6TH IEEE INTERNATIONAL CONFERENCE ON ADVANCED VIDEO AND SIGNAL BASED SURVEILLANCE. NEW YORK: IEEE, p. 330-335 6 p.

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

  108. A Multi-objective Optimisation Approach to IDS Sensor Placement

    Chen, H., Clark, J. A., Tapiador, J. E., Shaikh, S. A., Chivers, H. & Nobles, P., 2009, COMPUTATIONAL INTELLIGENCE IN SECURITY FOR INFORMATION SYSTEMS. Herrero, A., Gastaldo, P., Zunino, R. & Corchado, E. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 63 AISC. p. 101-108 8 p.

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

  109. A Riemannian Self-Organizing Map

    Yu, D., Hancock, E. R. & Smith, W. A. P., 2009, IMAGE ANALYSIS AND PROCESSING - ICIAP 2009, PROCEEDINGS. Foggia, P., Sansone, C. & Vento, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5716 LNCS. p. 229-238 10 p.

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

  110. A Rigorous Evaluation of Crossover and Mutation in Genetic Programming

    White, D. R. & Poulding, S., 2009, GENETIC PROGRAMMING. Vanneschi, L., Gustafson, S., Moraglio, A., DeFalco, I. & Ebner, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5481 LNCS. p. 220-231 12 p.

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

  111. A Statistical Model for Daylight Spectra

    Williams, M. & Smith, W. A. P., 2009, Advances in Visual Computing: 5th International Symposium, ISVC 2009, Las Vegas, NV, USA, November 30 - December 2, 2009, Proceedings, Part I. PART 1 ed. Springer, Vol. 5875 LNCS. p. 632-643 12 p. (Lecture Notes in Computer Science; vol. 5875).

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

  112. A deviation based Systems of Systems safety view for modelling Architectural Frameworks

    Despotou, G. & Kelly, T., 2009, Systems Safety 2009. Incorporating the SaRS Annual Conference, 4th IET International Conference on. 555 CP ed. Vol. 2009. p. 1-6 6 p.

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

  113. A fuzzy classifier based on correlation matrix memories

    Aykin, E. & O'Keefe, S., 2009, Recent Advances in Fuzzy Systems: Proceedings of the 10th WSEAS international conference on Fuzzy systems . Mastorakis, N., Croitoru, A., Balas, V. E., Son, E. & Mladenov, V. (eds.). Stevens Point, Wisconsin: World Scientific and Engineering Academy and Society (WSEAS), p. 63-68

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

  114. A grammatical evolution approach to intrusion detection on mobile ad hoc networks

    en, S. & Clark, J. A., 2009, Proceedings of the second ACM conference on Wireless network security. New York, NY, USA: ACM, p. 95-102 8 p. (WiSec '09).

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

  115. ANISOTROPIC FLUID SOLVER FOR ROBUST OPTICAL FLOW SMOOTHING

    Doshi, A. & Bors, A. G., 2009, 2009 10TH INTERNATIONAL WORKSHOP ON IMAGE ANALYSIS FOR MULTIMEDIA INTERACTIVE SERVICES. NEW YORK: IEEE, p. 117-120 4 p.

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

  116. AUTOMATIC MULTILINGUAL LEXICON GENERATION USING WIKIPEDIA AS A RESOURCE

    Shahid, A. R. & Kazakov, D., 2009, ICAART 2009: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE. Fred, A. (ed.). SETUBAL: INSTICC-INST SYST TECHNOLOGIES INFORMATION CONTROL & COMMUNICATION, p. 357-360 4 p.

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

  117. An Adaptive Neuro-Endocrine System for Robotic Systems

    Timmis, J., Neal, M. & Thorniley, J., 2009, 2009 IEEE WORKSHOP ON ROBOTIC INTELLIGENCE IN INFORMATIONALLY STRUCTURED SPACE. NEW YORK: IEEE, p. 129-136 8 p.

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

  118. An Immuno-engineering Approach for Anomaly Detection in Swarm Robotics

    Lau, HK., Bate, I. & Timmis, J., 2009, Proceedings of the 8th International Conference on Artificial Immune Systems (ICARIS 2009). Andrews, P. S., Timmis, J., Owens, N. D. L., Aickelin, U., Hart, E., Hone, A. & Tyrrell, A. M. (eds.). Springer, p. 136-150 15 p. (LNCS 5666).

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

  119. An Immuno-engineering Approach for Anomaly Detection in Swarm Robotics

    Lau, H., Bate, I. & Timmis, J., 2009, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Andrews, PS., Timmis, J., Owens, NDL., Aickelin, U., Hart, E., Hone, A. & Tyrrell, AM. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5666 LNCS. p. 136-150 15 p.

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

  120. An RTSJ-based reconfigurable server component

    AlRahmawy, M. & Wellings, A. J., 2009, Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2009, Madrid, Spain, September 23-25, 2009. Higuera-Toledano, M. T. & Schoeberl, M. (eds.). ACM, p. 31-40 10 p. (ACM International Conference Proceeding Series).

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

  121. Anomaly Detection Inspired by Immune Network Theory: A Proposal

    Lau, H., Timmis, J. & Bate, I., 2009, 2009 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-5. NEW YORK: IEEE, p. 3045-3051 7 p.

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

  122. Applying fixed-priority preemptive scheduling with preemption threshold to asynchronous event handling in the RTSJ

    Kim, M. & Wellings, A. J., 2009, Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2009, Madrid, Spain, September 23-25, 2009. Higuera-Toledano, M. T. & Schoeberl, M. (eds.). ACM, p. 80-89 10 p. (ACM International Conference Proceeding Series).

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

  123. Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form Automated Verification of Critical Systems

    Besnard, L., Gautier, T., Moy, M., Talpin, J-P., Johnson, K. H. A. & Maraninchi, F., 2009, Proceedings of the Ninth International Workshop onAutomated Verification of Critical Systems.

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

  124. Bayesian Estimation of Kernel Bandwidth for Nonparametric Modelling

    Bors, A. G. & Nasios, N., 2009, ARTIFICIAL NEURAL NETWORKS - ICANN 2009, PT II. Alippi, C., Polycarppou, M., Panayiotou, C. & Ellinas, G. (eds.). PART 2 ed. BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5769 LNCS. p. 245-254 10 p.

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

  125. Binary exponential back off for tabu tenure in hyperheuristics

    Remde, S., Dahal, K., Cowling, P. & Colledge, N., 2009, European Conference on Evolutionary Computation in Combinatorial Optimization. p. 109-120 12 p.

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

  126. CADS*: Computer-Aided Development of Self-* Systems

    Calinescu, R. & Kwiatkowska, M., 2009, FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS. Chechik, M. & Wirsing, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5503. p. 421-424 4 p.

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

  127. Certification of FPGAs - Current Issues and Possible Solutions

    Conmy, P. & Bate, I., 2009, Safety-critical Systems Symposium 2009. Springer, p. 149-165 17 p.

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

  128. Certification of FPGAs - Current Issues and Possible Solutions

    Bate, I. & Conmy, P., 2009, SAFETY-CRITICAL SYSTEMS: PROBLEMS, PROCESS AND PRACTICE. Dale, C. & Anderson, T. (eds.). NEW YORK: SPRINGER, p. 149-165 17 p.

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

  129. Characteristic Polynomial Analysis on Matrix Representations of Graphs

    Ren, P., Wilson, R. C. & Hancock, E. R., 2009, GRAPH-BASED REPRESENTATIONS IN PATTERN RECOGNITION, PROCEEDINGS. Torsello, A., Escolano, F. & Brun, L. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5534 LNCS. p. 243-252 10 p.

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

  130. Characterizing Graphs Using Spherical Triangles

    ElGhawalby, H. & Hancock, E. R., 2009, PATTERN RECOGNITION AND IMAGE ANALYSIS, PROCEEDINGS. Araujo, H., Mendonca, AM., Pinho, AJ. & Torres, MI. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5524 LNCS. p. 465-472 8 p.

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

  131. Combining EDF and FP Scheduling: Analysis and Implementation in Ada 2005

    Burns, A., Wellings, A. J. & Zhang, F., 2009, RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2009. Kordon, F. & Kermarrec, Y. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5570 LNCS. p. 119-133 15 p.

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

  132. Comparing Algorithms for Search-Based Test Data Generation of Matlab (R) Simulink (R) Models

    Ghani, K., Clark, J. A. & Zhan, Y., 2009, 2009 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-5. NEW YORK: IEEE, p. 2940-2947 8 p.

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

  133. Comparing Design Of Experiments and Evolutionary Approaches To Multi-Objective Optimisation Of Sensornet Protocols

    Tate, J., Woolford-Lim, B., Bate, I. & Yao, X., 2009, 2009 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-5. NEW YORK: IEEE, p. 1137-1144 8 p.

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

  134. Content Personalization for Inclusive Education through Model-Driven Engineering

    Power, C. & Paige, R., 2009, UNIVERSAL ACCESS IN HUMAN-COMPUTER INTERACTION: APPLICATIONS AND SERVICES, PT III. Staphanidis, C. (ed.). PART 3 ed. BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5616 LNCS. p. 102-109 8 p.

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

  135. Content personalization for inclusive education through model-driven engineering

    Power, C. D. & Paige, R., 2009, International Conference on Universal Access in Human-Computer Interaction. Springer, p. 102-109 8 p.

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

  136. Critical Methods and User Generated Content: the iPhone on YouTube

    Blythe, M. & Cairns, P., 2009, CHI2009: PROCEEDINGS OF THE 27TH ANNUAL CHI CONFERENCE ON HUMAN FACTORS IN COMPUTING SYSTEMS, VOLS 1-4. Greenberg, S., Hudson, SE., Hinkley, K., RingelMorris, M. & Olsen, DR. (eds.). NEW YORK: ASSOC COMPUTING MACHINERY, p. 1467-1476 10 p.

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

  137. Critical methods and user generated content: the iPhone on YouTube

    Blythe, M. & Cairns, P., 2009, CHI '09: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. New York: Association for Computing Machinery (ACM), p. 1467-1476 10 p.

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

  138. Deny-Guarantee Reasoning

    Dodds, M. D., Feng, X., Parkinson, M. J. & Vafeiadis, V., 2009, Programming Languages and Systems, 18th European Symposium on Programming: ESOP 2009. Springer New York: Springer, Vol. 5502. p. 363-377 15 p. (Lecture Notes in Computer Science; vol. 5502).

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

  139. Design patterns for supporting RTSJ component models

    AlRahmawy, M. & Wellings, A. J., 2009, Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2009, Madrid, Spain, September 23-25, 2009. Higuera-Toledano, M. T. & Schoeberl, M. (eds.). ACM, p. 11-20 10 p. (ACM International Conference Proceeding Series).

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

  140. Different Models for Model Matching: An analysis of approaches to support model differencing

    Kolovos, D. S., Di Ruscio, D., Pierantonio, A. & Paige, R. F., 2009, 2009 ICSE WORKSHOP ON COMPARISON AND VERSIONING OF SOFTWARE MODELS. NEW YORK: IEEE, p. 16 6 p.

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

  141. Duality of Actor and Character Goals in Virtual Drama

    Arinbjarnar, M. & Kudenko, D., 2009, INTELLIGENT VIRTUAL AGENTS, PROCEEDINGS. Ruttkay, Z., Kipp, M., Nijholt, A. & Vilhjalmsson, HH. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5773 LNAI. p. 386-392 7 p.

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

  142. Dynamic security policy learning

    Lim, Y. T., Cheng, P-C., Rohatgi, P. & Clark, J. A., 2009, Proceedings of the first ACM workshop on Information security governance. New York, NY, USA: ACM, p. 39-48 10 p. (WISG '09).

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

  143. EQUATION DISCOVERY FOR MACROECONOMIC MODELLING

    Kazakov, D. & Tsenova, T., 2009, ICAART 2009: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE. Fred, A. (ed.). SETUBAL: INSTICC-INST SYST TECHNOLOGIES INFORMATION CONTROL & COMMUNICATION, p. 318-323 6 p.

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

  144. EXTRACTING GENDER DISCRIMINATING FEATURES FROM FACIAL NEEDLE-MAPS

    Wu, J., Smith, W. A. P., Hancock, E. R. & Kawulok, M., 2009, 2009 16TH IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING, VOLS 1-6. NEW YORK: IEEE, p. 2421-2424 4 p.

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

  145. Eavesdropping of two-way coherent-state quantum cryptography via Gaussian quantum cloning machines

    Pirandola, S., Mancini, S., Lloyd, S. & Braunstein, S., 2009, ICQNM 2009: THIRD INTERNATIONAL CONFERENCE ON QUANTUM, NANO AND MICRO TECHNOLOGIES: PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 38-41 4 p.

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

  146. Educational Narrative and Student Modeling for Ill-Defined Domains

    Hodhod, R., Kudenko, D. & Cairns, P., 2009, ARTIFICIAL INTELLIGENCE IN EDUCATION. Dimitrova, V., Mizoguchi, R., DuBoulay, B. & Graesser, A. (eds.). 1 ed. AMSTERDAM: I O S PRESS, Vol. 200. p. 638-640 3 p.

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

  147. Enhanced Automation for Managing Model and Metamodel Inconsistency

    Rose, L. M., Kolovos, D. S., Paige, R. F. & Polack, F. A. C., 2009, 2009 IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 545-549 5 p.

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

  148. Enhancing the platform independence of the real-time specification for Java

    Wellings, A. J., Chang, Y. & Richardson, T., 2009, Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2009, Madrid, Spain, September 23-25, 2009. Higuera-Toledano, M. T. & Schoeberl, M. (eds.). ACM, p. 61-69 9 p. (ACM International Conference Proceeding Series).

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

  149. Establishing Correspondences between Models with the Epsilon Comparison Language

    Kolovos, D. S., Paige, R. F., Hartman, A. & Rensink, A., 2009, Model Driven Architecture - Foundations and Applications : 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings. Springer, p. 146-157 (Lecture Notes in Computer Science; vol. 5562).

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

  150. Establishing Correspondences between Models with the Epsilon Comparison Language

    Kolovos, D. S., 2009, MODEL DRIVEN ARCHITECTURE - FOUNDATIONS AND APPLICATIONS, PROCEEDINGS. Paige, RF., Hartman, A. & Rensink, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5562 LNCS. p. 146-157 12 p.

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

  151. Evolution of Cooperativeness in a Business Game Relying on Acquaintance Based Trustworthiness Assessment

    Bista, S. K., Dahal, K. P., Cowling, P. I. & Tuladhar, B. M., 2009, IEEE Conference on Commerce and Enterprise Computing, 2009. CEC '09. IEEE Computer Society, p. 16-23 8 p.

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

  152. Exposing non-standard architectures to embedded software using compile-time virtualisation

    Gray, I. & Audsley, N. C., 2009, CASES '09 Proceedings of the 2009 international conference on Compilers, architecture, and synthesis for embedded systems . New York: ACM, p. 147-156

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

  153. Flow Complexity: Fast Polytopal Graph Complexity and 3D Object Clustering

    Escolano, F., Giorgi, D., Hancock, E. R., Lozano, M. A. & Falcidieno, B., 2009, Graph-based representations in pattern recognition: proceedings. Torsello, A., Escolano, F. & Brun, L. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5534 LNCS. p. 253-262 10 p.

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

  154. Functional Hazard Assessment in Product-Lines – A Model-Based Approach

    Habli, I., Kelly, T. & Paige, R. F., 2009, International Workshop on Model-Driven Product Line Engineering.

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

  155. Geometric Characterizations of Graphs Using Heat Kernel Embeddings

    El-Ghawalby, H. & Hancock, E. R., 2009, MATHEMATICS OF SURFACES XIII. Hancock, ER., Martin, RR. & Sabin, MA. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5654 LNCS. p. 124-142 19 p.

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

  156. Getting Farther on Software Evolution via AOP and Reflection Report on the 5th RAM-SE Workshop at ECOOP 2008

    Oriol, M., Cazzola, W., Chiba, S. & Saake, G., 2009, OBJECT-ORIENTED TECHNOLOGY. Eugster, P. (ed.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5475 LNCS. p. 63-69 7 p.

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

  157. Grammatical Evolution of L-systems

    Beaumont, D. & Stepney, S., 2009, 2009 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-5. NEW YORK: IEEE, p. 2446-2453 8 p.

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

  158. Graph Regularisation Using Gaussian Curvature

    ElGhawalby, H. & Hancock, E. R., 2009, GRAPH-BASED REPRESENTATIONS IN PATTERN RECOGNITION, PROCEEDINGS. Torsello, A., Escolano, F. & Brun, L. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5534 LNCS. p. 233-242 10 p.

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

  159. Graph-Based Object Class Discovery

    Xia, S. & Hancock, E. R., 2009, COMPUTER ANALYSIS OF IMAGES AND PATTERNS, PROCEEDINGS. Jiang, X. & Petkov, N. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5702 LNCS. p. 385-393 9 p.

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

  160. Hypergraphs, Characteristic Polynomials and the Ihara Zeta Function

    Ren, P., Aleksic, T., Wilson, R. C. & Hancock, E. R., 2009, COMPUTER ANALYSIS OF IMAGES AND PATTERNS, PROCEEDINGS. Jiang, X. & Petkov, N. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5702 LNCS. p. 369-376 8 p.

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

  161. Implementing time-predictable load and store operations

    Whitham, J. & Audsley, N., 2009, EMSOFT '09 Proceedings of the seventh ACM international conference on Embedded software . New York: ACM, p. 265-274

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

  162. Improvement to Quick Processor-demand Analysis for EDF-Scheduled Real-Time Systems

    Zhang, F. & Burns, A., 2009, PROCEEDINGS OF THE 21ST EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 76-86 11 p.

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

  163. Improving Optimistic Exploration in Model-Free Reinforcement Learning

    Grzes, M. & Kudenko, D., 2009, ADAPTIVE AND NATURAL COMPUTING ALGORITHMS. Kolehmainen, M., Toivanen, P. & Beliczynski, B. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5495 LNCS. p. 360-369 10 p.

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

  164. Internationalization and Localization of Websites: Navigation in English Language and Chinese Language Sites

    Petrie, H., Power, C. & Song, W., 2009, INTERNATIONALIZATION, DESIGN AND GLOBAL DEVELOPMENT, PROCEEDINGS. BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5623 LNCS. p. 293-300 8 p.

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

  165. JSR-282 status report

    Dibble, P. C. & Wellings, A. J., 2009, Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2009, Madrid, Spain, September 23-25, 2009. Higuera-Toledano, M. T. & Schoeberl, M. (eds.). ACM, p. 179-182 4 p. (ACM International Conference Proceeding Series).

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

  166. Knowledge-Based Reinforcement Learning for Data Mining

    Kudenko, D. & Grzes, M., 2009, AGENTS AND DATA MINING INTERACTION. Cao, L., Gorodetsky, V., Liu, J., Weiss, G. & Yu, PS. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5680 LNAI. p. 21-22 2 p.

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

  167. Landmark Localisation in 3D Face Data

    Romero, M. & Pears, N., 2009, AVSS: 2009 6TH IEEE INTERNATIONAL CONFERENCE ON ADVANCED VIDEO AND SIGNAL BASED SURVEILLANCE. NEW YORK: IEEE, p. 73-78 6 p.

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

  168. Learning Class Specific Graph Prototypes

    Xia, S. & Hancock, E. R., 2009, IMAGE ANALYSIS AND PROCESSING - ICIAP 2009, PROCEEDINGS. Foggia, P., Sansone, C. & Vento, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5716 LNCS. p. 269-277 9 p.

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

  169. Learning Large Scale Class Specific Hyper Graphs for Object Recognition

    Xia, S. & Hancock, E. R., 2009, PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE ON IMAGE AND GRAPHICS (ICIG 2009). Zhang, YJ. (ed.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 366-371 6 p.

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

  170. Learning a Self-organizing Map Model on a Riemannian Manifold

    Yu, D. J., Hancock, E. R. & Smith, W. A. P., 2009, MATHEMATICS OF SURFACES XIII. Hancock, ER., Martin, RR. & Sabin, MA. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5654 LNCS. p. 375-390 16 p.

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

  171. Local Patch Blind Spectral Watermarking Method for 3D Graphics

    Luo, M., Wang, K., Bors, A. G. & Lavoue, G., 2009, DIGITAL WATERMARKING. Ho, ATS., Shi, YQ., Kim, HJ. & Barni, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5703 LNCS. p. 211-226 16 p.

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

  172. Mechanised Translation of Control Law Diagrams into Circus

    Zeyda, F. & Cavalcanti, A., 2009, Integrated Formal Methods. Leuschel, M. & Wehrheim, H. (eds.). SPRINGER-VERLAG BERLIN, Vol. 5423 LNCS. p. 151-166 16 p. (Lecture Notes in Computer Science; vol. 2999).

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

  173. Mixed Timing System-level Embedded Software Modelling and Simulation Approach

    Yu, K. & Audsley, N. C., 2009, 2009 INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 193-200 8 p.

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

  174. Model-Checking the Linux Virtual File System

    Galloway, A., Luettgen, G., Muehlberg, J. T. & Siminiceanu, R. I., 2009, VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION. Jones, ND. & MullerOlm, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5403 LNCS. p. 74-88 15 p.

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

  175. Modelling and Simulation of Granuloma Formation in Visceral Leishmaniasis

    Fluegge, A. J., Timmis, J., Andrews, P., Moore, J. W. J. & Kaye, P., 2009, 2009 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-5. NEW YORK: IEEE, p. 3052-3059 8 p.

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

  176. Monte Carlo search applied to card selection in Magic: The Gathering

    Ward, C. D. & Cowling, P. I., 2009, Computational Intelligence and Games, 2009. CIG 2009. IEEE Symposium on. p. 9-16 8 p.

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

  177. Motion Feature Combination for Human Action Recognition in Video

    Meng, H., Pears, N. & Bailey, C., 2009, Computer Vision and Computer Graphics. Theory and Applications : International Conference VISIGRAPH 2007, Barcelona, Spain, March 8-11, 2007. Revised Selected Papers. Springer, p. 151-163 13 p. (Communications in Computer and Information Science ; vol. 21).

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

  178. Pairwise Similarity Propagation Based Graph Clustering for Scalable Object Indexing and Retrieval

    Xia, S. & Hancock, E. R., 2009, GRAPH-BASED REPRESENTATIONS IN PATTERN RECOGNITION, PROCEEDINGS. Torsello, A., Escolano, F. & Brun, L. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5534 LNCS. p. 184-194 11 p.

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

  179. Point-Pair Descriptors for 3D Facial Landmark Localisation

    Romero, M. & Pears, N., 2009, 2009 IEEE 3RD INTERNATIONAL CONFERENCE ON BIOMETRICS: THEORY, APPLICATIONS AND SYSTEMS. NEW YORK: IEEE, p. 80-85 6 p.

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

  180. Probabilistic Failure Propagation and Transformation Analysis

    Ge, X., Paige, R. F. & McDermid, J. A., 2009, SAFECOMP '09 : Proceedings of the 28th International Conference on Computer Safety, Reliability, and Security. Berlin, Heidelberg: Springer-Verlag, p. 215-228 14 p. (Lecture Notes In Computer Science; vol. 5775).

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

  181. Professional Issues in System Safety Engineering

    McDermid, JA., Thomas, M. & Redmill, F., 2009, SAFETY-CRITICAL SYSTEMS: PROBLEMS, PROCESS AND PRACTICE. Dale, C. & Anderson, T. (eds.). NEW YORK: SPRINGER, p. 135-145 11 p.

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

  182. Providing temporal isolation in the OSGi framework

    Richardson, T., Wellings, A. J., Dianes, J. A. & Díaz, M., 2009, Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2009, Madrid, Spain, September 23-25, 2009. Higuera-Toledano, M. T. & Schoeberl, M. (eds.). ACM, p. 1-10 10 p. (ACM International Conference Proceeding Series).

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

  183. Raising the Level of Abstraction in the Development of GMF-based Graphical Model Editors

    Kolovos, D. S., Rose, L. M., Paige, R. F. & Polack, F. A. C., 2009, 2009 ICSE WORKSHOP ON MODELING IN SOFTWARE ENGINEERING (MISE). NEW YORK: IEEE, p. 13-19 7 p.

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

  184. Real-Time Communication Analysis with a Priority Share Policy in On-Chip Networks

    Shi, Z. & Burns, A., 2009, PROCEEDINGS OF THE 21ST EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 312 10 p.

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

  185. Reconstructing 3D Facial Shape Using Spherical Harmonics

    Zou, C., Zhao, G. & Hancock, E. R., 2009, IMAGE ANALYSIS AND PROCESSING - ICIAP 2009, PROCEEDINGS. Foggia, P., Sansone, C. & Vento, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5716 LNCS. p. 949-957 9 p.

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

  186. Refactoring Asynchronous Event Handling in the Real-Time Specification for Java

    Kim, M. & Wellings, A., 2009, PROCEEDINGS OF THE 21ST EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 25-34 10 p.

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

  187. Reinforcement Learning in RoboCup KeepAway with Partial Observability

    Devlin, S., Grzes, M. & Kudenko, D., 2009, 2009 IEEE/WIC/ACM INTERNATIONAL JOINT CONFERENCES ON WEB INTELLIGENCE (WI) AND INTELLIGENT AGENT TECHNOLOGIES (IAT), VOL 2. BaezaYates, R., Berendt, B., Bertino, E., Lim, EP. & Pasi, G. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, Vol. 2. p. 201-208 8 p.

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

  188. Representation and Structural biases in CGP

    Payne, A. J. & Stepney, S., 2009, 2009 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-5. NEW YORK: IEEE, p. 1064-1071 8 p.

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

  189. Road Vehicle Classification using Support Vector Machines

    Chen, Z., Pears, N., Freeman, M. & Austin, J., 2009, Intelligent Computing and Intelligent Systems, 2009. ICIS 2009. IEEE International Conference on . IEEE, Vol. 4. p. 214-218 5 p.

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

  190. SPECULAR AND DIFFUSE REFLECTANCE IN MICROFACET MODELS

    Smith, W. A. P. & Hancock, E. R., 2009, 2009 16TH IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING, VOLS 1-6. NEW YORK: IEEE, p. 3737-3740 4 p.

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

  191. SYNTHESIS OF THE SR PROGRAMMING LANGUAGE FOR COMPLEX FPGAS

    Gasson, N. & Audsley, N., 2009, FPL: 2009 INTERNATIONAL CONFERENCE ON FIELD PROGRAMMABLE LOGIC AND APPLICATIONS. Danek, M. & Kadlec, J. (eds.). NEW YORK: IEEE, p. 617-621 5 p.

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

  192. Self-organisation for Survival in Complex Computer Architectures

    Polack, F. A. C., 2009, Self-Organizing Architectures: First International Workshop, SOAR 2009, Cambridge, UK, September 14, 2009, Revised Selected and Invited Papers. SPRINGER, Vol. 6090 LNCS. p. 66-83 18 p. (Lecture Notes in Computer Science; vol. 6090).

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

  193. Semi-Automated Safety Analysis for Field Programmable Gate Arrays

    Conmy, P. & Bate, I., 2009, 16TH ANNUAL IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER BASED SYSTEMS, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 166-175 10 p.

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

  194. Semi-automated Safety Analysis for Field Programmable Gate Arrays

    Conmy, P. & Bate, I., 2009, Proceedings of the 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems. p. 166-175 10 p.

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

  195. Serious games to teach ethics

    Hodhod, R., Kudenko, D. & Cairns, P., 2009, Adaptive and Emergent Behaviour and Complex Systems - Proceedings of the 23rd Convention of the Society for the Study of Artificial Intelligence and Simulation of Behaviour, AISB 2009. p. 43-52 10 p.

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

  196. Shape watermarking based on minimizing the quadric error metric

    Luo, M. & Bors, A. G., 2009, SMI 2009: IEEE INTERNATIONAL CONFERENCE ON SHAPE MODELING AND APPLICATIONS, PROCEEDINGS. Yong, JH., Spagnuolo, M. & Wang, W. (eds.). NEW YORK: IEEE, p. 103-110 8 p.

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

  197. Shape-from-shading driven 3D Morphable Models for Illumination Insensitive Face Recognition

    Patel, A. & Smith, W. A. P., 2009, Proceedings of the British Machine Vision Conference.

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

  198. Sketching sketching: Outlines of a collaborative design method

    Craft, B. & Cairns, P., 2009, People and Computers XXIII Celebrating People and Technology - Proceedings of HCI 2009. p. 65-72 8 p.

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

  199. Software Assurance Arguments vs. Formal Mathematical Arguments: A Complementary Role

    Habli, I., Kelly, T., McDermid, J. A. & Stephenson, Z., 2009, IEEE International Symposium on Software Reliability Engineering.

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

  200. Software effort estimation based on weighted fuzzy grey relational analysis

    Azzeh, M., Neagu, D. & Cowling, P., 2009, Proceedings of the 5th International Conference on Predictor Models in Software Engineering. p. 8 1 p.

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

  201. Structure-Preserving Regularisation Constraints for Shape-from-Shading

    Huang, R. & Smith, W. A. P., 2009, COMPUTER ANALYSIS OF IMAGES AND PATTERNS, PROCEEDINGS. Jiang, X. & Petkov, N. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5702 LNCS. p. 865-872 8 p.

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

  202. T Cell Receptor Signalling Inspired Kernel Density Estimation and Anomaly Detection

    Owens, N. D. L., Greensted, A., Timmis, J. & Tyrrell, A., 2009, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Andrews, PS., Timmis, J., Owens, NDL., Aickelin, U., Hart, E., Hone, A. & Tyrrell, AM. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5666 LNCS. p. 122-135 14 p.

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

  203. The Graph Programming Language GP

    Plump, D., 2009, Algebraic Informatics : Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings. Springer, p. 99-122 24 p. (Lecture Notes in Computer Science; vol. 5725).

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

  204. The engineering of concurrent simulations of complex systems

    Polack, F. A. C., Andrews, P. S. & Sampson, A. T., 2009, 2009 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION. NEW YORK: IEEE, p. 217-224 8 p.

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

  205. The proper treatment of undefinedness in constraint languages

    Frisch, A. M. & Stuckey, P. J., 2009, Principles and Practice of Constraint Programming - CP 2009 : 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings. SPRINGER-VERLAG BERLIN, p. 367-382 (Lecture Notes in Computer Science; vol. 5732).

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

  206. Thread-local Scope Caching for Real-time Java

    Wellings, A. & Schoeberl, M., 2009, PROCEEDINGS OF THE 12TH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT/COMPONENT/SERVICE-ORIENTED REAL-TIME DISTRIBUTED COMPUTING. LOS ALAMITOS: IEEE COMPUTER SOC, p. 275-282 8 p.

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

  207. Tuning Complex Sensornet Systems Using Principled Engineering Methods

    Tate, J. & Bate, I., 2009, 16TH ANNUAL IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER BASED SYSTEMS, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 275-284 10 p.

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

  208. Using UML to Model EAE and Its Regulatory Network

    Read, M., Timmis, J., Andrews, P. S. & Kumar, V., 2009, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Andrews, PS., Timmis, J., Owens, NDL., Aickelin, U., Hart, E., Hone, A. & Tyrrell, AM. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5666 LNCS. p. 46 3 p.

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

  209. Using hardware methods to improve time-predictable performance in real-time Java systems

    Whitham, J., Audsley, N. C. & Schoeberl, M., 2009, Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2009, Madrid, Spain, September 23-25, 2009. Higuera-Toledano, M. T. & Schoeberl, M. (eds.). ACM, p. 130-139 10 p. (ACM International Conference Proceeding Series).

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

  210. Using neural networks for strategy selection in real-time strategy games

    Randall, T., Cowling, P., Baker, R. & Jiang, P., 2009, AISB 2009 Symposium: AI and Games, Edinburgh, Scotland, 8th-9th April.

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

  211. Using quantitative analysis to implement autonomic IT systems

    Calinescu, R. & Kwiatkowska, M., 2009, Proceedings of the 31st International Conference on Software Engineering (ICSE). p. 100-110 11 p.

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

  212. WCET Analysis of Modern Processors Using Multi-Criteria Optimisation

    Khan, U. & Bate, I., 2009, 1ST INTERNATIONAL SYMPOSIUM ON SEARCH BASED SOFTWARE ENGINEERING, PROCEEDINGS. DiPenta, M. & Poulding, S. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 103-112 10 p.

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

  213. WCET Analysis of Modern Processors Using Multi-Criteria Optimisation

    Khan, U. & Bate, I., 2009, Proceedings of the 1st International Symposium on Search Based Software Engineering (SSBSE '09). p. 103-112 10 p.

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

  214. Web Accessibility Metrics: Effects of Different Computational Approaches

    Freire, A. P., Power, C., Petrie, H., Tanaka, E. H., Rocha, H. V. & Fortes, R. P. M., 2009, UNIVERSAL ACCESS IN HUMAN-COMPUTER INTERACTION: APPLICATIONS AND SERVICES, PT III. Staphanidis, C. (ed.). PART 3 ed. BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5616 LNCS. p. 664-673 10 p.

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

  215. Weighted Graph Characteristics from Oriented Line Graph Polynomials

    Ren, P., Wilson, R. C. & Hancock, E. R., 2009, 2009 IEEE 12TH INTERNATIONAL CONFERENCE ON COMPUTER VISION (ICCV). NEW YORK: IEEE, p. 2280-2287 8 p.

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

  216. Who supports the support workers? E-learning for support workers of students with disabilities

    Power, C. D., Petrie, H., Swallow, D. & Sannia, M., 2009, CTA 2009 Proceedings of the Second International Conference on Information and Communication Technologies and Accessibility. p. 167-178 12 p.

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

  217. Widening the Goal Posts: Program Stretching to Aid Search Based Software Testing

    Ghani, K. & Clark, J. A., 2009, 1ST INTERNATIONAL SYMPOSIUM ON SEARCH BASED SOFTWARE ENGINEERING, PROCEEDINGS. DiPenta, M. & Poulding, S. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 122-131 10 p.

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

  218. 2008
  219. Human Involvement in the Dynamic Reconfiguration Process of Integrated Modular Avionics

    Montano, G. & McDermid, J., 9 Dec 2008, Digital Avionics Systems Conference (DASC): 2008 IEEE/AIAA : 27TH DIGITAL AVIONICS SYSTEMS CONFERENCE. NEW YORK: IEEE, p. 775-787 13 p.

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

  220. Metamodel-based generation of WSRF-compliant SOA for collaborative cancer research

    Zang, T., Calinescu, R., Harris, S., Tsui, A., Crichton, C., Kwiatkowska, M., Gibbons, J., Davies, J., Brenton, J. & Caldas, C., 1 Dec 2008, Proceedings - 4th IEEE International Conference on eScience, eScience 2008. p. 406-407 2 p. 4736819

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

  221. Methodology for the model-driven development of self-managing systems

    Calinescu, R., 1 Dec 2008, Conference on Computing Frontiers - Proceedings of the 2008 Conference on Computing Frontiers, CF'08.

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

  222. Novel features in languages of the epsilon model management platform

    Kolovos, D. S., Paige, R. F. & Polack, F. A. C., 1 Dec 2008, 30th International Conference on Software Engineering, ICSE 2008 Co-located Workshops - Proceedings of the 2008 International Workshop on Models in Software Engineering, MiSE'08. p. 69-73 5 p.

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

  223. Towards a generic autonomic architecture for legacy resource management

    Calinescu, R., 1 Dec 2008, Innovations and Advanced Techniques in Systems, Computing Sciences and Software Engineering. p. 410-415 6 p.

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

  224. Response Time Upper Bounds for Fixed Priority Real-Time Systems.

    Davis, R. I. & Burns, A., Dec 2008, IEEE Real-Time Systems Symposium. p. 407-418 12 p.

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

  225. A Model-Driven Approach to Assuring Process Reliability

    Habli, I. & Kelly, T., 1 Nov 2008, 19th International Symposium on Software Reliability Engineering, 2008. . p. 7 -16

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

  226. Extending A Task Allocation Algorithm For Graceful Degradation Of Real-Time Distributed Embedded Systems

    Emberson, P. & Bate, I., 1 Nov 2008, Proceedings 29th Real-Time Systems Symposium (RTSS 08). p. 270-279 10 p.

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

  227. Finding Faults: Manual Testing vs. Random+ Testing vs. User Reports

    Ciupa, I., Meyer, B., Oriol, M. & Pretschner, A., Nov 2008, 19th International Symposium on Software Reliability Engineering, 2008. ISSRE 2008. . p. 157-166 10 p.

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

  228. Manifesto - Model Engineering for Complex Systems

    Bézivin, J., Paige, R. F., Aßmann, U., Rumpe, B. & Schmidt, D., 17 Oct 2008, Perspectives Workshop: Model Engineering of Complex Systems (MECS). 4 p. (Dagstuhl Seminar Proceedings; vol. 08331).

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

  229. Belief Propagation with Directional Statistics for Solving the Shape-from-Shading Problem

    Haines, T. S. F. & Wilson, R. C., 12 Oct 2008, COMPUTER VISION - ECCV 2008, PT III, PROCEEDINGS. Forsyth, D., Torr, P. & Zisserman, A. (eds.). PART 3 ed. BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5304 LNCS. p. 780-791 12 p.

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

  230. An Investigation into Server Parameter Selection for Hierarchical Fixed Priority Pre-emptive Systems

    Davis, R. I. & Burns, A., Oct 2008, International conference on Real-Time and Network Systems. p. 19-28

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

  231. WSRF-based modeling of clinical trial information for collaborative cancer research

    Zang, T., Calinescu, R., Harris, S., Tsui, A., Kwiatkowska, M., Gibbons, J., Davies, J., Maccallum, P. & Caldas, C., 5 Sep 2008, Proceedings CCGRID 2008 - 8th IEEE International Symposium on Cluster Computing and the Grid. p. 73-81 9 p. 4534204

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

  232. Tuning Protocols To Improve The Energy Efficiency Of Sensornets

    Tate, J., Bate, I. & Poulding, S., 1 Sep 2008, Fourth UK Embedded Forum.

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

  233. YASS: a Scaleable Sensornet Simulator for Large Scale Experimentation

    Tate, J. & Bate, I., 1 Sep 2008, Communicating Process Architectures 2008. Welch, PH., Stepney, S., Polack, FAC., Barnes, FRM., McEwan, AA. & Stiles, GS. (eds.). AMSTERDAM: I O S PRESS, p. 411-430 20 p.

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

  234. Engineering Safety-Critical Complex Systems

    Alexander, R., Kelly, T. & Alexander-Bown, R., Sep 2008, CoSMoS 2008: Proceedings of the 2008 Workshop on Complex Systems Modelling and Simulation. Luniver Press, p. 33-62

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

  235. Implementation of a generic autonomic framework

    Calinescu, R., 29 Aug 2008, Proceedings - 4th International Conference on Autonomic and Autonomous Systems, ICAS 2008. p. 124-129 6 p. 4488333

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

  236. Language model based on POS tagger

    Ziolko, B., Manandhar, S., Wilson, R. C. & Ziolko, M., 26 Jul 2008, SIGMAP 2008: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SIGNAL PROCESSING AND MULTIMEDIA APPLICATIONS. Assuncao, P. & Faria, S. (eds.). SETUBAL: INSTICC-INST SYST TECHNOLOGIES INFORMATION CONTROL & COMMUNICATION, p. 177-180 4 p.

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

  237. No Going Back: An Interactive Visualization Application for Trailblazing on the Web

    Power, C., McQuillan, I., Petrie, H., Kennaugh, P., Daley, M. & Wozniak, G., 1 Jul 2008, Information Visualisation, 2008. IV '08. 12th International Conference . I E E E, p. 133 -142

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

  238. 3D Facial Landmark Localisation by Matching Simple Descriptors

    Romero-Huertas, M. & Pears, N., 2008, 2008 IEEE SECOND INTERNATIONAL CONFERENCE ON BIOMETRICS: THEORY, APPLICATIONS AND SYSTEMS (BTAS). NEW YORK: IEEE, p. 346-351 6 p.

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

  239. 3D Object Recognition Using Hyper-Graphs and Ranked Local Invariant Features

    Xia, S. & Hancock, E. R., 2008, STRUCTURAL, SYNTACTIC, AND STATISTICAL PATTERN RECOGNITION. DaVitoria Lobo, N., Kasparis, T., Roli, F., Kwok, JT., Georgiopoulos, M., Anagnostopoulos, GC. & Loog, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5342 LNCS. p. 117-126 10 p.

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

  240. A Neuro-Immune inspired robust real time visual tracking system

    Liu, Y., Timmis, J. & Clarke, T., 2008, Artificial Immune Systems : 7th International Conference, ICARIS 2008, Phuket, Thailand, August 10-13, 2008. Proceedings. Springer, p. 188-199 12 p. (Lecture Notes in Computer Science ; vol. 5132).

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

  241. A Simplified Executable Model to Evaluate Latency and Throughput of Networks-on-Chip

    Ost, L., Moraes, F. G., Moller, L., Indrusiak, L. S., Glesner, M., Maatta, S. & Nurmi, J., 2008, Proc 21st Symposium on Integrated Circuits and Systems Design (SBCCI). New York: Association for Computing Machinery (ACM), p. 170-175 6 p.

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

  242. A Supercompiler for Core Haskell

    Mitchell, N. & Runciman, C., 2008, Implementation and Application of Functional Languages: 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers. Springer, Vol. 5083. p. 147-164 (Lecture Notes in Computer Science; vol. 5083).

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

  243. A comparison of state-based modelling tools for model validation

    Aydal, E. G., Utting, M. & Woodcock, J., 2008, OBJECTS, COMPONENTS, MODELS AND PATTERNS. Paige, RF. & Meyer, B. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 278-296 19 p.

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

  244. A supercompiler for core Haskell

    Mitchell, N. & Runciman, C., 2008, Springer Lectures Notes in Computer Science: Implementation and Application of Functional Languages. Springer, Vol. 5083. p. 147-164 18 p.

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

  245. ABZ2008 VSR-Net Workshop

    Woodcock, J. & Boca, P., 2008, ABSTRACT STATE MACHINES, B AND Z, PROCEEDINGS. Borger, E., Butler, M., Bowen, JP. & Boca, P. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5238 LNCS. p. 378-379 2 p.

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

  246. ARTOO: adaptive random testing for object-oriented software

    Ciupa, I., Leitner, A., Oriol, M. & Meyer, B., 2008, ICSE '08 : Proceedings of the 30th international conference on Software engineering . p. 71-80

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

  247. Active Contour Detection of Linear Patterns in Spectrogram Images

    Lampert, T. & O'Keefe, S., 2008, 19TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOLS 1-6. NEW YORK: IEEE, p. 3350-3353 4 p.

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

  248. Adaptable lymphocytes for artificial immune systems

    Andrews, P. S. & Timmis, J., 2008, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Bentley, PJ., Lee, D. & Jung, S. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5132 LNCS. p. 376-386 11 p.

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

  249. Adjusting Analogy Software Effort Estimation Based on Fuzzy Logic.

    Azzeh, M., Neagu, D. & Cowling, P. I., 2008, ICSOFT (SE/MUSE/GSDCA). p. 127-132 6 p.

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

  250. An Artificial Lymph Node Architecture for Homeostasis in Collective Robotic Systems

    Mokhtar, M., Timmis, J., Tyrrell, A. M. & Bi, R., 2008, SASOW 2008: SECOND IEEE INTERNATIONAL CONFERENCE ON SELF-ADAPTIVE AND SELF-ORGANIZING SYSTEMS WORKSHOPS, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 126-131 6 p.

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

  251. An efficient and predictable implementation of asynchronous event handling in the RTSJ

    Kim, M. & Wellings, A. J., 2008, Proceedings of the 6th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES 2008, 24-26 September 2008, Santa Clara, California, USA. Bollella, G. & Locke, C. D. (eds.). ACM, Vol. 343. p. 48-57 10 p. (ACM International Conference Proceeding Series).

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

  252. Analogue circuit control through gene expression

    Clegg, K. & Stepney, S., 2008, APPLICATIONS OF EVOLUTIONARY COMPUTING, PROCEEDINGS. Giacobini, M. (ed.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 4974 LNCS. p. 154-163 10 p.

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

  253. Application of HTK to the Polish language

    Zi'olko, B., Manandhar, S., Wilson, R. C., Zi'olko, M. & Galka, J., 2008, 2008 INTERNATIONAL CONFERENCE ON AUDIO, LANGUAGE AND IMAGE PROCESSING, VOLS 1 AND 2, PROCEEDINGS. Wan, WG., Luo, FL. & Yu, XQ. (eds.). NEW YORK: IEEE, p. 1759-1764 6 p.

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

  254. Application-Defined Virtualisation for Embedded Real-Time Software on Complex Architectures

    Gray, I. & Audsley, N. C., 2008, 2nd Junior Researcher Workshop on Real-Time Computing, in conjunction with RTNS.

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

  255. Autonomous and/or interactive constraints-based software reconfiguration for planetary rover

    Montano, G. & McDermid, J. A., 2008, Proceedings of the 10th European Space Agency Workshop on Advanced Space Technologies for Robotics and Automation (ASTRA 2008). Noordwijk (The Netherlands). 11-13 November 2008. EUROPEAN SPACE AGENCY

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

  256. Bayesian network learning by compiling to weighted MAX-SAT

    Cussens, J., 2008, Proceedings of the 24th Conference on Uncertainty in Artificial Intelligence (UAI 2008). McAllester, D. & Myllymaki, P. (eds.). Corvallis, Oregon: AUAI Press, p. 105-112 8 p.

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

  257. Birkhoff Polytopes, Heat Kernels and Graph Complexity

    Escolano, F., Hancock, E. R. & Lozano, M. A., 2008, 19TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOLS 1-6. NEW YORK: IEEE, p. 2572-2576 5 p.

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

  258. Blocking time monitoring in the real-time specification for Java

    Santos, O. M. D. & Wellings, A. J., 2008, Proceedings of the 6th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES 2008, 24-26 September 2008, Santa Clara, California, USA. Bollella, G. & Locke, C. D. (eds.). ACM, Vol. 343. p. 135-143 9 p. (ACM International Conference Proceeding Series).

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

  259. Can opponent models aid poker player evolution?

    Baker, R. JS., Cowling, P. I., Randall, T. WG. & Jiang, P., 2008, Computational Intelligence and Games, 2008. CIG'08. IEEE Symposium On. p. 23-30 8 p.

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

  260. Can process-based and product-based approaches to software safety certification be reconciled?

    Kelly, T. P., 2008, IMPROVEMENTS IN SYSTEM SAFETY. Redmill, F. & Anderson, T. (eds.). GODALMING: SPRINGER-VERLAG LONDON LTD, p. 312 10 p.

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

  261. Challenges in Relational Learning for Real-Time Systems Applications

    Bartlett, M., Bate, I. & Kazakov, D., 2008, INDUCTIVE LOGIC PROGRAMMING, ILP 2008. Zelezny, F. & Lavrac, N. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5194 LNAI. p. 42-58 17 p.

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

  262. Clustering Using Class Specific Hyper Graphs

    Xia, S. & Hancock, E. R., 2008, STRUCTURAL, SYNTACTIC, AND STATISTICAL PATTERN RECOGNITION. DaVitoria Lobo, N., Kasparis, T., Roli, F., Kwok, JT., Georgiopoulos, M., Anagnostopoulos, GC. & Loog, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5342 LNCS. p. 318-328 11 p.

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

  263. Combining Shape-from-Shading and Stereo using Gaussian-Markov Random Fields

    Haines, T. S. F. & Wilson, R. C., 2008, 19TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOLS 1-6. NEW YORK: IEEE, p. 1064-1067 4 p.

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

  264. Combining reinforcement learning with symbolic planning

    Grounds, M. & Kudenko, D., 2008, ADAPTIVE AGENTS AND MULTI-AGENT SYSTEMS. Tuyls, K., Nowe, A., Guessoum, Z. & Kudenko, D. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 4865 LNAI. p. 75-86 12 p.

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

  265. Complex Systems Models: Engineering Simulations

    Polack, F. A. C., Hoverd, T., Sampson, A. T., Stepney, S. & Timmis, J., 2008, Proceedings of the Eleventh International Conference on the Simulation and Synthesis of Living Systems. MIT Press, Cambridge, MA., p. 482-489

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

  266. Constructing Models with the Human-Usable Textual Notation

    Rose, L. M., Paige, R. F., Kolovos, D. S. & Polack, F. A. C., 2008, MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS. Czarnecki, K., Ober, I., Bruel, JM. & Volter, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5301 LNCS. p. 249-263 15 p.

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

  267. Determining Whether a Problem Characteristic Affects Heuristic Performance

    Ridge, E., Kudenko, D., Cotta, C. (ed.) & Hemert, J. I. V. (ed.), 2008, Recent Advances in Evolutionary Computation for Combinatorial Optimization. Springer, Vol. 153. p. 21-35 15 p. (Studies in Computational Intelligence).

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

  268. Determining Whether a Problem Characteristic Affects Heuristic Performance A Rigorous Design of Experiments Approach

    Ridge, E. & Kudenko, D., 2008, RECENT ADVANCES IN EVOLUTIONARY COMPUTATION FOR COMBINATORIAL OPTIMIZATION. Cotta, C. & VanHemert, J. (eds.). NEW YORK: SPRINGER, p. 21-35 15 p.

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

  269. Display registration for device interaction - A proof of principle prototype

    Pears, N., Olivier, P. & Jackson, D., 2008, VISAPP 2008: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON COMPUTER VISION THEORY AND APPLICATIONS, VOL 1. Araujo, HJ. (ed.). SETUBAL: INSTICC-INST SYST TECHNOLOGIES INFORMATION CONTROL & COMMUNICATION, Vol. 1. p. 446-451 6 p.

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

  270. Empirical investigation of an Artificial Cytokine Network

    Read, M., Timmis, J. & Andrews, P. S., 2008, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Bentley, PJ., Lee, D. & Jung, S. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5132 LNCS. p. 340-351 12 p.

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

  271. Enabling Self-Reconfiguration on a Video Processing Platform

    Ackermann, K. F., Hoffmann, B., Indrusiak, L. S. & Glesner, M., 2008, Proc Int Symposiun on Industrial Embedded Systems (SIES). IEEE, p. 19-26 8 p.

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

  272. Enforcing Image Consistency in Multiple 3-D Object Modelling

    Grum, M. & Bors, A. G., 2008, 19TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOLS 1-6. NEW YORK: IEEE, p. 132-135 4 p.

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

  273. Evaluation and Comparison of Inferred Regular Grammars

    Walkinshaw, N., Bogdanov, K. & Johnson, K. H. A., 2008, Grammatical Inference: Algorithms and Applications . Vol. 5278/2008. p. 252 265 p.

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

  274. Evaluation of OCL for large-scale modelling: A different view of the Mondex purse

    Aydal, E. G., Paige, R. F. & Woodcock, J., 2008, MODELS IN SOFTWARE ENGINEERING. Giese, H. (ed.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5002 LNCS. p. 194-205 12 p.

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

  275. Evolving Intrusion Detection Rules on Mobile Ad Hoc Networks

    Sen, S. & Clark, J. A., 2008, PRICAI 2008: TRENDS IN ARTIFICIAL INTELLIGENCE. Ho, TB. & Zhou, ZH. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5351 LNAI. p. 1053-1058 6 p.

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

  276. Exact Scheduling Analysis of Accumulatively Monotonic Multiframe Tasks Subjected to Release Jitter and Arbitrary Deadlines

    Zuhily, A. & Burns, A., 2008, 2008 IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, PROCEEDINGS. Fay, IA. (ed.). NEW YORK: IEEE, p. 600-607 8 p.

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

  277. Exact response time scheduling analysis of Accumulatively Monotonic multiframe real time tasks

    Zuhily, A. & Burns, A., 2008, THEORETICAL ASPECTS OF COMPUTING - ICTAC 2008, PROCEEDINGS. Fitzgerald, JS., Haxthausen, AE. & Yenigun, H. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5160 LNCS. p. 410-424 15 p.

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

  278. Extending A Task Allocation Algorithm For Graceful Degradation Of Real-Time Distributed Embedded Systems

    Emberson, P. & Bate, I., 2008, RTSS: 2008 REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 270-279 10 p.

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

  279. Facial gender classification using shape from shading and weighted principal geodesic analysis

    Wu, J., Smith, W. A. P. & Hancock, E. R., 2008, IMAGE ANALYSIS AND RECOGNITION, PROCEEDINGS. Campilho, A. & Kamel, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5112 LNCS. p. 925-934 10 p.

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

  280. Forming Virtual Traces for WCET Analysis and Reduction

    Whitham, J. & Audsley, N., 2008, RTCSA 2008: 14TH IEEE INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS - PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 377-386 10 p.

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

  281. From Separation Logic to Hyperedge Replacement and Back

    Dodds, M., 2008, Graph Transformations: 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings. Springer, Vol. 5214 LNCS. p. 484-486 3 p. (Lecture Notes in Computer Science; vol. 5214).

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

  282. Gender Classification based on Facial Surface Normals

    Wu, J., Smith, W. A. P. & Hancock, E. R., 2008, 19TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOLS 1-6. NEW YORK: IEEE, p. 476-479 4 p.

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

  283. Generation of Dilemma-Based Narratives: Method and Turing Test Evaluation

    Barber, H. & Kudenko, D., 2008, INTERACTIVE STORYTELLING, PROCEEDINGS. Spierling, U. & Szilas, N. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5334 LNCS. p. 214-217 4 p.

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

  284. Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools

    Plump, D., Taentzer, G., Biermann, E., Bisztray, D., Bohnet, B., Boneva, I., Boronat, A., Geiger, L., Geiß, R., Horvath, Á., Kniemeyer, O., Mens, T., Ness, B. & Vajk, T., 2008, Applications of Graph Transformation with Industrial Relevance (AGTIVE 2007): Revised Selected and Invited Papers. Springer, p. 514-539 (Lecture Notes in Computer Science; vol. 5088).

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

  285. Graph Characteristic from the Gauss-Bonnet Theorem

    ElGhawalby, H. & Hancock, E. R., 2008, STRUCTURAL, SYNTACTIC, AND STATISTICAL PATTERN RECOGNITION. DaVitoria Lobo, N., Kasparis, T., Roli, F., Kwok, JT., Georgiopoulos, M., Anagnostopoulos, GC. & Loog, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5342 LNCS. p. 207-216 10 p.

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

  286. Graph Characteristics from the Ihara Zeta Function

    Ren, P., Wilson, R. C. & Hancock, E. R., 2008, STRUCTURAL, SYNTACTIC, AND STATISTICAL PATTERN RECOGNITION. DaVitoria Lobo, N., Kasparis, T., Roli, F., Kwok, JT., Georgiopoulos, M., Anagnostopoulos, GC. & Loog, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5342 LNCS. p. 257-266 10 p.

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

  287. Graph Edit Distance without Correspondence from Continuous-Time Quantum Walks

    Emms, D., Wilson, R. C. & Hancock, E. R., 2008, STRUCTURAL, SYNTACTIC, AND STATISTICAL PATTERN RECOGNITION. DaVitoria Lobo, N., Kasparis, T., Roli, F., Kwok, JT., Georgiopoulos, M., Anagnostopoulos, GC. & Loog, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5342 LNCS. p. 514 10 p.

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

  288. Immune systems and computation: An interdisciplinary adventure

    Timmis, J., Andrews, P., Owens, N. & Clark, E., 2008, UNCONVENTIONAL COMPUTATION, PROCEEDINGS. Calude, CS., Costa, JF., Freund, R., Oswald, M. & Rozenberg, G. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5204 LNCS. p. 818 11 p.

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

  289. Immuno-engineering

    Timmis, J., Hart, E., Hone, A., Neal, M., Robins, A., Stepney, S. & Tyrrell, A., 2008, BIOLOGICALLY-INSPIRED COLLABORATIVE COMPUTING. Hinchey, M., Pagnoni, A., Rammig, FJ. & Schmeck, H. (eds.). NEW YORK: SPRINGER, p. 317 15 p.

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

  290. Improving analogy software effort estimation using fuzzy feature subset selection algorithm

    Azzeh, M., Neagu, D. & Cowling, P., 2008, Proceedings of the 4th international workshop on Predictor models in software engineering. p. 71-78 8 p.

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

  291. Improving metaheuristic performance by evolving a variable fitness function

    Dahal, K., Remde, S., Cowling, P. & Colledge, N., 2008, European Conference on Evolutionary Computation in Combinatorial Optimization. p. 170-181 12 p.

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

  292. Investigating the Use of Argument Modularity to Optimise Through-Life System Safety Assurance

    Despotou, G. & Kelly, T., 2008, System Safety, 2008 3rd IET International Conference on. 542 CP ed. p. 1-6 6 p.

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

  293. Kernel Bandwidth Estimation in Methods based on Probability Density Function Modelling

    Bors, A. G. & Nasios, N., 2008, 19TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOLS 1-6. NEW YORK: IEEE, p. 3354-3357 4 p.

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

  294. LOGITBOOST WEKA CLASSIFIER SPEECH SEGMENTATION

    Ziolko, B., Manandhar, S., Wilson, R. C. & Ziolko, M., 2008, 2008 IEEE INTERNATIONAL CONFERENCE ON MULTIMEDIA AND EXPO, VOLS 1-4. NEW YORK: IEEE, p. 1297-1300 4 p.

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

  295. Linking VDM and Z

    Woodcock, J. & Freitas, L., 2008, ICECCS 2008: THIRTEENTH IEEE INTERNATIONAL CONFERENCE ON THE ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS. Breitman, K., Woodcock, J., Sterritt, R. & Hinchey, MG. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 143-152 10 p.

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

  296. Measuring Skin Reflectance Parameters

    Dickens, M. P., Smith, W. A. P., Ragheb, H. & Hancock, E. R., 2008, 19TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOLS 1-6. NEW YORK: IEEE, p. 2921-2924 4 p.

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

  297. Measuring graph similarity using spectral geometry

    ElGhawalby, H. & Hancock, E. R., 2008, IMAGE ANALYSIS AND RECOGNITION, PROCEEDINGS. Campilho, A. & Kamel, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5112 LNCS. p. 517-526 10 p.

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

  298. Modelling User-Phishing Interaction

    Dong, X., Clark, J. A. & Jacob, J., 2008, 2008 CONFERENCE ON HUMAN SYSTEM INTERACTIONS, VOLS 1 AND 2. NEW YORK: IEEE, p. 633-638 6 p.

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

  299. Multi-Agent Reinforcement Learning for Intrusion Detection: A Case Study and Evaluation

    Servin, A. & Kudenko, D., 2008, MULTIAGENT SYSTEM TECHNOLOGIES, PROCEEDINGS. Bergmann, R., Lindemann, G., Kirn, S. & Pechoucek, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5244 LNAI. p. 159-170 12 p.

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

  300. Multi-agent reinforcement learning for intrusion detection

    Servin, A. & Kudenko, D., 2008, ADAPTIVE AGENTS AND MULTI-AGENT SYSTEMS. Tuyls, K., Nowe, A., Guessoum, Z. & Kudenko, D. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 211-223 13 p.

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

  301. Multigrid Reinforcement Learning with Reward Shaping

    Grzes, M. & Kudenko, D., 2008, ARTIFICIAL NEURAL NETWORKS - ICANN 2008, PT I. Kurkova, V., Neruda, R. & Koutnik, J. (eds.). PART 1 ed. BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5163 LNCS. p. 357-366 10 p.

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

  302. Multiprocessors and the Real-time Specification for Java

    Wellings, A. J., 2008, ISORC 2008: 11TH IEEE SYMPOSIUM ON OBJECT/COMPONENT/SERVICE-ORIENTED REAL-TIME DISTRIBUTED COMPUTING - PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 255-261 7 p.

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

  303. New Directions in Worst-Case Execution Time Analysis

    Bate, I. & Kazakov, D., 2008, 2008 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-8. NEW YORK: IEEE, p. 3545-3552 8 p.

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

  304. New Directions in Worst-Case Execution Time Analysis

    Bate, I. & Kazakov, D., 2008, IEEE Congress on Evolutionary Computation (IEEE CEC 2008) within.

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

  305. No going back: An interactive visualization application for trailblazing on the web

    Power, C., McQuillan, I., Petrie, H., Kennaugh, P., Daley, M. & Wozniak, G., 2008, PROCEEDINGS OF THE 12TH INTERNATIONAL INFORMATION VISUALISATION. Banissi, E., Stuart, L., Jern, M., Andrienko, G., Marchese, FT., Memon, N., Alhajj, R., Wyeld, TG., Burkhard, RA., Grinstein, G., Groth, D., Ursyn, A., Maple, C., Faiola, A. & Craft, B. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 133-142 10 p.

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

  306. Observations for Assertion-based Scenarios in the context of Model Validation and Extension to Test Case Generation

    Aydal, E. G., Paige, R. F. & Woodcock, J., 2008, First International Conference on Software Testing Verification and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008, Workshops Proceedings. IEEE Computer Society Press, p. 11-20 10 p.

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

  307. On the formal development of safety-critical software

    Galloway, A., Iwu, F., McDermid, J. & Toyn, I., 2008, VSTTE: Verified Software Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised. Meyer, B. & Woodcock, J. (eds.). Zurich, Switzerland: SPRINGER-VERLAG BERLIN, Vol. LNCS 4171. p. 362-373 12 p.

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

  308. POSIX and the Verification Grand Challenge: a roadmap

    Freitas, L., Woodcock, J. & Butterfield, A., 2008, ICECCS 2008: THIRTEENTH IEEE INTERNATIONAL CONFERENCE ON THE ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS. Breitman, K., Woodcock, J., Sterritt, R. & Hinchey, MG. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 153-162 10 p.

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

  309. PRINCIPAL COMPONENT ANALYSIS OF SPECTRAL COEFFICIENTS FOR MESH WATERMARKING

    Luo, M. & Bors, A. G., 2008, 2008 IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING, PROCEEDINGS. NEW YORK: IEEE, p. 441-444 4 p.

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

  310. Parallel reinforcement learning with linear function approximation

    Grounds, M. & Kudenko, D., 2008, ADAPTIVE AGENTS AND MULTI-AGENT SYSTEMS. Tuyls, K., Nowe, A., Guessoum, Z. & Kudenko, D. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 4865 LNAI. p. 60-74 15 p.

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

  311. Parts Based Generative Models for Graphs

    White, D. & Wilson, R. C., 2008, 19TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOLS 1-6. NEW YORK: IEEE, p. 3318-3321 4 p.

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

  312. Pattern Vectors from the Ihara Zeta Function

    Ren, P., Wilson, R. C. & Hancock, E. R., 2008, 19TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOLS 1-6. NEW YORK: IEEE, p. 2495-2498 4 p.

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

  313. Plan-based Reward Shaping for Reinforcement Learning

    Grzes, M. & Kudenko, D., 2008, 2008 4TH INTERNATIONAL IEEE CONFERENCE INTELLIGENT SYSTEMS, VOLS 1 AND 2. NEW YORK: IEEE, Vol. 3. p. 416-423 8 p.

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

  314. Policy Evolution with Genetic Programming: a Comparison of Three Approaches

    Lim, Y. T., Cheng, P. C., Clark, J. A. & Rohatgi, P., 2008, 2008 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-8. NEW YORK: IEEE, p. 1792-1800 9 p.

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

  315. Policy Evolution with Grammatical Evolution

    Linn, Y. T., Cheng, P. C., Clark, J. A. & Rohatgi, P., 2008, SIMULATED EVOLUTION AND LEARNING, PROCEEDINGS. Li, X., Kirley, M., Zhang, M., Green, D., Ciesielski, V., Abbass, H., Michalewicz, Z., Hendtlass, T., Deb, K., Tan, KC., Branke, J. & Shi, Y. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5361 LNAI. p. 71-80 10 p.

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

  316. Polytopal Graph Complexity, Matrix Permanents, and Embedding

    Escolano, F., Hancock, E. R. & Lozano, M. A., 2008, STRUCTURAL, SYNTACTIC, AND STATISTICAL PATTERN RECOGNITION. DaVitoria Lobo, N., Kasparis, T., Roli, F., Kwok, JT., Georgiopoulos, M., Anagnostopoulos, GC. & Loog, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5342 LNCS. p. 237-246 10 p.

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

  317. Predictable Out-of-order Execution Using Virtual Traces

    Whitham, J. & Audsley, N., 2008, RTSS: 2008 REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 445-455 11 p.

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

  318. Priority Assignment for Real-Time Wormhole Communication in On-Chip Networks

    Shi, Z. & Burns, A., 2008, RTSS: 2008 REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 421-430 10 p.

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

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

    Wellings, A. J. & Kim, M. S., 2008, Proceedings of the 6th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES 2008, 24-26 September 2008, Santa Clara, California, USA. Bollella, G. & Locke, C. D. (eds.). ACM, Vol. 343. p. 3-9 7 p. (ACM International Conference Proceeding Series).

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

  320. Quantitative Evaluation on Heat Kernel Permutation Invariants

    Xiao, B., Wilson, R. C. & Hancock, E. R., 2008, STRUCTURAL, SYNTACTIC, AND STATISTICAL PATTERN RECOGNITION. DaVitoria Lobo, N., Kasparis, T., Roli, F., Kwok, JT., Georgiopoulos, M., Anagnostopoulos, GC. & Loog, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5342 LNCS. p. 217-226 10 p.

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

  321. Ranking the Local Invariant Features for the Robust Visual Saliencies

    Xia, S., Ren, P. & Hancock, E. R., 2008, 19TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOLS 1-6. NEW YORK: IEEE, p. 3173-3176 4 p.

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

  322. Recognising Facial Expressions Using Spherical Harmonics

    Sharpe, J. & Hancock, E. R., 2008, STRUCTURAL, SYNTACTIC, AND STATISTICAL PATTERN RECOGNITION. DaVitoria Lobo, N., Kasparis, T., Roli, F., Kwok, JT., Georgiopoulos, M., Anagnostopoulos, GC. & Loog, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5342 LNCS. p. 157-166 10 p.

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

  323. Recovering Face Shape and Reflectance Properties from Single Images

    Smith, W. A. P. & Hancock, E. R., 2008, 2008 8TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATIC FACE & GESTURE RECOGNITION (FG 2008), VOLS 1 AND 2. NEW YORK: IEEE, p. 178-185 8 p.

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

  324. Reviewing and evaluating Automatic Term Recognition techniques

    Korkontzelos, I., Klapaftis, L. P. & Manandhar, S., 2008, ADVANCES IN NATURAL LANGUAGE PROCESSING, PROCEEDINGS. Nordstrom, B. & Ranta, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5221 LNAI. p. 248-259 12 p.

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

  325. Robustness analysis of SARSA(lambda): Different models of reward and initialisation

    Grzes, M. & Kudenko, D., 2008, ARTIFICIAL INTELLIGENCE: METHODOLOGY, SYSTEMS, AND APPLICATIONS. Dochev, D., Pistore, M. & Traverso, P. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 144-156 13 p.

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

  326. Run Time Detection of Blocking Time Violations in Real-Time Systems

    dos Santos, O. M. & Wellings, A., 2008, RTCSA 2008: 14TH IEEE INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS - PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 347-356 10 p.

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

  327. Schemas in Directed Emergent Drama

    Arinbjarnar, M. & Kudenko, D., 2008, INTERACTIVE STORYTELLING, PROCEEDINGS. Spierling, U. & Szilas, N. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5334 LNCS. p. 180-185 6 p.

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

  328. SmallCheck and Lazy SmallCheck automatic exhaustive testing for small values

    Runciman, C., Naylor, M. & Lindblad, F., 2008, HASKELL'08: PROCEEDINGS OF THE ACM SIGPLAN 2008 HASKELL SYMPOSIUM. NEW YORK: ASSOC COMPUTING MACHINERY, p. 37-48 12 p.

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

  329. Software project similarity measurement based on fuzzy C-means

    Azzeh, M., Neagu, D. & Cowling, P., 2008, International Conference on software process. p. 123-134 12 p.

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

  330. Spectral Embedding of Feature Hypergraphs

    Ren, P., Wilson, R. C. & Hancock, E. R., 2008, STRUCTURAL, SYNTACTIC, AND STATISTICAL PATTERN RECOGNITION. DaVitoria Lobo, N., Kasparis, T., Roli, F., Kwok, JT., Georgiopoulos, M., Anagnostopoulos, GC. & Loog, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5342 LNCS. p. 308-317 10 p.

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

  331. Supervised Principal Geodesic Analysis on Facial Surface Normals for Gender Classification

    Wu, J., Smith, W. A. P. & Hancock, E. R., 2008, STRUCTURAL, SYNTACTIC, AND STATISTICAL PATTERN RECOGNITION. DaVitoria Lobo, N., Kasparis, T., Roli, F., Kwok, JT., Georgiopoulos, M., Anagnostopoulos, GC. & Loog, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5342 LNCS. p. 664-673 10 p.

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

  332. Supporting the support workers: training and supporting support workers for students with disabilities through e-learning, online resources and communication

    Sannia, M., Petrie, H., Power, C. D. & Swallow, D., 2008, Conference on Interactive Computer Aided Learning 2008. Kassel University Press

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

  333. Survivability Management for Integrated Modular Safety-Critical Space Systems

    Montano, G. & McDermid, J. A., 2008, Proceedings of the 3rd International Association for the Advancement of Space Safety (IAASS 2008). Roma (Italy). 21-23 October 2008. International Association for the Advancement of Space Safety

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

  334. The Epsilon Generation Language

    Rose, L. M., Paige, R. F., Kolovos, D. S. & Polack, F. A. C., 2008, MODEL DRIVEN ARCHITECTURE - FOUNDATIONS AND APPLICATIONS, PROCEEDINGS. Schieferdecker, I. & Hartman, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5095 LNCS. p. 116 16 p.

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

  335. The Epsilon Transformation Language

    Kolovos, D. S., Paige, R. F. & Polack, F. A. C., 2008, THEORY AND PRACTICE OF MODEL TRANSFORMATIONS. Vallecillo, A., Gray, J. & Pierantonio, A. (eds.). NEW YORK: SPRINGER, Vol. 5063 LNCS. p. 46-60 15 p.

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

  336. The Epsilon Transformation Language

    Kolovos, D. S., Paige, R. F. & Polack, F., 2008, Theory and Practice of Model Transformations : First International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008 Proceedings. Springer, p. 46-60 (Lecture Notes in Computer Science; vol. 5063).

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

  337. The GP Programming System

    Manning, G. & Plump, D., 2008, Proceedings of the Seventh International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008). p. 1-13 (Electronic Communications of the EASST; vol. 10).

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

  338. The Reduceron: Widening the von Neumann bottleneck for graph reduction using an FPGA

    Naylor, M. & Runciman, C., 2008, IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES. Chitil, O., Horvath, Z. & Zsok, V. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5083 LNCS. p. 129-146 18 p.

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

  339. The pathways of complement

    Aitken, J. M., Clarke, T. & Timmis, J. I., 2008, Lecture Notes in Computer Science: Artificial Immune Systems. Springer Berlin / Heidelberg, Vol. 5132. p. 364-375 12 p.

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

  340. There's always one! Modelling outlying user performance

    Schiller, J. & Cairns, P., 2008, Conference on Human Factors in Computing Systems - Proceedings. p. 3513-3518 6 p.

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

  341. Threat Modelling in User Performed Authentication

    Dong, X., Clark, J. A. & Jacob, J. L., 2008, INFORMATION AND COMMUNICATIONS SECURITY, PROCEEDINGS. Chen, L., Ryan, MD. & Wang, G. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5308 LNCS. p. 49-64 16 p.

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

  342. TinyOS extensions for a wireless sensor network node based on a dynamically reconfigurable processor

    Ochirsuren, E., Hinkelmann, H., Indrusiak, L. S. & Glesner, M., 2008, Distributed Embedded Systems: Design, Middleware and Resources. LAXENBURG: IFIP - International Federation for Information Processing, Vol. 271. p. 161-170 10 p.

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

  343. Towards Agile Engineering of High-Integrity Systems

    Paige, R. F., Charalambous, R., Ge, X. & Brooke, P. J., 2008, COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS. Harrison, MD. & Sujan, MA. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5219 LNCS. p. 30-43 14 p.

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

  344. Traces as a Solution to Pessimism and Modeling Costs in WCET Analysis

    Whitham, J. & Audsley, N. C., 2008, 8th International Workshop on Worst-Case Execution Time (WCET) Analysis: Prague, Czech Republic, July 1, 2008. Kirner, R. (ed.). Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, Vol. 8. (OASICS).

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

  345. User Behaviour Based Phishing Websites Detection

    Dong, X., Clark, J. A. & Jacob, J. L., 2008, 2008 INTERNATIONAL MULTICONFERENCE ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGY (IMCSIT), VOLS 1 AND 2. Ganzha, M., Paprzycki, M. & PelechPilichowski, T. (eds.). NEW YORK: IEEE, Vol. 3. p. 728-735 8 p.

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

  346. Using Bayes Theorem for Path Prediction

    Baker, R., Cowling, P., Randall, T. & Jiang, P., 2008, 9th Informatics Research Workshop for Research Students, University of Bradford, UK.

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

  347. Using trace scratchpads to reduce execution times in predictable real-time architectures

    Whitham, J. & Audsley, N., 2008, PROCEEDINGS OF THE 14TH IEEE REAL-TIME AND EMBEDDED TECHNOLOGY AND APPLICATIONS SYMPOSIUM. LOS ALAMITOS: IEEE COMPUTER SOC, p. 305-316 12 p.

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

  348. Utilising Application Flexibility in Energy Aware Computing

    Bate, I., 2008, 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications. p. 285-290 6 p.

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

  349. Utilising Application Flexibility in Energy Aware Computing

    Bate, I., 2008, RTCSA 2008: 14TH IEEE INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS - PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 285-290 6 p.

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

  350. Validation of Executable Application Models Mapped onto Network-on-Chip Platforms

    Määttä, S., Indrusiak, L. S., Ost, L., Moller, L., Nurmi, J., Glesner, M. & Moraes, F., 2008, Int Symposium on Industrial Embedded Systems. New York: IEEE, p. 118-125 8 p.

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

  351. Web accessibility - Automatic/manual evaluation and authoring tools - Introduction to the special thematic session

    Petrie, H., Power, C. & Weber, G., 2008, COMPUTERS HELPING PEOPLE WITH SPECIAL NEEDS, PROCEEDINGS. Miesenberger, K., Klaus, J., Zagler, W. & Karshmer, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5105 LNCS. p. 334-337 4 p.

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

  352. Who Supports the Support Workers? e-Learning for Support Workers of Students With Disabilities

    Power, C., Petrie, H., Swallow, D. & Sannia, M., 2008, 7TH EUROPEAN CONFERENCE ON E-LEARNING, VOL 2. Willimas, R. & Remenyi, D. (eds.). NR READING: ACADEMIC CONFERENCES LTD, p. 304-312 9 p.

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

  353. Word Sense Induction Using Graphs of Collocations

    Klapaftis, I. P. & Manandhar, S., 2008, Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence . Amsterdam: IOS Press, p. 298-302 4 p.

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

  354. 2007
  355. An associative memory for association rule mining

    Baez-Monroy, V. O. & O'Keefe, S., 1 Dec 2007, IEEE International Conference on Neural Networks - Conference Proceedings. p. 2227-2232 6 p. 4371304

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

  356. Challenges and best practices in policy-based autonomic architectures

    Calinescu, R., 1 Dec 2007, Proceedings - DASC 2007: Third IEEE International Symposium on Dependable, Autonomic and Secure Computing. p. 65-74 10 p. 4351390

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

  357. Cross-trial query system for cancer clinical trials

    Calinescu, R., Harris, S., Gibbons, J. & Davies, J., 1 Dec 2007, Innovations and Advanced Techniques in Computer and Information Sciences and Engineering. p. 385-390 6 p.

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

  358. Model-driven architecture for cancer research

    Calinescu, R., Harris, S., Gibbons, J., Davies, J., Toujilov, I. & Nagl, S. B., 1 Dec 2007, Proceedings - 5th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2007. p. 59-68 10 p. 4343924

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

  359. The improved correlation matrix memory (CMML)

    Shah, N., O'Keefe, S. & Austin, J., 1 Dec 2007, IEEE International Conference on Neural Networks - Conference Proceedings. p. 1168-1173 6 p. 4371123

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

  360. Robust priority assignment for fixed priority real-time systems

    Davis, R. I. & Burns, A., Dec 2007, RTSS 2007: 28th IEEE International Real-Time Systems Symposium, 2007. Los Alamitos: IEEE, p. 3-14 12 p.

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

  361. Model-driven autonomic architecture

    Calinescu, R., 15 Nov 2007, Fourth International Conference on Autonomic Computing, ICAC'07. 4273103

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

  362. Heuristic search for non-linear cryptanalytic approximations

    Tapiador, J. M. E., Hernandez-Castro, J. C. & Clark, J. A., 1 Sep 2007, CEC 2007. IEEE Congress on Evolutionary Computation, 2007. p. 3561 -3568

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

  363. A Functional-Logic Library for Wired

    Naylor, M., Axelsson, E. & Runciman, C., 2007, HASKELL'07: PROCEEDINGS OF THE ACM SIGPLAN 2007 HASKELL WORKSHOP. NEW YORK: ASSOC COMPUTING MACHINERY, p. 37-48 12 p.

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

  364. A correspondence measure for graph matching using the discrete quantum walk

    Emms, D., Hancock, E. R. & Wilson, R. C., 2007, Graph-Based Representations in Pattern Recognition, Proceedings. Escolano, F. & Vento, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 81-91 11 p.

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

  365. A denotational semantics for Handel-C hardware compilation

    Perna, J. I. & Woodcock, J., 2007, FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS. Butler, M., Hinchey, MG. & LarrondoPetrie, MM. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 266-285 20 p.

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

  366. A deterministic implementation process for accurate and traceable system timing and space analysis

    Ward, M. & Audsley, N. C., 2007, 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Proceedings. LOS ALAMITOS: IEEE COMPUTER SOC, p. 432-437 6 p.

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

  367. A human action recognition system for embedded computer vision application

    Meng, H., Pears, N. & Bailey, C., 2007, 2007 IEEE CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION, VOLS 1-8. NEW YORK: IEEE, p. 3213-3218 6 p.

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

  368. A model for real time mobility based on the RTSJ

    AlRahmawy, M. & Wellings, A. J., 2007, Proceedings of the 5th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES 2007, Institute of Computer Engineering, Vienna University of Technology, 26-28 September 2007, Vienna, Austria. Bollella, G. (ed.). ACM, p. 155-164 10 p. (ACM International Conference Proceeding Series).

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

  369. A novel approach to the detection of cheating in multiplayer online games

    Laurens, P., Paige, R. F., Brooke, P. J. & Chivers, H., 2007, 12TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING COMPLEX COMPUTER SYSTEMS, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 97-106 10 p.

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

  370. A virtual organisation deployed on a service orientated architecture for distributed data mining applications

    Jackson, T., Jessop, M., Fletcher, M. & Austin, J., 2007, Grid-Based Problem Solving Environments. Gaffney, PW. & Pool, JCT. (eds.). NEW YORK: SPRINGER, p. 155-170 16 p.

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

  371. APD-A tool for identifying behavioural patterns automatically from clickstream data

    Ting, I-H., Clark, L., Kimble, C., Kudenko, D. & Wright, P., 2007, Knowledge-Based Intelligent Information and Engineering Systems: KES 2007 - WIRN 2007, Pt II, Proceedings. Apolloni, B., Howlett, RJ. & Jain, L. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 66-73 8 p.

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

  372. Achieving integrated process and product safety arguments

    Habli, I. & Kelly, T., 2007, Safety of Systems. Redmill, F. & Anderson, T. (eds.). GODALMING: SPRINGER-VERLAG LONDON LTD, p. 55-68 14 p.

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

  373. Adaptive Generation of Dilemma-based Interactive Narratives

    Barber, H., Kudenko, D., Jain, L. C. (ed.) & Handa, H. (ed.), 2007, Advanced Intelligent Paradigms in Computer Games. Springer, Vol. 71. p. 19-37 19 p. (Studies in Computational Intelligence).

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

  374. Advanced structural representations for question classification and answer re-ranking

    Quarteroni, S., Moschitti, A., Manandhar, S. & Basili, R., 2007, Advances in Information Retrieval. Amati, G., Carpineto, C. & Romano, G. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 234-245 12 p.

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

  375. An Improved Speaker Diarization System

    Fu, R. & Benest, I. D., 2007, INTERSPEECH 2007: 8TH ANNUAL CONFERENCE OF THE INTERNATIONAL SPEECH COMMUNICATION ASSOCIATION, VOLS 1-4. BAIXAS: ISCA-INST SPEECH COMMUNICATION ASSOC, p. 1253-1256 4 p.

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

  376. An analysis of problem difficulty for a class of optimisation heuristics

    Ridge, E. & Kudenko, D., 2007, Evolutionary Computation in Combinatorial Optimization, Proceedings. Cotta, C. & VanHemert, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 198-209 12 p.

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

  377. An architecture for distributed search and data-mining in condition monitoring applications

    Jackson, T., Fletcher, M., Liang, B., Jessop, M. & Austin, J., 2007, 2007 IEEE AEROSPACE CONFERENCE, VOLS 1-9. NEW YORK: IEEE, p. 3871-3882 12 p.

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

  378. An associative memory for association rule mining

    Baez-Monroy, V. O. & O'Keefe, S., 2007, 2007 IEEE INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS, VOLS 1-6. NEW YORK: IEEE, p. 2227-2232 6 p.

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

  379. An efficient experimental methodology for configuring search-based design algorithms

    Poulding, S., Emberson, P., Bate, I. & Clark, J. A., 2007, Proceedings of 10th IEEE High Assurance System Engineering Symposium (HASE 2007). USA: computer.org, p. 53-62 10 p.

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

  380. An efficient page lock/release OS mechanism for out-of-core embedded applications

    Patil, A. & Audsley, N., 2007, 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Proceedings. LOS ALAMITOS: IEEE COMPUTER SOC, p. 81-88 8 p.

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

  381. Analysis of hierarchical EDF pre-emptive scheduling

    Zhang, F. & Burns, A., 2007, RTSS 2007: 28TH IEEE INTERNATIONAL REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 423-434 12 p.

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

  382. Analyzing Heuristic Performance with Response Surface Models: Prediction, Optimization and Robustness

    Ridge, E. & Kudenko, D., 2007, GECCO 2007: GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, VOL 1 AND 2. NEW YORK: ASSOC COMPUTING MACHINERY, p. 150-157 8 p.

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

  383. Applying artificial immune systems to real-time embedded systems

    Lay, N. & Bate, I., 2007, Congress on Evolutionary Computation (CEC). NEW YORK: IEEE, p. 3743-3750 8 p.

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

  384. Applying web usage mining techniques to discover potential browsing problems of users

    Ting, I-H., Kimble, C. & Kudenko, D., 2007, 7th IEEE International Conference on Advanced Learning Technologies, Proceedings. Spector, JM., Sampson, DG., Okamoto, T., Kinshuk, X., Cerri, SA., Ueno, M. & Kashihara, A. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 929-930 2 p.

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

  385. Asynchronous event handling in the real-time specification for Java

    Kim, M. & Wellings, A. J., 2007, Proceedings of the 5th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES 2007, Institute of Computer Engineering, Vienna University of Technology, 26-28 September 2007, Vienna, Austria. Bollella, G. (ed.). ACM, p. 3-12 10 p. (ACM International Conference Proceeding Series).

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

  386. Bayesian opponent modeling in a simple poker environment

    Baker, R. JS. & Cowling, P. I., 2007, Computational Intelligence and Games, 2007. CIG 2007. IEEE Symposium on. p. 125-131 7 p.

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

  387. Capturing and Replaying Architectural Knowledge through Derivational Analogy

    Habli, I. & Kelly, T., 2007, 2nd International Workshop on SHAring and Reusing architectural Knowledge – Architecture, rationale, and Design Intent.

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

  388. Challenges of establishing a software product line for an aerospace engine monitoring system

    Habli, I., Kelly, T. & Hopkins, I., 2007, SPLC 2007: 11TH INTERNATIONAL SOFTWARE PRODUCT LINE CONFERENCE, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 193-202 10 p.

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

  389. Comparative analysis of multitask scheduling algorithms for reconfigurable computing regarding context switches and configuration cache usage

    Spies, C., Indrusiak, L. S. & Glesner, M., 2007, 3rd Southern Conference on Programmable Logic, Proceedings. NEW YORK: IEEE, p. 239-242 4 p.

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

  390. Comparison of MilStd 882E and Interim Defence Standard 00-56 Issue 3

    McDermid, J. A., 2007, Proceedings of the 25th International System Safety Conference. Gonzalez, A. M. (ed.).

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

  391. Deconstructing web experience: More than just usability and good design

    Harrison, C. & Petrie, H., 2007, Human-Computer Interaction, Pt 4, Proceedings. Jacko, JA. (ed.). BERLIN: SPRINGER-VERLAG BERLIN, p. 889-898 10 p.

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

  392. Efficiently accessing remote resources in distributed real-time systems

    Usher, P. S. & Audsley, N. C., 2007, 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Proceedings. LOS ALAMITOS: IEEE COMPUTER SOC, p. 57-62 6 p.

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

  393. Estimating reflectance functions using a cyberware 3030 scanner

    Dickens, M. P. & Hancock, E. R., 2007, Computer Analysis of Images and Patterns, Proceedings. Kropatsch, WG., Kampel, M. & Hanbury, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 342-350 9 p.

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

  394. Evolution of fitness functions to improve heuristic performance

    Remde, S., Cowling, P., Dahal, K. & Colledge, N., 2007, International Conference on Learning and Intelligent Optimization. p. 206-219 14 p.

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

  395. Evolutionary search applied to reconfigurable analogue control

    Clegg, K., Stepney, S. & Clarke, T., 2007, 2007 INTERNATIONAL CONFERENCE ON FIELD PROGRAMMABLE LOGIC AND APPLICATIONS, PROCEEDINGS, VOLS 1 AND 2. Bertels, K., Najjar, W., VanGenderen, A. & Vassiliadis, S. (eds.). NEW YORK: IEEE, p. 593-596 4 p.

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

  396. Evolvable hardware, a fundamental technology for homeostasis

    Tyrrell, A. M., Timmis, J., Greensted, A. J. & Owens, N. D., 2007, 2007 IEEE Workshop on Evolvable and Adaptive Hardware. NEW YORK: IEEE, p. 40-45 6 p.

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

  397. Exact/heuristic hybrids using rVNS and hyperheuristics for workforce scheduling

    Remde, S., Cowling, P., Dahal, K. & Colledge, N., 2007, European Conference on Evolutionary Computation in Combinatorial Optimization. p. 188-197 10 p.

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

  398. Executable system-level specification models containing UML-based behavioral patterns

    Indrusiak, L. S., Thuy, A. & Glesner, M., 2007, 2007 Design, Automation and Test in Europe Conference and Exposition (DATE 2007), April 16-20, 2007, Nice, France. Lauwereins, R. & Madsen, J. (eds.). ACM, p. 301-306 6 p.

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

  399. Exploiting Syntactic and Shallow Semantic Kernels for Question Answer Classification

    Moschitti, A., Quarteroni, S., Basili, R. & Manandhar, S., 2007, Proceedings of 45th Annual meeting of the Association for Computational Linguistics. p. 776-783 7 p.

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

  400. Extending Argumentation to Goal-Oriented Requirements Engineering

    Habli, I., Kelly, T., Attwood, K. C. & Wu, W., 2007, International Workshop on Requirements, Intentions and Goals in Conceptual Modelling .

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

  401. Extending argumentation to goal-oriented requirements engineering

    Habli, I., Wu, W., Attwood, K. & Kelly, T., 2007, ADVANCES IN CONCEPTUAL MODELING - FOUNDATIONS AND APPLICATIONS. Hainaut, JL., Rundensteiner, EA., Kirchberg, M., Bertolotto, M., Brochhausen, M., Chen, YPP., Cherfi, SSS., Doerr, M., Han, H., Hartmann, S., Parsons, J., Poels, G., Rolland, C., Trujillo, J., Yu, E. & Zimanyi, E. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 306-316 11 p.

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

  402. Extreme programming security practices

    Ge, X., Paige, R. F., Polack, F. & Brooke, P., 2007, Agile Processes in Software Engineering and Extreme Programming, Proceedings. Concas, G., Damiani, E., Scotto, M. & Succi, G. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 226-230 5 p.

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

  403. Face recognition using principal geodesic analysis and manifold learning

    Dickens, M. P., Smith, W. A. P., Wu, J. & Hancock, E. R., 2007, Pattern Recognition and Image Analysis, Pt 1, Proceedings. Marti, J., Benedi, JM., Mendonca, AM. & Serrat, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 426-434 9 p.

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

  404. Face recognition with irregular region spin images

    Li, Y., Smith, W. A. P. & Hancock, E. R., 2007, Image Analysis, Proceedings. Ersboll, BK. & Pedersen, KS. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 730-739 10 p.

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

  405. Face shape recovery and recognition using a surface gradient based statistical model

    Castelan, M. & Hancock, E. R., 2007, Computer Analysis of Images and Patterns, Proceedings. Kropatsch, WG., Kampel, M. & Hanbury, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 399-407 9 p.

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

  406. Facial shape-from-shading using principal geodesic analysis and robust statistics

    Smith, W. A. P. & Hancock, E. R., 2007, Mathematics of Surfaces XII, Proceedings. Martin, R., Sabin, M. & Winkler, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 412-426 15 p.

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

  407. Finding inputs that reach a target expression

    Naylor, M. & Runciman, C., 2007, SEVENTH IEEE INTERNATIONAL WORKING CONFERENCE ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS. Korel, B. & Godfrey, MW. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 133-142 10 p.

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

  408. Folding protein-like structures with open L-systems

    Danks, G. B., Stepney, S. & Caves, L. S. D., 2007, Advances in Artificial Life, Proceedings. Costa, FAE., Rocha, LM., Costa, E., Harvey, I. & Coutinho, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 1100-1109 10 p.

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

  409. Goal-oriented automatic test case generators for MC/DC compliancy

    Aydal, E. G., Woodcock, J. & Cavalcanti, A., 2007, ICSOFT 2007: PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES, VOL SE. Filipe, J., Helfert, M. & Shishkov, B. (eds.). SETUBAL: INSTICC-INST SYST TECHNOLOGIES INFORMATION CONTROL & COMMUNICATION, p. 290-295 6 p.

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

  410. Graph similarity using interfering quantum walks

    Emms, D., Hancock, E. R. & Wilson, R. C., 2007, Computer Analysis of Images and Patterns, Proceedings. Kropatsch, WG., Kampel, M. & Hanbury, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 823-831 9 p.

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

  411. Graph spectral image smoothing

    Zhang, F. & Hancock, E. R., 2007, Graph-Based Representations in Pattern Recognition, Proceedings. Escolano, F. & Vento, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 191-203 13 p.

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

  412. Hybrid evolutionary learning approaches for the virus game

    Naveed, M. H., Cowling, P. I. & Hossain, M. A., 2007, Computational Intelligence and Games, 2007. CIG 2007. IEEE Symposium on. p. 196-202 7 p.

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

  413. Improvements in speaker diarization system

    Fu, R. & Benest, I. D., 2007, SIGMAP 2007: Proceedings of the Second International Conference on Signal Processing and Multimedia Applications. Faria, S. (ed.). SETUBAL: INSTICC-INST SYST TECHNOLOGIES INFORMATION CONTROL & COMMUNICATION, p. 317-323 7 p.

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

  414. Incorporating culture in user-interface: a case study of older adults in Malaysia

    Hisham, S. & Edwards, A. D. N., 2007, HYPERTEXT 2007: Proceedings of the 18th ACM Conference on Hypertext and Hypermedia, September 10-12, 2007, Manchester, UK. Harper, S., Ashman, H., Bernstein, M., Cristea, A. I., Davis, H. C., Bra, P. D., Hanson, V. L. & Millard, D. E. (eds.). ACM, p. 145-146 2 p.

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

  415. Inductive mercury programming

    Fisher, B. & Cussens, J., 2007, Inductive Logic Programming. Muggleton, S., Otero, R. & Tamaddoni-Nezhad, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 199-213 15 p.

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

  416. Inserting data encoding techniques into NoC-based systems

    Palma, J. C. S., Indrusiak, L. S., Moraes, F. G., Ortiz, A. G., Glesner, M. & Reis, R. A. L., 2007, IEEE Computer Society Annual Symposium on VLSI, Proceedings. LOS ALAMITOS: IEEE COMPUTER SOC, p. 299-304 6 p.

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

  417. Integrating priority inheritance algorithms in the real-time specification for Java

    Wellings, A., Burns, A., dos Santos, O. M. & Brosgol, B. M., 2007, 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing, Proceedings. DeMiguel, M., Kalogeraki, V. & Kim, DH. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 115-122 8 p.

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

  418. Isoradius Contours: New representations and techniques for 3D face registration and matching

    Pears, N. & Heseltine, T., 2007, Third International Symposium on 3D Data Processing, Visualization, and Transmission, Proceedings. Pollefeys, M. & Daniilidis, K. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 176-183 8 p.

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

  419. Kernelised relaxation labelling using Fokker-Planck diffusion

    Wang, H-F. & Hancock, E. R., 2007, 14TH INTERNATIONAL CONFERENCE ON IMAGE ANALYSIS AND PROCESSING, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 29-34 6 p.

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

  420. Knowledge Modelling Using UML Profile for Knowledge-Based Systems Development

    Abdullah, M. S., Paige, R. F., Benest, I. D., Kimble, C., Maglogiannis, I. (ed.), Karpouzis, K. (ed.), Wallace, M. (ed.) & Soldatos, J. (ed.), 2007, Emerging Artificial Intelligence Applications in Computer Engineering - Real Word AI Systems with Applications in eHealth, HCI, Information Retrieval and Pervasive Technologies. Amsterdam: IOS Press, Vol. 160. p. 74-89 16 p. (Frontiers in Artificial Intelligence and Applications).

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

  421. Learning Mixture Models for Gender Classification Based on Facial Surface Normals

    Wu, J., Smith, W. A. P. & Hancock, E. R., 2007, Pattern Recognition and Image Analysis, Pt 1, Proceedings. Marti, J., Benedi, JM., Mendonca, AM. & Serrat, J. (eds.). Berlin: Springer-Verlag, p. 39-46 8 p.

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

  422. Learning ship combat strategies in the commercial video game DEFCON

    Randall, TWG., Cowling, PI. & Baker, RJS., 2007, Proceedings of the 8th Informatics Workshop for Research Students.

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

  423. Minimising Task Migrations and Priority Changes In Mode Transitions

    Emberson, P. & Bate, I., 2007, Proceedings of the 13th IEEE Real-Time And Embedded Technology And Applications Symposium (RTAS 07). p. 158-167 10 p.

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

  424. Minimising task migration and priority changes in mode transitions

    Emberson, P. & Bate, I., 2007, RTAS 2007: 13th Real-Time and Embedded Technology and Applications Symposium, Proceedings. LOS ALAMITOS: IEEE COMPUTER SOC, p. 158-167 10 p.

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

  425. Model Equivalence of PRISM programs

    Cussens, J., 2007, Proceedings of the Dagstuhl seminar: Probabilistic, Logical and Relational Learning - A Further Synthesis.

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

  426. Motion information combination for fast human action recognition

    Meng, H., Pears, N. & Bailey, C., 2007, VISAPP 2007: Proceedings of the Second International Conference on Computer Vision Theory and Applications, Volume IU/MTSV. Ranchordas, AK., Araujo, H. & Vitria, J. (eds.). SETUBAL: INSTICC-INST SYST TECHNOLOGIES INFORMATION CONTROL & COMMUNICATION, p. 21-28 8 p.

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

  427. Neutral emergence and coarse graining

    Weeks, A., Stepney, S. & Polack, F., 2007, Advances in Artificial Life, Proceedings. Costa, FAE., Rocha, LM., Costa, E., Harvey, I. & Coutinho, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 1131-1140 10 p.

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

  428. Non-linear cryptanalysis revisited: Heuristic search for approximations to S-Boxes

    Tapiador, J. M. E., Clark, J. A. & Hernandez-Castro, J. C., 2007, CRYPTOGRAPHY AND CODING, PROCEEDINGS. Galbraith, SD. (ed.). BERLIN: SPRINGER-VERLAG BERLIN, p. 99-117 19 p.

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

  429. On immune inspired homeostasis for electronic systems

    Owens, N. D., Timmis, J., Greensted, A. J. & Tyrell, A. M., 2007, Artificial Immune Systems, Proceedings. NunesDeCastro, L., VonZuben, FJ. & Knidel, H. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 216-227 12 p.

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

  430. PLAZZMID: An evolutionary agent-based architecture inspired by bacteria and bees

    Stepney, S., Clarke, T. & Young, P., 2007, Advances in Artificial Life, Proceedings. Costa, FAE., Rocha, LM., Costa, E., Harvey, I. & Coutinho, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 1151-1160 10 p.

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

  431. Practical single view metrology for cuboids

    Pears, N., Wright, P. & Bailey, C., 2007, VISAPP 2007: Proceedings of the Second International Conference on Computer Vision Theory and Applications, Volume IU/MTSV. Ranchordas, AK., Araujo, H. & Vitria, J. (eds.). SETUBAL: INSTICC-INST SYST TECHNOLOGIES INFORMATION CONTROL & COMMUNICATION, p. 85-90 6 p.

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

  432. Probabilistic relaxation labeling by Fokker-Planck diffusion on a graph

    Wang, H-F. & Hancock, E. R., 2007, Graph-Based Representations in Pattern Recognition, Proceedings. Escolano, F. & Vento, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 204-214 11 p.

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

  433. Proving theorems about JML classes

    Freitas, L. & Woodcock, J., 2007, Formal Methods and Hybrid Real-Time Systems. Jones, CB., Liu, Z. & Woodcock, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 255-279 25 p.

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

  434. Real-time communication analysis for on-chip networks with wormhole switching

    Shi, Z. & Burns, A., 2007, NOCS 2008: SECOND IEEE INTERNATIONAL SYMPOSIUM ON NETWORKS-ON-CHIP, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 161-170 10 p.

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

  435. Real-time utilities for Ada 2005

    Wellings, A. & Burns, A., 2007, Reliable Software Technologies - Ada- Europe 2007, Proceedings. Abdennadher, N. & Kordon, F. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 114 14 p.

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

  436. Reflectance modeling for layered dielectrics with rough surface boundaries

    Ragheb, H. & Hancock, E. R., 2007, Third International Symposium on 3D Data Processing, Visualization, and Transmission, Proceedings. Pollefeys, M. & Daniilidis, K. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 302-309 8 p.

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

  437. Regression tracking with data relevance determination

    Patras, I. & Hancock, E. R., 2007, 2007 IEEE CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION, VOLS 1-8. NEW YORK: IEEE, p. 2062-2069 8 p.

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

  438. Robust estimation of reflectance functions from polarization

    Atkinson, G. A. & Hancock, E. R., 2007, Pattern Recognition and Image Analysis, Pt 2, Proceedings. Marti, J., Benedi, JM. & Serrat, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 363-371 9 p.

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

  439. Safety Case Depictions vs. Safety Cases – Would the Real Safety Case Please Stand Up?

    Habli, I. & Kelly, T., 2007, 2nd IET International Conference on System Safety.

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

  440. Screening the Parameters Affecting Heuristic Performance

    Ridge, E. & Kudenko, D., 2007, GECCO 2007: GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, VOL 1 AND 2. NEW YORK: ASSOC COMPUTING MACHINERY, p. 180-180 1 p.

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

  441. Severity of usability and accessibility problems in eCommerce and eGovernment websites

    Harrison, C. & Petrie, H., 2007, People and Computers XX - Engage. BryanKinns, N., Blandfor, A., Curzon, P. & Nigay, L. (eds.). GODALMING: SPRINGER-VERLAG LONDON LTD, p. 255-262 8 p.

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

  442. Specification of Alternative Execution Semantics of UML Sequence Diagrams within Actor-Oriented Models

    Indrusiak, L. S. & Glesner, M., 2007, Proc 20th Symposium on Integrated Circuits and Systems Design (SBCCI). New York: Association for Computing Machinery (ACM), p. 330-335

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

  443. Spectral Modes of Facial Needle-Maps

    Fraile, R. & Hancock, E. R., 2007, Pattern Recognition and Image Analysis, Pt 1, Proceedings. Marti, J., Benedi, JM., Mendonca, AM. & Serrat, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 169-176 8 p.

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

  444. Spectral generative models for graphs

    White, D. & Wilson, R. C., 2007, 14TH INTERNATIONAL CONFERENCE ON IMAGE ANALYSIS AND PROCESSING, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 35-40 6 p.

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

  445. Statistical methods for surface integration

    Smith, W. A. P. & Hancock, E. R., 2007, Mathematics of Surfaces XII, Proceedings. Martin, R., Sabin, M. & Winkler, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 427-441 15 p.

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

  446. Supporting deliberative real-time AI systems: A fixed priority scheduling approach

    Chu, Y. & Burns, A., 2007, 19th Euromicro Conference on Real-Time Systems, Proceedings. LOS ALAMITOS: IEEE COMPUTER SOC, p. 259-268 10 p.

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

  447. Surface integration: Two statistical approaches

    Smith, W. A. P. & Hancock, E. R., 2007, 14TH INTERNATIONAL CONFERENCE ON IMAGE ANALYSIS AND PROCESSING, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 343-348 6 p.

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

  448. Surface reconstruction using polarization and photometric stereo

    Atkinson, G. A. & Hancock, E. R., 2007, Computer Analysis of Images and Patterns, Proceedings. Kropatsch, WG., Kampel, M. & Hanbury, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 466-473 8 p.

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

  449. System Level Design of a Dynamically Self-Reconfigurable Image Processing System

    Ackermann, K. F., Indrusiak, L. S. & Glesner, M., 2007, Proceedings of the 3rd International Workshop on Reconfigurable Communication-centric Systems-on-Chip: ReCoSoC 2007, Montpellier, France, June 2007. Sassatelli, G., Glesner, M., Bobda, C. & Benoit, P. (eds.). Univ. Montpellier II, p. 47-54 8 p.

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

  450. Template Tracking with Observation Relevance Determination

    Patras, I. & Hancock, E., 2007, 2007 IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING, VOLS 1-7. NEW YORK: IEEE, p. 501-504 4 p.

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

  451. Tenuta: Strategies for providing guidance on usability and accessibility

    Bevan, N., Petrie, H. & Claridge, N., 2007, Universal Access in Human-Computer Interaction: Applications and Services, Pt 3, Proceedings. Stephanidis, C. (ed.). BERLIN: SPRINGER-VERLAG BERLIN, p. 20-27 8 p.

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

  452. Testing for refinement in CSP

    Cavalcanti, A. & Gaudel, M-C., 2007, FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS. Butler, M., Hinchey, MG. & LarrondoPetrie, MM. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 151-170 20 p.

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

  453. Testing viewpoint invariance in the neural representation of faces: An MEG study

    Ewbank, M. P., Smith, W. A. P., Hancock, E. R. & Andrews, T. J., 2007, Advances in Brain, Vision, and Artificial Intelligence, Proceedings. Mele, F., Santillo, S., Ramella, G. & Ventriglia, F. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 52-61 10 p.

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

  454. The Relationship between Accessibility and Usability of Websites

    Petrie, H. & Kheir, O., 2007, CONFERENCE ON HUMAN FACTORS IN COMPUTING SYSTEMS, VOL 1 AND 2. NEW YORK: ASSOC COMPUTING MACHINERY, p. 397-406 10 p.

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

  455. The improved correlation matrix memory (CMML)

    Shah, N., O'Keefe, S. & Austin, J., 2007, 2007 IEEE INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS, VOLS 1-6. NEW YORK: IEEE, p. 1168-1173 6 p.

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

  456. The relationship between accessibility and usability of websites

    Petrie, H. & Kheir, O., 2007, Proceedings of the Special Interest Group on Computer-Human Interaction 2007 Conference on Human Factors. p. 397 - 406

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

  457. The usability of accessibility evaluation tools

    Petrie, H., King, N., Velasco, C., Gappa, H. & Nordbrock, G., 2007, Universal Access in Human-Computer Interaction: Applications and Services, Pt 3, Proceedings. Stephanidis, C. (ed.). BERLIN: SPRINGER-VERLAG BERLIN, p. 124-132 9 p.

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

  458. The view glue

    Radjenovic, A. & Paige, R., 2007, Architecting Dependable Systems IV. DeLemos, R., Gacek, C. & Romanovsky, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 66-88 23 p.

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

  459. Towards evidence-based architectural design for safety-critical software applications

    Wu, W. & Kelly, T., 2007, Architecting Dependable Systems IV. DeLemos, R., Gacek, C. & Romanovsky, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 383-408 26 p.

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

  460. Tuning the performance of the MMAS heuristic

    Ridge, E. & Kudenko, D., 2007, Engineering Stochastic Local Search Algorithms: Designing, Implementing and Analyzing Effective Heuristics. Stutzle, T., Birattari, M. & Hoos, HH. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 46-60 15 p.

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

  461. Uniform Boilerplate and List Processing Or: Scrap Your Scary Types

    Mitchell, N. & Runciman, C., 2007, HASKELL'07: PROCEEDINGS OF THE ACM SIGPLAN 2007 HASKELL WORKSHOP. NEW YORK: ASSOC COMPUTING MACHINERY, p. 49-60 12 p.

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

  462. User modelling for personalized question answering

    Quarterom, S. & Manandhar, S., 2007, AI(ASTERISK)IA 2007: ARTIFICIAL INTELLIGENCE AND HUMAN-ORIENTED COMPUTING. Basili, R. & Pazienza, MT. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 386-397 12 p.

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

  463. Using Feedback to Regulate Gene Expression in a Developmental Control Architecture

    Clegg, K., Stepney, S. & Clarke, T., 2007, GECCO 2007: GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, VOL 1 AND 2. NEW YORK: ASSOC COMPUTING MACHINERY, p. 966-973 8 p.

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

  464. Using model checking to validate style-specific architectural refactoring patterns

    Stephenson, Z. & McDermid, J., 2007, 31ST IEEE SOFTWARE ENGINEERING WORKSHOP, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 53-62 10 p.

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

  465. Verifying the CICS file control API with Z/Eves: An experiment in the verified software repository

    Freitas, L., Mokos, K. & Woodcock, J., 2007, 12TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING COMPLEX COMPUTER SYSTEMS, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 290-298 9 p.

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

  466. Weighted principal geodesic analysis for facial gender classification

    Wu, J., Smith, W. A. P. & Hancock, E. R., 2007, PROGRESS IN PATTERN RECOGNITION, IMAGE ANALYSIS AND APPLICATIONS, PROCEEDINGS. Rueda, L., Mery, D. & Kittler, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 331-339 9 p.

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

  467. 2006
  468. Fusing Natural Computational Paradigms for Cryptanalysis: Or, Using Heuristic Search to Bring Cryptanalysis Problems within Quantum Computational Range

    Clark, J. A. & Stepney, S., 1 Dec 2006, CEC 2006. IEEE Congress on Evolutionary Computation, 2006. p. 200 -206

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

  469. The identification and extraction of itemset support defined by the weight matrix of a Self-Organising Map

    Baez-Monroy, V. & O'Keefe, S., 1 Dec 2006, IEEE International Conference on Neural Networks - Conference Proceedings. p. 3518-3525 8 p. 1716581

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

  470. Resource sharing in hierarchical fixed priority pre-emptive systems

    Davis, R. I. & Burns, A., Dec 2006, IEEE Real-Time Systems Symposium. p. 257-270

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

  471. Getting more flexible scheduling in the RTSJ

    Zerzelidis, A. & Wellings, A. J., 21 Nov 2006, Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing, Proceedings. Lee, S., Brinkschulte, U., Thuraisingham, B. & Pettit, RG. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 3-10 8 p. 1630

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

  472. Qubus computation

    Munro, W. J., Nemoto, K., Spiller, T. P., Van Loock, P., Braunstein, S. L. & Milburn, G. J., 8 Nov 2006, Proceedings of SPIE - The International Society for Optical Engineering. Vol. 6305. 63050D

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

  473. Selective encryption of human skin in image sequences

    Rodrigues, J. M., Puech, W. & Bors, A. G., Oct 2006, Proc. IEEE Interernational Conference on Image Processing, Atlanta, GA, USA,. IEEE, p. 1981-1984 4 p.

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

  474. Scale estimation for kernel-based classification

    Nasios, N. & Bors, A. G., Sep 2006, Scale estimation for kernel-based classification: Proc. IEEE Workshop on Machine Learning for Signal Processing, Maynooth, Ireland. IEEE, p. 217-222 6 p.

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

  475. Mixing spectral representations of graphs

    White, D. & Wilson, R. C., 20 Aug 2006, 18th International Conference on Pattern Recognition, Vol 4, Proceedings. Tang, YY., Wang, SP., Lorette, G., Yeung, DS. & Yan, H. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 140-144 5 p.

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

  476. Message response time analysis for ideal controller area network (CAN) refuted

    Bril, R. J., Lukkien, J. J., Davis, R. I. & Burns, A., Jul 2006, International workshop on Real-Time Networks (RTN).

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

  477. A selective encryption for heterogenous color JPEG images based on VLC and AES stream cipher

    Rodrigues, J. M., Puech, W. & Bors, A. G., Jun 2006, Proc. IS\&T European Conference on Color in Graphics, Imaging and Vision, Leeds, UK,. IS&T, p. 34-39 6 p.

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

  478. Safety Specification of the Active Traffic Management Control System for English Motorways

    Arlow, A. J., Duffy, C. J. & McDermid, J. A., Jun 2006, The 1st Institution of Engineering and Technology International Conference on Systems Safety. p. 54-63 9 p.

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

  479. Model comparison: A foundation for model composition and model transformation testing

    Kolovos, D. S., Paige, R. F. & Polack, F. A. C., 22 May 2006, Proceedings of the 2006 International Workshop on Global Integrated Model Management, GaMMa 2006, co-located with the 28th International Conference on Software Engineering, ICSE 2006. Association for Computing Machinery, Inc, p. 13-19 7 p.

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

  480. Incorporating scenarios and heuristics to improve flexibility in real-time embedded systems

    Bate, I. & Emberson, P., 1 Apr 2006, Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium. Goddard, S. & Liu, JC. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 221-230 10 p.

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

  481. A Binary Neural Shape Matcher using Johnson Counters and Chain Codes

    Hodge, V., O'Keefe, S. & Austin, J., 10 Mar 2006, BICS.

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

  482. A Simple Coupled Statistical Model for 3D Face Shape Recovery

    Castelan, M. & Hancock, E. R., 2006, ICPR 2006. p. 231-234 4 p.

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

  483. A coevolutionary model for the virus game

    Cowling, P. I., Naveed, M. H. & Hossain, M. A., 2006, Computational Intelligence and Games, 2006 IEEE Symposium on. p. 45-51 7 p.

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

  484. A computational model of degeneracy in a lymph node

    Andrews, P. S. & Timmis, J., 2006, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Bersini, H. & Carneiro, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 164-177 14 p.

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

  485. A facial statistical model from complex numbers

    Castelan, M. & Hancock, E. R., 2006, 18th International Conference on Pattern Recognition, Vol 1, Proceedings. p. 235-238 4 p.

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

  486. A formal template language enabling metaproof

    Amalio, N., Stepney, S. & Polack, F., 2006, FM 2006: FORMAL METHODS, PROCEEDINGS. Misra, J., Nipkow, T. & Sekerinski, E. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 252-267 16 p.

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

  487. A hardware IP-core for information retrieval

    Freeman, M. & Jayasooriya, T., 2006, DSD 2006: 9th EUROMICRO Conference on Digital System Design: Architectures, Methods and Tools, Proceedings. Muthukumar, V. (ed.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 115-122 8 p.

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

  488. A spectral generative model for graph structure

    Xiao, B. & Hancock, E. R., 2006, STRUCTURAL, SYNTACTIC, AND STATISTICAL PATTERN RECOGNITION, PROCEEDINGS. Yeung, DY., Kwok, JT., Fred, A., Roli, F. & DeRidder, D. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 173-181 9 p.

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

  489. A study of concurrency in the Ant Colony System algorithm

    Ridge, E., Kudenko, D. & Kazakov, D., 2006, 2006 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-6. NEW YORK: IEEE, p. 1647-1654 8 p.

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

  490. A tutorial introduction to CSP in unifying theories of programming

    Cavalcanti, A. & Woodcock, J., 2006, REFINEMENT TECHNIQUES IN SOFTWARE ENGINEERING. Cavalcanti, A., Sampaio, A. & Woodcock, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 220-268 49 p.

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

  491. Adaptable Image Processing System based on FPGA Modular Multi Kernel Instantiations

    Ackermann, K. F., Mayer, F., Indrusiak, L. S. & Glesner, M., 2006, Proceedings of the 2nd International Workshop on Reconfigurable Communication-centric Systems-on-Chip, ReCoSoC 2006, Montpellier, France, July 2006. Sassatelli, G., Indrusiak, L. S., Glesner, M. & Torres, L. (eds.). Univ. Montpellier II, p. 183-188 6 p.

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

  492. An Actor-Oriented Model-Based Design Flow for Systems-on-Chip

    Indrusiak, L. S. & Glesner, M., 2006, Dagstuhl-Workshop MBEES: : Modellbasierte Entwicklung eingebetteter Systeme II, Schloss Dagstuhl, Germany, 9.-13. Januar 2006, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme. Giese, H., Rumpe, B. & Schätz, B. (eds.). TU Braunschweig, Institut für Software Systems Engineering, Vol. 2006-1. p. 65-74 10 p. (Informatik-Bericht).

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

  493. An efficient hardware implementation of a self-adaptable equalizer for WCDMA downlink UMTS standard

    Prudencio, R. B., Indrusiak, L. S. & Glesner, M., 2006, IEEE Computer Society Annual Symposium on VLSI, Proceedings. LOS ALAMITOS: IEEE COMPUTER SOC, p. 77-81 5 p.

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

  494. An investigation into mutation operators for Particle Swarm Optimization

    Andrews, P. S., 2006, 2006 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-6. NEW YORK: IEEE, p. 1029-1036 8 p.

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

  495. An operational semantics in UTP for a language of reactive designs

    Woodcock, J., 2006, UNIFYING THEORIES OF PROGRAMMING. Dunne, S. & Stoddart, B. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 84-84 1 p.

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

  496. Applying Communication Patterns to Actor-Oriented Models

    Thuy, A., Indrusiak, L. S. & Glesner, M., 2006, Forum on specification and Design Languages, FDL 2006, September 19-22, 2006, Darmstadt, Germany, Proceedings. ECSI, p. 407-409 3 p.

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

  497. Automatic Translation from Circus to Java

    Freitas, A. & Cavalcanti, A., 2006, FM 2006: FORMAL METHODS, PROCEEDINGS. Misra, J., Nipkow, T. & Sekerinski, E. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 115-130 16 p.

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

  498. Automatic critiques of interface modes

    Gow, J., Thimbleby, H. & Cairns, P., 2006, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 3941 LNCS. p. 201-212 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3941 LNCS).

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

  499. Challenges for artificial immune systems

    Timmis, J., 2006, NEURAL NETS. Apolloni, B., Marinaro, M., Necosia, G. & Tagliaferri, R. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 355-367 13 p.

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

  500. Comparison of Ada and real-time Java (TM) for safety-critical applications

    Brosgol, B. M. & Wellings, A., 2006, RELIABLE SOFTWARE TECHNOLOGIES - ADA - EUROPE 2006, PROCEEDINGS. PInho, LM. & Harbour, MG. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 13-26 14 p.

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

  501. Diversity and artificial immune systems: Incorporating a diversity operator into aiNet

    Andrews, P. S. & Timmis, J., 2006, NEURAL NETS. Apolloni, B., Marinaro, M., Necosia, G. & Tagliaferri, R. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 293-306 14 p.

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

  502. Edge detection and anisotropic diffusion for tensor-valued images

    Zhang, F. & Hancock, E. R., 2006, Proceedings International Conference on Image Processing, Vols 1-7. NEW YORK: IEEE, p. 229-232 4 p.

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

  503. Eliciting perceptual ground truth for image segmentation

    Hodge, V., Hollier, G., Eakins, J. & Austin, J., 2006, IMAGE AND VIDEO RETRIEVAL, PROCEEDINGS. Sundaram, H., Naphade, M., Smith, JR. & Rui, Y. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 320-329 10 p.

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

  504. Eliciting safety policy and balancing with operational fitness in systems of systems

    Despotou, G., Hall-May, M. & Kelly, T., 2006, System of Systems Engineering, 2006 IEEE/SMC International Conference on. p. 6-pp

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

  505. Engineering emergence

    Stepney, S., Polack, F. A. C. & Turner, H. R., 2006, ICECCS 2006: 11TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS. Kawada, S. (ed.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 89-97 9 p.

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