Computer Science: Publication Index 2002

Using Simulated Students to Evaluate an Adaptive Testing System. Sophiana Chua Abdullah and Roger Cooley. In International Conference on Computers in Education, Massey University, Auckland, New Zealand, page 5, Massey University, Auckland, New Zealand, December 2002. IEEE Computer Society.
Design Support for Distributed Systems: DSE4DS. D.H. Akehurst, B. Bordbar, J. Derrick, and A.G. Waters. In J. Finney, M. Haahr, and A. Montressor, editors, Procedings of the 7th Cabernet Radicals Workshop, October 2002.
Automatic Normalisation via Metamodelling. D.H. Akehurst, B. Bordbar, P.J. Rodgers, and N.T.G. Dalgliesh. In ASE 2002 Workshop on Declarative Meta Programming to Support Software Development, September 2002.
A Relational Approach to Defining Transformations in a Metamodel. David H. Akehurst and Stuart J. H. Kent. In Jean-Marc Jezequel and Heinrich Hussmann, editors, <<UML>> 2002 - The Unified Modeling Language: Model Engineeing, Concepts, and Tools, volume 2460 of Lecture notes in computer science. Springer, October 2002.
Verifying Erlang code: a resource locker case-study. Thomas Arts, Clara Benac Earle, and John Derrick. In Lars-Henrik Eriksson and Peter Alexander Lindsay, editors, In Proc. Formal Methods Europe: Getting IT Right, Copenhagen, Denmark, volume 2391 of LNCS, pages 184-203. Springer-Verlag, July 2002.
A Temporal Logic view of Paradigm specifications. J.C. Augusto and R. Gomez. In Proceedings of 14th. International Conference on Software Engineering and Knowledge Engineering (SEKE'02), pages 497-503, Ischia, Italy, July 2002.
HEIRPORT: one year on. Tony Austin, Julian Richards, Nick Ryan, and Francisco Pinto. In C. Bekiari, editor, CAA2002, The Digital Heritage of Archaeology: proceedings of the Computer Applications and Quantitative Methods in Archaeology Conference, Heraklion, Crete, April 2002. Centre for Cultural Informatics, Institute of Computer Science, Foundation for Research and Technology - Hellas (FORTH), Hellenic Ministry of Culture, Archive of Monuments and Publications.
Negative selection: How to generate detectors. M. Ayara, J. Timmis, R. de Lemos, L.N. de Castro, and R. Duncan. In J. Timmis and P.J. Bentley, editors, 1st International Conference on Artificial Immune Systems, pages 89-98, University of Kent at Canterbury, September 2002. Unversity of Kent at Canterbury Printing Unit.
Tolerating faults in embedded systems based on artificial immune systems. M. Ayara, J. Timmis, R. de Lemos, L.N. de Castro, and R. Duncan. In Fast Abstracts Supplement of the 4th European Dependable Computing Conference (EDCC-4), pages 27-28, October 2002.
Testing ethernet networks for the ATLAS data collection system. F.R.M. Barnes, R. Beuran, R.W. Dobinson, M.J. LeVine, B. Martin, J. Lokier, and C. Meirosu. IEEE Trans. Nucl. Sci., 49(2):516-520, April 2002.
Objects first with java - a practical introduction using bluej. David J. Barnes and Michael K�lling. Prentice-Hall, September 2002.
Prioritised dynamic communicating processes: Part 1. Fred Barnes and Peter Welch. In James Pascoe, Peter Welch, Roger Loader, and Vaidy Sunderam, editors, Communicating Process Architectures 2002, volume 60 of Concurrent Systems Engineering, pages 321-352, IOS Press, Amsterdam, The Netherlands, September 2002. IOS Press.
Prioritised dynamic communicating processes: Part 2. Fred Barnes and Peter Welch. In James Pascoe, Peter Welch, Roger Loader, and Vaidy SUnde, editors, Communicating Process Architectures 2002, volume 60 of Concurrent Systems Engineering, pages 353-370, IOS Press, Amsterdam, The Netherlands, September 2002. IOS Press.
Teaching Introductory Java through LEGO MINDSTORMS Models. David J. Barnes. In Proceedings of the 33rd SIGCSE technical symposium on computer science education, pages 147-151. ACM, February 2002.
Computing Convex Hulls with a Linear Solver. F. Benoy, A. King, and F. Mesnard. Technical Report 11-02, University of Kent, Computing Laboratory, September 2002. This paper is under revision as it is accepted conditionally for publication in Theory and Practise of Logic Programming.
Polyhedral Domains for Abstract Interpretation in Logic Programming. Patricia Mary Benoy. PhD thesis, Computing Laboratory, University of Kent, Canterbury, Kent, UK, January 2002.
Beltway: Getting around garbage collection gridlock. Stephen M. Blackburn, Richard Jones, Kathryn S. McKinley, and J. Eliot B. Moss. In Laurie J. Hendren, editor, Proceedings of PLDI'02 Programming Language Design and Implementation, pages 153-164, Berlin, June 2002. ACM Press.
Integration of specifications through development relations. Eerke Boiten and John Derrick. In H. Ehrig, B.J. Kr"amer, and A. Ertas, editors, Proceedings of IDPT: the Sixth Biennial World Conference on Integrated Design and Process Technology, page 8. SDPS, June 2002.
Unifying concurrent and relational refinement. Eerke Boiten and John Derrick. In John Derrick, Eerke Boiten, Jim Woodcock, and Joakim von Wright, editors, REFINE 02: The BCS FACS Refinement Workshop, volume 70(3) of Electronic Notes in Theoretical Computer Science, page 38. Elsevier Science Publishers, July 2002.
Mathematics of program construction: Sixth international conference. Eerke A. Boiten and Bernhard M"oller, editors, volume 2386 of Lecture Notes in Computer Science. Springer, July 2002.
Integrating specifications: Development relations and correspondences. Eerke Boiten. In Hartmut Ehrig and Martin Grosse-Rhode, editors, INT'02: Integration of Software Specification Techniques, ETAPS 2002 Satellite Workshop, page 1, April 2002. Invited Lecture.
Loose specification and refinement in Z. Eerke Boiten. In D. Bert, J.P. Bowen, M.C. Henson, and K. Robinson, editors, ZB 2002: Formal Specification and Development in Z and B, volume 2272 of Lecture Notes in Computer Science, pages 226-241, Grenoble, France, January 2002. Springer.
A UML approach to the design of open distributed systems. Behzad Bordbar, John Derrick, and Gill Waters. In Chris George and Huaikou Miao, editors, Formal Methods and Software Engineering, volume 2495 of Lecture Notes in Computer Science, pages 561-572. Springer, November 2002.
Using UML to specify QoS constraints in ODP. Behzad Bordbar, John Derrick, and Gill Waters. Computer Networks, pages 279-304, October 2002.
Neural network modelling of inhibition in visuo-motor control. H. Bowman, A. Aron, F. Schlaghecken, and M. Eimer. In John A. Bullinaria and Will Lowe, editors, Proceedings of the Seventh Neural Computation and Psychology Workshop: Connectionist Models of Cognition and Perception, pages 209-222. World Scientific, September 2002.
A connectionist model of inhibition in masked priming (abstract). H. Bowman, F. Schlaghecken, and M. Eimer. In Stephen Grossberg, editor, Proceedings of Sixth International Conference on Cognitive and Neural Systems, May 30th - June 1st, 2002, page 1. Centre for Adaptive Systems and the Department of Cognitive and Neural Systems, Boston University, May 2002.
A formal framework for viewpoint consistency. H. Bowman, M.W.A. Steen, E.A. Boiten, and J. Derrick. Formal Methods in System Design, 21(2):111-166, September 2002.
What makes them succeed? Entry, progression and graduation in Computer Science. Roger Boyle, Janet Carter, and Martyn Clark. Journal of Further and Higher Education, 26(1), January 2002.
Towards a formalization of viewpoints testing. Marius C. Bujorianu, Savi Maharaj, and Manuela Bujorianu. In Robert M. Hierons and Thierry J�ron, editors, Formal Approaches To Testing of Software 2002 (FATES'02), Research Report, 35042 Rennes, France, August 2002. INRIA. A satellite workshop of CONCUR'02.
Constructive potential theory: A linear logic approach. Marius Constantin Bujorianu and Manuela Luminita Bujorianu. In A. Berarducci and N.J. Cutland, editors, NS 2002 Non-standard Methods and Applications in Mathematics, page 14, Pisa, Italy, June 2002. AMS-UMI, University of Pisa. Mini-symposion "Reuniting the Antipodes II: Constructive and Nonstandard Views of the Continuum".
Constructive potential theory: Foundations and applications.. Marius Constantin Bujorianu and Manuela Luminita Bujorianu. Research Report 06-02, University of Kent, Computing Laboratory, Canterbury CT2 7NF, Kent, UK, June 2002.
Linear logic: from stochastic analysis to software testing. Marius Constantin Bujorianu and Manuela Luminita Bujorianu. British colloquium on theoretical computer science 18 , HP laboratories Bristol 7-10 April 2002, April 2002.
Semantics of Prialt in Handel-C. A Butterfield and J Woodcock. In Concurrent Systems Engineering, Proceedings of the Conference on Communicating Processing Architectures. IOS Press, 2002.
Evolution of asynchronous cellular automata. M. Capcarrere. In J.J. Merelo and et al, editors, The seventh Conference on Parallel Problem Solving From Nature, PPSN 2002, pages 903-912. Springer-Verlag, September 2002.
Evolving asynchronous cellular automata: Finding the good compromise. M. Capcarrere. In Langdon and et al, editors, Genetic and Evolutionary Computation COnference, GECCO 2002, page 134. Morgan-Kaufmann, July 2002.
Teaching Delivery Issues: Lessons from Computer Science. Janet Carter and Roger Boyle. Journal of Information Technology Education, 1(2):65-90, January 2002.
Gender Differences in Programming?. Janet Carter and Tony Jenkins. In Proceedings of 7th annual ITiCSE conference, pages 188-192, Aarhus, June 2002. ACM.
Spot the Difference: Are there gender differences in coding style?. Janet Carter and Tony Jenkins. In Proceedings of 3rd Annual LTSN-ICS conference, Loughborough, August 2002. LTSN-ICS.
Diary of a Programming Assignment. Janet Carter. In Proceedings of the 2nd 1-day conference on the teaching of programming, Wolverhampton, May 2002. LTSN.
The Value of Guided Revision. Janet Carter. Technical report 9-02, University of Kent, Computing Laboratory, September 2002.
A genetic algorithm with sequential niching for discovering small-disjunct rules. DR Carvalho and AA Freitas. In WB Langdon, E Cantu-Paz, and et al, editors, Proceedings Genetic and Evolutionary Computation Conference (GECCO-2002), pages 1035-1042, New York and San Francisco, USA, July 2002. Morgan Kaufmann.
A genetic algorithm for discovering small disjunct rules in data mining. DR Carvalho and AA Freitas. Applied Soft Computing, 2(2):75-88, December 2002.
New results for a hybrid decision tree/genetic algorithm for data mining. DR Carvalho and AA Freitas. In A. Lofti, J. Garibaldi, and R. John, editors, Proc. 4th Int. Conf. on Recent Advances in Soft Computing (RASC-2002), pages 260-265. Nottingham Trent University, December 2002.
Refinement of Actions in Circus. ALC Cavalcanti, ACA Sampaio, and JCP Woodcock. In Proceedings of REFINE'2002, Electronic Notes in Theoretical Computer Science, 2002. Invited Paper.
Forward Simulation for Data Refinement of Classes. ALC Cavalcanti and D Naumann. In L Eriksson and PA Lindsay, editors, FME 2002: Formal Methods - Getting IT Right, volume 2391 of Lecture Notes in Computer Science, pages 471-490. Springer-Verlag, 2002.
On a Specification-oriented Model for Object-orientation. ALC Cavalcanti and D Naumann. In Proceedings of the 6th Brazilian Symposium on Programming Languages, pages 114-127, 2002.
From CPSP-OZ to Java with Processes. ALC Cavalcanti and ACA Sampaio. In Proc Workshop on Formal Methods for Parallel Programming held in conjunction with International Parallel and Distributed Processing Symp, Contained in IPDPS collects proceedings CD-ROM, 2002. IEEE CS Press. Abstract appears in IPDPS Proceedings.
A Weakest Precondition Semantics for Circus. ALC Cavalcanti and JCP Woodcock. In Proceedings of the Communicating Processing Architectures 2002. Concurrent Systems Engineering, IOS Press, 2002. To appear.
Refinement: Object-orientation and Concurrency. ALC Cavalcanti. In Proceedings of the 5th Brazilian Workshop on Formal Methods, 2002. To appear.
Experiences of Using a Public Key Infrastructure to Access Patient Confidential Data over the Internet. D. W. Chadwick, C. Carroll, S. Harvey, J. New, and A. J. Young. In Ralph H. Sprague, Jr., editor, Proceedings of the 35th Annual Hawaii International Conference on System Sciences 2002 (HICCS 2002), page 156, 2002.
Privilege Management for E-Construction. David W Chadwick, Olexandre Otenko, David Hunter, and Cristiano Leoni. In Yacine Rezgui, Bingunath Ingirige, and Ghassan Aouad, editors, Proc European Conf on Information and Communication Technology Advances and Innovation in the Knowledge Society, Part B, University of Salford, UK. 2002, pages 91-102, 2002.
Internet x.509 public key infrastructure - ldap schema for pkis. D.W. Chadwick and S Legg. Internet Draft, July 2002.
Internet x.509 public key infrastructure - ldap schema for pmis. D.W. Chadwick and S. Legg. Internet Draft, July 2002.
Returning matched values with ldapv3. D.W. Chadwick and S. Mullan. Internet Draft, June 2002. RFC number 3876.
RBAC Policies in XML for X.509 Based Privilege Management. D.W. Chadwick and A. Otenko. In M. A. Ghonaimy, M. T. El-Hadidi, and H.K. Aslan, editors, Security in the Information Society: Visions and Perspectives: IFIP TC11 17th Int. Conf. On Information Security (SEC2002), Cairo, Egypt, pages 39-53. Kluwer Academic Publishers, May 2002.
The PERMIS X.509 Role Based Privilege Management Infrastructure. D.W. Chadwick and A. Otenko. In Proc 7th ACM Symposium On Access Control Models And Technologies (SACMAT 2002), Monterey, USA, pages 135-140, June 2002.
Internet x.509 public key infrastructure operational protocols - ldapv3. D.W. Chadwick. Internet Draft, January 2002.
Ldapv3 dn strings for use with pkis. D.W. Chadwick. Internet Draft, April 2002.
The permis x.509 based privilege management infrastructure. D.W. Chadwick. Internet Draft, April 2002.
Transforming Haskell for tracing. Olaf Chitil, Colin Runciman, and Malcolm Wallace. In Draft Proceedings of the 14th International Workshop on Implementation of Functional Languages, IFL 2002, pages 96-112, Madrid, Spain, September 2002. technical report 127-02, Departamento de Sistemas Inform�ticos y Programaci�n, Universidad Complutense de Madrid.
A Metamodel Facility for a Family of UML Constraint Languages. A Clark, A Evans, and S Kent. In J Warmer A Clark, editor, Advances in Object Modelling with OCL, LNCS 2263. Springer-Verlag, 2002.
A Metamodel for Package Extension with Renaming. A Clark, A Evans, and S Kent. In J-M Jezequel, H Hussmann, and S Cook, editors, The Unified Modeling Language 5th International Conference, Proceedings LNCS 2460, pages 305-320, Dresden, Germany, September 2002.
Engineering Modelling Languages: A Precise Metamodelling Approach. A Clark, A Evans, and S Kent. In H Weber, editor, Fundamental Approaches to Software Engineering, LNCS 2306, pages 159-1732, Grenoble, France, April 2002. 5th Int. Conf. FASE 2002. held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002.
Clinical governance and accountability. Roger Cooley and Roger James. In Roger James and Andrew Miles, editors, Managed Care Networks, pages 117-127. Aesculapius Medical Press, April 2002.
Refactoring by Transformation. ML Cornelio, ALC Cavalcanti, and ACA Sampaio. In Proceedings of REFINE'2002, Electronic Notes in Theoretical Computer Science, 2002. Invited Paper.
Supporting groups in a ubiquitous environment. Dominic Day, David Shrimpton, and Gill Waters. In Proceedings of 3rd Annual PostGraduate Symposium on The Convergence of Telecommunications, Networking & Broadcasting, pages 92-97. EPSRC, Liverpool John Moores University, June 2002.
An artificial immune network for multimodal optimisation. L.N de Castro and J Timmis. In 2002 Congress on Evolutionary Computation. Part of the 2002 IEEE World Congress on Computational Intelligence., pages 699-704, Honolulu, Hawaii, USA, May 2002. IEEE.
Artificial Immune Systems: A New Computational Approach. L.N. de Castro and J. Timmis. Springer-Verlag, London. UK., September 2002.
Artificial Immune Systems: A Novel Approach to Pattern Recognition. L.N de Castro and J Timmis. In J Corchado, L Alonso, and C Fyfe, editors, Artificial Neural Networks in Pattern Recognition, pages 67-84. University of Paisley, January 2002.
Hierarchy and convergance of immune networks: Basic ideas and premilinary results. L.N de Castro and J Timmis. In J. Timmis and P.J. Bentley, editors, 1st International Conference on Artificial Immune Systems, pages 231-240, University of Kent at Canterbury, September 2002. Unversity of Kent at Canterbury Printing Unit.
An architectural support for self-adaptive software for treating faults. Rogerio de Lemos and Jose Luiz Fiadeiro. In D. Garlan, J. Kramer, and A. Wolf, editors, Proceedings of the 1st ACM SIGSOFT Workshop on Self-Healing Systems (WOSS'02), pages 39-42, Charleston, SC, USA, November 2002.
Novel approaches in dependable computing. Rogerio de Lemos. In P. Thevenod-Fosse A. Bondavalli, editor, Proc of the 4th European Dependable Computing Conference (EDCC-4), Lecture Notes in Computer Science 2485, pages 79-80. Springer-Verlag, October 2002.
A framework for UML consistency. John Derrick, David Akehurst, and Eerke Boiten. In L. Kuzniarz, G. Reggio, J. L. Sourrouille, and Z. Huzar, editors, <<UML>> 2002 Workshop on Consistency Problems in UML-based Software Development, pages 30-45, October 2002.
REFINE 2002: The BCS FACS Refinement Workshop. John Derrick, Eerke Boiten, Jim Woodcock, and Joakim von Wright, editors, volume 70(3) of Electronic Notes in Theoretical Computer Science. Elsevier Science Publishers, July 2002.
Combining Component specifications in Object-Z and CSP. J Derrick and E Boiten. Formal Aspects of Computing, 13:111-127, May 2002.
Refinement Algebra for Formal Bytecode Generation. AA Duran, ACA Sampaio, and ALC Cavalcanti. In Proceedings of the 4th International Conference on Formal Engineering Methods - ICFEM 2002. Springer-Verlag, 2002. To appear.
Pedagogical patterns: their place in the genre. Sally Fincher and Ian Utting. In Proceedings of the 7th annual conference on Innovation and technology in computer science education, pages 199-202, June 2002.
Networking. Sally Fincher. In Carole Baume, Paul Martin, and Mantz Yorke, editors, Managing Educational Development Projects: Effective Management for Maximum Impact, Staff and Educational Development Series, chapter 3, pages 37-45. Kogan Page, October 2002.
Patterns for HCI and Cognitive Dimensions: two halves of the same story?. Sally Fincher. In Jasna Kuljis, Lynne Baldwin, and Rosa Scoble, editors, Proceedings of the Fourteenth Annual Workshop of the Psychology of Programming Interest Group, pages 156-172, June 2002.
A Visual Framework for Modelling with Heterogeneous Notations. J Flower, J Howse, S Kent, and J Taylor. In IEE Symposium on Human Centric Computing Languages and Environments, Technical Note HCC02, 2002.
JACK: A Framework for Process Algebra Implementation in Java. Leonardo Freitas, ALC Cavalcanti, and Augusto Sampaio. In Proceedings of XVI Simp�sio Brasileiro de Engenharia de Software, page 16, http://www.sbc.org.br/sbes, October 2002. Sociedade Brasileira de Computacao.
JACK: A Framework for Process Algebra Implementation in Java. LJS Freitas, ACA Sampaio, and LC Cavalcanti. In Proceedings of the 16th Brazilian Symposium on Software Engineering, 2002. To appear.
A Review of Evolutionary Algorithms for E-Commerce. AA Freitas. In J Segovia, PS Szczepaniak, and M Niedzwiedzinski, editors, E-Commerce and Intelligent Methods. Studies in Fuzziness and Soft Computing, volume 105. Springer-Verlag, Heidelberg, Berlin, 2002.
Data Mining and Knowledge Discovery with Evolutionary Algorithms. AA Freitas. Spinger-Verlag, Berlin, 2002.
Evolutionary computation. AA Freitas. In W Klosgen and J Zytkow, editors, Handbook of Data Mining and Knowledge Discovery. Oxford University Press, August 2002.
A survey of evolutionary algorithms for data mining and knowledge discovery. AA Freitas. In A Ghosh and S Tsutsui, editors, Advances in Evolutionary Computation, pages 819-845. Springer-Verlag, August 2002.
JACK: A process algebra implementation in Java. Leonardo Freitas. Master's thesis, Centro de Informatica, Universidade Federal de Pernambuco, April 2002. http://www.cin.ufpe.br/ lf25.
Suggestion schemes as information and knowledge management systems. U. Fuller, C. Helbling, and R. Cooley. In Barbara Howell and Graham Orange, editors, "Information Systems Research, Teaching and Practice" Proceedings of the 7th Annual UKAIS Conference, Leeds Metropolitan University, England, UK, pages 226-234. Leeds Metropolitan University, April 2002.
The potential of web-based suggestion schemes in a university setting. Ursula Fuller, Cornelia Helbling, and Roger Cooley. In Ligia Maria Ribeiro and Jose Marques dos Santos, editors, "The Changing Universities: The Challenge of New Technologies", Eunis 2002 The 8th International Conference of European University Information Systems, pages 386-389. FEUP edicoes, June 2002.
Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling. S. Genaim and A. King. Technical Report 10-02, University of Kent, Computing Laboratory, University of Kent, Canterbury, CT2 7NF, UK., September 2002.
Individual-based simulation of the clustering behaviour of epidermal growth factor receptors. Jacki P. Goldman, William J. Gullick, Dennis Bray, and Colin G. Johnson. In Gary Lamont, editor, Proceedings of the 2002 ACM Symposium on Applied Computing, pages 127-131. ACM Press, March 2002.
Ad-hoc Sensor Network Experimentation using the RCX by Mindstorms. A E Gonzalez-Velazquez, L E Sacks, and I W Marshall. In Proceedings of IFIPWG6.7 Workshop, 2002.
Simple Spontaneous Mechanism for Flexible Data Communication in Wireless Ad-hoc Sensor Networks. A E Gonzalez-Velazquez, L E Sacks, and I W Marshall. In Proceedings of LCS, 2002.
Is it the right ansatz?. D Gross and B McMullin. Artificial Life, 7(4):355-365, October 2002.
Interactive Visual Functional Programming. Keith Hanna. In S Peyton Jones, editor, Proc. Intnl Conf. on Functional Programming, pages 100-112. ACM, October 2002.
Functional and Declarative Programming in Education 2002. Michael Hanus, Shriram Krishnamurthy, and Simon Thompson, editors, volume 0210. Christian-Albrechts-Universitat, Kiel, October 2002.
A proposed function for hippocampal theta rhythm: seperate phases of encoding and retrieval enhance reversal of prior learning. M.E. Hasselmo, C. Bodelon, and B.P. Wyble. Neural Computation, 14(4):793-817, April 2002.
Keynote Paper at EuroStar 2002. L Hatton. In Quantifying Test Value: some examples and a case study, Edinburgh, 2002.
Keynote paper at HCI 2002. L Hatton. In Memorability and Invisibility: a tale of two alarm clocks and other stories from the front line, London, 2002.
Keynote Paper at StarWest 2002. L Hatton. In The Power of Modern Testing, Anaheim, USA, 2002.
Static Analysis. L Hatton. In Erik van Veenendaal, editor, The Testing Practitioner. Den Bosh, 2002.
A Comment on the Presentation and Testing of CALGO Codes and a Remark on Algorithm 639: To Integrate Some Infinite Oscillating Tails. Tim Hopkins. Technical Report 4-02, University of Kent, Computing Laboratory, Canterbury, UK, March 2002.
A comment on the presentation and testing of CALGO codes and a remark on Algorithm 639: To integrate some infinite oscillating tails. Tim Hopkins. ACM Transactions on Mathematical Software, 28(3):285-300, September 2002.
Remark on algorithm 705: A Fortran-77 software package for solving the Sylvester matrix equation AXB^T+CXD^T=E. Tim Hopkins. ACM Transactions on Mathematical Software, 28(3):372-375, September 2002.
Renovating the collected algorithms from ACM. Tim Hopkins. ACM Transactions on Mathematical Software, 28(1):59-74, March 2002.
Correctness of Set-Sharing with Linearity. Jacob M. Howe and Andy King. Technical Report 3-02, University of Kent, Computing Laboratory, March 2002.
New Flooding Control Schemes Applied in Route Initialisation for the Ad-hoc On Demand Routing Protocols. P Huang and I W Marshall. In Proceedings of LCS, 2002.
Evolutionary computing in visual art and music. Colin G. Johnson and Juan Jesus Romero Cardalda. Leonardo, 35(2):175-184, April 2002.
Detecting collisions in sets of moving particles: a survey and some experiments. Colin G. Johnson and Jacqueline Whalley. Technical Report 8-02, University of Kent, Computing Laboratory, June 2002.
Deriving genetic programming fitness properties by static analysis. Colin G. Johnson. In Evelyne Lutton, James A. Foster, Julian Miller, Conor Ryan, and Andrea G. B. Tettamanzi, editors, Proceedings of the 4th European Conference on Genetic Programming, EuroGP 2002, volume 2278 of Lecture Notes in Computer Science, pages 299-308, Berlin, April 2002. Springer-Verlag.
Genetic programming with guaranteed constraints. Colin G. Johnson. In Ahmad Lofti, Bob John, and Jon Garibaldi, editors, Recent Advances in Soft Computing. Physica/Springer-Verlag, December 2002.
What can automatic programming learn from theoretical computer science?. Colin G. Johnson. In Xin Yao, editor, Proceedings of the 2002 UK Workshop on Computational Intelligence. University of Birmingham, September 2002.
Distributed component system based on architecture description: The SOFA experience. Tomas Kalibera and Petr Tuma. In Proceedings of the International Symposium on Distributed Objects and Applications (DOA). Springer, October 2002.
Ontologies for Knowledge Management and Semantic Interoperability in Marine Information Systems. Z Kemp. In Proceedings of the Second International Symposium on GIS/Spatial Analyses in Fishery and Aquatic Sciences, University of Sussex, UK, September 2002.
Constraing Trees. S Kent and J Howse. In J Warmer A Clark, editor, Advances in Object Modelling with OCL, LNCS 2263. Springer-Verlag, 2002.
Model Driven Engineering. S Kent. In Proceedings of IFM 2002, LNCS 2335, pages 286-298. Springer-Verlag, 2002.
A Backward Analysis for Constraint Logic Programs. A. King and L. Lu. Theory and Practice of Logic Programming, page 32, July 2002. (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).
Removing GC synchronisation. Andy C. King. In OOPSLA'02 ACM Conference on Object-Oriented Systems, Languages and Applications (Companion)R, SIGPLAN, pages 112-113, Seattle, WA, November 2002. ACM. Winner of the ACM SIGPLAN Student Research Competition 2002.
A Multi-Layered Immune Inspired Approach to Data Mining. T Knight and J Timmis. In A Lotfi, J Garibaldi, and R John, editors, Proceedings of the 4th International Conference on Recent Advances in Soft Computing, pages 266-271, Nottingham, UK., December 2002.
BlueJ - the hitch-hikers guide to object orientation. Michael Kolling and John Rosenberg. Technical Report 2002, Nr 2, ISSN No. 1601-4219, The Maersk Mc-Kinney Moller Institute for Production Technology, University of Southern Denmark, September 2002.
Teaching Java with BlueJ - a sequence of assignments. Michael K�lling. Technical Report 2002,1, University of Southern Denmark, January 2002.
Information Privacy in a Globally Networked Society. Duncan Langford. In ICIS 2002, Barcelona, Spain, December 2002.
Constructing x-of-n attributes with a genetic algorithm. O Larsen, AA Freitas, and JC Nievola. In A. Lofti, J. Garibaldi, and R. John, editors, Proc. 4th Int. Conf. on Recent Advances in Soft Computing (RASC-2002), pages 326-331. Nottingham Trent University, December 2002.
Constructing X-of-N Attributes with a Genetic Algorithm. O Larsen, AA Freitas, and JC Nievola. In Proc Genetic and Evolutionary Computation Conf (GECCO-2002), page 1268, New York, July 2002. Morgan Kaufmann, San Francisco.
More Legacy System Patterns. A Lauder and S Kent. In P Henderson, editor, Systems Engineering for Business Process Change - New Directions. Springer-Verlag, 2002.
A Productive Response to Legacy Systems. Anthony Lauder. PhD thesis, Computing Laboratory, University of Kent, Canterbury, Kent, UK, January 2002.
Backward Type Inference Generalises Type Checking. L. Lu and A. King. In M. Hermenegildo and G. Puebla, editors, Ninth International Static Analysis Symposium, volume 2477 of Lecture Notes in Computer Science, pages 85-101. Springer-Verlag, September 2002. Also see http://www.springer.de/comp/lncs/index.html.
E-governors: Web-enabled support for knowledge management in school governance. Fuller M, Fuller U, and Cooley RE. In D Remenyi, editor, Proceedings of the 2nd European Conference on E-Government, St Catherine's College Oxford, 1-2 October 2002, pages 141-153, Reading, UK, October 2002. MCIL.
Autonomous Management for Pervasive Computing. I W Marshall and L Sacks. In Proceedings ICCS, Nashua, 2002.
Complex System Modelling for Communication Networks. I W Marshall. In Complexity Modelling Workshop, November 2002.
Handling inconsistencies in z using quasi-classical logic. Ralph Miarka, John Derrick, and Eerke Boiten. In Didier Bert, Jonathan P. Bowen, Martin C. Henson, and Ken Robinson, editors, ZB2002: Formal Specification and Development in Z and B / Second International Conference of B and Z Users, volume 2272 of Lecture Notes in Computer Science, pages 204-225, Grenoble, France, January 2002. Springer-Verlag Berlin Heidelberg.
Inconsistency and underdefinedness in z specifications. Ralph Miarka. Ph.D. Thesis, University of Kent, Canterbury, Kent CT2 7NF, UK, December 2002.
The Design and Implementation of OCCAM/CSP Support for a Range of Languages and Platforms. James Moores. PhD thesis, Computing Laboratory, University of Kent, Canterbury, Kent, UK, April 2002.
Transcending Static Deployment of Circuits: Dynamic Run-Time Systems and Mobile Hardware Processes for FPGAs. Ralph Moseley. PhD thesis, Computing Laboratory, University of Kent, Canterbury, Kent, UK, September 2002.
A System for Secure Electronic Prescription Handling. D.P. Mundy and D.W. Chadwick. In Proc of The Hospital of the Future, Second International Conference On The Management Of Healthcare And Medical Technology, Illinois Institute of Technology, Chicago, Illinois, USA, July 2002.
Demonstration of a Preprocessor for the Spring Embedder. Paul Mutton and Peter Rodgers. In GD 2002, LNCS 2528, pages 374-375, August 2002.
Spring Embedder Preprocessing for WWW Visualization. Paul Mutton and Peter Rodgers. In Proceedings Information Visualization 2002. IVS, IEEE, July 2002.
Automatic text summarization using a machine learning approach. J Larroca Neto, AA Freitas, and CAA Kaestner. In G Bittencourt and GL Ramalho, editors, Proc. 16th Brazilian Symp. on Artificial Intelligence (SBIA-2002). Lecture Notes in Artificial Intelligence 2507, pages 205-215. Springer-Verlag, November 2002.
A distributed-population genetic algorithm for discovering interesting prediction rules. Edgar Noda, Alex A. Freitas, and Akebo Yamakami. In Jose M. Benitez and Oscar Gordon, editors, 7th Online World Conference on Soft Computing in Industrial Applications (WSC7), page 8. University of Granada, Spain, September 2002.
Automation of a Normal Form Reduction Strategy for Object-oriented Programming. B Oliveira, ALC Cavalcanti, and ACA Sampaio. In Proceedings of the 5th Brazilian Workshop on Formal Methods, 2002. To appear.
Arcangel: a tactic language for refinement and its tool support. M. V. M. Oliveira. Master's thesis, Centro de Informatica, Universidade Federal de Pernambuco, Brazil, http://www.cin.ufpe.br, December 2002.
Context, CC/PP, and P3P. Patrik Osbakk and Nick Ryan. In Peter Ljungstrand and Lars Erik Holmquist, editors, UbiComp 2002 Adjunct Proceedings, pages 9-10, G�teborg, Sweden, September 2002. Viktoria Institute.
Genetic Programming for Attribute Construction in Data Mining. FEB Otero, MMS Silva, and AA Freitas. In Proc Genetic and Evolutionary Computation Conf (GECCO-2002), page 1270, New York, July 2002. Morgan Kaufmann, San Francisco.
A multiobjective genetic algorithm for attribute selection. G. L. Pappa, A. A. Freitas, and C. A. A. Kaestner. In A. Lofti, J. Garibaldi, and R. John, editors, Proc. 4th Int. Conf. on Recent Advances in Soft Computing (RASC-2002), pages 116-121. Nottingham Trent University, December 2002.
Attribute selection with a multiobjective genetic algorithm. G.L. Pappa, A. A. Freitas, and C. A. A. Kaestner. In G. Bittencourt and G.L. Ramalho, editors, Proc. 16th Brazilian Symp. on Artificial Intelligence (SBIA-2002), Lecture Notes in Artificial Intelligence 2507, pages 280-290. Springer-Verlag, November 2002.
Attribute selection with a multiobjective genetic algorithm. GL Pappa, AA Freitas, and CAA Kaestner. In G Bittencourt and GL Ramalho, editors, Proc. 16th Brazilian Symp. on Artificial Intelligence (SBIA-2002). Lecture Notes in Artificial Intelligence 2507, pages 280-290. Springer-Verlag, November 2002.
A multiobjective genetic algorithm for attribute selection. GL Pappa, AA Freitas, and CAA Kaestner. In A. Lofti, J. Garibaldi, and R. John, editors, Proc. 4th Int. Conf. on Recent Advances in Soft Computing (RASC-2002), pages 116-121. Nottingham Trent University, December 2002.
Multiobjective genetic algorithms for attribute selection. G. L. Pappa. Master's thesis, Pontificia Universidade Catolica do Parana - Brazil, December 2002.
An Ant Colony Algorithm for Classification Rule Discovery. RS Parpinelli, HS Lopes, and AA Freitas. In HA Abbass, RA Sarker, and CS Newton, editors, Data Mining: a Heurstic Approach, pages 191-208. Idea Group Publishing, London, 2002.
Data Mining with an Ant Colony Optimization Algorithm. RS Parpinelli, HS Lopes, and AA Freitas. IEEE Trans on Evolutionary Computation, special issue on Ant Colony Algorithms, 6(4):321-332, August 2002.
Mining comprehensible rules from data with an ant colony algorithm. RS Parpinelli, HS Lopes, and AA Freitas. In G Bittencourt and GL Ramalho, editors, Proc. 16th Brazilian Symp. on Artificial Intelligence (SBIA-2002). Lecture Notes in Artificial Intelligence 2507, pages 259-269. Springer-Verlag, November 2002.
Communicating process architectures 2002. James Pascoe, Peter Welch, Roger Loader, and Vaidy Sunderam, editors, volume 60 of Concurrent Systems Engineering, IOS Press, Amsterdam, The Netherlands, September 2002. WoTUG, IOS Press.
GCspy: An adaptable heap visualisation framework. Tony Printezis and Richard Jones. In Proceedings of OOPSLA'02 ACM Conference on Object-Oriented Systems, Languages and Applications, SIGPLAN Notices, pages 343-358, Seattle, WA., November 2002. ACM Press.
GCspy: An adaptable heap visualisation framework. Tony Printezis and Richard Jones. Technical Report 5-02, University of Kent, Computing Laboratory, March 2002.
Visualization and data analysis 2002. R.Erbacher, P.Chen, M.Grohn, J.Roberts, and C.Wittenbrink, editors, volume 4665, San Jose, CA., January 2002. SPIE.
Multicast Routing with Quality of Service Constraints in Data Networks. Miguel Rio. PhD thesis, Computing Laboratory, University of Kent, Canterbury, Kent, UK, April 2002.
Multiform Glyph Based Search Result Visualization. Jonathan Roberts, Nadia Boukhelifa, and Peter Rodgers. In Proceeding Information Visualization 2002, pages 549-554. IVS, IEEE, July 2002.
Virtual Haptic Exploratory Visualization of Line Graphs and Charts. Jonathan C. Roberts, Keith Franklin, and Jonathan Cullinane. In Mark T. Bolas, editor, The Engineering Reality of Virtual Reality 2002, volume 4660B of Electronic Imaging Conference, page 10. IS&T/SPIE, January 2002.
Regular Spatial Separation for Exploratory Visualization. Jonathan C. Roberts. In R. Erbacher, P. Chen, M. Grohn, J.C. Roberts, and C.M. Wittenbrink, editors, Visualization and Data Analysis, volume 4665, page 9. Electronic Imaging Symposium, IS&T/SPIE, January 2002.
An Iterative Approach to Locating Simple Devices in an Ad-hoc Network. P Robinson and I W Marshall. In Proceedings of LCS, 2002.
Location of Simple Nodes in an Ad-hoc Network. P Robinson and I W Marshall. In Proceedings of LCS, 2002.
A Genetic Algorithm for Discovering Interesting Fuzzy Prediction Rules: applications to science and technology data. W Romao, AA Freitas, and PCS Pacheco. In WB Langdon, E Cantu-Paz, and et al, editors, Proceedings of Genetic and Evolutionary Computation Conference (GECCO-2002), pages 1188-1195, San Francisco, CA, USA, July 2002. Morgan Kaufmann.
Refinement in Circus. ACA Sampaio, JCP Woodcock, and ALC Cavalcanti. In L Eriksson and PA Lindsay, editors, FME 2002: Formal Methods - Getting IT Right, volume 2391 of Lecture Notes in Computer Science, pages 451-470. Springer-Verlag, 2002.
An Action Semantics for Timed CSPm. A Sheriff, ALC Cavalcanti, and H Moura. In Proceedings of the 6th Brazilian Symposium on Programming Languages, pages 100-113, 2002.
Two Variables per Linear Inequality as an Abstract Domain. Axel Simon, Andy King, and Jacob M. Howe. In M. Leuschel, editor, Proceedings of Logic Based Program Development and Transformation, volume 2664 of Lecture Notes in Computer Science, pages 71-89. Springer-Verlag, 2002. see http://www.springer.de./comp/lncs/index.html.
Analyzing String Buffers in C. A. Simon and A. King. In H. Kirchner and C. Ringeissen, editors, International Conference on Algebraic Methodology and Software Technology, volume 2422 of Lecture Notes in Computer Science, pages 365-379. Springer, September 2002. Also see http://www.springer.de/comp/lncs/index.html.
Analyzing String Buffers in C. Axel Simon and Andy King. Technical Report 2-02, University of Kent, Computing Laboratory, February 2002.
Abstract Specification in Object-Z and CSP. Graeme Smith and John Derrick. In Chris George and Huaikou Miao, editors, Formal Methods and Software Engineering, volume 2495 of Lecture Notes in Computer Science, pages 108-119. Springer, November 2002.
An Experiment in Model Driven Architecture for e-Enterprise Systems. RP Smith and SJH Kent. Technical Report 1-02, University of Kent, Computing Laboratory, University of Kent at Canterbury, January 2002.
Knowledge-based image understanding: A rule-based production system for X-ray segmentation. Linying Su, Bernadette Sharp, and Claude Chibelushi. In Proceedings of Fourth International Conference on Enterprise Information System, volume 1, pages 530-533, Ciudad Real, Spain, April 2002.
Non-greedy minimum interference routing algorithm for bandwidth-guaranteed flows. Su-Wei Tan, Sze-Wei Lee, and Benoit Vaillaint. Computer Communications Journal, 25(17):1640-1652, November 2002.
Interpreting ODP viewpoint specifications: Observations from a Case Study. Chris Taylor, Eerke Boiten, and John Derrick. In Bart Jacobs and Arend Rensink, editors, Formal Methods for Open Object-Based Distributed Systems V, pages 61-76. Kluwer Academic Publishers, March 2002.
ODP computational-to-information viewpoint mappings: a translation of CORBA IDL to Z. C.N. Taylor, E.A. Boiten, and J. Derrick. IEE Proceedings Software, 149(2):57-63, April 2002.
Towards immune inspired fault tolerance in embedded systems. J Timmis, R de Lemos, M Ayara, and R Duncan. In L Wang, J Rajapakse, K Fukushima, S Lee, and X Yao, editors, Proceedings of 9th International Conference on Neural Information Processing, pages 1459-1463. IEEE, November 2002.
1st international conference on artificial immune systems. J. Timmis and P.J. Bentley, editors, University of Kent at Canterbury, September 2002. Unversity of Kent at Canterbury Printing Unit.
Detec��o de auto-similaridade com autocorrela��o. Andr� D. Vieira, Carlos A. G. Ferraz, Erick L. Silva, Janine A. Loureiro, Marc�lia A. Campos, Patr�cia C. A. R. Tedesco, and Saulo C. R. Barros. In XXV National Congress of Applied and Computational Mathematics, Nova Friburgo/RJ - Brazil, September 2002. Title in English: "Self-Similarity Detection with selfcorrelation".
A New Classifier Based on Resource Limited Artificial Immune Systems. Andrew Watkins and Lois Boggess. In Proceedings of Congress on Evolutionary Computation, Part of the 2002 IEEE World Congress on Computational Intelligence held in Honolulu, HI, USA, May 12-17, 2002, pages 1546-1551. IEEE, May 2002.
A Resource Limited Artificial Immune Classifier. Andrew B. Watkins and Lois C. Boggess. In Proceedings of Congress on Evolutionary Computation, Part of the 2002 IEEE World Congress on Computational Intelligence held in Honolulu, HI, USA, May 12-17, 2002, pages 926-931. IEEE, May 2002.
Artificial Immune Recognition System (AIRS): Revisions and Refinements. A. Watkins and J. Timmis. In J. Timmis and P.J. Bentley, editors, 1st International Conference on Artificial Immune Systems, pages 173-181, University of Kent at Canterbury, September 2002. Unversity of Kent at Canterbury Printing Unit.
CSP networking for java (JCSP.net). P.H. Welch, J.R. Aldous, and J. Foster. In P.M.A. Sloot, C.J.K. Tan, J.J. Dongarra, and A.G. Hoekstra, editors, Computational Science - ICCS 2002, volume 2330 of Lecture Notes in Computer Science, pages 695-708. Springer-Verlag, April 2002.
Cluster Computing and JCSP Networking. P.H. Welch and B. Vinter. In James Pascoe, Peter Welch, Roger Loader, and Vaidy Sunderam, editors, Communicating Process Architectures 2002, volume 60 of Concurrent Systems Engineering, pages 203-222, IOS Press, Amsterdam, The Netherlands, September 2002. WoTUG, IOS Press.
Process Oriented Design for Java: Concurrency for All. P.H. Welch. In P.M.A.Sloot, C.J.K.Tan, J.J.Dongarra, and A.G.Hoekstra, editors, Computational Science - ICCS 2002, volume 2330 of Lecture Notes in Computer Science, pages 687-687. Springer-Verlag, April 2002. Keynote Tutorial.
A virtual lab for exploring the [PSI]+ yeast prion. Jacqueline L. Whalley, Mick F. Tuite, and Colin G. Johnson. In Faramarz Valafar, editor, Proceedings of the International Conference on Mathematics and Engineering Techniques in Medicine and Biological Sciences, volume II, pages 583-589. CSERA Press, June 2002.
A Weekly Coupled Adaptive Gossip Protocol for Application Level Active Networks. I Wokoma, I Liabotis, O Prnjat, L Sacks, and I Marshall. In 3rd International Workshop on Policies for Distributed Systems and Networks (POLICY 02), Monterey, California, 2002.
Biologically Inspired Models for Sensor Network Design. I Wokoma, L Sacks, and I W Marshall. In Proceedings of LCS, 2002.
The Semantics of Circus. JCP Woodcock and ALC Cavalcanti. In ZB 2002: Formal Specification and Development in Z and B, volume 2272 of Lecture Notes in Computer Science, pages 184-203. Springer-Verlag, 2002.
Unifying Theories of Parallel Programming. JCP Woodcock and A Hughes. Technical University of Munich, 2002. Notes for Marktoberdorf Summer School.
Verifying the Properties of a Railway Signalling Device. JCP Woodcock and AA McEwan. In Proceedings of the International Conference on Integrated Design and Process Technology, Passadena, June 2002. IDPT Press. Winner of the Rudolph Christian Karl Diesel best paper award.
Unifying Theories of Parallel Programming. J C P Woodcock. In ICFEM 2002: 4th International Conference on Formal Engineering Methods, Shanghai, 2002. IEE Computer Society Press. Keynote speech.
An Introduction to the Alphabetised Relational Calculus. JCP Woodcock. In Logic and Algebra for Engineering Software. IOS Press, 2002.
Semantics of Parallel Programming Languages in the Unifying Theory. JCP Woodcock. In Logic and Algebra for Engineering Software. IOS Press, 2002.
Unifying Theories of Parallel Programming. JCP Woodcock. In Logic and Algebra for Engineering Software. IOS Press, 2002. Also Keynote speech in ICFEM 2002: 4th International Conference on Formal Engineering Methods, Shanghai. IEEE Computer Society Press.

Navigation menu

School of Computing

Studying

Activities

Local users

About us

Search

School of Computing

Computer Science: Publication Index 2002