Search research publications and outputs

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Previous 1...7 8 9 10 11 12 13 14 ...65 Next