Search research publications and outputs

  1. "Devices are people too" - Using process patterns to elicit security requirements in novel domains: A ubiquitous healthcare example

    Liu, Y., Clark, J. A. & Stepney, S., 2005, SECURITY IN PERVASIVE COMPUTING, PROCEEDINGS. Hutter, D. & Ullmann, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 31-45 15 p.

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

  2. (True) polymorphism in SPARK2000

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

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

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

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

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

  4. 1st international workshop on assurance cases for software-intensive systems (ASSURE 2013)

    Denney, E., Pai, G., Habli, I., Kelly, T. & Knight, J. C., 2013, 35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013. p. 1505-1506 2 p.

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

  5. 1st international workshop on combining modelling and search-based software engineering (CMSBSE 2013)

    Harman, M., Paige, R. F. & Williams, J. R., 2013, 35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013. p. 1513-1514 2 p.

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

  6. 3-D terrain from synthetic aperture radar images

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

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

  7. 3D Facial Landmark Localisation by Matching Simple Descriptors

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

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

  8. 3D Landmark Model Discovery from a Registered Set of Organic Shapes

    Creusot, C., Pears, N. & Austin, J., 16 Jun 2012, 2012 IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops (CVPRW) . p. 57-64 8 p.

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

  9. 3D Morphable Face Models Revisited

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

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

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

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

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

  11. 3D scene correction using disparities with its projections

    Grum, M. & Bors, A. G., Jun 2013, Proc. IEEE Workshop on Image, Video and Multidimensional Signal Processing, Seoul, Korea, . IEEE, p. 1-4 4 p.

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

  12. 5th international workshop on modeling in software engineering (MiSE 2013)

    Atlee, J. M., Baillargeon, R., Chechik, M., France, R. B., Gray, J., Paige, R. F. & Rumpe, B., 2013, 35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013. p. 1531-1532 2 p.

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

  13. A BAYESIAN INTERPRETATION FOR THE HOPFIELD NETWORK

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

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

  14. A Bayesian Analysis of Algorithms for Learning Finite Functions

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

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

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

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

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

  16. A Binary Neural Shape Matcher using Johnson Counters and Chain Codes

    Hodge, V., O'Keefe, S. & Austin, J., 10 Mar 2006, BICS.

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

  17. A Candid Industrial Evaluation of Formal Software Verification using Model Checking

    Bennion, M. & Habli, I., 2014, ICSE Companion 2014: Companion Proceedings of the 36th International Conference on Software Engineering. ACM, p. 175-184 10 p.

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

  18. A Characterisation of the Workload on an Engineering Design Grid

    Burkimsher, A., Bate, I. J. & Indrusiak, L. S., 2014, Proceedings of the 22nd High Performance Computing Symposium (HPC). San Diego: Society for Computer Simulation International, p. 639-646 8 p. 8

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

  19. A Circus semantics for Ravenscar protected objects

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

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

  20. A Comparison Framework for Spectrogram Track Detection Algorithms

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

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

  21. A Comparison of Model Migration Tools

    Rose, L., Herrmannsdoerfer, M., Williams, J., Kolovos, D., Garces, K., Paige, R., Polack, F., Petriu, D. (ed.), Rouquette, N. (ed.) & Haugen, Ã. (ed.), 2010, Model Driven Engineering Languages and Systems. PART 1 ed. Springer Berlin / Heidelberg, Vol. 6394. p. 61-75 15 p. (Lecture Notes in Computer Science).

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

  22. A Contract-based Approach to Designing Safe Systems

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

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

  23. A Control Theoretic Approach for Workflow Management

    Ghazzawi, H. A., Bate, I. & Indrusiak, L. S., 1 Jul 2012, In Proceedings of 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems. p. 280-289 10 p.

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

  24. A DETAILED INVESTIGATION INTO THE EFFECTIVENESS OF EARCONS

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

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

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

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

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

  26. A Deployment Value Model for Intrusion Detection Sensors

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

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

  27. A Formal Model for Natural-Language Timed Requirements of Reactive Systems

    Carvalho, G., Carvalho, A., Rocha, E., Cavalcanti, A. L. C. & Sampaio, A. C. A., 2014, Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings. Merz, S. & Pang, J. (eds.). SPRINGER, p. 43-58 16 p. (Lecture Notes in Computer Science; vol. 8829).

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

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

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

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

  29. A Framework for Scheduling in Safety-Critical Embedded Control Systems

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

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

  30. A Framework to Benchmark NoSQL Data Stores for Large-Scale Model Persistence

    Shah, S. M. A., Wei, R., Kolovos, D., Rose, L. M., Paige, R. F. & Barmpis, K., 2014, Model-Driven Engineering Languages and Systems: 17th International Conference, MODELS 2014, Valencia, Spain, September 28 - October 3, 2014. Proceedings. SPRINGER, p. 586-601 16 p. (LNCS).

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

  31. A Functional-Logic Library for Wired

    Naylor, M., Axelsson, E. & Runciman, C., 2007, HASKELL'07: PROCEEDINGS OF THE ACM SIGPLAN 2007 HASKELL WORKSHOP. NEW YORK: ASSOC COMPUTING MACHINERY, p. 37-48 12 p.

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

  32. A Graph-Based Approach to Feature Selection

    Zhang, Z. & Hancock, E. R., 2011, GRAPH-BASED REPRESENTATIONS IN PATTERN RECOGNITION. Jiang, X., Ferrer, M. & Torsello, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 205-214 10 p.

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

  33. A HIERARCHICAL EVIDENCE COMBINING EDGE DETECTOR

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

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

  34. A Hoare Calculus for Graph Programs

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

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

  35. A Hypergraph-Based Approach to Feature Selection

    Zhang, Z. & 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., Díaz-Pernil, D., Molina-Abril, H., Berciano, A. & Kropatsch, W. G. (eds.). PART 1 ed. BERLIN: Springer, Vol. 6854. p. 228-235 8 p. (Lecture Notes in Computer Science).

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

  36. A Lightweight Approach for Managing XML Documents with MDE Languages

    Kolovos, D., Rose, L. M., Williams, J. R., Matragkas, N. & Paige, R. F., 2012, Modelling Foundations and Applications: 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings. Springer, Vol. 7349 LNCS. p. 118-132 15 p. (Lecture Notes in Computer Science; vol. 7349).

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

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

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

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

  38. A Low-cost Real-time Tracking Infrastructure for Ground-based Robot Swarms

    Millard, A. G., Hilder, J. A., Winfield, A. F. T. & Timmis, J., 2014, Swarm Intelligence: 9th International Conference, ANTS 2014, Brussels, Belgium, September 10-12, 2014. Proceedings. Dorigo, M., Birattari, M., Garnier, S., Hamann, H., Montes de Oca, M., Solnon, C. & Stützle, T. (eds.). Springer, p. 278-289 2 p. (Lecture Notes in Computer Science; vol. 8667).

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

  39. A MARTE subset to enable application-platform co-simulation and schedulability analysis of NoC-based embedded systems

    Indrusiak, L. S., Quadri, I., Gray, I., Audsley, N. & Sadovykh, A., 2012, 2012 7th International Workshop on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC). Indrusiak, LS., Gogniat, G. & Voros, N. (eds.). NEW YORK: IEEE, 6322898

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

  40. A Markov chain model of the B-cell algorithm

    Clark, E., Hone, A. & Timmis, J., 2005, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Jacob, C., Pilat, ML., Bentley, PJ. & Timmis, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 318-330 13 p.

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

  41. A Model-Driven Approach to Assuring Process Reliability

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

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

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

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

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

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

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

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

  44. A Mumford-Shah Diffusion Process for Shape-from-Shading

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

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

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

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

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

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

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

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

  47. A New Approach to Creating Clear Safety Arguments

    Hawkins, R. D., Graydon, P. J., Knight, J. & Kelly, T., 2011, Advances in Systems Safety. SPRINGER-VERLAG LONDON LTD, p. 3-23 21 p.

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

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

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

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

  49. A Plug-in Based Approach for UML Model Simulation

    Radjenovic, A., Paige, R. F., Rose, L. M., Woodcock, J. & King, S., 2012, Modelling Foundations and Applications : 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings. Vallecillo, A., Tolvanen, J-P., Kindler, E., Störrle, H. & Kolovos, D. (eds.). SPRINGER, Vol. 7349. p. 328-339 12 p. (Lecture Notes in Computer Science).

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

  50. A Probabilistic approach to sparse multi scale phase based stereo

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

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

  51. A Profile for High-Integrity Real-Time Java Programs

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

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

  52. A RELATIONAL PROGRAMMING SYSTEM WITH INFERRED REPRESENTATIONS

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

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

  53. A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes.

    Antonino, P., Sampaio, A. & Woodcock, J., 2014, FM 2014: Formal Methods : 19th International Symposium, Singapore, May 12-16, 2014. Proceedings. Jones, C., Pihlajasaari, P. & Sun, J. (eds.). SPRINGER, Vol. 8442. p. 62-77 (Lecture Notes in Computer Science; vol. 8442).

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

  54. A Riemannian Self-Organizing Map

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

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

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

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

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

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

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

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

  57. A Schedulability Compatible Multiprocessor Resource Sharing Protocol - MrsP

    Burns, A. & Wellings, A. J., 15 Oct 2013, Proceedings - Euromicro Conference on Real-Time Systems. p. 282-291 10 p. 6602108

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

  58. A Simple Coupled Statistical Model for 3D Face Shape Recovery

    Castelan, M. & Hancock, E. R., 2006, ICPR 2006. p. 231-234 4 p.

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

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

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

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

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

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

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

  61. A Statistical Model for Daylight Spectra

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

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

  62. A Statistical Response-Time Analysis of Real-Time Embedded Systems

    Lu, Y., Nolte, T., Bate, I. & Cucu-Grosjean, L., 2012, Proceedings of the 33rd Real-Time Systems Symposium. p. 351-362 12 p.

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

  63. A Supercompiler for Core Haskell

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

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

  64. A Systematic Analysis of the Wenzhou High Speed Train Accident Using STAMP

    Niu, R., Ge, X., McDermid, J. A. & Tang, T., Aug 2012, 30th International System Safety Conference : ISSC. The International System Safety Society

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

  65. A Systematic Review of Cloud Lock-In Solutions

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

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

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

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

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

  67. A Tool Chain for the Automatic Generation of Circus Specifications of Simulink Diagrams.

    Marriott, C., Zeyda, F. & Cavalcanti, A. L. C., 2012, Abstract State Machines, Alloy, B, VDM, and Z. Vol. 7316. p. 294-307

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

  68. A Tool for Development and Evaluation of Accessible Web 2.0 Applications

    Kervina, D., Pustisek, M., Ackermann, P., Velasco, C. A. & Power, C. D., 2012, 21st International Electrotechnical and Computer Science Conference. IEEE COMPUTER SOC, p. 89-92 4 p.

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

  69. A Traceability-Driven Approach to Model Transformation Testing

    Matragkas, N. D., Kolovos, D. S., Paige, R. F. & Zolotas, A., 2013, Proceedings of the Second Workshop on the Analysis of Model Transformations (AMT 2013), Miami, FL, USA, September 29, 2013.

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

  70. A Unification Algorithm for GP

    Plump, D. & Hristakiev, I., 2014, Proceedings 5th International Workshop Graph Computation Models (GCM 2014). Echahed, R., Habel, A. & Mosbah, M. (eds.). GCM, p. 60-75 16 p.

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

  71. A Verified Protocol to Implement Multi-way Synchronisation and Interleaving in CSP

    Oliveira, M. V. M., Júnior, I. S. D. M. & Woodcock, J., 2013, Software Engineering and Formal Methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings. Hierons, R. M., Merayo, M. G. & Bravetti, M. (eds.). SPRINGER, Vol. 8137. p. 46-60 15 p. (Lecture Notes in Computer Science).

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

  72. A Wormhole NoC Protocol for Mixed Criticality Systems

    Burns, A., Harbin, J. & Indrusiak, L. S., 1 Dec 2014, Real-Time Systems Symposium (RTSS), 2014 IEEE. IEEE, p. 184-195 12 p.

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

  73. A Worst-Case Behavior Analysis for Hard Real-Time Transactions

    Byun, J., Burns, A., Davis, R. & Wellings, A. J., 1997, Real-Time Database Systems. Vol. 396. p. 235-249

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

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

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

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

  75. A case study for a WWW based CAD framework

    Indrusiak, L. S. & Reis, R. A. D., 1998, XI BRAZILIAN SYMPOSIUM ON INTEGRATED CIRCUIT DESIGN, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 116-119 4 p.

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

  76. A cellular system for pattern recognition using associative neural networks

    Orovas, C. & Austin, J., 1998, CNNA 98 - 1998 FIFTH IEEE INTERNATIONAL WORKSHOP ON CELLULAR NEURAL NETWORKS AND THEIR APPLICATIONS - PROCEEDINGS. Tavsanoglu, V. (ed.). NEW YORK: IEEE, p. 143-148 4 p.

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

  77. A coevolutionary model for the virus game

    Cowling, P. I., Naveed, M. H. & Hossain, M. A., 2006, Computational Intelligence and Games, 2006 IEEE Symposium on. p. 45-51 7 p.

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

  78. A comparative study of real-valued negative selection to statistical anomaly detection techniques

    Stibor, T., Timmis, J. & Eckert, C., 2005, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Jacob, C., Pilat, ML., Bentley, PJ. & Timmis, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 262-275 14 p.

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

  79. A comparison of major issues for the development of forensics in cloud computing

    Jacob, J. L. & Aydin, M., Dec 2013, Proceedings 2013 8th International Conference for Internet Technology and Secured Transactions (ICITST). p. 77--82

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

  80. A comparison of rule inheritance in model-to-model transformation languages

    Wimmer, M., Kappel, G., Kusel, A., Retschitzegger, W., Schönböck, J., Schwinger, W., Kolovos, D., Paige, R., Lauder, M., Schürr, A. & Wagelaar, D., 18 Jul 2011, Theory and Practice of Model Transformations - 4th International Conference, ICMT 2011, Proceedings. p. 31-46 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6707 LNCS).

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

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

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

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

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

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

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

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

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

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

  84. A comprehensive polarisation model for surface orientation recovery

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

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

  85. A computational model of degeneracy in a lymph node

    Andrews, P. S. & Timmis, J., 2006, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Bersini, H. & Carneiro, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 164-177 14 p.

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

  86. A computer based system for space allocation optimisation

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

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

  87. A contextualised curriculum for HCI

    Fincher, S., Cairns, P. & Blackwell, A., 2012, Conference on Human Factors in Computing Systems - Proceedings. p. 2707-2710 4 p.

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

  88. A correspondence measure for graph matching using the discrete quantum walk

    Emms, D., Hancock, E. R. & Wilson, R. C., 2007, Graph-Based Representations in Pattern Recognition, Proceedings. Escolano, F. & Vento, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 81-91 11 p.

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

  89. A coupled relaxation method for finding perceptual structures

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

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

  90. A denotational semantics for Handel-C hardware compilation

    Perna, J. I. & Woodcock, J., 2007, FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS. Butler, M., Hinchey, MG. & LarrondoPetrie, MM. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 266-285 20 p.

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

  91. A deterministic implementation process for accurate and traceable system timing and space analysis

    Ward, M. & Audsley, N. C., 2007, 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Proceedings. LOS ALAMITOS: IEEE COMPUTER SOC, p. 432-437 6 p.

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

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

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

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

  93. A distributed associative memory for symbolic reasoning

    Austin, J., 1997, CONNECTIONIST-SYMBOLIC INTEGRATION. Sun, R. & Alexandre, F. (eds.). MAHWAH: LAWRENCE ERLBAUM ASSOC PUBL, p. 265-278 14 p.

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

  94. A facial statistical model from complex numbers

    Castelan, M. & Hancock, E. R., 2006, 18th International Conference on Pattern Recognition, Vol 1, Proceedings. p. 235-238 4 p.

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

  95. A feature model for model-to-text transformation languages

    Rose, L. M., Matragkas, N., Kolovos, D. & Paige, R. F., 2012, Modeling in Software Engineering (MISE), 2012 ICSE Workshop on. IEEE, p. 57-63 7 p.

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

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

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

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

  97. A formal template language enabling metaproof

    Amalio, N., Stepney, S. & Polack, F., 2006, FM 2006: FORMAL METHODS, PROCEEDINGS. Misra, J., Nipkow, T. & Sekerinski, E. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 252-267 16 p.

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

  98. A fuzzy classifier based on correlation matrix memories

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

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

  99. A generic framework for population-based algorithms, implemented on multiple FPGAs

    Newborough, J. & Stepney, S., 2005, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Jacob, C., Pilat, ML., Bentley, PJ. & Timmis, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 43-55 13 p.

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

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

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

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

  101. A graph kernel from the depth-based representation

    Bai, L., Ren, P., Bai, X. & Hancock, E. R., 1 Jan 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Franti, P., Brown, G., Loog, M., Escolano, F. & Pelillo, M. (eds.). Springer-Verlag, Vol. 8621. p. 1-11 11 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

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

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

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

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

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

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

  104. A hardware IP-core for information retrieval

    Freeman, M. & Jayasooriya, T., 2006, DSD 2006: 9th EUROMICRO Conference on Digital System Design: Architectures, Methods and Tools, Proceedings. Muthukumar, V. (ed.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 115-122 8 p.

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

  105. A hardware-accelerated novel IR system

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

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

  106. A hierarchical framework for modal correspondence matching

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

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

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

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

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

  108. A human action recognition system for embedded computer vision application

    Meng, H., Pears, N. & Bailey, C., 2007, 2007 IEEE CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION, VOLS 1-8. NEW YORK: IEEE, p. 3213-3218 6 p.

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

  109. A hyperheuristic approach to scheduling a sales summit

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

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

  110. A learning adaptive Bollinger band system

    Butler, M. R. & Kazakov, D. L., 2012, 2012 IEEE Conference on Computational Intelligence for Financial Engineering and Economics (CIFEr 2012): New York City, New York, USA, 29-30 March 2012. New York: IEEE, p. 40-47 8 p.

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

  111. A linear generative model for graph structure

    Luo, B., Wilson, R. C. & Hancock, E. R., 2005, GRAPH-BASED REPRESENTATIONS IN PATTERN RECOGNITION, PROCEEDINGS. Brun, L. & Vento, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 54-62 9 p.

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

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

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

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

  113. A maximum likelihood framework for iterative eigendecomposition

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

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

  114. A mechanism for implementing precise exceptions in pipelined processors

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

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

  115. A model for real time mobility based on the RTSJ

    AlRahmawy, M. & Wellings, A. J., 2007, Proceedings of the 5th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES 2007, Institute of Computer Engineering, Vienna University of Technology, 26-28 September 2007, Vienna, Austria. Bollella, G. (ed.). ACM, p. 155-164 10 p. (ACM International Conference Proceeding Series).

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

  116. A modular theory of object orientation in higher-order UTP

    Zeyda, F., Santos, T. L. V. L., Cavalcanti, A. L. C. & Sampaio, A. C. A., 2014, FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings. SPRINGER, p. 627-642 16 p. (Lecture Notes in Computer Science; vol. 8442).

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

  117. A neural network architecture for trademark image retrieval

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

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

  118. A neural relaxation technique for chemical graph matching

    Turner, M. & Austin, J., 1997, FIFTH INTERNATIONAL CONFERENCE ON ARTIFICIAL NEURAL NETWORKS. EDISON: INST ELECTRICAL ENGINEERS INSPEC INC, p. 187-192 6 p.

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

  119. A neural supergraph matching architecture

    Klinger, S. & Austin, J., 2005, Proceedings of the International Joint Conference on Neural Networks (IJCNN), Vols 1-5. NEW YORK: IEEE, p. 2453-2458 6 p.

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

  120. A note on traces refinement and the conf relation in the unifying theories of programming

    Cavalcanti, A. & Gaudel, M. C., 26 Aug 2010, Unifying Theories of Programming - Second International Symposium, UTP 2008, Revised Selected Papers. p. 42-61 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5713 LNCS).

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

  121. A novel approach to the detection of cheating in multiplayer online games

    Laurens, P., Paige, R. F., Brooke, P. J. & Chivers, H., 2007, 12TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING COMPLEX COMPUTER SYSTEMS, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 97-106 10 p.

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

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

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

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

  123. A pattern restore method for restoring missing patterns in server side clickstream data

    Ting, I-H., Kudenko, D. & Kimble, C., 2005, Web Technologies Research and Development - APWeb 2005. Zhang, Y., Tanaka, K., Yu, JX., Wang, S. & Li, M. (eds.). Berlin / Heidelberg: Springer, p. 501-512 11 p. (Lecture Notes in Computer Science; vol. 3399).

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

  124. A phylogenetic classification of the video-game industry’s business model ecosystem

    Goumagias, N., Cabras, I., Fernandes, K. J., Li, F., Nucciarelli, A., Cowling, P., Devlin, S. & Kudenko, D., 2014, Working Conference on Virtual Enterprises. Camarinha-Matos, L. M. & Afsarmanesh, H. (eds.). Springer Berlin / Heidelberg, p. 285-294 10 p.

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

  125. A pragmatic perspective on UML for system-on-chip design

    Indrusiak, L. S., 2005, Norchip 2005, Proceedings. NEW YORK: IEEE, p. 169-171 3 p.

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

  126. A principled design methodology for auditory interaction

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

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

  127. A principled evaluation of the effect of directed mutation on search-based statistical testing

    Poulding, S., Clark, J. A. & Waeselynck, H., 2011, Software Testing, Verification and Validation Workshops (ICSTW), 2011 IEEE Fourth International Conference on. p. 184-193 10 p.

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

  128. A probabilistic framework for schedulability analysis

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

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

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

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

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

  130. A real-time RMI framework for the RTSF

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

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

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

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

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

  132. A research roadmap towards achieving scalability in model driven engineering

    Kolovos, D., Rose, L. M., Matragkas, N., Paige, R. F., Guerra, E., Sánchez Cuadrado, J., de Lara, J., Ráth, I., Varró, D., Tisi, M. & Cabot, J., 17 Jun 2013, Proceedings of the Workshop on Scalability in Model Driven Engineering. ACM, 2. (ACM International Conference Proceeding Series).

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

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

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

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

  134. A robust eigendecomposition framework for inexact graph-matching

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

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

  135. A round robin scheduling policy for Ada

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

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

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

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

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

  137. A selective encryption for heterogenous color JPEG images based on VLC and AES stream cipher

    Rodrigues, J. M., Puech, W. & Bors, A. G., Jun 2006, Proc. IS\&T European Conference on Color in Graphics, Imaging and Vision, Leeds, UK,. IS&T, p. 34-39 6 p.

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

  138. A simple abstraction for complex concurrent indexes

    Pinto, P. D. R., Dinsdale-Young, T., Dodds, M. D., Gardner, P. & Wheelhouse, M. J., 2011, OOPSLA '11: Proceedings of the 2011 ACM international conference on Object oriented programming systems language and applications . New York: ACM, p. 845-864 20 p.

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

  139. A spectral analysis of perceptual shape variation

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

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

  140. A spectral generative model for graph structure

    Xiao, B. & Hancock, E. R., 2006, STRUCTURAL, SYNTACTIC, AND STATISTICAL PATTERN RECOGNITION, PROCEEDINGS. Yeung, DY., Kwok, JT., Fred, A., Roli, F. & DeRidder, D. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 173-181 9 p.

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

  141. A state-based approach to traceability maintenance

    Drivalos-Matragkas, N., Kolovos, D. S., Paige, R. F. & Fernandes, K. J., 2 Aug 2010, Proceedings of the 6th ECMFA Traceability Workshop, ECMFA-TW'10. p. 23-30 8 p.

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

  142. A statistical approach to simulation model validation in response-time analysis of complex real-time embedded systems

    Lu, Y., Kraft, J., Nolte, T. & Bate, I., 23 Jun 2011, 26th Annual ACM Symposium on Applied Computing, SAC 2011. p. 711-716 6 p.

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

  143. A statistical response-time analysis of complex real-time embedded systems by using timing traces

    Lu, Y., Nolte, T., Bate, I. & Cucu-Grosjean, L., 29 Aug 2011, SIES 2011 - 6th IEEE International Symposium on Industrial Embedded Systems, Conference Proceedings. p. 43-46 4 p. 5953676

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

  144. A study of concurrency in the Ant Colony System algorithm

    Ridge, E., Kudenko, D. & Kazakov, D., 2006, 2006 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-6. NEW YORK: IEEE, p. 1647-1654 8 p.

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

  145. A supercompiler for core Haskell

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

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

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

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

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

  147. A systematic approach to safety case maintenance

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

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

  148. A systematic literature review for agile development processes and user centred design integration

    Salah, D., Paige, R. F. & Cairns, P. A., 2014, 18th International Conference on Evaluation and Assessment in Software Engineering, EASE '14, London, England, United Kingdom, May 13-14, 2014. p. 1-10

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

  149. A taxonomy of attacks on secure devices

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

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

  150. A taxonomy of number entry error

    Wiseman, S., Cairns, P. & Cox, A., 2011, Proceedings of HCI 2011 - 25th BCS Conference on Human Computer Interaction. British Computer Society (BCS), p. 187-196 10 p.

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

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

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

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

  152. A trace-based statistical worst-case execution time analysis of component-based real-time embedded systems

    Lu, Y., Nolte, T., Bate, I. & Cucu-Grosjean, L., 11 Nov 2011, Proceedings of 2011 IEEE 16th Conference on Emerging Technologies and Factory Automation, ETFA 2011. 6059190

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

  153. A tutorial introduction to CSP in unifying theories of programming

    Cavalcanti, A. & Woodcock, J., 2006, REFINEMENT TECHNIQUES IN SOFTWARE ENGINEERING. Cavalcanti, A., Sampaio, A. & Woodcock, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 220-268 49 p.

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

  154. A variational approach for color image segmentation

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

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

  155. A virtual organisation deployed on a service orientated architecture for distributed data mining applications

    Jackson, T., Jessop, M., Fletcher, M. & Austin, J., 2007, Grid-Based Problem Solving Environments. Gaffney, PW. & Pool, JCT. (eds.). NEW YORK: SPRINGER, p. 155-170 16 p.

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

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

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

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

  157. ABZ2008 VSR-Net Workshop

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

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

  158. ADAPTIVE ESTIMATION OF HYSTERESIS THRESHOLDS

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

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

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

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

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

  160. AI for Herding Sheep.

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

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

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

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

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

  162. ANISOTROPIC FLUID SOLVER FOR ROBUST OPTICAL FLOW SMOOTHING

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

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

  163. APD-A tool for identifying behavioural patterns automatically from clickstream data

    Ting, I-H., Clark, L., Kimble, C., Kudenko, D. & Wright, P., 2007, Knowledge-Based Intelligent Information and Engineering Systems: KES 2007 - WIRN 2007, Pt II, Proceedings. Apolloni, B., Howlett, RJ. & Jain, L. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 66-73 8 p.

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

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

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

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

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

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

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

  166. ASHiCS: Automating the Search for Hazards in Complex Systems

    Clegg, K. D. & Alexander, R., Aug 2011, Proceedings of the 1st SESAR Innovation Days.

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

  167. AUTOMATIC MULTILINGUAL LEXICON GENERATION USING WIKIPEDIA AS A RESOURCE

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

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

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

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

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

  169. Accelerating Immunos 99

    Taylor, P. N., Polack, F. A. C. & Timmis, J., 2013, Proceedings of the European Conference on Artificial Life. MIT Press, p. 983-898

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

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

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

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

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

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

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

  172. Accounting for Cache Related Pre-emption Delays in Hierarchical Scheduling

    Lunniss, W. R. E., Altmeyer, S., Lipari, G. & Davis, R. I., 2014, Real-Time Networks and Systems (RTNS). New York: ACM, p. 183-192 10 p.

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

  173. Accounting for Cache Related Pre-emption Delays in Hierarchical Scheduling with Local EDF Scheduler

    Lunniss, W., Altmeyer, S. & Davis, R. I., Aug 2014, Junior Researcher Workshop on Real-Time Computing (JRWRTC). p. 13-16 4 p.

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

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

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

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

  175. Achieving integrated process and product safety arguments

    Habli, I. & Kelly, T., 2007, Safety of Systems. Redmill, F. & Anderson, T. (eds.). GODALMING: SPRINGER-VERLAG LONDON LTD, p. 55-68 14 p.

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

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

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

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

  177. Acquiring height maps of faces from a single image

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

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

  178. Active Contour Detection of Linear Patterns in Spectrogram Images

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

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

  179. Ada 2012: Resource Sharing and Multiprocessors

    Lin, S. & Wellings, A. B. A. J., 1 Apr 2013, Proceeding of the 15th IRTAW. ACM Letters, Vol. XXXII. p. 32-44 13 p.

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

  180. Ada 95: An Effective Concurrent Programming Language

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

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

  181. Adaptable Image Processing System based on FPGA Modular Multi Kernel Instantiations

    Ackermann, K. F., Mayer, F., Indrusiak, L. S. & Glesner, M., 2006, Proceedings of the 2nd International Workshop on Reconfigurable Communication-centric Systems-on-Chip, ReCoSoC 2006, Montpellier, France, July 2006. Sassatelli, G., Indrusiak, L. S., Glesner, M. & Torres, L. (eds.). Univ. Montpellier II, p. 183-188 6 p.

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

  182. Adaptable lymphocytes for artificial immune systems

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

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

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

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

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

  184. Adaptive Agents and Multi-Agent Systems II: Adaptation and Multi-Agent Learning

    Kudenko, D. & Kazakov, D., 2005, Adaptive Agents and Multi-Agent Systems II: Adaptation and Multi-Agent Learning.

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

  185. Adaptive Generation of Dilemma-based Interactive Narratives

    Barber, H., Kudenko, D., Jain, L. C. (ed.) & Handa, H. (ed.), 2007, Advanced Intelligent Paradigms in Computer Games. Springer, Vol. 71. p. 19-37 19 p. (Studies in Computational Intelligence).

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

  186. Adaptive Mixed Criticality Scheduling with Deferred Preemption

    Burns, A. & Davis, R. I., Dec 2014, Proceedings: 2014 IEEE Real-Time Systems Symposium (RTSS 2014). IEEE, p. 21-30 10 p.

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

  187. Adaptive Scheduling Using Reflection

    Mitchell, S. E., Burns, A. & Wellings, A. J., 1997, Object-Oriented Technology, ECOOP'97 Workshop Reader: ECOOP'97 Workshops, Jyväskylä, Finland, June 9-13, 1997. Bosch, J. & Mitchell, S. (eds.). Springer, Vol. 1357. p. 74-79 6 p. (Lecture Notes in Computer Science).

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

  188. Adaptive model learning for continual verification of non-functional properties

    Calinescu, R., Rafiq, Y., Johnson, K. & Bakir, M. E., 1 Jan 2014, ICPE 2014: Proceedings of the 5th ACM/SPEC International Conference on Performance Engineering. Association for Computing Machinery (ACM), p. 87-98 12 p.

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

  189. Adaptively parameterised hyperheuristics for sales summit scheduling

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

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

  190. Adding Spreadsheets to the MDE Toolkit

    Francis, M., Kolovos, D. & Paige, R. F., 2013, Model-Driven Engineering Languages and Systems: 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings. Springer, Vol. 8107 LNCS. p. 35-51 17 p. (Lecture Notes in Computer Science; vol. 8107).

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

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

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

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

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

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

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

  193. Addressing Challenges of Hazard Analysis in Systems of Systems

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

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

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

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

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

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

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

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

  196. Advanced structural representations for question classification and answer re-ranking

    Quarteroni, S., Moschitti, A., Manandhar, S. & Basili, R., 2007, Advances in Information Retrieval. Amati, G., Carpineto, C. & Romano, G. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 234-245 12 p.

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

  197. Advances in Bayesian Network Learning using Integer Programming

    Bartlett, M. & Cussens, J., 2013, Proceedings of the 29th Conference on Uncertainty in Artificial Intelligence (UAI 2013). AUAI Press, p. 182-191 10 p.

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

  198. Advantages of the Linz-Sprott weak nonlinearity on the FPGA implementation of chaotic systems: a comparative analysis

    Indrusiak, L. S., Dutra e Silva Junior, E. C. & Glesner, M., 2005, ISSCS 2005: International Symposium on Signals, Circuits and Systems, Proceedings. NEW YORK: IEEE, p. 753-756 4 p.

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

  199. Agile requirements traceability using domain-specific modelling languages

    Taromirad, M. & Paige, R. F., 1 Dec 2012, 2012 Extreme Modeling Workshop, XM 2012 - Post-Proceedings, Satellite Event of the IEEE/ACM 15th International Conference on Model Driven Engineering Languages and Systems, MODELS 2012. p. 45-50 6 p.

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

  200. Agile security using an incremental security architecture

    Chivers, H., Paige, R. F. & Ge, X. C., 2005, EXTREME PROGRAMMING AND AGILE PROCESSES IN SOFTWARE ENGINEERING, PROCEEDINGS. Baumeister, H., Marchesi, M. & Holcombe, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 57-65 9 p.

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

  201. Algorithms for distributed exploration

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

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

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

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

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

  203. An Actor-Oriented Model-Based Design Flow for Systems-on-Chip

    Indrusiak, L. S. & Glesner, M., 2006, Dagstuhl-Workshop MBEES: : Modellbasierte Entwicklung eingebetteter Systeme II, Schloss Dagstuhl, Germany, 9.-13. Januar 2006, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme. Giese, H., Rumpe, B. & Schätz, B. (eds.). TU Braunschweig, Institut für Software Systems Engineering, Vol. 2006-1. p. 65-74 10 p. (Informatik-Bericht).

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

  204. An Adaptive Neuro-Endocrine System for Robotic Systems

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

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

  205. An Agglomerative Hierarchical Clustering Algorithm for Labelling Morphs

    Can, B. & Manandhar, S., 2013, Recent Advances in Natural Language Processing, RANLP 2013, 9-11 September, 2013, Hissar, Bulgaria. p. 129-135 7 p.

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

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

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

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

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

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

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

  208. An Approach to Maintaining Safety Case Evidence After A System Change

    Jaradat, O., Graydon, P. & Bate, I., 2014, Proceedings of the 10th European Dependable Computing Conference.

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

  209. An Approach to Task Attribute Assignment for Uniprocessor Systems

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

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

  210. An Approach to the Evaluation of Assistive Technology

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

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

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

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

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

  212. An Assessment Framework for Automatic Code Generator Tools

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

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

  213. An Attributed Graph Kernel from the Jensen-Shannon Divergence

    Bai, L., Bunke, H. & Hancock, E. R., 2014, Proceedings of the 22nd International Conference on Pattern Recognition. IEEE Computer Society Press, p. 88-93 6 p.

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

  214. An Automated Constraint Modelling and Solving Toolchain

    Akgun, O., Frisch, A. M., Gent, I. P., Hussain, B. S., Jefferson, C. A., Kotthoff, L., Miguel, I. J. & Nightingale, P. W., 2013, ARW 2013 - 20th Automated Reasoning Workshop.

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

  215. An EDF Run-Time Profile based on Ravenscar

    Burns, A., 2013, Proceeding of the 15th IRTAW. ACM Letters, Vol. XXXII. p. 24-31 8 p.

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

  216. An Evaluation Template for Expert Review of Maturity Models

    Salah, D., Paige, R. F. & Cairns, P. A., 2014, Product-Focused Software Process Improvement: 15th International Conference, PROFES 2014, Helsinki, Finland, December 10-12, 2014. Proceedings. Springer, p. 318-321 4 p. (Lecture Notes in Computer Science; vol. 8892).

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

  217. An Extended Fixed Priority Scheme for Mixed Criticality Systems

    Baruah, S., Burns, A. & Davis, R. I., Aug 2013, Workshop on Real-Time Mixed Criticality Systems (ReTiMics). George, L. & Lipari, G. (eds.). p. 18-24 7 p.

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

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

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

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

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

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

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

  220. An Improved Auditory Interface for the Exploration of Lists

    Pitt, I. J. & Edwards, A. D. N., 1997, ACM Multimedia. p. 51-61 11 p.

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

  221. An Improved Lightweight Synchronisation Primitive For Sensornets

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

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

  222. An Improved Speaker Diarization System

    Fu, R. & Benest, I. D., 2007, INTERSPEECH 2007: 8TH ANNUAL CONFERENCE OF THE INTERNATIONAL SPEECH COMMUNICATION ASSOCIATION, VOLS 1-4. BAIXAS: ISCA-INST SPEECH COMMUNICATION ASSOC, p. 1253-1256 4 p.

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

  223. An Information Theoretic Approach to Learning Generative Graph Prototypes

    Han, L., Hancock, E. R. & Wilson, R. C., 2011, SIMILARITY-BASED PATTERN RECOGNITION: FIRST INTERNATIONAL WORKSHOP, SIMBAD 2011. Pelillo, M. & Hancock, ER. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 7005 LNCS. p. 133-148 16 p.

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

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

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

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

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

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

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

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

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

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

  227. An RTSJ-based reconfigurable server component

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

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

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

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

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

  229. An agile and extensible code generation framework

    Kolovos, D. S., Paige, R. F. & Polack, F. A. C., 2005, EXTREME PROGRAMMING AND AGILE PROCESSES IN SOFTWARE ENGINEERING, PROCEEDINGS. Baumeister, H., Marchesi, M. & Holcombe, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 226-229 4 p.

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

  230. An analysis of problem difficulty for a class of optimisation heuristics

    Ridge, E. & Kudenko, D., 2007, Evolutionary Computation in Combinatorial Optimization, Proceedings. Cotta, C. & VanHemert, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 198-209 12 p.

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

  231. An approach for managing semantic heterogeneity in Systems of Systems Engineering

    Foster, S., Miyazawa, A., Woodcock, J. C. P., Cavalcanti, A. L. C., Fitzgerald, J. & Larsen, P. G., 2014, 9th International Conference on Systems of Systems Engineering (2014). Cook, S., Ireland, V., Gorod, A., Ferris, T. & Do, Q. (eds.). IEEE, p. 113-118 6 p. (IEEE Systems Journal).

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

  232. An approach to task attribute assignment for uniprocessor systems

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

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

  233. An architecture for distributed search and data-mining in condition monitoring applications

    Jackson, T., Fletcher, M., Liang, B., Jessop, M. & Austin, J., 2007, 2007 IEEE AEROSPACE CONFERENCE, VOLS 1-9. NEW YORK: IEEE, p. 3871-3882 12 p.

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

  234. An architecture for modelling emergence in CA-like systems

    Polack, F., Stepney, S., Turner, H., Welch, P. & Barnes, F., 2005, ADVANCES IN ARTIFICAL LIFE, PROCEEDINGS. Capcarrere, MS., Freitas, AA., Bentley, PJ., Johnson, CG. & Timmis, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 433-442 10 p.

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

  235. An associative memory for association rule mining

    Baez-Monroy, V. O. & O'Keefe, S., 2007, 2007 IEEE INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS, VOLS 1-6. NEW YORK: IEEE, p. 2227-2232 6 p.

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

  236. An associative memory for association rule mining

    Baez-Monroy, V. O. & O'Keefe, S., 1 Dec 2007, IEEE International Conference on Neural Networks - Conference Proceedings. p. 2227-2232 6 p. 4371304

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

  237. An automated approach to specification-based program inspection

    Liu, S. Y., Nagoya, F., Chen, Y. T., Goya, M. & McDermid, J. A., 2005, FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS. Lau, KK. & Banach, R. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 421-434 14 p.

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

  238. An automated framework for structural test-data generation

    Tracey, N., Clark, J., Mander, K. & McDermid, J., 1998, 13TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 285-288 4 p.

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

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

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

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

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

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

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

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

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

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

  242. An efficient experimental methodology for configuring search-based design algorithms

    Poulding, S., Emberson, P., Bate, I. & Clark, J. A., 2007, Proceedings of 10th IEEE High Assurance System Engineering Symposium (HASE 2007). USA: computer.org, p. 53-62 10 p.

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

  243. An efficient hardware implementation of a self-adaptable equalizer for WCDMA downlink UMTS standard

    Prudencio, R. B., Indrusiak, L. S. & Glesner, M., 2006, IEEE Computer Society Annual Symposium on VLSI, Proceedings. LOS ALAMITOS: IEEE COMPUTER SOC, p. 77-81 5 p.

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

  244. An efficient page lock/release OS mechanism for out-of-core embedded applications

    Patil, A. & Audsley, N., 2007, 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Proceedings. LOS ALAMITOS: IEEE COMPUTER SOC, p. 81-88 8 p.

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

  245. An eigenvector method for shape-from-shading

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

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

  246. An incremental recovery cache supporting software fault tolerance

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

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

  247. An incremental verification framework for component-based software systems

    Johnson, K. H. A., Calinescu, R. C. & Kikuchi, S., 2013, CBSE '13 : Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering. New York: ACM, p. 33-42 10 p.

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

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

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

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

  249. An integrated framework for system/software requirements development aligning with business motivations

    Cui, X. & Paige, R., 25 Jul 2012, Proceedings - 2012 IEEE/ACIS 11th International Conference on Computer and Information Science, ICIS 2012. p. 547-552 6 p. 6211151

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

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

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

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

  251. An interactive approach to profiling parallel functional programs

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

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

  252. An investigation into mutation operators for Particle Swarm Optimization

    Andrews, P. S., 2006, 2006 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-6. NEW YORK: IEEE, p. 1029-1036 8 p.

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

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

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

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

  254. An object-oriented structuring for Z based on views

    Amalio, N., Polack, F. & Stepney, S., 2005, ZB 2005: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B, PROCEEDINGS. Treharne, H., King, S., Henson, M. & Schneider, S. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 262-278 17 p.

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

  255. An operational semantics in UTP for a language of reactive designs

    Woodcock, J., 2006, UNIFYING THEORIES OF PROGRAMMING. Dunne, S. & Stoddart, B. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 84-84 1 p.

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

  256. An optimisation algorithm for minimising energy dissipation in NoC-based hard real-time embedded systems

    Mohd Sayuti, M. N. S., Soares Indrusiak, L. & Garcia Ortiz, A., 2013, Proceedings of the 21st International Conference on Real-Time Networks and Systems (RTNS). ACM, p. 3-12 10 p.

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

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

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

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

  258. An upper bound for BDeu local scores

    Cussens, J., 2012, Proc. ECAI-2012 workshop on algorithmic issues for inference in graphical models (AIGM 2012).

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

  259. Analogue circuit control through gene expression

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

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

  260. Analysing APEX applications

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

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

  261. Analysing the 'biodiversity' of open source ecosystems: the GitHub case

    Matragkas, N. D., Williams, J. R., Kolovos, D. S. & Paige, R. F., 2014, MSR 2014: Proceedings of the 11th Working Conference on Mining Software Repositories. ACM, p. 356-359 4 p.

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

  262. Analysis of checkpointing for schedulability of real-time systems

    Punnekkat, S. & Burns, A., 1997, FOURTH INTERNATIONAL WORKSHOP ON REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS. LOS ALAMITOS: I E E E, COMPUTER SOC PRESS, p. 198-205 8 p.

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

  263. Analysis of hierarchical EDF pre-emptive scheduling

    Zhang, F. & Burns, A., 2007, RTSS 2007: 28TH IEEE INTERNATIONAL REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 423-434 12 p.

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

  264. Analysis of probabilistic cache related pre-emption delays for systems with random cache replacement policies

    Davis, R. I., Santinelli, L., Altmeyer, S., Maiza, C. & Cucu-Grosjean, L., Jul 2013, Euromicro Conference on Real-Time Systems. IEEE, p. 168-179

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

  265. Analyzing Heuristic Performance with Response Surface Models: Prediction, Optimization and Robustness

    Ridge, E. & Kudenko, D., 2007, GECCO 2007: GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, VOL 1 AND 2. NEW YORK: ASSOC COMPUTING MACHINERY, p. 150-157 8 p.

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

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

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

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

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

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

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

  268. Application areas of AIS: The past, the present and The Future

    Hart, E. & Timmis, J., 2005, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Jacob, C., Pilat, ML., Bentley, PJ. & Timmis, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 483-497 15 p.

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

  269. Application of HTK to the Polish language

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

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

  270. Application of correlation memory matrices in high frequency asset allocation

    Kustrin, D., Austin, J. & Sanders, A., 1997, FIFTH INTERNATIONAL CONFERENCE ON ARTIFICIAL NEURAL NETWORKS. EDISON: INST ELECTRICAL ENGINEERS INSPEC INC, p. 167-172 6 p.

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

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

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

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

  272. Applications of Model Reuse When Using Estimation of Distribution Algorithms to Test Concurrent Software

    Staunton, J. & Clark, J. A., 2011, Search Based Software Engineering - Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011. Proceedings. Cohen, M. B. & Cinnéide, M. Ó. (eds.). Springer, Vol. 6956. p. 97-111 15 p. (Lecture Notes in Computer Science).

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

  273. Applying Communication Patterns to Actor-Oriented Models

    Thuy, A., Indrusiak, L. S. & Glesner, M., 2006, Forum on specification and Design Languages, FDL 2006, September 19-22, 2006, Darmstadt, Germany, Proceedings. ECSI, p. 407-409 3 p.

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

  274. Applying artificial immune systems to real-time embedded systems

    Lay, N. & Bate, I., 2007, Congress on Evolutionary Computation (CEC). NEW YORK: IEEE, p. 3743-3750 8 p.

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

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

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

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

  276. Applying web usage mining techniques to discover potential browsing problems of users

    Ting, I-H., Kimble, C. & Kudenko, D., 2007, 7th IEEE International Conference on Advanced Learning Technologies, Proceedings. Spector, JM., Sampson, DG., Okamoto, T., Kinshuk, X., Cerri, SA., Ueno, M. & Kashihara, A. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 929-930 2 p.

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

  277. Approaches to Modelling Security Scenarios with Domain-Specific Languages: 41-54

    Brooke, P. J., Paige, R. F. & Power, C. D., 2012, Security Protocols XX: 20th International Workshop, Cambridge, UK, April 12-13, 2012, Revised Selected Papers. Springer, Vol. 7622 LNCS. p. 41-54 14 p. (Lecture Notes in Computer Science; vol. 7622).

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

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

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

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

  279. Approximate Bayesian computation for the parameters of PRISM programs

    Cussens, J., 2011, Proceedings of the 20th International Conference on Inductive Logic Programming. Heidelberg: Springer, Vol. 6489. p. 38-46 9 p.

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

  280. Architectural Considerations in the Certification of Modular Systems

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

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

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

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

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

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

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

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

  283. Architecture-awareness for real-time big data systems

    Gray, I., Audsley, N. C., Chan, Y. & Wellings, A., 9 Sep 2014, ACM International Conference Proceeding Series. Association for Computing Machinery (ACM), p. 151-156 6 p.

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

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

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

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

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

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

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

  286. Assessing the safety of integrity level partitioning in software

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

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

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

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

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

  288. Assessment of Trace-Differences in Timing Analysis for Complex Real-Time Embedded Systems

    Lu, Y., Nolte, T., Bate, I., Kraft, J. & Norstrom, C., 2011, Proceedings of the 6th IEEE International Symposium on Industrial Embedded Systems (SIES'11).

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

  289. Assigning Semantics to Graphical Concrete Syntaxes

    Zolotas, A., Kolovos, D. S., Matragkas, N. D. & Paige, R. F., 2014, XM 2014: Proceedings of the 3rd Workshop on Extreme Modeling co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages Systems, XM@MoDELS 2014, Valencia, Spain, September 29, 2014.. Di Ruscio, D., de Lara, J. & Pierantonio, A. (eds.). CEUR Workshop Proceedings, p. 12-21 10 p. (CEUR Workshop Proceedings; vol. 1239).

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

  290. Associating Minutiae between Distorted Fingerprints Using Minimal Spanning Tree

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

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

  291. Assurance of Automotive Safety – A Safety Case Approach

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

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

  292. Assuring Safety for Component Based Software Engineering

    Conmy, P. & Bate, I., 2014, Proceedings of the 15th International Symposium on High-Assurance Systems Engineering (HASE). p. 121-128 8 p.

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

  293. Asynchronous data sharing in multiprocessor real time systems using process consensus

    Chen, J. & Burns, A., 1998, 10TH EUROMICRO WORKSHOP ON REAL-TIME SYSTEMS, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 29 8 p.

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

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

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

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

  295. Asynchronous event handling and safety critical Java

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

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

  296. Asynchronous event handling in the real-time specification for Java

    Kim, M. & Wellings, A. J., 2007, Proceedings of the 5th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES 2007, Institute of Computer Engineering, Vienna University of Technology, 26-28 September 2007, Vienna, Austria. Bollella, G. (ed.). ACM, p. 3-12 10 p. (ACM International Conference Proceeding Series).

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

  297. At the interface of inductive logic programming and statistics

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

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

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

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

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

  299. Automated Calibration of agent-based immunological simulations

    Tripp, M., Read, M. N., Rose, L. M., Leonov, H. & Timmis, J., 2013, Advances in Artificial Life, ECAL 2013. Lio, P., Miglino, O., Nicosia, G., Nolfi, S. & Pavone, M. (eds.). MIT Press, p. 874-875

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

  300. Automated Symmetry Breaking and Model Selection in Conjure

    Akgun, O., Frisch, A. M., Gent, I. P., Hussain, B. S., Jefferson, C. A., Kotthoff, L., Miguel, I. J. & Nightingale, P. W., 2013, CP 2013 - Principles and Practice of Constraint Programming, 19th International Conference.

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

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

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

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

  302. Automated benchmarking of functional data structures

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

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

  303. Automated calibration of agent-based immunological simulations

    Read, M. N., Tripp, M., Leonova, H., Rose, L. M. & Timmis, J., 2 Sep 2013, Advances in Artificial Life, ECAL 2013: Proceedings of the Twelfth European Conference on the Synthesis and Simulation of Living Systems. MIT Press, p. 874-875 (Complex Adaptive Systems).

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

  304. Automated design of security protocols

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

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

  305. Automated generalisation of function definitions

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

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

  306. Automatic Code Generation for Airborne Systems

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

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

  307. Automatic Keypoint Detection on 3D Faces Using a Dictionary of Local Shapes

    Creusot, C., Pears, N. & Austin, J., 2011, Proceedings of the 2011 International Conference on 3D Imaging, Modeling, Processing, Visualization and Transmission. Washington, DC, USA: IEEE Computer Society, p. 204-211 8 p. (3DIMPVT '11).

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

  308. Automatic Safety Analysis of Computer-based Railway Signalling System

    Nui, R., Tang, T., Lisagor, O. & McDermid, J. A., Jul 2011, Proceedings of IEEE International Conference on Intelligent Rail Transportation (IEEE ICIRT 2011). IEEE Intelligent Transportation Systems Society, p. 484-490 7 p.

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

  309. Automatic Safety Analysis of Networked Control System based on Failure Propagation Model

    Nui, R., Tang, T., Lisagor, O. & McDermid, J. A., Jul 2011, Proceedings of IEEE International Conference on Vehicular Electronics and Safety (ICVES 2011). Beijing, China: IEEE Intelligent Transportation Systems Society, p. 53-58 6 p.

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

  310. Automatic Translation from Circus to Java

    Freitas, A. & Cavalcanti, A., 2006, FM 2006: FORMAL METHODS, PROCEEDINGS. Misra, J., Nipkow, T. & Sekerinski, E. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 115-130 16 p.

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

  311. Automatic code generation for airborne systems

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

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

  312. Automatic critiques of interface modes

    Gow, J., Thimbleby, H. & Cairns, P., 2006, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 3941 LNCS. p. 201-212 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3941 LNCS).

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

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

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

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

  314. Automatically Improving Constraint Models in Savile Row through Associative-Commutative Common Subexpression Elimination

    Nightingale, P., Akgun, O., Gent, I. P., Jefferson, C. & Miguel, I., 8 Sep 2014, Principles and Practice of Constraint Programming. Cham: SPRINGER, p. 590-605 16 p. (Lecture Notes in Computer Science; vol. 8656).

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

  315. Automorphs and involutions

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

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

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

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

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

  317. BONITA: A set of tuple space primitives for distributed coordination

    Rowstron, A. I. T. & Wood, A. M., 1997, THIRTIETH HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, VOL 1. ElRewini, H. & Patt, YN. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 379-388 10 p.

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

  318. Bad Modelling Teaching Practices

    Paige, R. F., Polack, F. A. C., Kolovos, D. S., Rose, L. M., Matragkas, N. D. & Williams, J. R., 2014, EduSymp 2014: Proceedings of the MODELS Educators Symposium co-located with the ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), Valencia, Spain, September 29, 2014.. Demuth, B. & Stikkolorum, D. (eds.). CEUR Workshop Proceedings, p. 1-12 12 p. (CEUR Workshop Proceedings; vol. 1346).

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

  319. Bandits all the way down: UCB1 as a simulation policy in Monte Carlo Tree Search

    Powley, E. J., Whitehouse, D. & Cowling, P. I., 2013, Computational Intelligence in Games (CIG), 2013 IEEE Conference on. p. 1-8 8 p.

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

  320. Baselines for joint-action reinforcement learning of coordination in cooperative multi-agent systems

    Carpenter, M. & Kudenko, D., 2005, ADAPTIVE AGENTS AND MULTI-AGENT SYSTEMS II. Kudenko, D., Kazakov, D. & Alonso, E. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 55-72 18 p.

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

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

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

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

  322. Bayesian Estimation of Kernel Bandwidth for Nonparametric Modelling

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

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

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

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

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

  324. Bayesian network learning with cutting planes

    Cussens, J., 2011, Proceedings of the 27th Conference on Uncertainty in Artificial Intelligence (UAI 2011). Cozman, F. & Pfeffer, A. (eds.). Corvallis, Oregon: AUAI Press, p. 153-160 8 p.

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

  325. Bayesian opponent modeling in a simple poker environment

    Baker, R. JS. & Cowling, P. I., 2007, Computational Intelligence and Games, 2007. CIG 2007. IEEE Symposium on. p. 125-131 7 p.

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

  326. Behavioural Sets and Operations in Treaty Systems

    Zhao, Y. & Wood, A. M., 2012, International Conference on Control Engineering and Communication Technology (ICCECT), 2012. p. 315-320 6 p.

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

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

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

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

  328. Better, Faster, Cheaper, and Safer Too Is This Really Possible?

    Bate, I., Hansson, H. & Punnekkat, S., 2012, Proceedings of the 17th IEEE International Conference on Emerging Technologies and Factory Automation.

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

  329. Binary exponential back off for tabu tenure in hyperheuristics

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

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

  330. Bio-inspired Error Detection for Complex Systems

    Drozda, M., Bate, I. & Timmis, J., 2011, Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing. p. 154-163 10 p.

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

  331. Biomolecular immune-computer: Theoretical basis and experimental simulator

    Goncharova, L. B., Jacques, Y., Martin-Vide, C., Tarakanov, A. O. & Timmis, J. I., 2005, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Jacob, C., Pilat, ML., Bentley, PJ. & Timmis, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 72-85 14 p.

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

  332. Birkhoff Polytopes, Heat Kernels and Graph Complexity

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

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

  333. Blind watermarking of 3D shapes using localized constraints

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

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

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

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

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

  335. Board Evaluation For The Virus Game.

    Cowling, P. I., 2005, CIG.

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

  336. Breaking row and column symmetries in matrix models

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

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

  337. Building Model-Driven Engineering Traceability

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

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

  338. Building a Preliminary Safety Case: An Example from Aerospace

    Bate, I. J., Burns, A., Kelly, T. P. & McDermid, J. A., 1997, Proceedings of the 1997 Australian Workshop on Industrial Experience with Safety Critical Systems and Software, Sydney, Australia. p. 1-10 10 p.

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

  339. Burns Standard Notation for real time scheduling

    Davis, R., Mar 2013, Real-Time Systems: the past, the present and the future. Audsley, N. & Baruah, S. (eds.). CreateSpace Independent Publishing Platform , p. 38-41

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

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

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

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

  341. C-NNAP: A dedicated platform for binary neural networks

    Kennedy, J. V., Austin, J., Pack, R. & Cass, B., 1997, FIFTH INTERNATIONAL CONFERENCE ON ARTIFICIAL NEURAL NETWORKS. EDISON: INST ELECTRICAL ENGINEERS INSPEC INC, p. 161-166 6 p.

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

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

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

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

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

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

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

  344. CGRASS: A system for transforming constraint satisfaction problems

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

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

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

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

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

  346. CMSEBA 2014 Workshop Report

    Paige, R. F., Kessentini, M., Langer, P. & Wimmer, M., 2014, CMSEBA 2014: Proceedings of the First International Workshop on Combining Modelling with Search- and Example-Based Approaches co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), Valencia, Spain, September 28, 2014.. Paige, R., Kessentini, M., Langer, P. & Wimmer, M. (eds.). CEUR Workshop Proceedings, p. 1-6 6 p. (CEUR Workshop Proceedings; vol. 1340).

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

  347. COMFLEX: a high speed packet switch for Inter-Computer Communication

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

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

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

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

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

  349. COTS product selection for safety-critical systems

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

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

  350. Cache Related Pre-emption Delay Aware Response Time Analysis for Fixed Priority Pre-emptive Systems

    Altmeyer, S., Davis, R. I. & Maiza, C., Dec 2011, IEEE Real-Time Systems Symposium. p. 261-271 11 p.

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

  351. Can opponent models aid poker player evolution?

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

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

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

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

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

  353. Can recognising multiword expressions improve shallow parsing?

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

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

  354. Capturing and Replaying Architectural Knowledge through Derivational Analogy

    Habli, I. & Kelly, T., 2007, 2nd International Workshop on SHAring and Reusing architectural Knowledge – Architecture, rationale, and Design Intent.

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

  355. Cartographic indexing into a database of remotely sensed images

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

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

  356. Cartographic matching with millimetre radar images

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

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

  357. Cautious Induction in Inductive Logic Programming

    Anthony, S., Frisch, A. M., Lavrac, N. (ed.) & Dzeroski, S. (ed.), 1997, Inductive Logic Programming: Proc. of the Seventh Int. Workshop. Prague, Czech Republic: Springer, Vol. 1297. p. 45-60 16 p. (Lecture Notes in Artificial Intelligence).

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

  358. Certification of FPGAs - Current Issues and Possible Solutions

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

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

  359. Certification of FPGAs - Current Issues and Possible Solutions

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

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

  360. Chaining model transformations

    Etien, A., Aranega, V., Blanc, X. & Paige, R. F., 1 Dec 2012, Proceedings of the 1st Workshop on the Analysis of Model Transformations, AMT 2012. p. 9-14 6 p.

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

  361. Challenges and best practices in policy-based autonomic architectures

    Calinescu, R., 1 Dec 2007, Proceedings - DASC 2007: Third IEEE International Symposium on Dependable, Autonomic and Secure Computing. p. 65-74 10 p. 4351390

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

  362. Challenges for artificial immune systems

    Timmis, J., 2006, NEURAL NETS. Apolloni, B., Marinaro, M., Necosia, G. & Tagliaferri, R. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 355-367 13 p.

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

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

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

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

  364. Challenges in Software Development for Multicore System-on-Chip Development

    Gray, I. & Audsley, N. C., 2012, 23rd IEEE International Symposium on Rapid System Prototyping (RSP).

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

  365. Challenges of establishing a software product line for an aerospace engine monitoring system

    Habli, I., Kelly, T. & Hopkins, I., 2007, SPLC 2007: 11TH INTERNATIONAL SOFTWARE PRODUCT LINE CONFERENCE, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 193-202 10 p.

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

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

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

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

  367. Characteristic Polynomial Analysis on Matrix Representations of Graphs

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

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

  368. Characterizing Graphs Using Approximate von Neumann Entropy

    Han, L., 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. 484-491 8 p.

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

  369. Characterizing Graphs Using Spherical Triangles

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

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

  370. Checking the shape safety of pointer manipulations

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

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

  371. Checkpointing and Error Recovery in Distributed Systems

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

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

  372. Chemical structure matching using correlation matrix memories

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

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

  373. Choice function and random hyperheuristics

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

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

  374. Choosing the fittest subset of low level heuristics in a hyperheuristic framework

    Chakhlevitch, K. & Cowling, P., 2005, European Conference on Evolutionary Computation in Combinatorial Optimization. p. 23-33 11 p.

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

  375. Circus Time with Reactive Designs

    Woodcock, J., Wei, K. & Cavalcanti, A. L. C., 2012, Unifying Theories of Programming . Lecture Notes in Computer Science, Vol. 7681 . p. 68-87

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

  376. Clustering Using Class Specific Hyper Graphs

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

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

  377. Collaborative design using a shared object spaces infrastructure

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

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

  378. Collective Monitoring to Achieve Self-Detection of Errors in Swarm Robotics

    Lau, H., Timmis, J. & Bate, I. J., 2011, LNCS. Lecture Notes in Computer Science, Vol. 6826. p. 254-267

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

  379. Column generation for exact BN learning: Work in progress

    Cussens, J., 2012, Proc. ECAI-2012 workshop on COmbining COnstraint solving with MIning and LEarning (CoCoMile 2012). p. 21-22

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

  380. Combined Simulator Statistics and Block-Code Sampling to Study Performance Enhancement of Microarchitecture

    Huibin, S., Bailey, C., Farrall, G., Hastie, N. & Jenkins, S., 2005, Proceedings of IEEE International System-On-Chip Conference 2005. p. 33 - 36

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

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

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

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

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

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

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

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

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

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

  384. Combining Multiple Correlated Reward and Shaping Signals by Measuring Confidence

    Brys, T., Nowé, A., Kudenko, D. & Taylor, M., 2014, The 28th Conference of the American Association on Artificial Intelligence: AAAI 2014.

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

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

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

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

  386. Combining curvature evidence to shape-from-shading

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

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

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

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

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

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

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

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

  389. Combining inference and search for the propositional satisfiability problem

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

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

  390. Combining reinforcement learning with symbolic planning

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

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

  391. Community discovery using social links and author-based sentiment topics

    Yang, B. & Manandhar, S., Aug 2014, Proceedings of the 2014 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, ASONAM 2014: Workshops held in conjunction with ASONAM 2014. IEEE, p. 580-587 8 p.

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

  392. Commute time for a gaussian wave packet on a graph

    Aziz, F., Wilson, R. C. & Hancock, E. R., 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. 374-383 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

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

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

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

  394. Comparative analysis of data persistence technologies for large-scale models

    Barmpis, K. & Kolovos, D., 1 Oct 2012, XM '12 Proceedings of the 2012 Extreme Modeling Workshop. ACM, p. 33-38 6 p.

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

  395. Comparative analysis of dynamic task mapping heuristics in heterogeneous NoC-based MPSoCs

    Moller, L., Soares Indrusiak, L., Ost, L., Moraes, F. G. & Glesner, M., 2012, Proceedings of the 2012 International Symposium onSystem on Chip (SoC). IEEE, p. 1-4

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

  396. Comparative analysis of multitask scheduling algorithms for reconfigurable computing regarding context switches and configuration cache usage

    Spies, C., Indrusiak, L. S. & Glesner, M., 2007, 3rd Southern Conference on Programmable Logic, Proceedings. NEW YORK: IEEE, p. 239-242 4 p.

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

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

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

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

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

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

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

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

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

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

  400. Comparing real-time communication under electromagnetic interference

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

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

  401. Comparing resource sharing with information exchange in co-operative agents, and the role of environment structure

    Bartlett, M. & Kazakov, D., 2005, ADAPTIVE AGENTS AND MULTI-AGENT SYSTEMS II. Kudenko, D., Kazakov, D. & Alonso, E. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 41-54 14 p.

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

  402. Comparison of Ada and real-time Java (TM) for safety-critical applications

    Brosgol, B. M. & Wellings, A., 2006, RELIABLE SOFTWARE TECHNOLOGIES - ADA - EUROPE 2006, PROCEEDINGS. PInho, LM. & Harbour, MG. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 13-26 14 p.

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

  403. Comparison of MilStd 882E and Interim Defence Standard 00-56 Issue 3

    McDermid, J. A., 2007, Proceedings of the 25th International System Safety Conference. Gonzalez, A. M. (ed.).

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

  404. Comparison of classification techniques for a personnel scheduling problem

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

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

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

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

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

  406. Compiler-directed dynamic memory disambiguation for loop structures

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

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

  407. Complementing metaheuristic search with higher abstraction techniques

    Burton, F. R. & Poulding, S., 1 May 2013, Combining Modelling and Search-Based Software Engineering (CMSBSE), 2013 1st International Workshop on. IEEE, p. 45-48

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

  408. Complete Strategies for Term Graph Narrowing

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

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

  409. Complex Systems Models: Engineering Simulations

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

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

  410. Complexity: Concept, causes and control

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

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

  411. Compositional reverification of probabilistic safety properties for large-scale complex IT systems

    Calinescu, R., Kikuchi, S. & Johnson, K., 9 Nov 2012, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7539 LNCS. p. 303-329 27 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7539 LNCS).

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

  412. Computational Completeness of Programming Languages Based on Graph Transformation

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

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

  413. Conceptual modelling of knowledge-based systems using UML

    Abdullah, M. S., Paige, R., Thompson, C., Benest, A. & Kimble, C., 2005, Artificial Intelligence Applications and Innovations II. Li, DL. & Wang, B. (eds.). NEW YORK: SPRINGER, p. 23-33 11 p.

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

  414. Concurrent abstract predicates

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

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

  415. Conformance Relations for Distributed Testing based on CSP

    Cavalcanti, A. L. C., 2011, IFIP International Conference on Testing Software and Systems. Vol. 7019 LNCS. p. 48-63 16 p.

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

  416. Consistency control in data-driven design automation environments

    Indrusiak, L. S., Murgan, T., Glesner, M. & Reis, R., 2005, ISSCS 2005: International Symposium on Signals, Circuits and Systems, Proceedings. NEW YORK: IEEE, p. 629-632 4 p.

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

  417. Constraints for breaking more row and column symmetries

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

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

  418. Constructing Models with the Human-Usable Textual Notation

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

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

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

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

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

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

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

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

  421. Contour segments from spline interpolation

    Ludtke, N. & Wilson, R. C., 18 Aug 2004, STRUCTURAL, SYNTACTIC, AND STATISTICAL PATTERN RECOGNITION, PROCEEDINGS. Fred, A., Caelli, T., Duin, RPW., Campilho, A. & DeRidder, D. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 134-142 9 p.

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

  422. Contracts in CML

    Woodcock, J. C. P., Cavalcanti, A. L. C., Fitzgerald, J., Foster, S. & Larsen, P. G., 2014, 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. SPRINGER, p. 54-73 20 p. (Lecture Notes in Computer Science; vol. 8803).

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

  423. Control law diagrams in circus

    Cavalcanti, A., Clayton, P. & O'Halloran, C., 2005, FM 2005: FORMAL METHODS, PROCEEDINGS. Fitzgerald, J., Hayes, IJ. & Tarlecki, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 253-268 16 p.

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

  424. Controller Area Network (CAN): Response Time Analysis with Offsets

    Yomsi, P. M., Bertrand, D., Navet, N. & Davis, R., May 2012, 9th IEEE International Workshop on Factory Communication Systems. IEEE, p. 43-52

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

  425. Controller Area Network (CAN) Schedulability Analysis with FIFO queues

    Davis, R., Kollmann, S., Pollex, V. & Slomka, F., Jul 2011, Euromicro Conference on Real-Time Systems. p. 45-56 12 p.

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

  426. Controller area network (CAN) schedulability analysis for messages with arbitrary deadlines in FIFO and work-conserving queues

    Davis, R. I. & Navet, N., May 2012, IEEE International Workshop on Factory Communication Systems. IEEE, p. 33-42 6242538

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

  427. Coordinated team learning and difference rewards for distributed intrusion response

    Malialis, K., Devlin, S. & Kudenko, D., 2014, ECAI 2014: 21st European Conference on Artificial Intelligence, Including Prestigious Applications of Intelligent Systems, PAIS 2014, Proceedings. IOS Press, Vol. 263. p. 1063-1064 2 p. (Frontiers in Artificial Intelligence and Applications; vol. 263).

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

  428. Coordination with attributes

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

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

  429. Corner Detection in Spherical Images via the Accelerated Segment Test on a Geodesic Grid

    Guan, H., Smith, W. A. P. & Ren, P., 2013, Advances in Visual Computing: 9th International Symposium, ISVC 2013, Rethymnon, Crete, Greece, July 29-31, 2013. Proceedings, Part I. PART 1 ed. Springer, Vol. 8033 LNCS. p. 407-415 9 p. (Lecture Notes in Computer Science; vol. 8033).

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

  430. Correcting 3D scenes estimated from sets of multi-view images using shape-from-contours

    Grum, M. & Bors, A. G., Oct 2014, Proc. 2014 IEEE International Confereence on Image Processing, Paris, France. IEEE, p. 2888-2892 5 p.

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

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

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

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

  432. Cost monitoring and enforcement in the real-time specification for java: A formal evaluation

    dos Santos, O. M. & Wellings, A., 8 Dec 2005, Proceedings of the 26th IEEE Real-time Systems Symposium. LOS ALAMITOS: IEEE COMPUTER SOC, p. 177-186 9 p.

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

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

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

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

  434. Critical Pairs in Term Graph Rewriting

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

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

  435. Critical critical systems

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

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

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

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

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

  437. Cross-trial query system for cancer clinical trials

    Calinescu, R., Harris, S., Gibbons, J. & Davies, J., 1 Dec 2007, Innovations and Advanced Techniques in Computer and Information Sciences and Engineering. p. 385-390 6 p.

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

  438. Curvature Estimation for Ricci Flow Embedding

    Xu, E., Wilson, R. C. & Hancock, E. R., 2014, Proceedings of the 22nd International Conference on Pattern Recognition. IEEE Computer Society Press, p. 1562-1567 6 p.

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

  439. Data Flow coverage for Circus-based testing

    Cavalcanti, A. L. C. & Gaudel, M-C., 2014, Fundamental Approaches to Software Engineering. SPRINGER, Vol. 8441. p. 415-429 15 p. (Lecture Notes in Computer Science; vol. 8411).

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

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

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

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

  441. Deadline-aware programming and scheduling

    Burns, A. & Wellings, A., 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer-Verlag, Vol. 8454 LNCS. p. 107-118 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8454 LNCS).

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

  442. Dealing with Emergent Properties in Embedded Systems

    Bate, I., 2005, Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications. p. 63-66 4 p.

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

  443. Dealing with emergent properties in embedded systems

    Bate, I., 2005, 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Proceedings. LOS ALAMITOS: IEEE COMPUTER SOC, p. 63-66 4 p.

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

  444. Decay of a Jπ=36+ resonance in the 24Mg + 24Mg reaction

    Salsac, M. D., Haas, F., Courtin, S., Beck, C., Rousseau, M., Zafra, A. S. I., Algora, A., Beghini, S., Behera, B. R., Chapman, R., Corradi, L., Dombradi, Z., Farnea, E., Fioretto, E., Gadea, A., Jenkins, D. G., Latina, A., Lenzi, S., Liang, X., Marginean, N. & 10 others, Montagnoli, G., Napoli, D., Papka, P., Pokrovski, I., Pollarolo, G., Scarlassara, F., Stefanini, A. M., Szilner, S., Trotta, M. & Wang, Z. M., 21 Nov 2005, EXOTIC NUCLEAR SYSTEMS: International Symposium on Exotic Nuclear Systems, ENS'05. p. 291-295 5 p. (AIP Conference Proceedings; vol. 802).

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

  445. Deconstructing web experience: More than just usability and good design

    Harrison, C. & Petrie, H., 2007, Human-Computer Interaction, Pt 4, Proceedings. Jacko, JA. (ed.). BERLIN: SPRINGER-VERLAG BERLIN, p. 889-898 10 p.

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

  446. Decorrelating WSN Traffic Patterns with Maximally Uninformative Constrained Routing

    Tapiador, J. E., Srivatsa, M., Clark, J. A. & McDermid, J. A., 2011, NETWORKING 2011 Workshops - International IFIP TC 6 Workshops, PE-CRN, NC-Pro, WCNS, and SUNSET 2011, Held at NETWORKING 2011, Valencia, Spain, May 13, 2011, Revised Selected Papers. Giner, V. C., Manzoni, P. & Pont, A. (eds.). Springer, Vol. 6827. p. 207-218 12 p. (Lecture Notes in Computer Science).

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

  447. Defining and decomposing safety policy for systems of systems

    Hall-May, M. & Kelly, T., 2005, COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS. Winther, R., Gran, BA. & Dahll, G. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 37-51 15 p.

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

  448. Deny-Guarantee Reasoning

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

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

  449. Dependability terminology: Similarities and differences

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

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

  450. Dependable and ubitquitous Autocode Generation

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

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

  451. Depinning behaviour of domain wall in magnetic nanowire with asymmetric notch

    Liao, J., Ma, B., Zhang, Z., Jin, Q., Huang, Z., Hu, X., Ding, A., Zhang, W., Wu, J. & Xu, Y., 1 Dec 2010, Proceedings - 2010 8th International Vacuum Electron Sources Conference and Nanocarbon, IVESC 2010 and NANOcarbon 2010. p. 589-590 2 p. 5644171

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

  452. Depth-Based Complexity Traces of Hypergraphs from Directed Line Graphs

    Bai, L., Ren, P., Escolano, F. & Hancock, E. R., 2014, Proceedings of the 22nd International Conference on Pattern Recognition. IEEE Computer Society Press, 6 p.

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

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

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

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

  454. Deriving quantified safety requirements in complex systems

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

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

  455. Deriving safety requirements using scenarios

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

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

  456. Design For Flexible And Scalable Avionics Systems

    Bate, I. & Emberson, P., 1 Mar 2005, IEEE Aerospace Conference. Big Sky, MT, USA

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

  457. Design for flexible and scalable avionics systems

    Bate, I. & Emberson, P., 2005, 2005 IEEE Aerospace Conference, Vols 1-4. NEW YORK: IEEE, p. 2837-2848 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  458. Design of s-boxes by simulated annealing

    Clark, J. A., Jacob, J. L. & Stepney, S., 2004, CEC2004: PROCEEDINGS OF THE 2004 CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1 AND 2. NEW YORK: IEEE, p. 1533-1537 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  459. Design patterns for supporting RTSJ component models

    AlRahmawy, M. & Wellings, A. J., 2009, Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2009, Madrid, Spain, September 23-25, 2009. Higuera-Toledano, M. T. & Schoeberl, M. (eds.). ACM, p. 11-20 10 p. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  460. Design principles for tactile interaction

    Challis, B. P., Edwards, A. D. N., Brewster, S. (ed.) & Murray-Smith, R. (ed.), 2001, First International Workshop on Haptic Human-Computer Interaction. Springer-verlag, p. 17-24 7 p. (Lecture Notes in Computer Science; vol. 2058).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  461. Designing a binary neural network co-processor

    Freeman, M. & Austin, J., 2005, DSD 2005: 8th Euromicro Conference on Digital System Design, Proceedings. Wolinski, C. (ed.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 223-226 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  462. Designing a domain-specific contract language: A metamodelling approach

    Chan, Z. E. & Paige, R. F., 2005, MODEL DRIVEN ARCHITECTURE FOUNDATIONS AND APPLICATIONS, PROCEEDINGS. Hartman, A. & Kreische, D. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 175-189 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  463. Designs with angelic nondeterminism

    Ribeiro, P. & Cavalcanti, A., 30 Oct 2013, Proceedings - 2013 International Symposium on Theoretical Aspects of Software Engineering, TASE 2013. p. 71-78 8 p. 6597880

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  464. Detecting strain-gauge failures in stress-cycle count matrices

    Hickinbotham, S. J. & Austin, J., 1999, DAMAS 99: DAMAGE ASSESSMENT OF STRUCTURES. Gilchrist, MD., DulieuBarton, JM. & Worden, K. (eds.). ZURICH-UETIKON: TRANSTEC PUBLICATIONS LTD, p. 391-400 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  465. Detection of skin lesions using diffuse polarisation

    Subramaniam, N., Saman, G. & Hancock, E., 2010, 2010 IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING. NEW YORK: IEEE, p. 3021-3024 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  466. Determining Whether a Problem Characteristic Affects Heuristic Performance

    Ridge, E., Kudenko, D., Cotta, C. (ed.) & Hemert, J. I. V. (ed.), 2008, Recent Advances in Evolutionary Computation for Combinatorial Optimization. Springer, Vol. 153. p. 21-35 15 p. (Studies in Computational Intelligence).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  467. Determining Whether a Problem Characteristic Affects Heuristic Performance A Rigorous Design of Experiments Approach

    Ridge, E. & Kudenko, D., 2008, RECENT ADVANCES IN EVOLUTIONARY COMPUTATION FOR COMBINATORIAL OPTIMIZATION. Cotta, C. & VanHemert, J. (eds.). NEW YORK: SPRINGER, p. 21-35 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  468. Determining the Cause of Negative Dissimilarity Eigenvalues

    Xu, W., Wilson, R. C. & 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., Díaz-Pernil, D., Molina-Abril, H., Berciano, A. & Kropatsch, W. G. (eds.). PART 1 ed. BERLIN: Springer, Vol. 6854. p. 589-597 9 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  469. Determinization and information set Monte Carlo tree search for the card game Dou Di Zhu

    Whitehouse, D., Powley, E. J. & Cowling, P. I., 2011, Computational Intelligence and Games (CIG), 2011 IEEE Conference on. p. 87-94 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  470. Developing Predictable Real-Time Embedded Systems using AnvilJ

    Gray, I. & Audsley, N. C., 2012, IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  471. Developing Safe and Dependable Sensornets

    Bate, I., Wu, Y. & Stankovic, J., 2011, Proceedings of the 37th EUROMIICRO Conference on Software Engineering and Advanced Applications. p. 279-282 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  472. Developing Safety Contracts for OO Systems

    Bate, I., Hawkins, R. & McDermid, J., 2003, 21st International System Safety Conference. The International System Safety Society, p. 636-645 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  473. Developing a UML profile for modelling knowledge-based systems

    Abdullah, M. S., Kimble, C., Paige, R., Benest, I. & Evans, A., 2005, MODEL DRIVEN ARCHITECTURE. Assmann, U., Aksit, M. & Rensink, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 220-233 14 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  474. Developing a real-time metaobject protocol

    Mitchell, S. E., Burns, A. & Wellings, A. J., 1997, THIRD INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS. LOS ALAMITOS: I E E E, COMPUTER SOC PRESS, p. 323-330 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  475. Developing a semantic user and device modeling framework that supports UI adaptability of web 2.0 applications for people with special needs

    Ackermann, P., Velasco, C. A. & Power, C. D., 16 Apr 2012, W4A '12 Proceedings of the International Cross-Disciplinary Conference on Web Accessibility. ACM, 12

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  476. Developing a testbed for distributed real-time applications

    Woolley, P. T., Walker, W. M. & Burns, A., 1999, REAL TIME PROGRAMMING 1999 (WRTP'99). Frigeri, AH., Halang, WA. & Son, SH. (eds.). OXFORD: PERGAMON PRESS LTD, p. 101-106 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  477. Developing self-verifying service-based systems

    Calinescu, R., Johnson, K. & Rafiq, Y., 1 Dec 2013, 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings. p. 734-737 6693145

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  478. Diagrams for meaning preservation

    Wells, J. B., Plump, D. & Kamareddine, F., 2003, Proceedings Rewriting Techniques and Applications (RTA 2003). Nieuwenhuis, R. (ed.). Berlin: Springer, p. 88-106 19 p. (Lecture Notes in Computer Science; vol. 2706).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  479. Different Models for Model Matching: An analysis of approaches to support model differencing

    Kolovos, D. S., Di Ruscio, D., Pierantonio, A. & Paige, R. F., 2009, 2009 ICSE WORKSHOP ON COMPARISON AND VERSIONING OF SOFTWARE MODELS. NEW YORK: IEEE, p. 16 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  480. Direct magnetic imaging of domain wall manipulation in necked permalloy wire using XPEEM

    Zhang, W., Wong, P. K. J., Morton, S. A., Scholl, A., Wu, J., Xu, Y. B., Van Der Laan, G., Yang, H. F., Xia, K., Gu, C. Z., Huang, Z. C., Luo, C. & Zhai, Y., 1 Dec 2010, Proceedings - 2010 8th International Vacuum Electron Sources Conference and Nanocarbon, IVESC 2010 and NANOcarbon 2010. p. 496-497 2 p. 5644238

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  481. Directed Depth-Based Complexity Traces of Hypergraphs from Directed Line Graphs

    Bai, L., Hancock, E. R., Ren, P. & Escolano, F., 1 Aug 2014, Pattern Recognition (ICPR), 2014 22nd International Conference on. IEEE, p. 3874-3879 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  482. Dirichlet Processes for Joint Learning of Morphology and PoS Tags

    Can, B. & Manandhar, S., 2013, Sixth International Joint Conference on Natural Language Processing, IJCNLP 2013, Nagoya, Japan, October 14-18, 2013. p. 1087-1091 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  483. Discriminating instance generation for automated constraint model selection

    Gent, I. P., Hussain, B. S., Jefferson, C., Kotthoff, L., Miguel, I., Nightingale, G. F. & Nightingale, P., 8 Sep 2014, Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Proceedings. Springer Verlag, p. 356-365 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  484. Discriminative Clustering for Content-Based Tag Recommendation in Social Bookmarking Systems

    Hassan, M. T., Karim, A., Manandhar, S. & Cussens, J., 1 Sep 2009, ECML PKDD Discovery Challenge 2009 (DC09). Eisterlehner, F., Hotho, A. & Jäschke, R. (eds.). Bled, Slovenia: CEUR Workshop Proceedings, Vol. 497. p. 85-97 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  485. Dispatching Domains for Multiprocessor Platforms and Their Representation in Ada

    Burns, A. & Wellings, A., 2010, RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2010. Real, J. & Vardanega, T. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6106 LNCS. p. 41-53 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  486. Display registration for device interaction - A proof of principle prototype

    Pears, N., Olivier, P. & Jackson, D., 2008, VISAPP 2008: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON COMPUTER VISION THEORY AND APPLICATIONS, VOL 1. Araujo, HJ. (ed.). SETUBAL: INSTICC-INST SYST TECHNOLOGIES INFORMATION CONTROL & COMMUNICATION, Vol. 1. p. 446-451 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  487. Distinguishing facial expression using the Fisher-Rao metric

    Ceolin, S. & Hancock, E. R., 2010, 2010 IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING. NEW YORK: IEEE, p. 1437-1440 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  488. Distributed Collaborative Design over Cave2 Framework

    Indrusiak, L. S., Becker, J., Glesner, M. & Reis, R. A. D. L., 2001, SOC Design Methodologies, IFIP TC10/WG10.5 Eleventh International Conference on Very Large Scale Integration of Systems-on/Chip (VLSI-SOC'01), December 3-5, 2001, Montpellier, France. Robert, M., Rouzeyre, B., Piguet, C. & Flottes, M-L. (eds.). Kluwer, Vol. 218. p. 97-108 12 p. (IFIP Conference Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  489. Distributed fault-tolerant avionic systems - A real-time perspective

    Audsley, N. C. & Burke, M., 1998, 1998 IEEE AEROSPACE CONFERENCE PROCEEDINGS, VOL 4. NEW YORK: IEEE, p. 43-60 18 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  490. Distributed health monitoring for aero-engines on the GRID: DAME

    Jackson, T., Austin, J., Fletcher, M., Jessop, M., Liang, B., Pasley, A., Ong, M., Ren, X., Allan, G., Kadirkamanathan, V., Thompson, H. A. & Fleming, P. J., 2005, 2005 IEEE Aerospace Conference, Vols 1-4. NEW YORK: IEEE, p. 3738-3747 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  491. Diversity and artificial immune systems: Incorporating a diversity operator into aiNet

    Andrews, P. S. & Timmis, J., 2006, NEURAL NETS. Apolloni, B., Marinaro, M., Necosia, G. & Tagliaferri, R. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 293-306 14 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  492. Dividing point value selections for Improved Quick Processor-Demand Analysis

    Zhang, F. & Burns, A., 16 Dec 2010, ICSTE 2010 - 2010 2nd International Conference on Software Technology and Engineering, Proceedings. Vol. 1. p. V1-170 -V1-175 5608891

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  493. Do games attract or sustain engagement in citizen science? A study of volunteer motivations

    Iacovides, I., Jennett, C., Cornish-Trestrail, C. & Cox, A. L., 1 Apr 2013, CHI '13 Extended Abstracts on Human Factors in Computing Systems. New York, USA: ACM, p. 1101-1106 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  494. Do sensornet protocol variants yield real benefits?

    Tate, J. & Bate, I., 1 Mar 2010, 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010, Oxford, England, UK, 22-26 March 2010. Sterritt, R., Eames, B. & Sprinkle, J. (eds.). Los Alamitos, CA: IEEE Computer Society Press, p. 19-28 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  495. Double-Pushout Approach with Injective Matching

    Plump, D., Habel, A. & Müller, J., 2000, 6th International Workshop on Theory and Application of Graph Transformations (TAGT 98), Selected Papers. Springer, p. 103-116 (Lecture Notes in Computer Science; vol. 1764).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  496. Dual Priority Scheduling: Is the Processor Utilisation bound 100%?

    Burns, A., 2010, Proceedings of 1st International Real-Time Scheduling Open Problems Seminar, RTSOPS 2010. Davis, R. I. & Fisher, N. (eds.). p. 3-4 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  497. Dual priority scheduling

    Davis, R. & Wellings, A., Dec 1995, IEEE Real-Time Systems Symposium. p. 100-109 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  498. Duality of Actor and Character Goals in Virtual Drama

    Arinbjarnar, M. & Kudenko, D., 2009, INTELLIGENT VIRTUAL AGENTS, PROCEEDINGS. Ruttkay, Z., Kipp, M., Nijholt, A. & Vilhjalmsson, HH. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5773 LNAI. p. 386-392 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  499. Dynamic CPU scheduling with imprecise knowledge of computation-time

    Aldarmi, S. A. & Burns, A., 1999, REAL TIME PROGRAMMING 1999 (WRTP'99). Frigeri, AH., Halang, WA. & Son, SH. (eds.). OXFORD: PERGAMON PRESS LTD, p. 215-220 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  500. Dynamic Period Routing for a Complex Real-World System: A Case Study in Storm Drain Maintenance

    Chen, Y., Cowling, P. & Remde, S., 2014, European Conference on Evolutionary Computation in Combinatorial Optimization. Blum, C. & Ochoa, G. (eds.). p. 109-120 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

Previous 1 2 3 4 Next