Computer Science: Publication Index 2003

• Student Modelling by Adaptive Testing - A Knowledge-based Approach. Sophiana Chua Abdullah. PhD thesis, Computing Laboratory, University of Kent, Canterbury, Kent, UK, June 2003.
• Simple position estimation for wireless sensor networks. AT Adebutu, L Sacks, and I W Marshall. In LCS-2003, 2003.
• A Relational Approach to Defining and Implementing Transformations in Metamodels. David Akehurst, Stuart Kent, and Octavian Patrascoiu. Software and Systems Modeling, 2(4):215-239, December 2003.
• OCL 2.0: Implementing the Standard. David Akehurst, Peter Linington, and Octavian Patrascoiu. Technical report, University of Kent, Computing Laboratory, November 2003.
• Design and Verification of Distributed Multi-media Systems. D.H. Akehurst, B. Bordbar, J. Derrick, and A.G. Waters. Technical Report 1-03, University of Kent, Computing Laboratory, January 2003.
• Addressing Computational Viewpoint Design. D.H. Akehurst, J. Derrick, and A.G. Waters. In Seventh IEEE International Enterprise Distributed Object Computing Conference - EDOC 2003, Brisbane, Australia, September 2003. IEEE Computer Society.
• Design and Verification of Distributed Multi-media Systems. D.H. Akehurst, J. Derrick, and A.G. Waters. In Elie Najm, Uwe Nestmann, and Perdita Stevens, editors, FMOODS 2003 - 6th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, volume 2884 of Lecture Notes in Computer Science, pages 276-292. Springer, November 2003.
• Tooling Metamodels with Patterns and OCL. D. H. Akehurst and O. Patrascoiu. In Proceedings of the Metamodelling for MDA Workshop, York, November 2003.
• OCL: Implementing the Standard. David Akehurst and Octavian Patrascoiu. In OCL2.0-"Industry standard or scientific playground?" - Proceedings of the UML'03 workshop, page 19. Electronic Notes in Theoretical Computer Science, November 2003.
• Colour merging for the visualization of biomolecular sequence data. Mark Alston, Gary Robinson, and Colin G. Johnson. In E. Banissi, K. Borner, C. Chen, G. Clapworthy, C. Maple, A. Lobben, C. Moore, J. Roberts, A. Ursyn, and J. Zhang, editors, Proceedings of the Seventh International Conference on Information Visualization, pages 169-175. IEEE Computer Society, July 2003.
• Knowledge-based Debugging: Matching Program Behaviour Against Known Causes of Failure. Michael McMillan Andrews. PhD thesis, Computing Laboratory, University of Kent, Canterbury, Kent, UK, January 2003.
• Development of a verified Erlang program for resource locking. Thomas Arts, Clara Benac Earle, and John Derrick. Software Tools for Technology Transfer (STTT), May 2003. To be published as a regular paper.
• A Circus semantics for Ravenscar protected objects. Diyaa-Addein Atiya, Steve King, and Jim Woodcock. In FM 2003: 12th international FME Symposium, Pisa, 2003. Lecture Notes in Computer Science.
• Ravenscar protected objects: a Circus semantics. Diyaa-Addein Atiya, Steve King, and Jim Woodcock. Technical Report YCS 356(2003), Department of Computer Science, University of York, 2003.
• A Procedure to Translate PARADIGM Specifications to Propositional Linear Temporal Logic and its Application to Verification. Juan Carlos Augusto and Rodolfo Sabas Gomez. International Journal of Software Engineering and Knowledge Engineering, 13(6):627-654, December 2003.
• Session Limited vs. Persistent Role Membership. Jean Bacon, Ken Moody, David Chadwick, and Sassa Otenko. In Seventeenth Annual IFIP WG 11.3 Working Conference on Database and Applications Security at Estes Park, Colorado, August 2003.
• The implementation of a system for evaluating trust in a PKI environment. E. Ball, D.W. Chadwick, and A. Basden. In Otto Petrovic, Michael Ksela, Markus Fallenbock, and Christian Kitti, editors, Trust in the Network Economy, Evolaris, volume 2, pages 263-279. SpringerWein, 2003.
• Patient privacy in electronic prescription transfer. E. Ball, D.W. Chadwick, and D. Mundy. IEEE Security & Privacy magazine, pages 77-80, March 2003.
• Seventh international conference on information visualization (iv 03). E. Banissi, K. Borner, C. Chen, G. Clapworthy, C. Maple, A. Lobben, C. Moore, J. Roberts, A. Ursyn, and J. Zhang, editors. IEEE Computer Society, July 2003.
• RMoX: A raw-metal occam experiment. Fred Barnes, Christian Jacobsen, and Brian Vinter. In J.F. Broenink and G.H. Hilderink, editors, Communicating Process Architectures 2003, volume 61 of Concurrent Systems Engineering Series, pages 269-288, Amsterdam, The Netherlands, September 2003. IOS Press.
• Prioritised Dynamic Communicating and Mobile Processes. F.R.M. Barnes and P.H. Welch. IEE Proceedings-Software, 150(2):121-136, April 2003.
• occwserv: An occam web-server. Fred Barnes. In J.F. Broenink and G.H. Hilderink, editors, Communicating Process Architectures 2003, volume 61 of Concurrent Systems Engineering Series, pages 251-268, Amsterdam, The Netherlands, September 2003. IOS Press.
• Dynamics and pragmatics for high performance concurrency. Frederick R.M. Barnes. PhD thesis, University of Kent at Canterbury, June 2003.
• Identifying the Dominant Personality and Attitudinal Traits in Computer Science Students. Ian Benest, Janet Carter, and Jane Chandler. In Proceedings of the International Conference on Engineering Education 2003, Valencia, July 2003.
• Guest Editorial on Artificial Immune Systems. P Bentley and J Timmis. Genetic Programming and Evolvable Machines, 4(4):307-309, December 2003.
• Special Issue on Artificial Immune Systems. P Bentley and J Timmis. In Genetic Programming and Evolvable Machines, volume 4(4), pages 307-403. Kluwer, December 2003.
• A high-level view of Java applications. Eric Bodden. In OOPSLA'03 ACM SIGPLAN Conference on Object-Oriented Systems, Languages and Applications (Companion), pages 384-385, Anaheim, CA, October 2003. ACM Press. Finalist in the ACM SIGPLAN Student Research Competition, 2003.
• JAnalyzer, a visual static analyzer for Java. Eric Bodden. Technical Report 14-03, University of Kent, Computing Laboratory, July 2003. Submitted to the SET Awards, 2003.
• Editorial: Special issue on Refinement. Eerke Boiten, Tim Denvir, John Derrick, and Joakim von Wright. Formal Aspects of Computing, 15(2):101-102, November 2003.
• Exploring UML refinement through unification. E.A. Boiten and M.C. Bujorianu. In J. J"urjens, B. Rumpe, R. France, and E.B. Fernandez, editors, Critical Systems Development with UML - Proceedings of the UML'03 workshop, number TUM-I0323, pages 47-62. Technische Universit"at M"unchen, September 2003.
• Getting to the Bottom of Relational Refinement: Relations and Correctness, Partial and Total. Eerke Boiten and Willem-Paul de Roever. In R. Berghammer and B. M"oller, editors, 7th International Seminar on Relational Methods in Computer Science (RelMiCS 7), pages 82-88. University of Kiel, May 2003.
• A relational framework for the integration of specifications. Eerke Boiten and John Derrick. Journal of Integrated Design and Process Science, 7(3):39-48, September 2003.
• Book review: Concepts in Programming Languages, by John Mitchell. E.A. Boiten. Journal of Functional Programming, 13(6):1087-1088, November 2003.
• An innovative application of a constrained-syntax genetic programming system to the problem of predicting survival of patients.. CC Bojarczuk, HS Lopes, and AA Freitas. In C. Ryan, M. Keijzer, R. Poli, T. Soule, E. Tsang, and E. Costa, editors, Genetic Programming: Proc. 6th European Conference (EuroGP-2003), volume 2610 of Lecture Notes in Computer Science. Springer-Verlag, April 2003.
• Towards Coordination-Intensive Visualization Software. Nadia Boukhelifa, Jonathan Roberts, and Peter Rodgers. In Proceedings PREP 2003 - Postgraduate Research Conference in Electronics, Photonics, Communications and Software, pages 199-200. Sponsored by EPSRC and IEEE, April 2003.
• A Coordination Model for Exploratory Multi-View Visualization. Nadia Boukhelifa, Jonathan C. Roberts, and Peter Rodgers. In Jonathan Roberts, editor, Proceedings of the International Conference on Coordinated and Multiple Views in Exploratory Visualization (CMV 2003), pages 76-85. IEEE, July 2003.
• A model and software system for coordinated and multiple views in exploratory visualization. Nadia Boukhelifa and Peter Rodgers. Information Visualization, 2(4):258-269, December 2003.
• Movement as an Aid to Understanding Graphs. John Bovey, Peter Rodgers, and Florence Benoy. In Seventh International Conference on Information Visualization (IV03), pages 472-478. IEEE, July 2003.
• Providing web access to a catalogue if British newspaper cartoons. John Bovey. Program, 37(1):16-24, January 2003.
• Mexitl: Multimedia in executable interval temporal logic. H. Bowman, H. Cameron, P. King, and S.J. Thompson. Formal Methods in System Design, 22:5-38, January 2003.
• Towards a neural network model of the attentional blink (abstract). H. Bowman and P.J. Barnard. In Steven Grossberg, editor, Proceedings of Seventh International Conference on Cognitive and Neural Systems, May 2003, page 31. Centre for Adaptive Systems and the Department of Cognitive and Neural Systems, Boston University, May 2003.
• A decision procedure and complete axiomatization of finite interval temporal logic with projection. H. Bowman and S.J. Thompson. Journal of Logic and Computation, 13(2):195-239, April 2003.
• An introduction to the Kent C++CSP library. N.C.C. Brown and P.H. Welch. In J.F. Broenink and G.H. Hilderink, editors, Communicating Process Architectures 2003, volume 61 of Concurrent Systems Engineering Series, pages 139-156, Amsterdam, The Netherlands, September 2003. IOS Press.
• Model Checking Stochastic Automata. J. Bryans, H. Bowman, and J. Derrick. ACM Transactions on Computational Logic, 4(4):452-492, October 2003.
• An operational semantics for Handel-C. Andrew Butterfield and Jim Woodcock. Journal of Software Tools for Technology Transfer, 2003. Invited paper. To be published.
• An operational semantics for Handel-C. Andrew Butterfield and Jim Woodcock. In FMICS workshop on Formal Methods for Industrial Critical Systems. Electronic Notes in Theoretical Computer Science, Elsevier, 2003.
• A High-level Framework for Policy-based Management of Distributed Systems. Jovan Cakic. PhD thesis, Computing Laboratory, University of Kent, Canterbury, Kent, UK, December 2003.
• Modelling Reactive Multimedia: Events and Behaviours. Helen Cameron, Peter King, and Simon Thompson. Multimedia Tools and Applications, 19(1):53-77, January 2003.
• An Evolving Ontogenetic Cellular System for Better Adaptiveness. M Capcarrere. BioSystems, 2003. To appear.
• How Shall We Assess This?. Janet Carter, John English, Kirsti Ala-Mutka, Martin Dick, William Fone, Ursula Fuller, and Judy Sheard. ACM SIGCSE Bulletin, 35(4):107-123, December 2003.
• A critical review of rule surprisingness measures. DR Carvalho, AA Freitas, and NFF Ebecken. In NFF Ebecken, CA Brebbia, and A Zanasi, editors, Proc. Data Mining IV - Int. Conf. on Data Mining, pages 545-556. WIT Press, December 2003.
• A Refinement Strategy for Circus. A L C Cavalcanti, A C A Sampaio, and J C P Woodcock. Formal Aspects of Computing, 15(2-3):146-181, 2003.
• A unified language of classes and processes. A L C Cavalcanti, A C A Sampaio, and J C P Woodcock. In St Eve: State-Oriented vs. Event-Oriented Thinking in Requirements Analysis, Formal Specification and Software Engineering, Satellite Workshop at FM'03, 2003.
• Predicate transformers in the semantics of Circus. A L C Cavalcanti and J C P Woodcock. IEE Proceedings Software, 150(1), February 2003. Invited paper.
• Experiences of using a PKI to access a hospital information system by high street opticians. D.W. Chadwick, D. Mundy, and J. New. Computer Communications special edition on PKI, 26:1893-1903, October 2003.
• Implementing role based access controls using X.509 attribute certificates. D.W. Chadwick, A. Otenko, and E. Ball. IEEE Internet Computing, pages 62-69, March 2003.
• Modifying LDAP to Support PKIs. D.W. Chadwick, M. Sahalayev, and E. Ball. In Seventeenth Annual IFIP WG 11.3 Working Conference on Database and Applications Security at Estes Park, Colorado, August 2003.
• Policy Based Electronic Transmission of Prescriptions. D.W. Chadwick and D. Mundy. In Proc of Fourth IEEE Int Workshop on Policies for Distributed Systems and Networks, Lake Como, Italy, pages 197-206, June 2003.
• A Comparison of the Akenti and PERMIS Authorization Infrastructures in Ensuring Security in IT Infrastructures. D. Chadwick and O. Otenko. In Mahmoud T El-Hadidi, editor, Proceedings of the ITI First International Conference on Information and Communications Technology (ICICT 2003) Cairo University, pages 5-26, 2003.
• The PERMIS X.509 role based privilege management infrastructure. D.W. Chadwick and A. Otenko. Future Generation Computer Systems, 19(2):277-289, February 2003.
• Internet x.509 public key infrastructure ldap schema for x.509 attribute certificates. D.W. Chadwick and M. V. Sahalayev. Internet Draft, June 2003.
• Internet x.509 public key infrastructure ldap schema for x.509 crls. D.W. Chadwick and M. V. Sahalayev. Internet Draft, June 2003.
• An Authorisation Interface for the GRID. D. W. Chadwick. In E-Science All Hands Meeting 2003, Nottingham, September 2003.
• Deficiencies in LDAP when used to support a public key infrastructure. D.W. Chadwick. Communications of the ACM, 46(3):99-104, March 2003.
• The X.509 privilege management infrastructure. D.W. Chadwick. In Borka Jerman-Blazic, Wolfgang Schneider, and Tomaz Klobucar, editors, Proceedings of the NATO Advanced Networking Workshop on Advanced Security Technologies in Networking, Bled, Slovenia, page 1525. IOS Press, June 2003.
• Extrovert or Introvert? The Real Personalities of Computing Students. Jane Chandler, Janet Carter, and Ian Benest. In Proceedings of 4th Annual LTSN-ICS conference, Galway, August 2003. LTSN-ICS.
• Lazy assertions. Olaf Chitil, Dan McNeill, and Colin Runciman. In Draft Proceedings of the 15th International Workshop on Implementation of Functional Languages, IFL 2003, pages 31-46, Edinburgh, Scotland, September 2003.
• Transforming Haskell for tracing. Olaf Chitil, Colin Runciman, and Malcolm Wallace. In Ricardo Pena and Thomas Arts, editors, Implementation of Functional Languages: 14th International Workshop, IFL 2002, LNCS 2670, pages 165-181, March 2003. Madrid, Spain, 16-18 September 2002.
• Theories of complexity. D F Chu, R Strand, and R Fjelland. Complexity, 8(3):19-30, January 2003.
• Testing and Tracing Lazy Functional Programs using QuickCheck and Hat. Koen Claessen, Colin Runciman, Olaf Chitil, John Hughes, and Malcolm Wallace. In 4th Summer School in Advanced Functional Programming, number 2638 in LNCS, pages 59-99, Oxford, August 2003.
• Aspect-Oriented Metamodelling. A Clark, A Evans, and S Kent. AOP and separation of crosscutting concerns, 2003. To appear in a Special issue of the Computer Journal, issue to be announced.
• Suggestion Schemes and Communication. Roger Cooley, Conny Helbling, and Ursula Fuller. In Stephen Partingson and John Shutt, editors, Conference Proceedings, British Academy of Management. British Academy of Management, Leeds Business School, September 2003.
• The impact of programming paradigms on the efficiency of an individual-based simulation model. David J Barnes and Tim R Hopkins. Simulation Modelling - Practice and Theory, 11(7/8):557-569, November 2003.
• A Fault-Tolerant Software Architecture for Component-Based Systems. P. A. de C. Guerra, C. Rubira, and R. de Lemos, volume 2677 of Lecture Notes in Computer Science, pages 129-149. Springer, 2003.
• A Fault-Tolerant Software Architecture for COTS-Based Software Systems. P. A. de C. Guerra, C. Rubira, A. Romanovsky, and R. de Lemos. In Proceedings of the Joint European Software Engineering Conference (ESEC) and 11th SIGSOFT Symposium on the Foundations of Software Engineering (FSE-11)., pages 375-382. ACM Press, September 2003.
• Integrating COTS Software Components into Dependable Software Architectures. P. A. de C. Guerra, C. Rubira, A. Romanovsky, and R. de Lemos. In Proceedings of the 6th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC-03). IEEE Computer Society Press, May 2003.
• Artificial Immune Systems as a Novel Soft Computing Paradigm. L.N de Castro and J. Timmis. Soft Computing, 7(8):526-544, 2003.
• Dependable Computing. R de Lemos, T da S Weber, and J B Camargo Jr, editors, volume 2847 of Lecture Notes in Computer Science. Proceedings of the First Latin American Symposium on Dependable Computing, Springer, October 2003.
• Architecting Dependable Systems. R. de Lemos, C. Gacek, and A. Romanovsky, volume 2677 of Lecture Notes in Computer Science. Springer, 2003.
• Architectural Mismatch Tolerance. R. de Lemos, C. Gacek, and A. Romanovsky, volume 2677 of Lecture Notes in Computer Science, pages 175-196. Springer, 2003.
• Recent advances in refinement. J. Derrick and E.A. Boiten. In E.Borger, A. Gargantini, and E.Riccobene, editors, Abstract State Machines 2003, number 2589 in Lecture Notes in Computer Science, pages 33-56. Springer, March 2003. Invited lecture.
• Relational concurrent refinement. John Derrick and Eerke Boiten. Formal Aspects of Computing, 15(2-3):182-214, November 2003.
• Structural Refinement of Systems Specified in Object-Z and CSP. John Derrick and Graeme Smith. Formal Aspects of Computing, 15(1):1 - 27, July 2003.
• Using coupled simulations in non-atomic refinement. John Derrick and Heike Wehrheim. In D Bert, J Bowen, S King, and M Walden, editors, ZB 2003: Formal Specification and Development in Z and B, volume 2651 of Lecture Notes in Computer Science, pages 127-147. Springer, June 2003.
• Timed CSP and Object-Z. John Derrick. In D. Bert, J. Bowen, S. King, and M. Walden, editors, ZB 2003: Formal Specification and Development in Z and B, volume 2651 of Lecture Notes in Computer Science, pages 300-318. Springer, June 2003.
• Addressing student cheating: definitions and solutions. Martin Dick, Judy Sheard, Cathy Bareiss, Janet Carter, Donald Joyce, Trevor Harding, and Cary Laxer. ACM SIGCSE Bulletin, 35(2):172-184, June 2003.
• ICFEM2003: 5th International Conference on Formal Engineering Methods. Jin Song Dong and Jim Woodcock, editors, Lecture Notes in Computer Science, Singapore, 2003.
• A Strategy for Compiling Classes, Inheritance, and Dynamic Binding. Adolfo Duran, Ana Cavalcanti, and Augusto Sampaio. In Keijiro Araki, Stefania Gnesi, and Dino Mandrioli, editors, FME 2003: Formal Methods - International Symposium of Formal Methods Europe, number 2805 in LNCS, pages 301-320, Pisa, Italy, September 2003. Formal Methods Europe, the Institute for Informatics Science and Tecnology (ISTI) of the National Research Council of Italy, and CoLogNet, Springer-Verlag.
• Visualization and data analysis 2003. R. Erbacher, P. Chen, J. Roberts, M. Grohn, and K. Borner, editors, volume 5009, Santa Clara, CA, January 2003. SPIE.
• Perspectives on HCI patterns: concepts and tools (introducing PLML). Sally Fincher. Interfaces, (56):26-28, September 2003.
• Layout Metrics for Euler Diagrams. Jean Flower, Peter Rodgers, and Paul Mutton. In Seventh International Conference on Information Visualization (IV03), pages 272-280. IEEE, January 2003.
• Semantics Information Integration for Knowledge Discovery in Multi-dimensional Environmental Systems. Robert Frank. PhD thesis, Computing Laboratory, University of Kent, Canterbury, Kent, UK, September 2003.
• Pie Chart Sonification. Keith Franklin and Jonathan C Roberts. In Ebad Banissi and et al, editors, Proceedings Information Visualization (IV03), pages 4-9. IEEE Computer Society, July 2003.
• A Refinement Tool for Z. A.F. Freitas, C.M. Nascimento, and A.L.C. Cavalcanti. In J.S. Dong and J.C.P. Woodcock, editors, Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, volume 2885 of Lecture Notes in Computer Science, pages 396 - 415. Springer-Verlag, January 2003.
• Revisiting the Foundations of Artificial Immune Systems: A Problem Oriented Perspective. A Freitas and J Timmis. In J. Timmis, P. Bentley, and E. Hart, editors, Proceedings of the 2nd International Conference on Artificial Immune Systems, volume 2787 of Lecture Notes in Computer Science, pages 229-241. Springer, September 2003.
• An Energy Saving Method for Wireless Sensor Network. Q Gao, K J Blow, D J Holding, and I Marshall. September 2003.
• Determining Design Parameters for Ad-hoc Wireless Sensor Networks. Q Gao, K J Blow, D J Holding, and I Marshall. In Proceedings of IEEE ETFA 2003, Lisbon, September 2003.
• Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling. Samir Genaim and Andy King. In Pierpaolo Degano, editor, European Symposium on Programming, volume 2618 of Lecture Notes in Computer Science, pages 84-98. Springer-Verlag, April 2003. Also see http://www.springer.de/comp/lncs/index.html.
• Guest editorial: Data mining and knowledge discovery with evolutionary algorithms. A Ghosh and AA Freitas. IEEE Trans. on Evolutionary Computation, 7(6):517-518, December 2003.
• Guest editorial: Data mining and knowledge discovery with evolutionary algorithms. A Ghosh and AA Freitas. IEEE Trans. on Evolutionary Computation, 7(6):517-518, December 2003.
• Special issue on data mining and knowledge discovery with evolutionary algorithms. A Ghosh and AA Freitas. IEEE Trans. on Evolutionary Computation 7(6), pp. 517-575, December 2003.
• An Algorithm to Translate PARADIGM specifications to PLTL. Rodolfo S. Gomez, Juan C. Augusto, and Silvia T. Acuña. In Proceedings of the 3ras. Jornadas Iberoamericanas de Ingenieria de Software e Ingenieria de Conocimiento (JIISIC'03), pages 53-63, Valdivia, Chile, November 2003.
• A MONA-based Decision Procedure for Propositional Interval Temporal Logic. Rodolfo Gomez and Howard Bowman. Workshop of Interval Temporal Logics and Duration Calculi (part of the 15th European Summer School in Logic, Language and Information, August 2003.
• Discrete Timed Automata and MONA: Description, Specification and Verification of a Multimedia Stream. Rodolfo Gomez and Howard Bowman. In H Konig, M Heiner, and A Wolisz, editors, Formal Techniques for Networked and Distributed Systems - FORTE 2003. Proceedings of the 23rd IFIP WG 6.1 International Conference, number 2767 in LNCS, pages 177-192, Berlin, Germany, September 2003. Springer.
• Energy savings in wireless ad hoc sensor networks as a result of network synchronisation. A Gonzalez, M Britton, L Sacks, and I W Marshall. In LCS-2003, 2003.
• Towards a Definition of Dynamical Hierarchies. D Gross and T Lenaerts. In E Bilotta, D Gross, T Smith, T Lenaerts, S Bullock, H Lund, J Bird, R Watson, P Pantano, L Pagliarini, H Abbas, R Standish, and M Bedau, editors, Workshop proceedings of the eight international conference on artificial life, pages 45-55. University of New South Wales Press, January 2003.
• The Creation of Novelty in Artificial Chemistries. D Gross and B McMullin. In Proceedings of the Eighth International Conference on Artificial Life, pages 400-409. MIT Press, January 2003.
• Visualizing Model Mappings in UML. JH Hausmann and S Kent. In Proceedings of the ACM Symposium on Software Visualization, 2003. To appear.
• Remark on algorithm 769: Fortran subroutines for approximate solution of sparse quadratic assignment problems using GRASP. Tim Hopkins. ACM Transactions on Mathematical Software, 29(3):349-351, September 2003.
• Efficient Groundness Analysis in Prolog. J. M. Howe and A. King. Theory and Practice of Logic Programming, 3(1):95-124, January 2003. (Theory and Practice of Logic Programming was formally known as The Journal of Logic Programming, see http://www.cwi.nl/projects/alp/Welcome/appeal.html).
• Three Optimisations for Sharing. J. M. Howe and A. King. Theory and Practice of Logic Programming, 3(2):243-257, January 2003. (Theory and Practice of Logic Programming was formally known as The Journal of Logic Programming, see http://www.cwi.nl/projects/alp/Welcome/appeal.html).
• Stimulation in hippocampal region C1 in behaving rats yeild long-term potentiation when delivered to the peak of theta and long-term depression when delivered to the trough. J.M. Hyman, B.P. Wyble, V. Goyal, C.A. Rossi, and M.E. Hasselmo. The Journal of Neuroscience, 23(37):13, December 2003. Pages 11725-11731.
• Naive tools for studying compilation histories. Matthew C. Jadud and Sally A. Fincher. techreport 3-03, University of Kent, Computing Laboratory, Computing Laboratory, University of Kent, Canterbury, Kent, CT2 7NF, March 2003.
• A Design Framework for Evolutionary Algorithms. Colin Johnson. PhD thesis, Computing Laboratory, University of Kent, Canterbury, Kent, UK, July 2003.
• Artificial immune systems programming for symbolic regression. Colin G. Johnson. In C. Ryan, T. Soule, M. Keijzer, E. Tsang, R. Poli, and E. Costa, editors, Genetic Programming: 6th European Conference, LNCS 2610, pages 345-353. Springer, April 2003.
• Exploring sound-space with interactive genetic algorithms. Colin G. Johnson. Leonardo, 36(1):51-54, January 2003.
• Towards a prehistory of evolutionary and adaptive computation in music. Colin G. Johnson. In G. Raidl, D. Corne, E. Marchiori, J. Gottlieb, S. Cagnoni, J. Romero, C. Johnson, E. Hart, M. Middendorf, A. Guillot, and J.-A. Meyer, editors, Applications of Evolutionary Computing, LNCS 2611, pages 502-509. Springer, April 2003.
• DO garbage collection. Richard Jones. Technical Report 2-03, University of Kent, Computing Laboratory, February 2003.
• A non-linear topic detection method for text summarization using wordnet. CN Silla Jr, CAA Kaestner, and AA Freitas. In MGV Nunes, SM Aluisio, LHM Oliveira, and JA Teles, editors, Proc. I Workshop em Tecnologia da Informacao e Linguagem Humana. ICMC-USP, Brazil, October 2003.
• Well-going programs can be typed. Stefan Kahrs. In Martin Hofmann, editor, Typed Lambda Calculi and Applications, number 2701 in LNCS, pages 167-179. Springer, June 2003.
• Immune Inspired Somatic Contiguous Hypermutation for Function Optimisation. J. Kelsey and J. Timmis. In E. Cantu-Paz and et al., editors, Genetic and Evolutionary Computation Conference - GECCO 2003, volume 2723 of Lecture Notes in Computer Science, Chicago. USA., July 2003. Springer-Verlag.
• Chasing Chaos. J. Kelsy, J. Timmis, and A. Hone. In R. Sarker, R. Reynolds, H. Abbass, T. Kay-Chen, R. McKay, D Essam, and T. Gedeon, editors, Proceedings of the Congress on Evolutionary Computation, pages 413-419, Canberra. Australia, December 2003. IEEE.
• Spatial Databases: A Tour. Z Kemp. International Journal of Geographic Information Science, 17(5), July 2003. (Book Review).
• The Bidirectional Mapping Problem. S Kent and R Smith. Electronic Notes in Theoretical Computer Science, 82(7), 2003. To appear.
• Forward versus Backward Verification of Logic Programs. Andy King and Lunjin Lu. In Catuscia Palamidessi, editor, International Conference on Logic Programming, volume 2916 of Lecture Notes in Computer Science, pages 315-330. Springer-Verlag, December 2003. Also see http://www.springer.de/comp/lncs/index.html.
• Forward versus Backward Verification of Logic Programs. Andy King and Lunjin Lu. Technical Report 5-03, University of Kent, Computing Laboratory, University of Kent, April 2003.
• Removing GC synchronisation (extended version). Andy C. King. Technical Report 11-03, University of Kent, Computing Laboratory, April 2003. Winner (Graduate Division) ACM Student Research Competition.
• A Multi-layerd Immune Inspired Machine Learning Algorithm. T. Knight and J. Timmis. In A. Lotfi and M. Garibaldi, editors, Applications and Science in Soft Computing, pages 195-202. Springer, December 2003.
• The BlueJ system and its pedagogy. Michael Kolling, Bruce Quig, Andrew Patterson, and John Rosenberg. Journal of Computer Science Education, Special issue on Learning and Teaching Object Technology, 13(4):249-268, December 2003.
• Academic Culture and Business Ethics: effects on educational ICTs. Duncan Langford. In Ethical, Psychological and Societal Problems in Using ICTs in Education. UNESCO, Russia, 2003.
• Tool support for refactoring functional programs. Huiqing Li, Claus Reinke, and Simon Thompson. In Johan Jeuring, editor, ACM SIGPLAN 2003 Haskell Workshop, pages 27-38. Association for Computing Machinery, August 2003.
• Using policies in the checking of business to business contracts. P.F. Linington and S. Neal. In H.Lutfiyya, J.Moffat, and F.Garcia, editors, Fourth IEEE International Workshop on Policies for Distributed Systems and Networks, pages 207-218, Lake Como, Italy, June 2003. IEEE Computer Society.
• A policy-based model-driven security framework. P.F. Linington. In C.Ururahy, A Sztajnberg, and R.Cerqueira, editors, Middleware 2003 Companion:Workshop Proceedings, pages 273-276. Pontificia Universidade Caolica do Rio de Janeiro, June 2003.
• Self-Organising Sensor Networks. I W Marshall, C Roadknight, I Wokoma, and L Sacks. In UK-Ubinet, September 2003.
• On Modular Termination Proofs. Jonathan C. Martin and Andy King. Technical Report 13-03, University of Kent, Computing Laboratory, October 2003.
• Mutation Testing: An Artificial Immune System Approach. P. May, K Mander, and J. Timmis. In UK-Softest. UK Software Testing Workshop, University of York. UK., September 2003.
• Software Vaccination: An Artificial Immune Systems Approach. P. May, K. Mander, and J. Timmis. In J. Timmis, P. Bentley, and E. Hart, editors, Proceedings of the 2nd International Conference on Artificial Immune Systems, volume 2787 of Lecture Notes in Computer Science, pages 81-92. Springer, September 2003.
• Birrell's distributed reference listing revisited. Luc Moreau, Peter Dickman, and Richard Jones. Technical Report 8-03, University of Kent, Computing Laboratory, Canterbury, July 2003.
• An ant colony algorithm for multiple sequence alignment in bioinformatics. Jonathan D. Moss and Colin G. Johnson. In David W. Pearson, Nigel C. Steele, and Rudolf F. Albrecht, editors, Artificial Neural Networks and Genetic Algorithms, pages 182-186. Springer, April 2003.
• An Application Programming Interface for the Electronic Transmission of Prescriptions. D.P. Mundy, D.W. Chadwick, and E. Ball. In Proceedings of the International Workshop for Technology, Economy, Social and Legal Aspects of Virtual Goods, Ilmeaunu, Germany, May 22-24 2003, pages 27-38, May 2003.
• Towards Electronic Transfer of Prescriptions (ETP) in the United Kingdom National Health Service - Stakeholder Evaluation of ETP Pilots. D.P Mundy, D.W Chadwick, E Ball, P Marsden, D Bell, J.E Whatley, P Sobreperez, and J New. In 3rd International Conference on The Management of Healthcare and Medical Technology, Warwick, September 2003.
• The Benefits in and Barriers towards the Implementation of Electronic Transfer of Prescriptions within the United Kingdom National Health Service. D. Mundy and D.W. Chadwick. In 3rd International Conference on The Management of Healthcare and Medical Technology, Warwick, UK, September 2003.
• Security issues in the electronic transfer of prescriptions. D. P. Mundy and D.W Chadwick. Medical Informatics and the Internet in Medicine, 28(4):253-278, 2003.
• Security issues in the electronic transfer of prescriptions. D. P. Mundy and D.W Chadwick. Medical Informatics and the Internet in Medicine, 28(4):253-278, December 2003.
• Comparing the Performance of Abstract Syntax Notation One (ASN.1) vs eXtensible Markup Language (XML). D.P. Mundy and D.W. Chadwick. In Terena Networking Conference, Zagreb, May 2003.
• Providing a Secure Solution for the Integration of Electronic Prescription Transfer within the United Kingdom National Health Service. D.P. Mundy. In UKAIS PhD Symposium 2003, University of Warwick, UK, April 2003.
• Visualization of semantic metadata and ontologies. Paul Mutton and Jennifer Golbeck. In Seventh International Conference on Information Visualization (IV03), pages 300-305. IEEE, July 2003.
• PircBot 1.2.5 Java IRC API: Have fun with Java. Paul Mutton. Java Developer's Journal, 8(12):26-32, December 2003.
• Identifying requirements for business contract language: A monitoring perspective. S. Neal, J. Cole, P.F. Linington, Z. Milosevic, S. Gibson, and S. Kulkarni. In M.Steen and B.R.Bryant, editors, Proceedings of the seventh International Enterprise Distributed Object Computng Conference, pages 50-61, Brisbane, Australia, September 2003. IEEE Computer Society.
• Timidity: A Useful Mechanism for Robot Control?. Mark Neal and Jon Timmis. Informatica, 27(4):197-204, 2003.
• ArcAngel: a tactic language for refinement. M V M Oliveira, A L C Cavalcanti, and J C P Woodcock. Formal Aspects of Computing, 15(1):28-47, 2003. The full version of this work can be found in the Masters Thesis by M Oliveira.
• A Privacy Enhancing Infrastructure for Context-Awareness. Patrik Osbakk and Nick Ryan. UK-UbiNet webpage, September 2003. Position Paper for the 1st UK-UbiNet Workshop, Imperial College, London, UK.
• Genetic Programming for Attribute Construction in Data Mining. FEB Otero, MMS Silva, AA Freitas, and JC NIevola. In C. Ryan, M. Keijzer, R. Poli, T. Soule, E. Tsang, and E. Costa, editors, Genetic Programming: Proc. 6th European Conference (EuroGP-2003)., volume 2610 of Lecture Notes in Computer Science, pages 384-393. Springer-Verlag, April 2003.
• A Road Map for Teaching Introductory Programming Using LEGO Mindstorms Robots. Pamela B. Lawhead, Constance G. Bland, David J. Barnes, Michaele E. Duncan, Michael Goldweber, Ralph G. Hollingsworth, and Madeleine Schep. ACM SIGCSE Bulletin, 35(2):191-201, June 2003.
• Code Confidential: codes of practice for computing professionals. Antony Panteli. ACM: Computers & Society, 32(6):9, June 2003.
• Introducing Unit Testing with BlueJ. Andrew Patterson, Michael Kolling, and John Rosenberg. In Proceedings of the 8th conference on Information Technology in Computer Science Education (ITiCSE 2003), pages 11-15, Thessaloniki, Greece, June 2003. ACM.
• Device-neutral pipelined processing of XML documents. Michael Pediaditakis and David Shrimpton. interChange, 9(4):33-36, December 2003.
• Device neutral pipelined processing of xml documents. Michael Pediaditakis and David Shrimpton. In Proceedings of the Twelfth International World Wide Web Conference, Conference Series of the International World Wide Web Conference Committee, page 2. IW3C2, May 2003.
• "My Criterion is: Is it a Boolean?": A card-sort elicitation of students' knowledge of programming constructs. Marian Petre, Sally Fincher, and Josh Tenenberg et al. Technical Report 6-03, University of Kent, Computing Laboratory, University of Kent, Canterbury, Kent, UK, June 2003.
• An Interoperability Framework for Information Integration Based on Dublin Core, XML and Z39.50. Francisco Queiros Pinto. PhD thesis, Computing Laboratory, University of Kent, Canterbury, Kent, UK, March 2003.
• Supporting interactive invocation of remote services within an integrated programming environment. Bruce Quig, John Rosenberg, and Michael Kolling. In Proceedings of the 2nd international conference on Principles and practice of programming in Java, pages 195-200, Kilkenny City, Ireland, June 2003. ACM.
• Applications of evolutionary computing. G. Raidl, D. Corne, E. Marchiori, J. Gottlieb, S. Cagnoni, J. Romero, C. Johnson, E. Hart, M. Middendorf, A. Guillot, and J.-A. Meyer, editors, LNCS 2611. Springer, April 2003.
• A New Blueprint for Network QoS. David C Reeve. PhD thesis, Computing Laboratory, University of Kent, Canterbury, Kent, UK, August 2003.
• Evolution of Fault-tolerant Self-replicating Structures. L Righetti, S Shokur, and M Capcarrere. In W Banzhaf et al, editor, The Seventh European Conference on Artificial Life: ECAL'2003 Proceedings, 2003. To appear.
• Evolution of fault-tolerant self-replicating structures. Ludovic Righetti, Solaiman Shokur, and Mathieu S. Capcarrere. In W. Banzhaf, editor, Advances in Artificial Life, 7th European Conference on Artificial, ECAL 2003 proceedings. Springer-Verlag, September 2003.
• Visual bracketing for web search result visualization. Jonathan C Roberts and Edward Suvanaphen. In Ebad Banissi and et al, editors, Proceedings Information Visualization (IV03), pages 264-269. IEEE Computer Society, July 2003.
• 2003 International Conference on Coordinated and Multiple Views in Exploratory Visualization. Jonathan C. Roberts, editor. IEEE Computer Society, July 2003.
• Guest editorial: Special issue on coordinated and multiple views in exploratory visualization. Jonathan C Roberts. Information Visualization, 2(4):199-200, December 2003.
• Visualizing Weighted Edges in Graphs. Peter Rodgers and Paul Mutton. In Seventh International Conference on Information Visualization (IV03), pages 258-263. IEEE, July 2003.
• The Development of a Robust, Autonomous Sensor Network Platform for Environmental Monitoring. L Sacks, M Britton, I Wokoma, A Marbini, T Adebutu, I Marshall, C Roadknight, J Tateson, D Robinson, and A G Velazquez. In IoP Sensors and their Applications (S&A XII), University of Limerick, Ireland, 2003.
• Presentation Dynamism in XML. Partick Schmitz, Simon Thompson, and Peter King. In WWW 2003, Budapest, Hungary, May 2003. W3C. Poster presentation.
• Flexible, Transparent and Dynamic occam Networking with KRoC.net. Mario Schweigler, Fred Barnes, and Peter Welch. In Jan F Broenink and Gerald H Hilderink, editors, Communicating Process Architectures 2003, volume 61 of Concurrent Systems Engineering Series, pages 199-224, Amsterdam, The Netherlands, September 2003. IOS Press.
• A Danger Theory Approach to Web Mining. A. Secker, A Freitas, and J. Timmis. In J. Timmis, P. Bentley, and E. Hart, editors, Proceedings of the 2nd International Conference on Artificial Immune Systems, volume 2787 of Lecture Notes in Computer Science, pages 156-167. Springer, September 2003.
• AISEC: An Artificial Immune System for E-mail Classification. A. Secker, A Freitas, and J. Timmis. In R. Sarker, R. Reynolds, H. Abbass, T. Kay-Chen, R. McKay, D Essam, and T. Gedeon, editors, Proceedings of the Congress on Evolutionary Computation, pages 131-139, Canberra. Australia, December 2003. IEEE.
• Journeys in non-classical computation: A grand challenge for computing research. S. Stepney, J.A. Clark, A. Tyrrell, C.G. Johnson, J. Timmis, D. Partridge, A. Adamatsky, and R.E. Smith. Grand Challenge Report 7, National E-Science Centre, University of Edinburgh, May 2003.
• Artificial immune systems and the grand challenge for non-classical computation. Susan Stepney, John A. Clark, Colin G. Johnson, Derek Partridge, and Robert E. Smith. In Jon Timmis, Peter Bentley, and Emma Hart, editors, Proceedings of the 2003 International Conference on Artificial Immune Systems, LNCS 2787, pages 204-216. Springer, September 2003.
• Spatial reasoning with mutiple knowledge sources in image understaning. Linying Su, Bernadette Sharp, and Claude Chibelushi. In B. Simak and P. Zahradnik, editors, Recent Trends in Mutimedia Information Processing-Proceedings of the 10th International Workshop on Systems, Signals and Image Processing, pages 250-253. Sdelovaci Technika Spol. s.r.o., September 2003.
• Verification of concurrent systems. Li Su. Technical Report 10-03, University of Kent, Computing Laboratory, University of Kent, Canterbury, Kent, UK, October 2003. Master thesis.
• A multiple shared trees approach for application layer multicasting. Su-Wei Tan, Gill Waters, and John Crawford. In Procedings of the 8th Cabernet Radicals Workshop, October 2003. Poster presentation.
• A survey and performance evaluation of scalable tree-based application layer multicast protocols. Su-Wei Tan, Gill Waters, and John Crawford. Technical Report 9-03, University of Kent, Computing Laboratory, July 2003.
• Building low delay application layer multicast trees. Su-Wei Tan and Gill Waters. In Madjid Merabti and Rubem Pereira, editors, Proceeding of 4th Annual PostGraduate Symposium: The Convergence of Telecommunications, Networking & Broadcasting, pages 27-32. EPSRC, Liverpool John Moore University, June 2003.
• An adaptive routine mechanism for ad-hoc wireless sensor networks. J Tateson and I W Marshall. In LCS-2003, 2003.
• On fireflies, cellular systems, and evolware. C. Teuscher and M. Capcarrere. In A.M. Tyrrell and et al, editors, Evolvable Systems: From Biology to Hardware, volume 2606 of LNCS, pages 1-12. Springer Verlag, January 2003.
• A case study in refactoring functional programs. Simon Thompson and Claus Reinke. In Roberto Ierusalimschy, Lucilia Figueiredo, and Marcio Tulio Valente, editors, VII Brazilian Symposium on Programming Languages, pages 1-16. Sociedade Brasileira de Computacao, May 2003.
• Testing a Medium Sized Numerical Package: A Case Study. Tim Hopkins and David Barnes. In G.Psihoyios, editor, NaCoM-2003 Extended Abstracts, page 4. Wiley, May 2003.
• Proceedings of the 2nd international conference on artificial immune systems. J. Timmis, P. Bentley, and E. Hart. Number 2787 in Lecture Notes in Computer Science. Springer-Verlag, Berlin., September 2003.
• Artificial Homeostasis: Integrating Biologically Inspired Computing. J Timmis and M Neal. Technical Report UWA-DCS-03-043, University of Wales, Aberystwyth, February 2003.
• Membrane Computing: An Introduction (Book Review). Jon Timmis. The Computer Journal, 46(5), September 2003.
• Applying clustering algorithms to multicast group hierarchies. Gill Waters and Sei Guan Lim. Computer Science Technical Report 4-03, University of Kent, Computing Laboratory, August 2003.
• Clustering in sensor networks using quorum sensing. I Wokoma, L Sacks, and I W Marshall. In LCS-2003, 2003.