Search research publications and outputs

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

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

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

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

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

  7. Board Evaluation For The Virus Game.

    Cowling, P. I., 2005, CIG.

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

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

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

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

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

  12. Confluence of Graph Transformation Revisited

    Plump, D., 2005, Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday. Middledorp, A., VanOostrom, V., VanRaamsdonk, F. & DeVrijer, R. (eds.). BERLIN: Springer, p. 280-308 29 p. (Lecture Notes in Computer Science; vol. 3838).

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

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

  14. Consistency for Quantified Constraint Satisfaction Problems

    Nightingale, P., 2005, Proceedings of the 11th International Conference on Principles and Practice of Constraint Programming (CP 2005). p. 792-796 5 p.

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

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

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

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

  18. Deductive Reasoning and Statistical Inference

    Cussens, J., 2005, Encyclopedia of Statistics in Behavioral Science. Chichester: John Wiley & Sons

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

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

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

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

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

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

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

  25. Efficient Integration of Bimodal Branch Prediction and Pipeline Analysis

    Bate, I. & Reutemann, R., 2005, Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications. p. 39-44 6 p.

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

  26. Efficient access of remote resources in embedded networked computer systems

    Usher, P. S. & Audsley, N. C., 2005, EMBEDDED AND UBIQUITOUS COMPUTING - EUC 2005 WORKSHOPS, PROCEEDINGS. Enokido, T., Yan, L., Xiao, B., Kim, D., Dai, Y. & Yang, LT. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 632-641 10 p.

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