Search research publications and outputs

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

  3. Towards autonomic cloud services engineering via intention workflow model

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

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

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

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

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

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

  6. A Survey of Outlier Detection Methodologies

    Hodge, V. J. & Austin, J., 26 Sep 2013, Fundamentals of Regression Modeling. Babones, S. (ed.). (SAGE Benchmarks in Social Research Methods).

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

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

  8. A HADOOP-Based Framework for Parallel and Distributed Feature Selection

    Hodge, V. J., Jackson, T. & Austin, J., 1 Sep 2013, Department of Computer Science, University of York, UK

    Research output: Other contribution

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

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

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

  10. Global Fixed Priority Scheduling with Deferred Pre-emption

    Davis, R. I., Burns, A., Marinho, J., Nelis, V., Petters, S. & Bertogna, M., 1 Aug 2013, IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA). p. 1-11

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

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

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

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

  12. A time-domain Based Looseless Data Compression Technique for Wireless Wearable Biometric Devices

    Crispin-Bailey, C. & Dai, C., Aug 2013, p. 104-107. 4 p.

    Research output: Contribution to conferencePaper

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

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