Search research publications and outputs

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  22. Edge detection and anisotropic diffusion for tensor-valued images

    Zhang, F. & Hancock, E. R., 2006, Proceedings International Conference on Image Processing, Vols 1-7. NEW YORK: IEEE, p. 229-232 4 p.

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

  23. Eliciting perceptual ground truth for image segmentation

    Hodge, V., Hollier, G., Eakins, J. & Austin, J., 2006, IMAGE AND VIDEO RETRIEVAL, PROCEEDINGS. Sundaram, H., Naphade, M., Smith, JR. & Rui, Y. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 320-329 10 p.

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

  24. Eliciting safety policy and balancing with operational fitness in systems of systems

    Despotou, G., Hall-May, M. & Kelly, T., 2006, System of Systems Engineering, 2006 IEEE/SMC International Conference on. p. 6-pp

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

  25. Engineering emergence

    Stepney, S., Polack, F. A. C. & Turner, H. R., 2006, ICECCS 2006: 11TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS. Kawada, S. (ed.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 89-97 9 p.

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

  26. Evaluating the impact of data encoding techniques on the power consumption in networks-on-chip

    Palma, J. C. S., Indrusiak, L. S., Moraes, F. G., Ortiz, A. G., Glesner, M. & Reis, R. A. L., 2006, IEEE Computer Society Annual Symposium on VLSI, Proceedings. LOS ALAMITOS: IEEE COMPUTER SOC, p. 426-427 2 p.

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

  27. Exploring Functional Unit Parallelism in Reconfigurable Computing Platforms

    Zhong, H., Indrusiak, L. S., Hinkelmann, H. & 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. 160-167 8 p.

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

  28. Exploring application-level concurrency in SoC design

    Indrusiak, L. S., 2006, 2006 International Symposium on System-on-Chip Proceedings. NEW YORK: IEEE, p. 69-72 4 p.

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

  29. Extending C for Checking Shape Safety

    Plump, D. & Dodds, M., 2006, Proc. Graph Transformation for Verification and Concurrency (GT-VC 2005). Elsevier, p. 95-112 (Electronic Notes in Theoretical Computer Science; vol. 154, no. 2).

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

  30. Extending Safety Deviation Analysis Techniques to Elicit Flexible Dependability Requirements

    Despotou, G. & Kelly, T., 2006, System Safety, 2006. The 1st Institution of Engineering and Technology International Conference on. p. 29-38 10 p.

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

  31. First steps in the verified software grand challenge

    Woodcock, J., 2006, 30th Annual IEEE/NASA Software Engineering Workshop, Proceedings. LOS ALAMITOS: IEEE COMPUTER SOC, p. 203-203 1 p.

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

  32. Fusing Natural Computational Paradigms for Cryptanalysis: Or, Using Heuristic Search to Bring Cryptanalysis Problems within Quantum Computational Range

    Clark, J. A. & Stepney, S., 1 Dec 2006, CEC 2006. IEEE Congress on Evolutionary Computation, 2006. p. 200 -206

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

  33. Gaining confidence in goal-based safety cases

    Weaver, R., Kelly, T. & Mayo, P., 2006, Developments in Risk-Based Approaches to Safety. Redmill, F. & Anderson, T. (eds.). GODALMING: SPRINGER-VERLAG LONDON LTD, p. 277-290 14 p.

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

  34. Getting more flexible scheduling in the RTSJ

    Zerzelidis, A. & Wellings, A. J., 21 Nov 2006, Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing, Proceedings. Lee, S., Brinkschulte, U., Thuraisingham, B. & Pettit, RG. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 3-10 8 p. 1630

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

  35. Graph Transformation in Constant Time

    Dodds, M. & Plump, D., 2006, Proceedings 3rd International Conference on Graph Transformation (ICGT 2006). Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L. & Rozenberg, G. (eds.). Berlin: Springer, p. 367-382 16 p. (Lecture Notes in Computer Science; vol. 4178).

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

  36. Hard real-time hybrid garbage collection with low memory requirements

    Chang, Y. & Wellings, A., 2006, 27th IEEE International Real-Time Systems Symposium, Proceedings. LOS ALAMITOS: IEEE COMPUTER SOC, p. 77-86 10 p.

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

  37. Hardware support for language aware information mining

    Freeman, M. & Jayasooriya, T., 2006, KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 3, PROCEEDINGS. Gabrys, B., Howlett, RJ. & Jain, LC. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 415-423 9 p.

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

  38. Heat kernel smoothing of scalar and vector image data

    Zhang, F. & Hancock, E. R., 2006, Proceedings International Conference on Image Processing, Vols 1-7. NEW YORK: IEEE, p. 1549-1552 4 p.

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

  39. Human action classification using SVM_2K classifier on motion features

    Meng, H., Pears, N. & Bailey, C., 2006, MULTIMEDIA CONTENT REPRESENTATION, CLASSIFICATION AND SECURITY. Gunsel, B., Jain, AK., Tekalp, AM. & Sankur, B. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 458-465 8 p.

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

  40. Incorporating scenarios and heuristics to improve flexibility in real-time embedded systems

    Bate, I. & Emberson, P., 1 Apr 2006, Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium. Goddard, S. & Liu, JC. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 221-230 10 p.

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

  41. Integrating custom instruction specifications into C development processes

    Whitham, J. & Audsley, N., 2006, RECONFIGURABLE COMPUTING: ARCHITECTURES AND APPLICATIONS. Bertels, K., Cardoso, JMP. & Vassiliadis, S. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 431-442 12 p.

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

  42. Interactions between stereotypes

    Lock, Z. & Kudenko, D., 2006, ADAPTIVE HYPERMEDIA AND ADAPTIVE WEB-BASED SYSTEMS, PROCEEDINGS. Wade, V., Ashman, H. & Smyth, B. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 172-181 10 p.

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

  43. Lambda: A multimodal approach to making mathematics accessible to blind students

    Edwards, A. D. N., McCartney, H. & Fogarolo, F., 2006, Proceedings of the 8th International ACM Special Interest Group on Accessible Computing 2006. ACM, p. 48-54 6 p.

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

  44. MCGREP - A predictable architecture for embedded real-time systems

    Whitham, J. & Audsley, N., 2006, 27th IEEE International Real-Time Systems Symposium, Proceedings. LOS ALAMITOS: IEEE COMPUTER SOC, p. 13-24 12 p.

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

  45. Managing architectural design decisions for safety-critical software systems

    Wu, W. & Kelly, T., 2006, Quality of Software Architectures. Hofmeister, C., Crnkovic, I. & Reussner, R. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 59-77 19 p.

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

  46. Mechanising a unifying theory

    Nuka, G. & Woodcock, J., 2006, UNIFYING THEORIES OF PROGRAMMING. Dunne, S. & Stoddart, B. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 217-235 19 p.

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

  47. Merging Models with the Epsilon Merging Language

    Kolovos, D. S., Paige, R. F. & Polack, F. A. C., 2006, Model Driven Engineering Languages and Systems. Berlin / Heidelberg: Springer, p. 215-229 14 p. (Lecture Notes in Computer Science; vol. 4199).

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

  48. Merging models with the Epsilon Merging Language (EML)

    Kolovos, D. S., Paige, R. F. & Polack, F. A. C., 2006, MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS. Nierstrasz, O., Whittle, J., Harel, D. & Reggio, G. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 215-229 15 p.

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

  49. Message response time analysis for ideal controller area network (CAN) refuted

    Bril, R. J., Lukkien, J. J., Davis, R. I. & Burns, A., Jul 2006, International workshop on Real-Time Networks (RTN).

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

  50. Mixing spectral representations of graphs

    White, D. & Wilson, R. C., 20 Aug 2006, 18th International Conference on Pattern Recognition, Vol 4, Proceedings. Tang, YY., Wang, SP., Lorette, G., Yeung, DS. & Yan, H. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 140-144 5 p.

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

  51. Model comparison: A foundation for model composition and model transformation testing

    Kolovos, D. S., Paige, R. F. & Polack, F. A. C., 22 May 2006, Proceedings of the 2006 International Workshop on Global Integrated Model Management, GaMMa 2006, co-located with the 28th International Conference on Software Engineering, ICSE 2006. Association for Computing Machinery, Inc, p. 13-19 7 p.

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

  52. Motivations and support for single nested scoping in Ravenscar-Java

    Kwon, J. & Wellings, A., 2006, Fourth IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems and The Second International Workshop on Collaborative Computing, Integration, and Assurance, Proceedings. Kim, D., Enokido, T., Chen, Y. & Min, D. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 43-48 6 p.

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

  53. Object-orientation in the UTP

    Santos, T., Cavalcanti, A. & Sampaio, A., 2006, UNIFYING THEORIES OF PROGRAMMING. Dunne, S. & Stoddart, B. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 18-37 20 p.

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

  54. On permutation masks in Hamming negative selection

    Stibor, T., Timmis, J. & Eckert, C., 2006, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Bersini, H. & Carneiro, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 122-135 14 p.

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

  55. On the use of hyperspheres in artificial immune systems as antibody recognition regions

    Stibor, T., Timmis, J. & Eckert, C., 2006, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Bersini, H. & Carneiro, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 215-228 14 p.

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

  56. Origins of the Grid architectural style

    Cakic, J. & Paige, R. F., 2006, ICECCS 2006: 11TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS. Kawada, S. (ed.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 227-235 9 p.

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

  57. Persuasive technology for leisure and health: Development of a personal navigation tool

    McCreadie, C., Raper, J., Gunesh, A., Wood, J., Carey, K., Petrie, H., Wood, L., Survey, O., Tyler, S. & Biggs, S., 2006, PERSUASIVE TECHNOLOGY. IJsselsteijn, W., DeKort, Y., Midden, C., Eggen, B. & VandenHoven, E. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 187-194 8 p.

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

  58. Phoneme segmentation of speech

    Ziolko, B., Manandhar, S. & Wilson, R. C., 2006, 18th International Conference on Pattern Recognition, Vol 4, Proceedings. Tang, YY., Wang, SP., Lorette, G., Yeung, DS. & Yan, H. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 282-285 4 p.

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

  59. Pointers and records in the Unifying Theories of Programming

    Cavalcanti, A., Harwood, W. & Woodcock, J., 2006, UNIFYING THEORIES OF PROGRAMMING. Dunne, S. & Stoddart, B. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 200-216 17 p.

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

  60. Process and Product Certification Arguments − Getting the Balance Right

    Habli, I. & Kelly, T., 2006, 12th IEEE Real-Time and Embedded Technology and Applications Symposium.

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

  61. Programming execution-time servers in Ada 2005

    Burns, A. & Wellings, A. J., 2006, 27th IEEE International Real-Time Systems Symposium, Proceedings. Los Alamitos: IEEE COMPUTER SOC, p. 47-56 10 p. 4032335

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

  62. Qubus computation

    Munro, W. J., Nemoto, K., Spiller, T. P., Van Loock, P., Braunstein, S. L. & Milburn, G. J., 8 Nov 2006, Proceedings of SPIE - The International Society for Optical Engineering. Vol. 6305. 63050D

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

  63. Real-time memory management: Life and times

    Borg, A., Wellings, A., Gill, C. & Cytron, R. K., 2006, 18th Euromicro Conference on Real-Time Systems, Proceedings. NEW YORK: IEEE, p. 237-247 11 p.

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

  64. Refinement: An overview

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

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

  65. Reflectance from surfaces with layers of variable roughness

    Ragheb, H. & Hancock, E. R., 2006, 18th International Conference on Pattern Recognition, Vol 1, Proceedings. Tang, YY., Wang, SP., Lorette, G., Yeung, DS. & Yan, H. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 543-546 4 p.

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

  66. Remote usability evaluations with disabled people

    Petrie, H., Hamilton, F., King, N., Pavan, P., Grinter, R. (ed.), Rodden, T. (ed.), Aoki, P. (ed.), Cutrell, E. (ed.), Jeffries, R. (ed.) & Olson, G. (ed.), 2006, Proceedings of the Special Interest Group on Computer-Human Interaction 2006 Conference on Human Factors in Computing Systems. New York, NY, USA: ACM, p. 1133 - 1141

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

  67. Resource sharing in hierarchical fixed priority pre-emptive systems

    Davis, R. I. & Burns, A., Dec 2006, IEEE Real-Time Systems Symposium. p. 257-270

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

  68. Robust diffusion of structural flows for volumetric image interpolation

    Doshi, A. & Bors, A. G., 2006, 2006 IEEE International Conference on Image Processing, ICIP 2006, Proceedings. NEW YORK: IEEE, p. 1225-1228 4 p.

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

  69. SOM-based sparse binary encoding for AURA classifier

    O'Keefe, S. & Dekhtyarenko, O. K., 2006, IEEE International Conference on Neural Networks - Conference Proceedings. NEW YORK: IEEE, p. 966-972 7 p. 1716201

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

  70. Safety Specification of the Active Traffic Management Control System for English Motorways

    Arlow, A. J., Duffy, C. J. & McDermid, J. A., Jun 2006, The 1st Institution of Engineering and Technology International Conference on Systems Safety. p. 54-63 9 p.

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

  71. Scale estimation for kernel-based classification

    Nasios, N. & Bors, A. G., Sep 2006, Scale estimation for kernel-based classification: Proc. IEEE Workshop on Machine Learning for Signal Processing, Maynooth, Ireland. IEEE, p. 217-222 6 p.

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

  72. Security planning and refactoring in Extreme Programming

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

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

  73. Selective encryption of human skin in image sequences

    Rodrigues, J. M., Puech, W. & Bors, A. G., Oct 2006, Proc. IEEE Interernational Conference on Image Processing, Atlanta, GA, USA,. IEEE, p. 1981-1984 4 p.

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

  74. Smoothing tensor-valued images using anisotropic geodesic diffusion

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

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

  75. SoC specification using UML and actor-oriented modeling

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

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

  76. Structural flow smoothing for shape interpolation

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

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

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

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

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

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

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

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

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

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

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

  80. Term sense disambiguation for ontology learning

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

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

  81. The BROADEN distributed tool, service and data architecture

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

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

  82. The Fading Concept in Tuple-Space Systems

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

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

  83. The epsilon object language (EOL)

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

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

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

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

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

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

    Baez-Monroy, V. & O'Keefe, S., 1 Dec 2006, IEEE International Conference on Neural Networks - Conference Proceedings. p. 3518-3525 8 p. 1716581

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

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

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

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

  87. The impact of rule ranking on the quality of associative classifiers

    Thabtah, F., Cowling, P. & Peng, Y., 2006, Research and Development in Intelligent Systems XXII. Springer London, p. 277-287 11 p.

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

  88. The state problem for test generation in Simulink

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

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

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

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

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

  90. Three perspectives in formal engineering

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

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

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

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

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

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

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

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

  93. Towards an agile process for building software product lines

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

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

  94. UML + Z: UML augmented with Z

    Amálio, N., Polack, F. & Stepney, S., 2006, Software Specification Methods : an Overview Using a Case Study. Hermes Science Publishing

    Research output: Chapter in Book/Report/Conference proceedingChapter

  95. Unifying theories in ProofPower-Z

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

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

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

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

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

  97. Using a model merging language for reconciling model versions

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

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

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

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

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

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

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

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

  100. Verification of control systems using Circus

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

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

  101. Z/eyes and the Mondex Electronic Purse

    Woodcock, J. & Reitas, L., 2006, THEORETICAL ASPECTS OF COMPUTING - ICTAC 2006. BERLIN: SPRINGER-VERLAG BERLIN, p. 15-34 20 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter