Search research publications and outputs

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

  2. jStar-eclipse: an IDE for automated verification of Java programs

    Naudziuniene, D., Botincan, M., Distefano, D., Dodds, M., Grigore, R. & Parkinson, M. J., 5 Sep 2011, ESEC/FSE '11 Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering. ACM, p. 428-431 4 p.

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

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

  4. XRound: Bidirectional transformations and unifications via a reversible template language

    Chivers, H. & Paige, R. F., 2005, MODEL DRIVEN ARCHITECTURE FOUNDATIONS AND APPLICATIONS, PROCEEDINGS. Hartman, A. & Kreische, D. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 205-219 15 p.

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

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

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

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

  6. Worst-case execution time analysis for dynamic branch predictors

    Bate, I. & Reutemann, R., 2004, 16TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 215-222 8 p.

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

  7. Worst-Case Execution Time Analysis for Dynamic Branch Predictors

    Bate, I. & Reutemann, R., 1 Jul 2004, Proceedings of the 16th Euromicro Conference on Real-Time Systems. Catania, Italy: IEEE, p. 215-222 8 p.

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

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

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

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

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

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

  13. When the requirements for adaptation and high integrity meet

    Calinescu, R., 2011, Proceedings of the 8th ESEC/FSE Workshop on Assurances for Self-Adaptive Systems. New York, NY, USA: ACM, p. 1-4 4 p. (ASAS '11).

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

  14. What do users really care about? a comparison of usability problems found by users and experts on highly interactive websites

    Petrie, H. & Power, C., 2012, CHI '12: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. Konstan, J. A., Chi, E. H. & Höök, K. (eds.). New York: Association for Computing Machinery (ACM), p. 2107-2116 10 p.

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

  15. What do Metamodels Really Look Like?

    Williams, J. R., Zolotas, A., Matragkas, N. D., Rose, L. M., Kolovos, D. S., Paige, R. F. & Polack, F. A. C., 2013, Proceedings of the 3rd International Workshop on Experiences and Empirical Studies in Software Modeling co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), Miami, USA, October 1, 2013.. p. 55-60 6 p.

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

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

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

  18. Web accessibility for older adults: effects of line spacing and text justification on reading web pages

    Petrie, H., Kamollimsakul, S. & Power, C. D., 21 Oct 2013, ASSETS '13 Proceedings of the 15th International ACM SIGACCESS Conference on Computers and Accessibility. ACM, 77

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

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

  20. Web Accessibility for Older Readers: Effects of Font Type and Font Size on Skim Reading Webpages in Thai

    Kamollimsakul, S., Petrie, H. & Power, C. D., 2014, Computers Helping People with Special Needs. PART 1 ed. Springer, Vol. 8547 LNCS. p. 332-339 8 p. (Lecture Notes in Computer Science; vol. 8547).

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

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

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

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

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

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

  24. Watermarking graphical objects

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

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

  25. Watermarking 3D shapes using local moments

    Bors, A. G., 2004, ICIP: 2004 INTERNATIONAL CONFERENCE ON IMAGE PROCESSING, VOLS 1- 5. NEW YORK: IEEE, p. 729-732 4 p.

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

  26. Watermarking 3D models

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

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

  27. Watermark Optimization of 3D Shapes for Minimal Distortion and High Robustness

    Bors, A. G. & Luo, M., 2013, Computer Analysis of Images and Patterns: 15th International Conference, CAIP 2013, York, UK, August 27-29, 2013, Proceedings, Part II. PART 2 ed. Springer, Vol. 8048 LNCS. p. 298-306 9 p. (Lecture Notes in Computer Science; vol. 8048).

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

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

  29. WCET preserving hardware prefetch for Many-Core real-time systems

    Garside, J. & Audsley, N. C., 8 Oct 2014, ACM International Conference Proceeding Series. Association for Computing Machinery (ACM), p. 193-202 10 p.

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

  30. WCET analysis of probabilistic hard real-time systems

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

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

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

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

  33. Visual navigation using planar homographies

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

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

  34. Vista s: towards Behavioural Cloud Control

    Wood, A. M. & Zhao, Y., 2011, Euro-Par 2010 Parallel Processing Workshops : HeteroPar, HPCC, HiBB, CoreGrid, UCHPC, HPCF, PROPER, CCPI, VHPC, Ischia, Italy, August 31–September 3, 2010, Revised Selected Papers. Springer, Vol. 6586 LNCS. p. 689-696 8 p. (Lecture Notes in Computer Science; vol. 6586).

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

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

  36. Video Subset Selection for Measurement Based Worst Case Execution Time Analysis

    Wheeler, S., Bate, I. & Bartlett, M., 2011, Proceedings of the 6th IEEE International Symposium on Industrial Embedded Systems (SIES'11).

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

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

  38. Verifying fault-tolerant distributed systems using Object-Based Graph Grammars

    Dotti, F. L., Mendizabal, O. M. & dos Santos, O. M., 2005, DEPENDABLE COMPUTING, PROCEEDINGS. Maziero, CA., Silva, JG., SantosAndrade, AM. & Silva, FMD. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 80-100 21 p.

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

  39. Verifying Total Correctness of Graph Programs

    Poskitt, C. & Plump, D., 2012, Proceedings 4th International Workshop on Graph Computation Models (GCM 2012). Echahed, R., Habel, A. & Mosbah, M. (eds.). p. 1-15

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

  40. Verifying Monadic Second-Order Properties of Graph Programs

    Poskitt, C. & Plump, D., 2014, Proceedings 7th International Conference on Graph Transformation (ICGT 2014). Giese, H. & Koenig, B. (eds.). Springer, p. 33-48 16 p. (Lecture Notes in Computer Science; vol. 8571).

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

  41. Verification of control systems using Circus

    Cavalcanti, A. & Clayton, P., 2006, ICECCS 2006: 11TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS. Kawada, S. (ed.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 269-278 10 p.

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

  42. Variational expectation-maximization training for Gaussian networks

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

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

  43. Variational Gaussian mixtures for blind source detection

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

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

  44. Value-based software traceability workshop (VALSOT 2011)

    Espinoza, A., Paige, R. & Garbajosa, J., 1 Jan 2011, Agile Processes in Software Engineering and Extreme Programming - 12th International Conference, XP 2011, Proceedings. Springer-Verlag, 1 p. (Lecture Notes in Business Information Processing; vol. 77 LNBIP).

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

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

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

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

  46. Validation of Performance Data using Experimental Verification Process in Wireless Sensor Networks

    Lim, T. H., Timmis, J. & Bate, I. J., 2012, 17th IEEE International Conference on Emerging Technologies & Factory Automation.

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

  47. Validation of Performance Data using Experimental Verification Process in Wireless Sensor Network

    Lim, T. H., Bate, I. & Timmis, J., 2012, Proceedings of the IEEE 17th International Conference on Emerging Technologies and Factory Automation (ETFA 2012).

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

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

  49. VRML and Microelectronics Education

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

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

  50. VHDL Guidance for Safe and Certifiable FPGA Design

    Conmy, P., Pygott, C. & Bate, I., 1 Oct 2010, IET System Safety Conference.

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

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

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

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

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

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

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

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

  56. Using the Internet in project management

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

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

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

  58. Using simulation to validate style-specific architectural refactoring patterns

    Stephenson, Z., McDermid, J. & Choy, J., 2006, 30th Annual IEEE/NASA Software Engineering Workshop, Proceedings. LOS ALAMITOS: IEEE COMPUTER SOC, p. 123-132 10 p.

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

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

  60. Using parallel corpora for word sense disambiguation

    Shahid, A. R. & Kazakov, D. L., 2013, RANLP-13. Hissar, Bulgaria

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

  61. Using observation ageing to improve Markovian model learning in QoS engineering

    Calinescu, R. C., Johnson, K. H. A. & Rafiq, Y., 2011, Proceedings of the 2nd ACM/SPEC International Conference on Performance Engineering. p. 505 510 p.

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

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

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

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

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

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

  65. Using mobile robotic agents to increase service availability and extend network lifetime on WSRNs

    Caliskanelli, I. & Indrusiak, L. S., 2014, Proceedings - 2014 12th IEEE International Conference on Industrial Informatics, INDIN 2014. Institute of Electrical and Electronics Engineers Inc., p. 388-393 6 p.

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

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

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

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

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

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

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

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

  69. Using fuzzy self-organising maps for safety critical systems

    Kurd, Z. & Kelly, T. P., 2004, COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS. Heisel, M., Liggesmeyer, P. & Wittmann, S. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 17-30 14 p.

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

  70. Using document dimensions for enhanced information retrieval

    Jayasooriya, T. & Manandhar, S., 2004, APPLIED COMPUTING, PROCEEDINGS. Manandhar, S., Austin, J., Desai, U., Oyanagi, Y. & Talukder, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 145-152 8 p.

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

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

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

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

  72. Using card sorts for understanding website information architectures: technological, methodological and cultural issues

    Petrie, H., Power, C., Cairns, P. & Seneler, C., 2011, Human-Computer Interaction – INTERACT 2011 : 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part IV. Berlin, Heidelberg: Springer-verlag, p. 309-322 14 p. (Lecture Notes in Computer Science; vol. 6949).

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

  73. Using bugs and viruses to teach artificial intelligence

    Cowling, PI., Fennell, R., Hogg, R., King, G., Rhodes, P. & Sephton, N., 2004, Proceedings of The International Conference on Computer Games: Artificial Intelligence, Design and Education (CGAIDE).

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

  74. Using ants to attack a classical cipher

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

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

  75. Using agent-based modelling approaches to support the development of safety policy for systems of systems

    Hall-May, M. & Kelly, T., 2006, COMPUTER SAFETY, RELIABILTIY, AND SECURITY, PROCEEDINGS. Gorski, J. (ed.). BERLIN: SPRINGER-VERLAG BERLIN, p. 330-343 14 p.

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

  76. Using a model merging language for reconciling model versions

    Engel, K-D., Paige, R. F. & Kolovos, D. S., 2006, MODEL DRIVEN ARCHITECTURE - FOUNDATIONS AND APPLICATIONS, PROCEEDINGS. Rensink, A. & Warmer, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 143-157 15 p.

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

  77. Using a Software Safety Argument Pattern Catalogue: Two Case Studies

    Hawkins, R. D., Clegg, K. D., Alexander, R. & Kelly, T., Sep 2011, Computer Safety, Reliability, and Security: Proceedings of the 30th international conference on Computer safety, reliability, and security. Berlin: SPRINGER-VERLAG BERLIN, Vol. 6894. p. 185-198 14 p. (Lecture Notes in Computer Science; vol. 6894).

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

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

  79. Using Safety Critical Artificial Neural Networks in gas turbine aero-engine control

    Kurd, Z. & Kelly, T. P., 2005, COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS. Winther, R., Gran, BA. & Dahll, G. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 136-150 15 p. (Lecture Notes in Computer Science; vol. 3688).

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

  80. Using Prior Probabilities and Density Estimation for Relational Classification

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

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

  81. Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models

    Santos, O. M. D., Woodcock, J. & Paige, R. F., 2011, 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011. Perseil, I., Breitman, K. & Sterritt, R. (eds.). IEEE Computer Society Press, p. 117-126 10 p.

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

  82. Using Intelligent Proxies to Develop Self-Adaptive Service-Based Systems

    Calinescu, R. C. & Rafiq, Y., 2013, (Accepted/In press) 7th International Symposium on Theoretical Aspects of Software Engineering. p. 131-134 4 p.

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

  83. Using Inductive Logic Programming for Natural Language Processing

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

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

  84. Using Genetic Algorithms to Map Hard Real-Time NoC-based Systems

    Racu, A. & Indrusiak, L. S., 2012, 2012 7th International Workshop on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC). Indrusiak, LS., Gogniat, G. & Voros, N. (eds.). NEW YORK: IEEE, p. - 8 p.

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

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

  86. Using Feedback Control Within WSN's to Meet Application Requirements

    Fairbairn, M. L. & Bate, I., 1 May 2013, 5th Workshop on Performance Control in Wireless Sensor Networks 2013 (PWSN2013). Cambridge, USA

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

  87. Using Contracts to Guide the Search-Based Verification of Concurrent Programs

    Poskitt, C. M. & Poulding, S. M., 2013, Proceedings of SSBSE 2013. Vol. 8084 LNCS. p. 263-268 (Lecture Notes in Computer Science; vol. 8084).

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

  88. Using Coevolution and Gradient-based learning for the Virus Game

    Naveed, M. H. & Cowling, P. I., 2006, Proceedings of the 2006 international conference on Game research and development. p. 283-287 5 p.

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

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

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

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

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

  93. Unsupervised spectral feature selection for face recognition

    Zhang, Z. & Hancock, E. R., 2012, 21st International Conference on Pattern Recognition. p. 1787-1790 6460498

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

  94. Unsupervised Spectral Feature Selection for Face Recognition

    Zhang, Z. H. & Hancock, E. R., 2012, Proceedings 21st International Conference on Pattern Recognition . IEEE Computer Society Press, p. 1787-1790 4 p.

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

  95. Unsupervised Feature Selection via Hypergraph Embedding

    Zhang, Z. H. & Hancock, E. R., Sep 2012, Proceedings British Machine Vision Conference 2012. Bowden, R., Collmose, J. & Mikolajczyk, K. (eds.). BMVA Press, p. 39.1--39.11. 11 p.

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

  96. Universal Design: Everyone has Special Needs

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

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

  97. Unifying theories in ProofPower-Z

    Oliveira, M., Cavalcanti, A. & Woodcock, J., 2006, UNIFYING THEORIES OF PROGRAMMING. Dunne, S. & Stoddart, B. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 123-140 18 p.

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

  98. Unifying Theories of Undefinedness in UTP

    Woodcock, J. & Bandur, V., 2012, Unifying Theories of Programming, 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers. Wolff, B., Gaudel, M-C. & Feliachi, A. (eds.). Heidelberg: SPRINGER, Vol. 7681. p. 1-22 22 p. (Lecture Notes in Computer Science).

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

  99. Unifying Theories of Programming in Isabelle

    Foster, S. & Woodcock, J., 2013, Unifying Theories of Programming and Formal Engineering Methods - International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures. Liu, Z., Woodcock, J. & Zhu, H. (eds.). SPRINGER, Vol. 8050. p. 109-155 47 p. (Lecture Notes in Computer Science).

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

  100. Unifying Theories of Logic and Specification

    Bandur, V. & Woodcock, J., 2013, Formal Methods: Foundations and Applications - 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings. Iyoda, J. & Moura, L. M. D. (eds.). SPRINGER, Vol. 8195. p. 18-33 16 p. (Lecture Notes in Computer Science).

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

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

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

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

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

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

  106. Unconventional arithmetic: A system for computation using action potentials

    Edwards, J., O'Keefe, S. & Henderson, W. D., 1 Jan 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer-Verlag, Vol. 8553 LNCS. p. 155-163 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8553 LNCS).

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

  107. Uncalibrated two-view metrology

    Liang, B. J., Chen, Z. Z. & Pears, N., 2004, PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOL 1. Kittler, J., Petrou, M. & Nixon, M. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 96-99 4 p.

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

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

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

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

  109. UTP Designs for Binary Multirelations

    De Oliveira Salazar Ribeiro, P. F. & Cavalcanti, A. L. C., 2014, Theoretical Aspects of Computing: ICTAC 2014. 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings. Ciobanu, G. & Méry, D. (eds.). SPRINGER, Vol. 8687. p. 388-405 18 p. (Lecture Notes in Computer Science; vol. 8687).

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

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

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

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

  111. UBB mining: Finding Unexpected Browsing Behaviour in clickstream data to improve a web site's design

    Ting, I. H., Kimble, C. & Kudenko, D., 2005, 2005 IEEE/WIC/ACM International Conference on Web Intelligence, Proceedings. LOS ALAMITOS: IEEE COMPUTER SOC, p. 179-185 7 p.

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

  112. Two-stage visual localisation: Landmark-based pose initialisation and model-based pose refinement

    Chen, Z. Z., Pe, P., McDermid, J. & Pears, N., 2005, 2005 IEEE/RSJ International Conference on Intelligent Robots and Systems, Vols 1-4. NEW YORK: IEEE, p. 3763-3769 7 p.

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

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

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

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

  114. Tutorials

    Nelson, M. J., Burelli, P., Karpouzis, K., Lucas, S. & Cowling, P., 2012, 2012 IEEE Conference on Computational Intelligence and Games (CIG). p. F-1

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

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

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

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

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

  119. Treaties: Behaviour-Controlling Capabilities

    Zhao, Y. & Wood, A. M., 2011, Proc. 2nd Annual International Conference on Advances in Distributed and Parallel Computing (ADPC 2011). Global Science and Technology Forum, p. 19-24

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

  120. Travelling processes

    Tang, X. & Woodcock, J., 2004, Mathematics of Program Construction, MPC 2004 Proceedings. Berlin / Heidelberg: Springer, p. 381-399 18 p. (Lecture Notes in Computer Science; vol. 3125).

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

  121. Translating Java for resource constrained embedded systems

    Plumbridge, G. & Audsley, N., 23 Nov 2012, ReCoSoC 2012 - 7th International Workshop on Reconfigurable and Communication-Centric Systems-on-Chip, Proceedings. 6322868

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

  122. Transitive state alignment for the quantum jensen-shannon kernel

    Torsello, A., Gasparetto, A., Rossi, L., Bai, L. & Hancock, E. R., 2014, Structural, Syntactic, and Statistical Pattern Recognition: Joint IAPR International Workshop, S+SSPR 2014, Joensuu, Finland, August 20-22, 2014. Proceedings. Fränti, P., Brown, G., Loog, M., Escolano, F. & Pelillo, M. (eds.). Springer-Verlag, Vol. 8621 LNCS. p. 22-31 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8621 LNCS).

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

  123. Traffic Shaping to Reduce Jitter in Controller Area Network (CAN)

    Davis, R. I. & Navet, N., Jul 2012, Work-in-progress session, Euromicro Conference on Real-Time Systems.

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

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

  125. Trace-Based Statistical Response-Time Analysis of Complex Real-Time Embedded Systems

    Lu, Y., Nolte, T., Bate, I. & Cucu-Grosjean, L., 2011, Proceedings of the 6th IEEE International Symposium on Industrial Embedded Systems (SIES'11).

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

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

  127. Towards the systematic generation of channelling constraints

    Martinez-Hernandez, B. & Frisch, A. M., 2005, PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2005, PROCEEDINGS. VanBeek, P. (ed.). BERLIN: SPRINGER-VERLAG BERLIN, p. 859-859 1 p.

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

  128. Towards the automated generation of hard disk models through physical geometry discovery

    Wright, S. A., Pennycook, S. J. & Jarvis, S. A., 1 Dec 2012, Proceedings - 2012 SC Companion: High Performance Computing, Networking Storage and Analysis, SCC 2012. p. 437-445 9 p. 6495845

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

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

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

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

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

  131. Towards exogenous fault detection in swarm robotic systems

    Millard, A. G., Timmis, J. & Winfield, A. F. T., 28 Jun 2014, Towards Autonomous Robotic Systems. Springer-Verlag, Vol. 8069 LNAI. p. 429-430 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8069 LNAI).

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

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

  133. Towards autonomic cloud services engineering via intention workflow model

    Baker, T., Rana, O. F., Calinescu, R., Tolosana-Calasanz, R. & Bañares, J. Á., 30 Oct 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8193. p. 212-227 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8193 LNCS).

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

  134. Towards an understanding of the expressive power of the RTSJ scoped memory model

    Borg, A. & Wellings, A., 2004, ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2004: OTM 2004 WORKSHOPS, PROCEEDINGS. Meersman, R., Tari, Z., Corsaro, A., Herrero, P., Perez, MS., Radenkovic, M., Robles, V., Santoro, C., Albani, A., Turowski, K., Jarrar, M., Gangemi, A., Duval, E., Spyns, P. & Palinginis, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 315-332 18 p.

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

  135. Towards an agile process for building software product lines

    Paige, R. F., Wang, X., Stephenson, Z. R. & Brooke, P. J., 2006, EXTREME PROGRAMMING AND AGILE PROCESSES IN SOFTWARE ENGINEERING, PROCEEDINGS. Abrahamsson, P., Marchesi, M. & Succi, G. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 198-199 2 p.

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

  136. Towards a multi-view point safety contract

    Ruiz, A., Kelly, T. & Espinoza, H., 2013, SAFECOMP 2013 - Workshop SASSUR (Next Generation of System Assurance Approaches for Safety-Critical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Toulouse, France, 2013.

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

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

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

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

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

  139. Towards a conceptual framework for artiflcial immune systems

    Stepney, S., Smith, R. E., Timmis, J. & Tyrrell, A. M., 2004, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Nicosia, G., Cutello, V., Bentley, PJ. & Timmis, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 53-64 12 p.

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

  140. Towards a Scalable Cloud Platform for Search-Based Probabilistic Testing

    Rose, L. M., Poulding, S., Feldt, R. & Paige, R. F., 1 Sep 2013, Software Maintenance (ICSM), 2013 29th IEEE International Conference on. p. 480-483

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

  141. Towards a Multi-Domain Model-Driven Traceability Approach

    Taromirad, M., Matragkas, N. D. & Paige, R. F., 2013, Proceedings of the 7th Workshop on Multi-Paradigm Modeling co-located with the 16th International Conference on Model Driven Engineering Languages and Systems, MPM@MoDELS 2013, Miami, Florida, September 30, 2013.. p. 27-36 10 p.

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

  142. Towards a Model-Driven Solution to the Vendor Lock-In Problem in Cloud Computing

    Costa Silva, G., Rose, L. M. & Calinescu, R. C., 2013, Cloud Computing Technology and Science (CloudCom), 2013 IEEE 5th International Conference on. IEEE, Vol. 1. p. 711-716

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

  143. Towards a Model-Based Refinement Process for Contractual Statecharts

    Paige, R. F., 4 May 2010, Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), 2010 13th IEEE International Symposium on . 2010 ed. IEEE Computer Society, Vol. 2. p. 108-115 8 p.

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

  144. Towards a Fixed Priority Scheduler for an Aircraft Application

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

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

  145. Towards a File System Interface for Mobile Resources in Networked Embedded Systems

    Audsley, N. C., Gao, R. & Patil, A., 2006, Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation: ETFA 2006, September 20-22, 2006, Diplomat Hotel Prague, Czech Republic. IEEE, p. 913-920 8 p.

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

  146. Towards Verification of Constituent Systems through Automated Proof

    Foster, S. D., 7 May 2014, Workshop on Engineering Dependable Systems of Systems. ACM CoRR

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

  147. Towards Rigorously Faking Bidirectional Model Transformations

    Poskitt, C., Dodds, M., Paige, R. F. & Rensink, A., 2014, AMT 2014 - Analysis of Model Transformations Workshop Proceedings. Dingel, J., de Lara, J., Lucio, L. & Vangheluwe, H. (eds.). CEUR Workshop Proceedings, Vol. 1277. p. 70-75 (CEUR Workshop Proceedings).

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

  148. Towards New Methods for Developing Real-Time Systems: Automatically Deriving Loop Bounds Using Machine Learning

    Kazakov, D. & Bate, I., 2006, Proceedings of the 11th IEEE International Conference on Emerging Technologies and Factory Automation. p. 421-428 8 p.

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

  149. Towards Graph Programs for Graph Algorithms

    Plump, D. & Steinert, S., 2004, Proceedings 2nd International Conference on Graph Transformation (ICGT 2004). Ehrig, H., Engels, G., ParisiPresicce, F. & Rozenberg, G. (eds.). Berlin: Springer, p. 128-143 16 p. (Lecture Notes in Computer Science; vol. 3256).

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

  150. Towards Cost-Effective High-Assurance Software Product Lines:

    McDermid, J. A. & Hutchesson, S., 2011, Software Product Line Conference (SPLC), 2011 15th International. IEEE Computer Society, p. 55 - 64 10 p.

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

  151. Towards Argument-Driven Validation of an in silico Model of Immune Tissue Organogenesis

    Alden, K. J., Andrews, PAUL. S., Timmis, J., Viega-Fernandes, H. & Coles, M. C., 2011, Proceedings of 10th International Conference on Artificial Immune Systems. Lecture Notes in Computer Science, Vol. 6825. p. 66-70 5 p.

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

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

  153. Towards A More Practical Model for Mixed Criticality Systems

    Burns, A. & Baruah, S., 2013, Proc. WMC, RTSS. p. 1-6 6 p.

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

  154. ToucHMore Toolchain and System Software for Energy and Variability Customisation

    Audsley, N. C., Gray, I., Acquaviva, A. & Haines, R., 2012, IEEE International High Level Design Validation and Test Workshop (HLDVT).

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

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

  156. Timing faults and mixed criticality systems

    Burns, A. & Baruah, S., 1 Dec 2011, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6875 LNCS. p. 147-166 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6875 LNCS).

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

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

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

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

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

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

  160. Timed circus: Timed CSP with the miracle

    Wei, K., Woodcock, J. & Burns, A., 25 Jul 2011, 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011. Perseil, I., Breitman, K. & Sterritt, R. (eds.). IEEE Computer Society Press, p. 55-64 10 p. 5773380

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

  161. Time-related dependability mechanisms in guards

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

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

  162. Three perspectives in formal engineering

    McDermid, J. & Galloway, A., 2006, Formal Methods and Software Engineering, Proceedings. Liu, Z. & He, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 35-54 20 p.

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

  163. Three obstacles to flexible scheduling

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

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

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

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

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

  165. Three methods to automate the space allocation process

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

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

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

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

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

  169. Theoretical Considerations of Potential-Based Reward Shaping for Multi-Agent Systems

    Devlin, S. & Kudenko, D., May 2011, The 10th International Conference on Autonomous Agents and Multiagent Systems . ACM, p. 225-232

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

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

  171. The value chain for web accessibility: challenges and opportunities

    Petrie, H., Power, C. D., Swallow, D., Velasco, C. A., Gallagher, B., Magennis, M., Murphy, E., Collin, S. & Down, K., 2011, Proceedings of Accessible Design In the Digital World 2011. University of York

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

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

  173. The trade off between diversity and quality for multi-objective workforce scheduling

    Cowling, P., Colledge, N., Dahal, K. & Remde, S., 2006, European Conference on Evolutionary Computation in Combinatorial Optimization. p. 13-24 12 p.

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

  174. The temporal knapsack problem and its solution

    Bartlett, M., Frisch, A. M., Hamadi, Y., Miguel, I., Tarim, S. A. & Unsworth, C., 2005, INTEGRATION OF AI AND OR TECHNIQUES IN CONSTRAINT PROGRAMMING FOR COMBINATORIAL OPTIMIZATION PROBLEMS. Bartak, R. & Milano, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 34-48 15 p.

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

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

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

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

  176. The state problem for test generation in Simulink

    Zhan, Y. & Clark, J. A., 2006, Proceedings of the 8th annual conference on Genetic and evolutionary computation. New York, NY, USA: ACM, p. 1941-1948 8 p. (GECCO '06).

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

  177. The sonic enhancement of graphical buttons

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

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

  178. The safety argument manager: An integrated approach to the engineering and safety assessment of computer based systems

    Wilson, S. P., McDermid, J. A., Kirkham, P. M. & Fenelon, P., 1996, IEEE SYMPOSIUM AND WORKSHOP ON ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS. LOS ALAMITOS: I E E E, COMPUTER SOC PRESS, p. 198-205 8 p.

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

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

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

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

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

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

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

  183. The interaction between inference and branching heuristics

    Drake, L. & Frisch, A., 2004, THEORY AND APPLICATIONS OF SATISFIABILITY TESTING. Giunchiglia, E. & Tacchella, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 370-382 13 p.

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

  184. The influence of emotion on number entry errors

    Cairns, P. A., Pandab, P. & Power, C. D., 26 Apr 2014, CHI '14 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. ACM, p. 2293-2296 4 p.

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

  185. The influence of controllers on immersion in mobile games

    Cairns, P., Li, J., Wang, W. & Nordin, A. I., 2014, CHI '14: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. Association for Computing Machinery (ACM), p. 371-380 10 p.

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

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

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

  188. The identification and extraction of itemset support defined by the weight matrix of a Self-Organising Map

    Baez-Monroy, V. & O'Keefe, S., 2006, 2006 IEEE INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORK PROCEEDINGS, VOLS 1-10. NEW YORK: IEEE, p. 3518-3525 8 p.

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

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

  190. The identification and extraction of itemset support defined by the weight matrix of a Self-Organising Map

    Baez-Monroy, V. & O'Keefe, S., 2006, International Joint Conference on Neural Networks, 2006. IJCNN '06.. p. 6550-6557 7 p.

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

  191. The epsilon object language (EOL)

    Kolovos, D. S., Paige, R. F. & Polack, F. A. C., 2006, MODEL DRIVEN ARCHITECTURE - FOUNDATIONS AND APPLICATIONS, PROCEEDINGS. Rensink, A. & Warmer, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 128-142 15 p.

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

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

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

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

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

  194. The effects of variable stationarity in a financial time-series on Artificial Neural Networks

    Butler, M. & Kazakov, D., 1 Apr 2011, 2011 IEEE Symposium on Computational Intelligence for Financial Engineering and Economics (CIFEr). Paris: IEEE, p. 1 -8 8 p.

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

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

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

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

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

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

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

  197. The application of compile-time reflection to software fault tolerance using Ada 95

    Rogers, P. & Wellings, A. J., 2005, RELIABLE SOFTWARE TECHNOLOGY ADA-EUROPE 2005, PROCEEDINGS. Vardanega, T. & Wellings, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 236-247 12 p.

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

  198. The abundance of 44Ti in core collapse supernovae: Measuring the 44Ti(α, p)47V reaction

    Murphy, A. S. J., Davinson, T., Kankainen, A., Lotay, G., Mountford, D. J., Murphy, C. D., Woods, P. J., Dressler, R., Schumann, D., Stowasser, T., Fallis, J., Laird, A. M., Seiffert, C., Stora, T. & Wang, C. H. T., 2014, Proceedings of Science. Proceedings of Science (PoS), Vol. 07-11-July-2015. 126

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

  199. The Use of Satisfaction Arguments for Traceability in Requirements Reuse for System Families

    Attwood, K. C. & Kelly, T., 2004, International Workshop on Requirements Reuse in System Family Engineering, Technical Report, Universidad Politecnica de Madrid. Madrid, Spain, p. 18-21 4 p.

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

  200. The Styx IP-core for ubiquitous network device interoperability

    Audsley, N. C., Gao, R. & Patil, A., 1 Dec 2005, Perspectives in Pervasive Computing. 1 ed. Vol. 2005. p. 115-126 12 p.

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

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

  202. The Science and Superstition of Quantitative Risk Assessment

    Rae, A. J., Alexander, R. & McDermid, J. A., Jul 2012, Proceedings of PSAM 11 & ESREL 2012. International Association of Probabilistic Safety Assessment and Management, IAPSAM , Vol. 3. p. 2292-2301 10 p.

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

  203. The Safety-critical Java Mission Model: a formal account

    Zeyda, F., Cavalcanti, A. L. C. & Wellings, A., 2011, International Conference on Formal Engineering Methods. Vol. 6991 LNCS. p. 49-65 17 p.

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

  204. The Safety-Critical Java Memory Model: A Formal Account

    Cavalcanti, A., Wellings, A. J. & Woodcock, J., 2011, FM 2011: 17th International Symposium of Formal Methods. Vol. 6664 LNCS. p. 246-261 16 p. (Lecture Notes in Computer Science; vol. 6664).

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

  205. The Rules of Constraint Modelling

    Frisch, A. M., Jefferson, C., Martinez Hernandez, B. & Miguel, I., 2005, Proceedings of the 19th International Joint Conference on Artificial Intelligence. p. 109-116 7 p.

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

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

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

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

  207. The Role of Architectural Model Checking in Conducting Preliminary Safety Assessment

    Jaradat, O., Graydon, P. & Bate, I., 1 Aug 2013, Proceedings of the 31st International System Safety Conference (ISSC), System Safety Society.

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

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

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

  210. The Real-Time Specification for Java: Current Status and Future Work

    Dibble, P. C. & Wellings, A. J., 2004, 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), 12-14 May 2004, Vienna, Austria. IEEE Computer Society, p. 71-77 7 p.

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

  211. The Playtime Principle: Large/scale cross-games interest modeling

    Sifa, R., bauckhage, C. & Drachen, A., 23 Dec 2014, Proceedings of the IEEE Computational Intelligence in Games. IEEE, 8 p.

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

  212. The Pi Swarm: A low-cost platform for swarm robotics research and education

    Hilder, J. A., Naylor, R. F., Rizihs, A., Franks, D. W. & Timmis, J., 2014, LNCS. Springer, Vol. 8717. p. 151-162

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

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

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

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

  214. The Need for SoS Safety Cases

    Alexander, R., Despotou, G. & Kelly, T., Aug 2011, Proceedings of the 29th International System Safety Conference (ISSC '11).

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

  215. The Nature and Content of Safety Contracts: Challenges and Suggestions for a Way Forward

    Graydon, P. & Bate, I., 2014, Proceedings of the 20th IEEE Pacific Rim International Symposium on Dependable Computing.

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

  216. The Mutual Information between Graphs

    Escolano, F. & Hancock, E. R., 2014, Proceedings of the 22nd International Conference on Pattern Recognition. IEEE Computer Society Press, p. 94-99 6 p.

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

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

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

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

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

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

  220. The Fading Concept in Tuple-Space Systems

    Menezes, R. & Wood, A., 2006, Proceedings of the 2006 ACM Symposium on Applied Computing. ACM, p. 440-444 4 p.

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

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

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

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

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

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

  226. The Effect of Text Color and Background Color on Skim Reading Webpages in Thai

    Kamollimsakul, S., Petrie, H. & Power, C. D., 2014, International Conference on Human-Computer Interaction. Springer, p. 615-620 6 p.

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

  227. The Design of GP 2

    Plump, D., 2012, Proceedings 10th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2011). Escobar, S. (ed.). p. 1-12 (Electronic Proceedings in Theoretical Computer Science ; vol. 82).

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

  228. The BROADEN distributed tool, service and data architecture

    Fletcher, M., Jackson, T., Jessop, M., Klinger, S., Liang, B. & Austin, J., 2006, Proceedings of the UK e-Science All Hands Meeting 2006. Cox, SJ. (ed.). EDINBURGH: NATL E-SCIENCE CENTRE, p. 762-768 7 p.

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

  229. The Application of the Original Priority Ceiling Protocol to Mixed Criticality Systems

    Burns, A., 2013, ReTiMiCS, RTCSA. George, L. & Lipari, G. (eds.). p. 7-11 5 p.

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

  230. The 2013 Multi-Objective Physical Travelling Salesman Problem Competition

    Perez, D., Powley, E., Whitehouse, D., Samothrakis, S., Lucas, S. & Cowling, P. I., 2014, 2014 IEEE Congress on Evolutionary Computation (CEC). p. 2314-2321 8 p.

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

  231. Testing with Inputs and Outputs in CSP

    Cavalcanti, A. L. C. & Hierons, R., 2013, 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013. Vol. 7793 LNCS. p. 359-374

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

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

  233. Testing reflectance models against radiance data

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

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

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

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

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

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

  236. Testing Implications of the Adaptive Market Hypothesis via Computational Intelligence

    Kazakov, D. L. & Butler, M. R., 2012, Computational Intelligence for Financial Engineering & Economics (CIFEr), 2012 IEEE Conference on . IEEE, p. 1-8

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

  237. Testing Autonomous Robot Control Software Using Procedural Content Generation

    Arnold, J. & Alexander, R., 2013, Computer Safety, Reliability, and Security. Springer, Vol. 8153 LNCS. p. 33-44 12 p. (Lecture Notes in Computer Science; vol. 8153).

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

  238. Term sense disambiguation for ontology learning

    Klapaftis, I. P. & Manandhar, S., 2006, ISDA 2006: Sixth International Conference on Intelligent Systems Design and Applications, Vol 2. Chen, Y. & Abraham, A. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 844-849 6 p.

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

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

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

  241. Ten steps towards systematic requirements reuse

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

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

  242. Temporal isolation in Ravenscar-Java

    Cai, H. & Wellings, A., 2005, ISORC 2005: Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, Proceedings. Ghafoor, A., Brinkschulte, U., Ramamritham, K. & Pettit, RG. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 364-371 8 p.

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

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

  244. Tempering for Bayesian C&RT

    Cussens, J., Wrobel, S. (ed.), Angelopoulos, N. & De Raedt, L. (ed.), 2005, Proceedings of the 22nd International Conference on Machine Learning. p. 17-24 7 p. (ACM International Conference Proceeding Series; vol. 19).

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

  245. Telephone access for deaf people

    Edwards, A. D. N., 2005, Home-Oriented Informatics and Telematics, Proceedings. Sloane, A. (ed.). NEW YORK: SPRINGER, p. 235-243 9 p.

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

  246. Technology Transfer: An Integrated `Culture Friendly' Approach

    Bate, I. J., Burns, A., Jackson, T. O., Kelly, T. P., Lam, W., Tongue, P., McDermid, J. A., Powell, A. L., Smith, J., Vickers, A. J., Wellings, A. J. & Whittle, B. R., 1996, Proceedings of Technology Transfer Workshop - Part of the 18th International Conference on Software Engineering, Berlin, Germany.

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

  247. Techniques For The Synthesis Of Multiprocessor Tasksets

    Emberson, P., Stafford, R. & Davis, R. I., Jul 2010, WATERS workshop at the Euromicro Conference on Real-Time Systems. p. 6-11

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

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

  249. Task termination in Ada 95

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

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

  250. Task parameter computations for constraint deadline real-time systems with EDF scheduling

    Zhang, F., Burns, A. & Baruah, S., 27 Aug 2010, Proceedings of International Conference onComputer Design and Applications (ICCDA). Vol. 3. p. V3-553 -V3-557 5541363

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

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

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

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

  252. Targeting complex embedded architectures by combining the Multicore Communications API (MCAPI) with Compile-Time Virtualisation

    Gray, I. & Audsley, N. C., 2011, Proceedings of the 2011 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems. p. 51-60

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

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

  254. Taking our own medicine: Applying the refinement calculus to state-rich refinement model checking

    Freitas, L., Cavalcanti, A. & Woodcock, J., 2006, Formal Methods and Software Engineering, Proceedings. Liu, Z. & He, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 697-716 20 p.

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

  255. Tag-based expert recommendation in community question answering

    Yang, B. & Manandhar, S., 10 Oct 2014, ASONAM 2014 - Proceedings of the 2014 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining. IEEE, p. 960-963 4 p.

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

  256. TTF-Ravenscar: A Profile to Support Reliable High-Integrity Multiprocessor Ada Applications

    Burns, A., Wellings, A. J. & Malik, A. H., 1 Apr 2013, Proceeding of the 15th IRTAW. ACM, Vol. XXXII. p. 15-23 9 p.

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

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

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

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

  258. TERMGRAPH 2002 Workshop Survey

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

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

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

  260. Systematic Experimental Analysis and Evaluation of Routing Protocol in Wireless Sensor Networks

    Lim, T. H., Bate, I. & Timmis, J., 2012, The 2012 UK Electronic Forum. Koelmans, A. & Yakovlev, A. (eds.). Dept. of Education, University of Newcastle upon Tyne, p. 16-25 10 p.

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

  261. System of systems hazard analysis using simulation and machine learning

    Alexander, R., Kazakov, D. & Kelly, T., 2006, COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS: 25th Annual Conference, SAFECOMP 2006. Gorski, J. (ed.). BERLIN: SPRINGER-VERLAG BERLIN, p. 1-14 14 p. (Lecture Notes in Computer Science; vol. 4166).

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

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

  263. Synthesis of Legacy Real-Time Ada Software to FPGA

    Audsley, N. & Bate, I., 2004, Proceedings of the 10th International Conference on Real-Time and Embedded Computing Systems and Applications (RTCSA 2004). p. 21-40 20 p.

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

  264. Syntax-driven implementation of software programming language control constructs and expressions on FPGAs

    Audsley, N. C. & Ward, M., 2006, Proceedings of the 2006 International Conference on Compilers, Architecture and Synthesis for Embedded Systems. p. 253 - 260

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

  265. Symmetry breaking as a prelude to implied constraints: A constraint modelling pattern

    Frisch, A. M., Jefferson, C. & Miguel, I., 2004, ECAI 2004: 16TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS. LopezdeMantaras, R. & Saitta, L. (eds.). AMSTERDAM: I O S PRESS, p. 171-175 5 p.

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

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

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

  268. Surface normals and height from non-Lambertian image data

    Ragheb, H. & Hancock, E. R., 2004, 2ND INTERNATIONAL SYMPOSIUM ON 3D DATA PROCESSING, VISUALIZATION, AND TRANSMISSION, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 18-25 8 p.

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

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

  270. Surface height recovery using heat flow and manifold embedding

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

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

  271. Surface acquisition from single gray-scale images

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

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

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

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

  274. Supporting mixed criticality applications in a ravenscar-java environment

    Cai, H. & Wellings, A., 2004, ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2004: OTM 2004 WORKSHOPS, PROCEEDINGS. Meersman, R., Tari, Z., Corsaro, A., Herrero, P., Perez, MS., Radenkovic, M., Robles, V., Santoro, C., Albani, A., Turowski, K., Jarrar, M., Gangemi, A., Duval, E., Spyns, P. & Palinginis, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 278-291 14 p.

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

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

  276. Supporting deadlines and EDF scheduling in Ada

    Burns, A., Wellings, A. J. & Taft, S. T., 2004, RELIABLE SOFTWARE TECHNOLOGIES- ADA-EUROPE 2004. Llamosi, A. & Strohmeier, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 156-165 10 p.

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

  277. Supporting Learning Within the Workplace: Device Training in Healthcare

    Iacovides, I., Cox, A. L. & Blandford, A., 2013, Proceedings of the 31st European Conference on Cognitive Ergonomics. New York, NY, USA: ACM, p. 30:1-30:4 (ECCE '13).

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

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

  279. Supporting Execution on Multiprocessor Platforms

    Burns, A. & Wellings, A. J., 1 Apr 2010, Proceedings of 14th International Real-Time Ada Workshop, IRTAW. Vol. XXX. (ACM Ada Letters).

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

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

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

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

  281. Support for Multiprocessor Platforms

    Burns, A. & Wellings, A. J., 2013, Proceeding of the 15th IRTAW. ACM Letters, Vol. XXXII. p. 9-14 6 p.

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

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

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

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

  285. Structural flow smoothing for shape interpolation

    Doshi, A. & Bors, A. G., 2006, 18th International Conference on Pattern Recognition, Vol 3, Proceedings. Tang, YY., Wang, SP., Lorette, G., Yeung, DS. & Yan, H. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 11-14 4 p.

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

  286. Strategy-guided requirements development and validation

    Cui, X. & Paige, R. F., 2014, Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD) : 2014 15th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2014, Las Vegas, NV, USA, June 30 - July 2, 2014. IEEE, p. 1-6 6 p.

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

  287. Stochastic simulation of inherited kinship-driven altruism

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

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

  288. Stochastic logic programs: Sampling, inference and applications

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

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

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

  290. Statistical analysis of WCET for scheduling

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

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

  291. Statistical Aspects of Stochastic Logic Programs

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

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

  292. Static Probabilistic Timing Analysis for Multicore Processors with Shared Cache

    Davis, R., Jul 2013, Real-Time Scheduling Open Problems Seminar (RTSOPS). p. 3-5

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

  293. Stability of the eigenvalues of graphs

    Zhu, P. & Wilson, R. C., 5 Sep 2005, COMPUTER ANALYSIS OF IMAGES AND PATTERNS, PROCEEDINGS. Gagalowicz, A. & Philips, W. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 371-378 8 p.

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

  294. Squeeze casting and melt infiltration of locally reinforced Al-4.5wt%Cu/20vol%Al2O3 discontinuous fibre MMC ingots

    Kang, H. G., Lee, H. I., Anderson, P. R. G. & Cantor, B., 1996, PROCESSING AND FABRICATION OF ADVANCED MATERIALS IV. Srivatsan, TS. & Moore, JJ. (eds.). WARRENDALE: MINERALS, METALS & MATERIALS SOC, p. 509-527 19 p.

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

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

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

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

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

  299. Specifying pointer structures by graph reductions

    Plump, D., Bakewell, A. & Runciman, C., 2004, Applications of Graph Transformations with Industrial Relevance (AGTIVE 2003): Revised Selected and Invited Papers. Pfaltz, JL., Nagl, M. & Bohlen, B. (eds.). Berlin: Springer, p. 30-44 15 p. (Lecture Notes in Computer Science; vol. 3062).

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

  300. Specifying information-flow controls

    Chivers, H. & Jacob, J., 2005, 25th IEEE International Conference on Distributed Computing Systems Workshops, Proceedings. LOS ALAMITOS: IEEE COMPUTER SOC, p. 114-120 7 p.

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

  301. Specification-driven design with Eiffel and agents for teaching lightweight formal methods

    Paige, R. F. & Ostroff, J. S., 2004, TEACHING FORMAL METHODS, PROCEEDINGS. Dean, CN. & Boute, RT. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 107-123 17 p.

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

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

  303. Specification and Quantitative Analysis of Probabilistic Cloud Deployment Patterns

    Johnson, K., Reed, S. & Calinescu, R., 29 Oct 2012, Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011. Eder, K., Loureno, J. & Shehory, O. (eds.). Springer, p. 145-159 15 p. (Lecture Notes in Computer Science; vol. 7261).

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

  304. Speaking the Language of Web Developers: Evaluation of a Web Accessibility Information Resource (WebAIR)

    Swallow, D. M., Power, C. D., Petrie, H., Bramwell-Dicks, A. F., Buykx, L., Velasco, C. A., Parr, A. & O Connor, J., 2014, Computers Helping People with Special Needs: 14th International Conference, ICCHP 2014, Paris, France, July 9-11, 2014, Proceedings, Part I. PART 1 ed. Springer, Vol. 8547 LNCS. p. 348-355 8 p. (Lecture Notes in Computer Science 0302-9743; vol. 8547).

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

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

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

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

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

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

  308. Solving Acquisition Problems Using Model-Driven Engineering

    Burton, F. R., Paige, R. F., Rose, L. M., Kolovos, D., Poulding, S. M. & Smith, S., 2012, Modelling Foundations and Applications: 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings. Springer, Vol. 7349 LNCS. p. 428-443 16 p. (Lecture Notes in Computer Science; vol. 7349).

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

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

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

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

  312. Software Safety: where's the evidence

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

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

  313. Software Failure Propagation Prevention: Prevention of failure propagation between software of different criticality categories

    Hann, M., Wellings, A., Audsley, N. & Dapena, P. R., 18 Dec 2012, Proceedings of DASIA 2012 - DAta Systems In Aerospace. Vol. 701 SP.

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

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

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

  316. Software Analytics for MDE Communities

    Williams, J. R., Matragkas, N. D., Kolovos, D. S., Korkontzelos, Y., Annaniadou, S. & Paige, R. F., 2014, OSS4MDE 2014: Proceedings of the 1st Workshop on Open Source Software for Model Driven Engineering co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages Systems, OSS4MDE@MoDELS 2014, Valencia, Spain, September 28, 2014.. CEUR Workshop Proceedings, p. 53-63 11 p. (CEUR Workshop Proceedings; vol. 1290).

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

  317. Social learning through evolution of language

    Kazakov, D. & Bartlett, M., 2004, ARTIFICIAL EVOLUTION. Liardet, P., Collet, P., Fonlupt, C., Lutton, E. & Schoenauer, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 397-408 12 p.

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

  318. SoC specification using UML and actor-oriented modeling

    Indrusiak, L. S. & Glesner, M., 2006, 2006 International Baltic Electronics Conference, Proceedings. NEW YORK: IEEE, p. 31-36 6 p.

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

  319. Smoothing tensor-valued images using anisotropic geodesic diffusion

    Zhang, F. & 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. 83-91 9 p.

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

  320. Smart devices and software agents: The basics of good behaviour

    Chivers, H., Clark, J. A. & Stepney, S., 2004, SECURITY IN PERVASIVE COMPUTING. Hutter, D., Muller, G., Stephan, W. & Ullmann, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 39-52 14 p.

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

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

  322. Slice interpolation using the distance transform and morphing

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

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

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

  324. Simultaneous reflectance estimation and surface shape recovery using polarisation

    Zhang, L. & Hancock, E. R., 2012, 21st International Conference on Pattern Recognition. p. 1876-1879 6460520

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

  325. Simultaneous Reflectance Estimation and Surface Shape Recovery Using Polarisation

    Zhang, L. & Hancock, E. R., 2012, Proceedings 21st International Conference on Pattern Recognition . IEEE Computer Society Press, p. 1876-1879 4 p.

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

  326. Simulink timed models for program verification

    Cavalcanti, A. L. C., Mota, A. & Woodcock, JAMES. C. P., 2013, Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. Vol. 8051 LNCS. p. 82-99

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

  327. Simulating Neurons in Reaction-Diffusion Chemistry

    Stovold, J. H. & O'Keefe, S., 2012, Information Processing in Cells and Tissues: 9th International Conference, IPCAT 2012, Cambridge, UK, March 31 – April 2, 2012. Proceedings. SPRINGER-VERLAG BERLIN, Vol. 7223. p. 143-149 7 p. (Lecture Notes in Computer Science; vol. 7223).

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

  328. Simplification of 3D Morphable Models

    Patel, A. & Smith, W. A. P., 2011, Proceedings of the International Conference on Computer Vision. p. 271-278 8 p.

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

  329. Simplification Orders for Term Graph Rewriting

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

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

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

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

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

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

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

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

  332. Shape-from-shading under complex natural illumination

    Huang, R. & Smith, W. A. P., 2011, Image Processing (ICIP), 2011 18th IEEE International Conference on. IEEE, p. 13-16 4 p.

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

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

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

  335. Shape signature using the edge-based laplacian

    Aziz, F., Wilson, R. C. & Hancock, E. R., 2012, 21st International Conference on Pattern Recognition. p. 1594-1597 6460450

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

  336. Shape retrieval by inexact graph matching

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

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

  337. Shape from shading using robust statistics

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

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

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

  339. Shape Signature Using the Edge-Based Laplacian

    Aziz, F., Wilson, R. C. & Hancock, E. R., 2012, 21st International Conference on Pattern Recognition . IEEE Computer Society Press, p. 1594-1597 4 p.

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

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

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

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

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

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

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

  346. Sensitivity analysis in model-driven engineering

    Williams, J. R., Burton, F. R., Paige, R. F. & Polack, F. A. C., 24 Oct 2012, Model Driven Engineering Languages and Systems - 15th International Conference, MODELS 2012, Proceedings. p. 743-758 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7590 LNCS).

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

  347. Sensitivity analysis for EDF scheduled arbitrary deadline real-time systems

    Zhang, F., Burns, A. & Baruah, S., 24 Nov 2010, Proceedings - 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2010. p. 61-70 10 p. 5591291

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

  348. Sensitivity Analysis of Real-Time Task Sets

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

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

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

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

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

  352. Semantic reasoning for autonomic IT systems

    Patelli, A., Calinescu, R. & Wang, H., 2014, WCOP 2014 - Proceedings of the 19th International Doctoral Symposium on Components and Architecture (Part of CompArch 2014). Association for Computing Machinery (ACM), p. 13-18 6 p.

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

  353. SemEval-2014 Task 7: Analysis of Clinical Text

    Pradhan, S., Elhadad, N., Chapman, W. W., Manandhar, S. & Savova, G., 2014, Proceedings of the 8th International Workshop on Semantic Evaluation (SemEval 2014). p. 54-62 9 p.

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

  354. SemEval-2014 Task 4: Aspect Based Sentiment Analysis

    Pontiki, M., Galanis, D., Pavlopoulos, J., Papageorgiou, H., Androutsopoulos, I. & Manandhar, S., 2014, Proceedings of the 8th International Workshop on Semantic Evaluation (SemEval 2014). p. 27-35 9 p.

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

  355. Self-reconfigurable Modular e-pucks

    Murray, L. J., Tyrrell, A. & Timmis, J., 2012, ANTS 2012. Lecture Notes in Computer Science, Vol. 7461. p. 133 144 p.

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

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

  357. Self-Service Terminals for Older and Disabled Users: Attitudes of Key Stakeholders

    Petrie, H., Darzentas, J. S. & Power, C. D., 2014, Computers Helping People with Special Needs: 14th International Conference, ICCHP 2014, Paris, France, July 9-11, 2014, Proceedings, Part I. PART 1 ed. Vol. 8547 LNCS. p. 340-347 8 p. (Lecture Notes in Computer Science; vol. 8547).

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

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

  359. Selecting Highly Efficient Sets of Subdomains for Mutation Adequacy

    Patrick, M., Alexander, R., Oriol, M. & Clark, J. A., 1 Dec 2013, Software Engineering Conference (APSEC, 2013 20th Asia-Pacific). Vol. 1. p. 91-98 8 p.

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

  360. Segmenting modulated line textures with S-Gabor filters

    Hickinbotham, S. J., Hancock, E. R. & Austin, J., 1996, INTERNATIONAL CONFERENCE ON IMAGE PROCESSING, PROCEEDINGS - VOL III. NEW YORK: I E E E, COMPUTER SOC PRESS, Vol. 3. p. 149-152 4 p.

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

  361. Segmentation and Normalisation in Grapheme Codebooks

    Gillam, T., Wilson, R. C. & Clark, J. A., 2011, 2011 International Conference on Document Analysis and Recognition, ICDAR 2011, Beijing, China, September 18-21, 2011. IEEE, p. 613-617 5 p.

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

  362. Security planning and refactoring in Extreme Programming

    Aydal, E. G., Paige, R. F., Chivers, H. & Brooke, P. J., 2006, EXTREME PROGRAMMING AND AGILE PROCESSES IN SOFTWARE ENGINEERING, PROCEEDINGS. Abrahamsson, P., Marchesi, M. & Succi, G. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 154-163 10 p.

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

  363. Secure databases: An analysis of Clark-Wilson model in a database environment

    Ge, X. C., Polack, F. & Laleau, R., 2004, ADVANCED INFORMATION SYSTEMS ENGINEERING, PROCEEDINGS. Persson, A. & Stirna, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 234-247 14 p.

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

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

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

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

  365. Searching for the Minimum Failures that Can Cause a Hazard in a Wireless Sensor Network

    Bate, I. & Fairbairn, M., 2013, Proceedings of Genetic and Evolutionary Computation Conference (GECCO).

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

  366. Searching for model migration strategies

    Williams, J. R., Paige, R. F. & Polack, F. A. C., 1 Dec 2012, Proceedings of the 6th International Workshop on Models and Evolution, ME 2012. p. 39-44 6 p.

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

  367. Searching for invariants using genetic programming and mutation testing

    Ratcliff, S., White, D. R. & Clark, J. A., 2011, GECCO 2011 : Proceedings of 13th Annual Conference on Genetic and Evolutionary Computation. Krasnogor, N. & Lanzi, P. L. (eds.). ACM, p. 1907-1914 8 p.

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

  368. Searching for cost functions

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

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

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

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

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

  370. Searching for Pareto-optimal Randomised Algorithms

    Millard, A. G., White, D. R. & Clark, J. A., 2012, SSBSE. Springer, Vol. 7515. p. 183-197 15 p. (Lecture Notes in Computer Science).

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

  371. Searching air sectors for risk

    Clegg, K. D. & Alexander, R., Nov 2012, Proceedings of the 2nd SESAR Innovation Days.

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

  372. Searching against distributed data using a web service architecture

    Jackson, T., Jessop, M., Pasley, A. & Austin, J., 2005, CLADE 2005: Challenges of Large Applications in Distributed Environments, Proceedings. NEW YORK: IEEE, p. 122-129 8 p.

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

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

  374. Search-based parameter tuning on application-level load balancing for distributed embedded systems

    Caliskanelli, I. & Indrusiak, L. S., 2013, Proceedings - 2013 IEEE International Conference on High Performance Computing and Communications, HPCC 2013 and 2013 IEEE International Conference on Embedded and Ubiquitous Computing, EUC 2013. IEEE Computer Society Press, p. 2050-2057 8 p.

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

  375. Search-based mutation testing for Simulink models

    Zhan, Y. & Clark, J. A., 2005, GECCO 2005: Genetic and Evolutionary Computation Conference, Vols 1 and 2. Beyer, HG. (ed.). NEW YORK: ASSOC COMPUTING MACHINERY, p. 1061-1068 8 p.

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

  376. Search based automatic test-data generation at an architectural level

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

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

  377. Seamless texture stitching on a 3D mesh by Poisson blending in patches

    Desssein, A., Smith, W. A. P., Wilson, R. C. & Hancock, E. R., 2014, 2014 IEEE International Conference on Image Processing (ICIP). IEEE, p. 2031-2035 6 p.

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

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

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

  380. Scheduling fixed-priority hard real-time tasks in the presence of faults

    Lima, G. & Burns, A., 2005, DEPENDABLE COMPUTING, PROCEEDINGS. Maziero, CA., Silva, JG., SantosAndrade, AM. & Silva, FMD. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 154-173 20 p.

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

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

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

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

  382. Scheduling HPC Workflows for Responsiveness and Fairness with Networking Delays and Inaccurate Estimates of Execution Times

    Burkimsher, A., Bate, I. & Indrusiak, L. S., 2013, Proceedings of the 19th International Conference on Parallel Processing (Euro-Par 2013). Wolf, F., Mohr, B. & Mey, D. (eds.). Springer Berlin / Heidelberg, Vol. 8097. p. 126-137 12 p. (Lecture Notes in Computer Science).

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

  383. Schedulability analysis of CAN with non-abortable transmission requests

    Khan, D. A., Davis, R. I. & Navet, N., Sep 2011, Emerging Technologies and Factory Automation. p. 1-8 8 p.

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

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

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

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

  385. Schedulability Tests for Tasks with Variable Rate-Dependent Behaviour under Fixed Priority Scheduling

    Davis, R. I., Feld, T., Pollex, V. & Slomka, F., Apr 2014, Real-Time and embedded technology and Applications Symposium (RTAS), 2014. IEEE, p. 51-62 12 p.

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

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

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

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

  387. Schedulability Analysis for Fixed Priority Real-Time Systems with Energy-Harvesting

    Abdeddaïm, Y., Chanderli, Y., Masson, D. & Davis, R. I., Oct 2014, Proceedings of the 22nd International Conference on Real-Time Networks and Systems. p. 311-320 10 p.

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

  388. Scenario-based stochastic constraint programming

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

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

  389. Scenario-based modeling to capture requirements for immune inspired profile adaptation

    Azmi, N. F. M., Timmis, J. & Polack, F., 1 Jan 2013, 2013 8th International Conference on Information Technology in Asia - Smart Devices Trend: Technologising Future Lifestyle, Proceedings of CITA 2013. IEEE Computer Society Press, p. 1-6 6 p. 6637551

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

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

  391. Scale descriptors through phase unwrapping

    Hughes, A. & Wilson, R. C., 18 Aug 2004, STRUCTURAL, SYNTACTIC, AND STATISTICAL PATTERN RECOGNITION, PROCEEDINGS. Fred, A., Caelli, T., Duin, RPW., Campilho, A. & DeRidder, D. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 530-537 8 p.

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

  392. Scalability of a distributed neural information retrieval system

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

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

  393. Saying Hello World with Epsilon - A Solution to the 2011 Instructive Case

    Rose, L. M., García-Domínguez, A., Williams, J. R., Kolovos, D., Paige, R. F. & Polack, F. A. C., 2011, Proceedings Fifth Transformation Tool Contest. Arxiv (Cornell University), p. 332-339

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

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

  395. Sampling graphs from a probabilistic generative model

    Han, L., Wilson, R., Hancock, E., Bai, L. & Ren, P., 2012, 21st International Conference on Pattern Recognition. p. 1643-1646 6460462

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

  396. Sampling Graphs from a Probabilistic Generative Model

    Han, L., Hancock, E. R., Wilson, R. C., Bai, L. & Ren, P., 2012, Proceedings 21st International Conference on Pattern Recognition . p. 1643-1646 4 p.

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

  397. Safety-critical Java level 2: Motivations, example applications and issues

    Wellings, A., Luckcuck, M. & Cavalcanti, A., 15 Nov 2013, Proceedings of the 11th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2013. p. 48-57 10 p.

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

  398. Safety-Critical Java in Circus

    Cavalcanti, A. L. C., Wellings, A., Woodcock, J., Wei, K. & Zeyda, F., 2011, 9th Workshop on Java Technologies for Real-Time and Embedded System. p. 20-29 10 p.

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

  399. Safety lifecycle for developing safety critical artificial neural networks

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

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

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

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

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

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

  402. Safety Case Development: Current Practices, Future Prospects

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

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

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

  404. Safety Case Construction and Reuse using Patterns

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

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

  405. Safety Assurance Driven Problem Formulation for Mixed-Criticality Scheduling

    Graydon, P. & Bate, I., 2013, Proceedings of the Workshop on Mixed-Criticality Systems. p. 19-24 6 p.

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

  406. Safety Arguments for use of an Ada to FPGA Compiler

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

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

  407. Safe composition of real time software

    Bate, I. & Conmy, P., 2005, Proceedings of the 9th International Conference on High Assurance Systems Engineering. Cantarella, JD. (ed.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 79-88 10 p.

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

  408. Safe asynchronous multicore memory operations

    Bontincan, M., Dodds, M., Donaldson, A. F. & Parkinson, M. J., 2011, Automated Software Engineering (ASE), 2011 26th IEEE/ACM International Conference on. IEEE, p. 153-162 10 p.

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

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

  410. STC: A Joint Sentiment-Topic Model for Community Identification

    Yang, B. & Manandhar, S., 2014, Trends and Applications in Knowledge Discovery and Data Mining: PAKDD 2014 International Workshops: DANTH, BDM, MobiSocial, BigEC, CloudSD, MSMV-MBI, SDA, DMDA-Health, ALSIP, SocNet, DMBIH, BigPMA,Tainan, Taiwan, May 13-16, 2014. Revised Selected Papers. Springer, p. 535-548 14 p.

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

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

  412. SOM-based sparse binary encoding for AURA classifier

    O'Keefe, S. & Dekhtyarenko, O. K., 2006, IEEE International Conference on Neural Networks - Conference Proceedings. NEW YORK: IEEE, p. 966-972 7 p. 1716201

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

  413. SCJ: Memory-safety checking without annotations

    Marriott, C. & Cavalcanti, A. L. C., 2014, FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings. Jones, C., Pihlajasaari, P. & Sun, J. (eds.). SPRINGER, p. 465-480 16 p. (Lecture Notes in Computer Science; vol. 8442).

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

  414. Runtime optimisation in WSNs for load balancing using pheromone signalling

    Caliskanelli, I., Harbin, J. R., Soares Indrusiak, L., Mitchell, P. D., Chesmore, D. & Polack, F. A. C., Dec 2012, 2012 IEEE 3rd International Conference on Networked Embedded Systems for Every Application (NESEA). p. 1-8

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

  415. Run-time Detection of Faults in Autonomous Mobile Robots Based on the Comparison of Simulated and Real Robot Behaviour

    Millard, A. G., Timmis, J. & Winfield, A. F. T., 2014, Intelligent Robots and Systems (IROS 2014), 2014 IEEE/RSJ International Conference on. IEEE, p. 3720-3725

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

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

  417. Rooted Graph Programs

    Plump, D. & Bak, C., 2012, Proceedings 7th International Workshop on Graph Based Tools (GraBaTs 2012). Krause, C. & Westfechtel, B. (eds.). Berlin, 12 p. (Electronic Communications of the EASST; vol. 54).

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

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

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

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

  421. Robust diffusion of structural flows for volumetric image interpolation

    Doshi, A. & Bors, A. G., 2006, 2006 IEEE International Conference on Image Processing, ICIP 2006, Proceedings. NEW YORK: IEEE, p. 1225-1228 4 p.

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

  422. Robust Shape and Polarisation Estimation Using Blind Source Separation

    Zhang, L. & Hancock, E. R., 2011, Computer Analysis of Images and Patterns - 14th International Conference, CAIP 2011, Seville, Spain, August 29-31, 2011, Proceedings, Part I. Real, P., DiazPernil, D., MolinaAbril, H., Berciano, A. & Kropatsch, W. (eds.). PART 1 ed. BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6854. p. 178-185 8 p. (Lecture Notes in Computer Science).

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

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

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

  425. Ribbon proofs for separation logic

    Wickerson, J., Dodds, M. & Parkinson, M. J., 16 Mar 2013, Programming Languages and Systems: ESOP'13 Proceedings of the 22nd European conference on Programming Languages and Systems. ACM, Vol. 7792 LNCS. p. 189-208 10 p. (Lecture Notes in Computer Science; vol. 7792).

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

  426. Rewriting history to exploit gain time

    Bernat, G., Broster, I. & Burns, A., 2004, 25TH IEEE INTERNATIONAL REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 328-335 8 p.

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

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

  428. Revealing Complexity through Domain-Specific Modelling and Analysis

    Paige, R. F., Brooke, P. J., Ge, X., Power, C. D., Burton, F. R. & Poulding, S. M., 2012, Large-Scale Complex IT Systems. Development, Operation and Management. Springer, Vol. 7539 LNCS. p. 251-265 15 p. (Lecture Notes in Computer Science; vol. 7539).

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

  429. Retrenching the Purse: Finite sequence numbers, and the Tower Pattern

    Banach, R., Poppleton, M., Jeske, C. & Stepney, S., 2005, FM 2005: FORMAL METHODS, PROCEEDINGS. Fitzgerald, J., Hayes, IJ. & Tarlecki, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 382-398 17 p.

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

  430. Results on rotation symmetric bent and correlation immune Boolean functions

    Stanica, P., Maitra, S. & Clark, J. A., 2004, FAST SOFTWARE ENCRYPTION. Roy, B. & Meier, W. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 161-177 17 p.

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

  431. Response-Time Analysis for Mixed Criticality Systems

    Baruah, S. K., Burns, A. & Davis, R. I., Dec 2011, Proceedings of 32nd IEEE Real-Time Systems Symposium, 2011. p. 34-43 10 p.

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

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

  433. Resource-sensitive synchronization inference by abduction

    Botincan, M., Dodds, M. D. & Jagannathan, S., 2012, POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages . New York: ACM, p. 309-322 14 p.

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

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

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

  436. Resource Requirement Analysis for Web Applications Running in a Virtualised Environment

    Mohamad, R. P., Kolovos, D. S. & Paige, R. F., 2014, Cloud Computing Technology and Science (CloudCom): 2014 IEEE 6th International Conference on Cloud Computing Technology and Science, CloudCom 2014, Singapore, December 15-18, 2014. IEEE, p. 632-637 6 p.

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

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

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

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

  438. Requirements for e-services for disabled and older students in further and higher education

    Petrie, H., Power, C., Swallow, D. & Bostick, S. L., 2011, Proceedings of Accessible Design In the Digital World 2011. University of York

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

  439. Requirements for a model comparison language

    Williams, J. R., Kolovos, D., Polack, F. A. C. & Paige, R. F., 30 Jun 2011, IWMCP '11 Proceedings of the 2nd International Workshop on Model Comparison in Practice. ACM, p. 26-29 4 p.

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

  440. Requirements as conjectures: Intuitive DVD menu navigation

    Rossmorris, J. & Stepney, S., 2005, ZB 2005: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B, PROCEEDINGS. Treharne, H., King, S., Henson, M. & Schneider, S. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 172-186 15 p.

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

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

  442. Remote usability evaluations with disabled people

    Petrie, H., Hamilton, F., King, N., Pavan, P., Grinter, R. (ed.), Rodden, T. (ed.), Aoki, P. (ed.), Cutrell, E. (ed.), Jeffries, R. (ed.) & Olson, G. (ed.), 2006, Proceedings of the Special Interest Group on Computer-Human Interaction 2006 Conference on Human Factors in Computing Systems. New York, NY, USA: ACM, p. 1133 - 1141

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

  443. Remote Evaluation of WCAG 2.0 Techniques by Web Users with Visual Disabilities

    Power, C. D., Petrie, H., Freire, A. P. & Swallow, D. M., 2011, Universal Access in Human-Computer Interaction. Design for All and eInclusion: 6th International Conference, UAHCI 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part I. PART 1 ed. Springer, Vol. 6765 LNCS. p. 285-294 10 p. (Lecture Notes in Computer Science; vol. 6765).

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

  444. Relational matching with dynamic graph structures

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

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

  445. Relational histograms for shape indexing

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

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

  446. Relabelling in Graph Transformation

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

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

  447. Reinforcement learning of coordination in heterogeneous cooperative multi-agent systems

    Kapetanakis, S. & Kudenko, D., 2005, ADAPTIVE AGENTS AND MULTI-AGENT SYSTEMS II. Kudenko, D., Kazakov, D. & Alonso, E. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 119-131 13 p.

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

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

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

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

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

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

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

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

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

  452. Refractive index estimation using photometric stereo

    Saman, G. & Hancock, E., 1 Dec 2011, ICIP 2011: 2011 18th IEEE International Conference on Image Processing. p. 1925-1928 4 p. 6115847. (Proceedings - International Conference on Image Processing, ICIP).

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

  453. Refractive Index Estimation Using Polarisation and Photometric Stereo

    Saman, G. & Hancock, E. R., 2011, Computer Analysis of Images and Patterns - 14th International Conference, CAIP 2011, Seville, Spain, August 29-31, 2011, Proceedings, Part II. Real, P., Díaz-Pernil, D., Molina-Abril, H., Berciano, A. & Kropatsch, W. G. (eds.). PART 2 ed. BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6855. p. 548-554 7 p. (Lecture Notes in Computer Science).

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

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

  455. Reflection Component Separation Using Statistical Analysis and Polarisation

    Zhang, L., Hancock, E. R. & Atkinson, G. A., 2011, PATTERN RECOGNITION AND IMAGE ANALYSIS: 5TH IBERIAN CONFERENCE, IBPRIA 2011. Vitria, J., Sanches, JM. & Hernandez, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6669 LNCS. p. 476-483 8 p.

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

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

  457. Reflectance from surfaces with layers of variable roughness

    Ragheb, H. & Hancock, E. R., 2006, 18th International Conference on Pattern Recognition, Vol 1, Proceedings. Tang, YY., Wang, SP., Lorette, G., Yeung, DS. & Yan, H. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 543-546 4 p.

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

  458. Refinement: An overview

    Cavalcanti, A., Sampaio, A. & Woodcock, J., 2006, REFINEMENT TECHNIQUES IN SOFTWARE ENGINEERING. Cavalcanti, A., Sampaio, A. & Woodcock, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 117 17 p.

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

  459. Reference objects for RTSJ memory areas

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

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

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

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

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

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

  462. Reducing Queue Lock Pessimism in Multiprocessor Schedulability Analysis

    Chang, Y., Davis, R. I. & Wellings, A. J., Nov 2010, International conference on Real-Time and Network Systems. p. 99-108

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

  463. Rectifying Non-euclidean Similarity Data through Tangent Space Reprojection

    Xu, W., Hancock, E. R. & Wilson, R. C., 2011, PATTERN RECOGNITION AND IMAGE ANALYSIS: 5TH IBERIAN CONFERENCE, IBPRIA 2011. Vitria, J., Sanches, JM. & Hernandez, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6669 LNCS. p. 379-386 8 p.

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

  464. Recovering height information from SAR images of terrain

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

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

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

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

  467. Reconfigurable platforms for ubiquitous computing

    Glesner, M., Hollstein, T., Indrusiak, L. S., Zipf, P., Pionteck, T., Petrov, M., Zimmer, H. & Murgan, T., 2004, Proceedings of the First Conference on Computing Frontiers, 2004, Ischia, Italy, April 14-16, 2004. Vassiliadis, S., Gaudiot, J-L. & Piuri, V. (eds.). ACM, p. 377-389 13 p.

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

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

  469. Reasoning About the Reliability of Multi-version, Diverse Real-Time Systems

    Burns, A. & Littlewood, B., 1 Dec 2010, 2010 IEEE 31st Real-Time Systems Symposium (RTSS). IEEE Computer Society Press, p. 73-81 9 p.

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

  470. Realistic analysis of limited parallel software/hardware implementations

    Audsley, N. C. & Bletsas, K., 2004, RTAS 2004: 10TH IEEE REAL-TIME AND EMBEDDED TECHNOLOGY AND APPLICATIONS SYMPOSIUM, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 388-395 8 p.

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

  471. Realistic Safety Cases for the Timing of Systems

    Graydon, P. J. & Bate, I. J., 2014, The Computer Journal. 5 ed. Vol. 57. p. 759 774 p.

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

  472. Realistic Analysis of Limited Parallel Software / Hardware Implementations

    Audsley, N. C. & Bletsas, K., 2004, Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium. p. 388-395 7 p.

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

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

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

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

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

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

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

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

  476. Real-time memory management: Life and times

    Borg, A., Wellings, A., Gill, C. & Cytron, R. K., 2006, 18th Euromicro Conference on Real-Time Systems, Proceedings. NEW YORK: IEEE, p. 237-247 11 p.

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

  477. Real-time low-power task mapping in Networks-on-Chip

    Mohd Sayuti, M. N. S. & Soares Indrusiak, L., 2013, Proceedings of the IEEE Computer Society Annual Symposium on VLSI (ISVLSI). IEEE, p. 14-19

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

  478. Real-time distributed computing

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

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

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

  480. Real-time Java for embedded devices: The Javamen project

    Borg, A., Audsley, N. & Wellings, A., 1 Dec 2005, Perspectives in Pervasive Computing. 1 ed. Vol. 2005. p. 1-10 10 p.

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

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

  482. Real-Time Big Data: the JUNIPER Approach

    Audsley, N. C., Gray, I., Chan, Y. & Wellings, A. J., Nov 2014, 3rd IEEE International Workshop on Real-time and distributed computing in emerging applications. p. 9-14

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

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

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

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

  484. Re-sampling for statistical timing analysis of real-time systems

    Maxim, D., Houston, M., Santinelli, L., Bernat, G., Davis, R. I. & Cucu-Grosjean, L., Nov 2012, Proceedings of the 20th International Conference on Real-Time and Network Systems . p. 111-120

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

  485. Re-engineering the Database Layer of Legacy Applications for Scalable Cloud Deployment

    Ellison, M., Calinescu, R. & Paige, R. F., 2014, Utility and Cloud Computing (UCC): Proceedings of the 7th IEEE/ACM International Conference on Utility and Cloud Computing, UCC 2014, London, United Kingdom, December 8-11, 2014. IEEE, p. 976-979 4 p.

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

  486. Rapid Prototyping of a Semantically Well Founded Circus Model Checker

    Mota, A., Farias, A., Didier, A. & Woodcock, J., 2014, Software Engineering and Formal Methods : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings. Giannakopoulou, D. & Salaün, G. (eds.). SPRINGER, Vol. 8702. p. 235-249 (Lecture Notes in Computer Science; vol. 8702).

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

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

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

  489. RESOLVING EDGE-LINE AMBIGUITIES USING PROBABILISTIC RELAXATION

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

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

  490. RELAXATIONAL REFINEMENT OF INTENSITY RIDGES

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

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

  491. RELATIONAL MATCHING BY DISCRETE RELAXATION

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

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

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

  493. Quantum vs classical ranking in segment grouping

    Escolano, F., Bonev, B. & Hancock, E. R., 1 Jan 2014, Structural, Syntactic, and Statistical Pattern Recognition: Joint IAPR International Workshop, S+SSPR 2014, Joensuu, Finland, August 20-22, 2014. Proceedings. Springer-Verlag, Vol. 8621 LNCS. p. 203-212 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8621 LNCS).

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

  494. Quantum reading capacity

    Lupo, C., Pirandola, S., Giovannetti, V., Mancini, S. & Braunstein, S. L., 2012, Optics InfoBase Conference Papers.

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

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

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

  497. Quantifying the Suboptimality of Uniprocessor Fixed Priority Non-Pre-emptive Scheduling

    Davis, R. I., George, L. & Courbin, P., Nov 2010, International Conference on Real-Time and Network Systems.

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

  498. QCSP-Solve: A Solver for Quantified Constraint Satisfaction Problems

    Gent, I. P., Nightingale, P. & Stergiou, K., 2005, Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005). p. 138-143 6 p.

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

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

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

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

  500. Proxy-based integration of reconfigurable hardware within simulation environments: Improving e-learning experience in microelectronics

    Orostegui, D. F. J., Indrusiak, L. S. & Glesner, M., 2005, 2005 IEEE International Conference on Microelectronic Systems Education, Proceedings. LOS ALAMITOS: IEEE COMPUTER SOC, p. 59-60 2 p.

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

Previous 1 2 3 4 Next