Search research publications and outputs

  1. Article › Research › Peer-reviewed
  2. 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

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

  4. Macroscopic entanglement by entanglement swapping

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

    Article in Physical Review Letters

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

  6. Propagation algorithms for lexicographic ordering constraints

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

    Article in Artificial Intelligence

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

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

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

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

  11. Book/Film/Article review › Research › Peer-reviewed
  12. Editorial › Research › Peer-reviewed
  13. Verified Software: A Grand Challenge

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

    Editorial in Computer

  14. Book › Research
  15. 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

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

  17. Commissioned report › Research
  18. 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

  19. Paper › Research › Not peer-reviewed
  20. 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

  21. Can we Remove the Human from Hazard Analysis?

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

    Research output: Contribution to conferencePaper

  22. Combining Simulation with Machine Learning to Build Accident Models

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

    Research output: Contribution to conferencePaper

  23. Communicating Complex Systems

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

    Research output: Contribution to conferencePaper

  24. Developing user requirements for visualizations of literature knowledge domains

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

    Research output: Contribution to conferencePaper

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

  26. Engineering Emergence

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

    Research output: Contribution to conferencePaper

  27. Establishing Private Communications in Open Systems using Multicapabilities

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

    Research output: Contribution to conferencePaper

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

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

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

    Stepney, S., 2006.

    Research output: Contribution to conferencePaper

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

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

  33. Quantifying the experience of immersion in games

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

    Research output: Contribution to conferencePaper

  34. The Fading Concept in Tuple-Space Systems

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

    Research output: Contribution to conferencePaper

  35. Towards a Practical Process for Automated Safety Analysis

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

    Research output: Contribution to conferencePaper

  36. Paper › Research › Peer-reviewed
  37. 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

  38. A Formal Template Language Enabling Metaproof

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

    Research output: Contribution to conferencePaper

  39. A Layered Behavioural Model of Platelets

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

    Research output: Contribution to conferencePaper

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

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

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

    Research output: Contribution to conferencePaper

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

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

  44. Automatic Translation from it ircus to Java

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

    Research output: Contribution to conferencePaper

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

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

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

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

  49. First Steps in the Verified Software Grand Challenge

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

    Research output: Contribution to conferencePaper

  50. Flexibility and Manageability of IMS Projects

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

    Research output: Contribution to conferencePaper

  51. Generic component lookup

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

    Research output: Contribution to conferencePaper

  52. Global Register Allocation, Register Allocation for Stack Machines

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

    Research output: Contribution to conferencePaper

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

  54. Grid Enabling Data De-Duplication

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

    Research output: Contribution to conferencePaper

  55. Health Modelling for Agility in Safety Critical Systems Development

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

    Research output: Contribution to conferencePaper

  56. Human competitive security protocols synthesis

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

    Research output: Contribution to conferencePaper

  57. Inductive Mercury Programming

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

    Research output: Contribution to conferencePaper

  58. Interactions Between Stereotypes

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

    Research output: Contribution to conferencePaper

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

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

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

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

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

    Research output: Contribution to conferencePaper

  63. Managing Automatically Formed Mathematical Theories

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

    Research output: Contribution to conferencePaper

  64. Mechanising a Unifying Theory

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

    Research output: Contribution to conferencePaper

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

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

  67. Object-Orientation in the UTP

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

    Research output: Contribution to conferencePaper

  68. On the Accuracy of Tactile Displays

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

    Research output: Contribution to conferencePaper

  69. Origins of the Grid Architectural Style

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

    Research output: Contribution to conferencePaper

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

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

    Research output: Contribution to conferencePaper

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

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

  73. Pointers and Records in the Unifying Theories of Programming

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

    Research output: Contribution to conferencePaper

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

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

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

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

  78. Structuring Safety Policy Decomposition

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

    Research output: Contribution to conferencePaper

  79. Sustainable Scheduling Analysis

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

    Research output: Contribution to conferencePaper

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

  81. Tensor MRI Regularization via Graph Diffusion

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

    Research output: Contribution to conferencePaper

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

  83. The Epsilon Object Language (EOL)

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

    Research output: Contribution to conferencePaper

  84. The View Glue

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

    Research output: Contribution to conferencePaper

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

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

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

    Research output: Contribution to conferencePaper

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

  88. Unifying Theories in ProofPower-Z

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

    Research output: Contribution to conferencePaper

  89. Unsupervised Word Sense Disambiguation Using The WWW

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

    Research output: Contribution to conferencePaper

  90. User Modeling for Adaptive Question Answering and Information Retrieval

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

    Research output: Contribution to conferencePaper

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

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

  93. Verification of Control Systems using Circus

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

    Research output: Contribution to conferencePaper

  94. Verified Software Grand Challenge

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

    Research output: Contribution to conferencePaper

  95. Voronoi diagrams, vectors and the visually impaired

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

    Research output: Contribution to conferencePaper

  96. Z/Eves and the Mondex Electronic Purse

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

    Research output: Contribution to conferencePaper

  97. Abstract › Research › Peer-reviewed
  98. An Operational Semantics in UTP for a Language of Reactive Designs

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

    Research output: Contribution to conferenceAbstract

  99. Other › Research › Not peer-reviewed
  100. A Computational Model of Degeneracy in a Lymph Node

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

    Research output: Contribution to conferenceOther

  101. Generalization Regions in Hamming Negative Selection

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

    Research output: Contribution to conferenceOther

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

  103. On Permutation Masks in Hamming Negative Selection

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

    Research output: Contribution to conferenceOther

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

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

  106. Recognising regular human activity through a learning context memory

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

    Research output: Contribution to conferenceOther

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

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

    Research output: Contribution to conferenceOther

  108. Other contribution › Research
  109. Eliciting Perceptual Ground Truth for Image Segmentation

    Hodge, V. J., Eakins, J. & Austin, J., 1 Feb 2006, 78 p. Department of Computer Science, University of York, UK

    Research output: Other contribution

  110. Chapter › Research
  111. Multi-cultural visualization : how functional programming can enrich visualization (and vice versa)

    Borgo, R., Duke, D., Wallace, M. & Runciman, C., 22 Nov 2006, Vision, Modeling, and Visualization 2006 : Proceedings, November 22 - 24, 2006. AKA Verlag - IOS Press, p. 245-252 7 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  112. The Signal Data Explorer: A high performance Grid based signal search tool for use in distributed diagnostic applications

    Fletcher, M., Jackson, T., Jessop, M., Liang, B. & Austin, J., 2006, Sixth IEEE International Symposium on Cluster Computing and the Grid. Turner, SJ., Lee, BS. & Cai, W. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 217-224 8 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

  115. Conference contribution › Research
  116. A Binary Neural Shape Matcher using Johnson Counters and Chain Codes

    Hodge, V., O'Keefe, S. & Austin, J., 10 Mar 2006, BICS.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  147. Face recognition using 2.5D shape information

    Smith, W. A. P. & Hancock, E. R., 22 Dec 2006, Proceedings - 2006 IEEE Computer Society Conference on Computer Vision and Pattern Recognition, CVPR 2006. p. 1407-1414 8 p. 1640922. (Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition; vol. 2).

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  177. Polarization-based surface reconstruction via patch matching

    Atkinson, G. & Hancock, E., 22 Dec 2006, Proceedings - 2006 IEEE Computer Society Conference on Computer Vision and Pattern Recognition, CVPR 2006. p. 495-502 8 p. 1640797. (Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition; vol. 1).

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  217. Other chapter contribution › Research
  218. 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

  219. Working paper › Research
  220. Asynchronous Patterns for Dynamic Maintenance

    Oriol, M., 2006, Zurich: Citeseer.

    Research output: Working paper