Search research publications and outputs

  1. A Canonical Scheme for Model Composition

    Bézivin, J., Bouzitouna, S., Fabro, M. D. D., Gervais, M-P., Jouault, F., Kolovos, D. S., Kurtev, I. & Paige, R. F., 2006, p. 346-360.

    Research output: Contribution to conferencePaper

  2. A Computational Model of Degeneracy in a Lymph Node

    Andrews, P. & Timmis, J., 2006, p. 164-177.

    Research output: Contribution to conferenceOther

  3. A Formal Template Language Enabling Metaproof

    Amálio, N., Stepney, S. & Polack, F., 2006, p. 252-267.

    Research output: Contribution to conferencePaper

  4. A Layered Behavioural Model of Platelets

    Schneider, S., Treharne, H., Cavalcanti, A. & Woodcock, J., 2006, p. 98-106.

    Research output: Contribution to conferencePaper

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

  6. A co-design strategy for embedded Java applications based on a hardware interface with invocation semantics

    Borg, A., Gao, R. & Audsley, N., 1 Dec 2006, p. 58-67. 10 p.

    Research output: Contribution to conferencePaper

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

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

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

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

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

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

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

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

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

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

  17. Adaptivity in Question Answering with User Modelling and a Dialogue Interface

    Quarteroni, S. & Manandhar, S., 2006.

    Research output: Contribution to conferencePaper

  18. Agile development of secure web applications

    Ge, X., Paige, R. F., Polack, F., Chivers, H. & Brooke, P. J., 2006, p. 305-312. 7 p.

    Research output: Contribution to conferencePaper

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

  20. An Operational Semantics in UTP for a Language of Reactive Designs

    Woodcock, J., 2006, p. 84-84.

    Research output: Contribution to conferenceAbstract

  21. An action semantics for MOF 2.0

    Paige, R. F., Kolovos, D. S., Polack, F. & Haddad, H., 2006, p. 1304-1305.

    Research output: Contribution to conferencePaper

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

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

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

  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

  26. Approximating 3D facial shape from photographs using coupled statistical models

    Castelan, M., Smith, W. A. P. & Hancock, E. R., 2006, p. 89-98. 10 p.

    Research output: Contribution to conferencePaper

  27. Asynchronous Patterns for Dynamic Maintenance

    Oriol, M., 2006, Zurich: Citeseer.

    Research output: Working paper

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

  29. Automatic Translation from it ircus to Java

    Freitas, A. & Cavalcanti, A., 2006, p. 115-130.

    Research output: Contribution to conferencePaper

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

  31. Can we Remove the Human from Hazard Analysis?

    Alexander, R. & Kelly, T., 2006.

    Research output: Contribution to conferencePaper

  32. Cationic liposome-DNA complexes: From liquid crystal science to gene delivery applications

    Safinya, C. R., Ewert, K., Anmad, A., Evans, H. M., Raviv, U., Needleman, D. J., Lin, A. J., Slack, N. L., George, C., Samuel, C. E., Matharu, A. S., Li, M. H., Percec, V. & Seddon, J., 15 Oct 2006

    Article in Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences

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

  34. Combining Simulation with Machine Learning to Build Accident Models

    Alexander, R. & Kelly, T., 2006.

    Research output: Contribution to conferencePaper

  35. Communicating Complex Systems

    Welch, P. H., Barnes, F. R. M. & Polack, F., 2006, p. 107-120.

    Research output: Contribution to conferencePaper

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

  37. Computer-Driven Persuasive Dialogue: A Multi-Layer Reasoning Framework

    Andrews, P., Manandhar, S. & Boni, M. D., 2006, p. 787-788.

    Research output: Contribution to conferencePaper

  38. Contextual web accessibility: maximizing the benefit of accessibility guidelines

    Sloan, D., Heath, A., Hamilton, F., Kelly, B., Petrie, H. & Phipps, L., 2006, p. 121-131.

    Research output: Contribution to conferencePaper

  39. Demonstration of quantum telecloning of optical coherent states

    Koike, S., Takahashi, H., Yonezawa, H., Takei, N., Braunstein, S. L., Aoki, T. & Furusawa, A., 17 Feb 2006

    Article in Physical Review Letters

  40. Developing user requirements for visualizations of literature knowledge domains

    Faisal, S., Cairns, P. & Blandford, A., 2006, p. 264-269.

    Research output: Contribution to conferencePaper

  41. Deviational Analyses for Validating Regulations on Real Systems

    Polack, F., Srivatanakul, T., Kelly, T., Clark, J. A., Laleau, R. & Lemoine, M., 2006.

    Research output: Contribution to conferencePaper

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

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

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

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

  46. Engineering Emergence

    Stepney, S., Polack, F. & Turner, H. R., 2006, p. 89-97.

    Research output: Contribution to conferencePaper

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

  48. Establishing Private Communications in Open Systems using Multicapabilities

    Udzir, N. I. & Wood, A., 1 Apr 2006.

    Research output: Contribution to conferencePaper

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

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

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

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

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

  54. FSF: A Real-Time Scheduling Architecture Framework

    Aldea, M., Bernat, G., Broster, I., Burns, A., Dobrin, R., Drake, J. M., Fohler, G., Gai, P., Harbour, M. G., Guidi, G., Gutiérrez, J. J., Lennvall, T., Lipari, G., Martínez, J. M., Medina, J. L. & Trimarchi, M., 2006, p. 113-124.

    Research output: Contribution to conferencePaper

  55. Facial Shape Estimation in the Presence of Cast Shadows

    Smith, W. A. P. & Hancock, E. R., 2006, p. 779-788.

    Research output: Contribution to conferencePaper

  56. First Steps in the Verified Software Grand Challenge

    Woodcock, J., 2006, p. 203-206.

    Research output: Contribution to conferencePaper

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

  58. Flexibility and Manageability of IMS Projects

    Stephenson, Z., Nicholson, M. & McDermid, J. A., 2006.

    Research output: Contribution to conferencePaper

  59. Further investigations into post-completion error: the effects of interruption position and duration

    Li, S. Y. W., Cox, A. L., Blandford, A., Cairns, P., Young, R. M. & Abeles, A., 2006.

    Research output: Contribution to conferencePaper

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

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

  62. Generalization Regions in Hamming Negative Selection

    Stibor, T., Timmis, J. & Eckert, C., 2006, p. 447-456.

    Research output: Contribution to conferenceOther

  63. Generic component lookup

    Bay, T., Eugster, P. & Oriol, M., 2006, p. 182-197. 15 p.

    Research output: Contribution to conferencePaper

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

  65. Global Register Allocation, Register Allocation for Stack Machines

    Crispin-Bailey, C. & Shannon, M., Sep 2006. 8 p.

    Research output: Contribution to conferencePaper

  66. Gloss Overlap Extensions for a Semantic Network Algorithm: Building a Better Semantic Distance Measure

    Jayasooriya, T. & Manandhar, S., 2006, p. 74-79.

    Research output: Contribution to conferencePaper

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

  68. Grid Enabling Data De-Duplication

    Austin, J., Turner, A. & Alwis, S., 2006, p. 2.

    Research output: Contribution to conferencePaper

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

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

  71. Health Modelling for Agility in Safety Critical Systems Development

    Stephenson, Z. R., McDermid, J. A. & Ward, A. G., 2006.

    Research output: Contribution to conferencePaper

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

  73. Human Action Classification Using SVM_2K Classifier on Motion Features

    Meng, H., Pears, N. & Bailey, C., 2006, p. 458-465.

    Research output: Contribution to conferencePaper

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

  75. Human competitive security protocols synthesis

    Chen, H., Clark, J. A. & Jacob, J., 2006, p. 1855-1856.

    Research output: Contribution to conferencePaper

  76. Hypercomputation and the Grand Challenge in Non-Classical Computation

    Stepney, S., 2006.

    Research output: Contribution to conferencePaper

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

  78. Inductive Mercury Programming

    Fisher, B. & Cussens, J., 2006, p. 199-213.

    Research output: Contribution to conferencePaper

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

  80. Interactions Between Stereotypes

    Lock, Z. P. & Kudenko, D., 2006, p. 172-181.

    Research output: Contribution to conferencePaper

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

  82. Isoradius Contours: New Representations and Techniques for 3D Face Registration and Matching

    Pears, N. & Heseltine, T., 2006, p. 176-183.

    Research output: Contribution to conferencePaper

  83. Knowledge Engineering Using the UML Profile - Adopting the Model-Driven Architecture for Knowledge-Based System Development

    Abdullah, M. S., Paige, R. F., Benest, I. D. & Kimble, C., 2006, p. 74-81.

    Research output: Contribution to conferencePaper

  84. Knowledge Modelling Using The UML Profile

    Abdullah, M. S., Paige, R. F., Benest, I. D. & Kimble, C., 2006, p. 70-77. 7 p.

    Research output: Contribution to conferencePaper

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

  86. Learning Worst-Case Execution Time Loop Bounds with Inductive Logic Programming

    Kazakov, D., Bate, I., Muggleton, S. (ed.) & Otero, R. (ed.), 1 Aug 2006, Santiago de Compostela: University of Corunna.

    Research output: Book/ReportCommissioned report

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

  88. Macroscopic entanglement by entanglement swapping

    Pirandola, S., Vitali, D., Tombesi, P. & Lloyd, S., 13 Oct 2006

    Article in Physical Review Letters

  89. Managing Architectural Design Decisions for Safety-Critical Software Systems

    Wu, W. & Kelly, T., 2006, p. 59-77.

    Research output: Contribution to conferencePaper

  90. Managing Automatically Formed Mathematical Theories

    Colton, S., Torres, P., Cairns, P. A. & Sorge, V., 2006, p. 237-250.

    Research output: Contribution to conferencePaper

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

  92. Mechanising a Unifying Theory

    Nuka, G. & Woodcock, J., 2006, p. 217-235.

    Research output: Contribution to conferencePaper

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

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

  95. Merging Models with the Epsilon Merging Language (EML)

    Kolovos, D. S., Paige, R. F. & Polack, F., 2006, p. 215-229.

    Research output: Contribution to conferencePaper

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

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

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

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

  100. Model-based uncertainty in species range prediction

    Pearson, R. G., Thuiller, W., Araujo, M. B., Martinez-Meyer, E., Brotons, L., McClean, C., Miles, L., Segurado, P., Dawson, T. P. & Lees, D. C., Oct 2006

    Article in Journal of biogeography

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

  102. Multi-cultural visualization: how functional programming can enrich visualization (and vice versa)

    Borgo, R., Duke, D., Wallace, M. & Runciman, C., 1 Nov 2006.

    Research output: Contribution to conferencePaper

  103. Object distance and its application to adaptive random testing of object-oriented programs

    Ciupa, I., Leitner, A., Oriol, M. & Meyer, B., 2006, p. 63.

    Research output: Contribution to conferencePaper

  104. Object-Orientation in the UTP

    Santos, T. L. V. L., Cavalcanti, A. & Sampaio, A., 2006, p. 18-37.

    Research output: Contribution to conferencePaper

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

  106. On Diversity and Artificial Immune Systems: Incorporating a Diversity Operator into aiNET.

    Andrews, P. & Timmis, J., 2006, p. 293-306.

    Research output: Contribution to conferenceOther

  107. On Permutation Masks in Hamming Negative Selection

    Stibor, T., Timmis, J. & Eckert, C., 2006, p. 122-135.

    Research output: Contribution to conferenceOther

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

  109. On posture as a modality for expressing and recognizing emotions

    Bianchi-Berthouze, N., Cairns, P., Cox, A., Jennett, C. & Kim, W. W., 2006.

    Research output: Contribution to conferencePaper

  110. On the Accuracy of Tactile Displays

    Power, C., 2006, p. 1155-1162.

    Research output: Contribution to conferencePaper

  111. On the Investigation of Artificial Immune Systems on Imbalanced Data Classification for Power Distrubution System Fault Cause Identification

    Xu, L., Chow, M-Y., Timmis, J., Taylor, L. & Watkins, A., 1 Jul 2006, p. 1629-1634.

    Research output: Contribution to conferenceOther

  112. On the Use of Hyperspheres in Artificial Immune Systems as Antibody Recognition Regions

    Stibor, T., Timmis, J. & Eckert, C., 2006, p. 215-228.

    Research output: Contribution to conferenceOther

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

  114. Origins of the Grid Architectural Style

    Cakic, J. & Paige, R. F., 2006, p. 227-235. 8 p.

    Research output: Contribution to conferencePaper

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

  116. People with Disabilities: Automatic and Manual Evaluation of Web Sites

    Petrie, H. & Weber, G., 2006, p. 152-155.

    Research output: Contribution to conferencePaper

  117. 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, p. 187-190.

    Research output: Contribution to conferencePaper

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

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

  120. Phoneme segmentation of speech

    Ziólko, B., Manandhar, S. & Wilson, R. C., 1 Sep 2006, p. 282-285. 4 p.

    Research output: Contribution to conferencePaper

  121. Pointers and Records in the Unifying Theories of Programming

    Cavalcanti, A., Harwood, W. & Woodcock, J., 2006, p. 200-216.

    Research output: Contribution to conferencePaper

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

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

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

  125. Propagation algorithms for lexicographic ordering constraints

    Frisch, A. M., Hnich, B., Kiziltan, Z., Miguel, I. & Walsh, T., Jul 2006

    Article in Artificial Intelligence

  126. Quantifying the experience of immersion in games

    Cairns, P., Cox, A., Berthouze, N., Dhoparee, S. & Jennett, C., 2006.

    Research output: Contribution to conferencePaper

  127. Quantum computation by communication

    Spiller, T. P., Nemoto, K., Braunstein, S. L., Munro, W. J., Van Loock, P. & Milburn, G. J., 27 Feb 2006

    Article in New Journal of Physics

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

  129. Qubus computation - art. no. 63050D

    Munro, W. J., Nemoto, K., Spiller, T. P., van Loock, P., Braunstein, S. L. & Milburn, G. J., 2006, p. D3050.

    Research output: Contribution to conferencePaper

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

  131. Recognising regular human activity through a learning context memory

    Mohr, P., Ryan, N. & Timmis, J., 2006.

    Research output: Contribution to conferenceOther

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

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

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

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

  136. Retrenching the Purse: Hashing Injective CLEAR Codes, and Security Properties

    Banach, R., Poppleton, M., Jeske, C. & Stepney, S., 2006, p. 82-90.

    Research output: Contribution to conferencePaper

  137. Retrenching the Purse: Finite Exception Logs, and Validating the Small

    Banach, R., Poppleton, M. & Stepney, S., 2006, p. 234-248.

    Research output: Contribution to conferencePaper

  138. Robust Diffusion of Structural Flows for Volumetric Image Interpolation

    Doshi, A. & Bors, A. G., Sep 2006, p. 1225-1228. 4 p.

    Research output: Contribution to conferencePaper

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

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

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

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

  143. Security Planning and Refactoring in Extreme Programming: Extreme Programming and Agile Processes in Software Engineering

    Aydal, E. G., Paige, R. F., Chivers, H., Brooke, P. J., Abrahamsson, P. (ed.), Marchesi, M. (ed.) & Succi, G. (ed.), 2006

    Article in Lecture Notes in Computer Science

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

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

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

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

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

  149. Structuring Safety Policy Decomposition

    Hall-May, M. & Kelly, T., 2006.

    Research output: Contribution to conferencePaper

  150. Sustainable Scheduling Analysis

    Baruah, S. K. & Burns, A., 2006, p. 159-168.

    Research output: Contribution to conferencePaper

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

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

  153. Taking Our Own Medicine: Applying the Refinement Calculus to State-Rich Refinement Model Checking

    Freitas, L., Cavalcanti, A. & Woodcock, J., 2006, p. 697-716.

    Research output: Contribution to conferencePaper

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

  155. Tensor MRI Regularization via Graph Diffusion

    Zhang, F. & Hancock, E. R., 2006, p. 589-598.

    Research output: Contribution to conferencePaper

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

  157. Test Case Management Tools for Accessibility Testing

    Herramhof, S., Petrie, H., Strobbe, C., Vlachogiannis, E., Weimann, K., Weber, G. & Velasco, C. A., 2006, p. 215-222.

    Research output: Contribution to conferencePaper

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

  159. The Epsilon Object Language (EOL)

    Kolovos, D. S., Paige, R. F. & Polack, F., 2006, p. 128-142.

    Research output: Contribution to conferencePaper

  160. The Fading Concept in Tuple-Space Systems

    Menezes, R. & Wood, A. M., 2006, p. 440--444.

    Research output: Contribution to conferencePaper

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

  162. The Link between r-contiguous Detectors and k-CNF Satisfiability

    Stibor, T., Timmis, J. & Eckert, C., 2006.

    Research output: Contribution to conferenceOther

  163. The View Glue

    Radjenovic, A. & Paige, R. F., 2006, p. 66-88. 22 p.

    Research output: Contribution to conferencePaper

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

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

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

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

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

    Baez-Monroy, V. O. & O'Keefe, S., 2006, p. 3518-3525.

    Research output: Contribution to conferencePaper

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

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

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

  172. Theoretical Aspects of Computing: ICTAC 2006, Third International Colloquium, Tunis, Tunisia, November 20-24, 2006, Proceedings

    Barkaoui, K. (ed.), Cavalcanti, A. (ed.) & Cerone, A. (ed.), 2006, Springer. (Lecture Notes in Computer Science; vol. 4281)

    Research output: Book/ReportBook

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

  174. Towards Evidence-Based Architectural Design for Safety-Critical Software Applications

    Wu, W. & Kelly, T., 2006, p. 383-408.

    Research output: Contribution to conferencePaper

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

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

  177. Towards a Practical Process for Automated Safety Analysis

    Lisagor, O., McDermid, J. A. & Pumfrey, D. J., 2006.

    Research output: Contribution to conferencePaper

  178. Towards an Agile Process for Building Software Product Lines

    Paige, R. F., Wang, X., Stephenson, Z. R., Brooke, P. J., Abrahamsson, P., Marchesi, M. & Succi, G., 2006, p. 198-199. 11 p.

    Research output: Contribution to conferencePaper

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

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

  181. Unconventional Computation: 5th International Conference, UC 2006, York, UK, September 4-8, 2006, Proceedings

    Calude, C. S., Dinneen, M. J., Paun, G., Rozenberg, G. & Stepney, S., 2006, Springer. (Lecture Notes in Computer Science; vol. 4135)

    Research output: Book/ReportBook

  182. Unifying Theories in ProofPower-Z

    Oliveira, M., Cavalcanti, A. & Woodcock, J., 2006, p. 123-140.

    Research output: Contribution to conferencePaper

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

  184. Unraveling the sequence and structure of the protein osteocalcin from a 42 ka fossil horse

    Ostrom, P. H., Gandhi, H., Strahler, J. R., Walker, A. K., Andrews, P. C., Leykam, J., Stafford, T. W., Kelly, R. L., Walker, D. N., Buckley, M. & Humpula, J., 15 Apr 2006

    Article in Geochimica et Cosmochimica Acta

  185. Unsupervised Word Sense Disambiguation Using The WWW

    Klapaftis, I. P. & Manandhar, S., 2006, p. 174-183.

    Research output: Contribution to conferencePaper

  186. User Modeling for Adaptive Question Answering and Information Retrieval

    Quarteroni, S. & Manandhar, S., 2006, p. 776-781.

    Research output: Contribution to conferencePaper

  187. Using Agent-Based Modelling Approaches to Support the Development of Safety Policy for Systems of Systems

    Hall-May, M. & Kelly, T., 2006, p. 330-343.

    Research output: Contribution to conferencePaper

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

  189. Using Context to Support Effective Use of Web Content Accessibility Guidelines

    Sloan, D., Kelly, B., Petrie, H., Hamilton, F. & Phipps, L., 2006

    Article in J. Web Eng.

  190. Using a Model Merging Language for Reconciling Model Versions

    Engel, K-D., Paige, R. F. & Kolovos, D. S., 2006, p. 143-157.

    Research output: Contribution to conferencePaper

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

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

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

  194. Verification of Control Systems using Circus

    Cavalcanti, A. & Clayton, P., 2006, p. 269-278.

    Research output: Contribution to conferencePaper

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

  196. Verified Software: A Grand Challenge

    Jones, C. B., O'Hearn, P. W. & Woodcock, J., Apr 2006

    Editorial in Computer

  197. Verified Software Grand Challenge

    Woodcock, J., 2006, p. 617-617.

    Research output: Contribution to conferencePaper

  198. Voronoi diagrams, vectors and the visually impaired

    Power, C., Gill, D. & Daley, M., 2006, p. 1247-1252.

    Research output: Contribution to conferencePaper

  199. Z/Eves and the Mondex Electronic Purse

    Woodcock, J. & Freitas, L., 2006, p. 15-34.

    Research output: Contribution to conferencePaper

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