Computer Science: Publication Index 2004

A Viewpoints Approach to Designing Group Based Applications. David Akehurst, Gill Waters, and John Derrick. In Herwig Unger, editor, Design, Analysis and Simulation of Distributed Systems 2004, Advanced Simulation Technologies Conference, pages 83-93, Arlington, Virginia, April 2004.
Mda-transformations from relations. D.H. Akehurst. In ECOOP 2004 Workshop Reader, Workshop on Model Driven Development (WMDD 2004), June 2004.
Proceedings of Second European Workshop on Model Driven Architecture (MDA) with an emphasis on Methodologies and Transformations. D.H. Akehurst. Technical Report 17-04, University of Kent, Computing Laboratory, August 2004.
Proposal for a Model Driven Approach to Creating a Tool to Support the RM-ODP. D.H. Akehurst. In Workshop on ODP for Enterprise Computing (WODPEC 2004), In conjunction with EDOC 2004, Monterey, California, September 2004.
Relations in OCL. D.H. Akehurst. In UML <<2004>> Workshop OCL and Model Driven Engineering, Lisbon, Portugal, October 2004.
Validating BPEL Specifications using OCL. D.H. Akehurst. Technical Report 15-04, University of Kent, Computing Laboratory, August 2004.
Computer Science Education Research as a Scientific Endeavor. Vicki Almstrum, Sally Fincher, Renee McCauley, and Suzanne Westbrook. In Grace Hopper Celebration of Women in Computing, October 2004.
An artificial immune system for fuzzy-rule induction in data mining. RT Alves, MR Delgado, HS Lopes, and AA Freitas. In Xin Yao and et al, editors, Parallel Problem Solving from Nature - PPSN VIII, LNCS 3242, pages 1011-1020. Springer-Verlag, September 2004.
Induction of fuzzy classification rules with an artificial immune system. R.T. Alves, M.R. Delgado, H.S. Lopes, and A.A. Freitas. In A. Barros, A. Araujo, H.C. Yehia, and R. Teixeira, editors, Proc. 8th Brazilian Symp. on Neural Networks. IEEE Comp Soc Press, November 2004.
Creating Instruments for Ideation: Software Approaches to Geovisualization. G. Andrienko, N. Andrienko, J. Dykes, M. Gahegan, D. Mountain, P. Noy, J.C. Roberts, P. Rodgers, and M. Theus. In Alan MacEachren, Menno-Jan Kraak, and Jason Dykes, editors, Exploring geovisualization. Pergamon, December 2004.
Translating Erlang to mucrl. Thomas Arts, Clara Benac Earle, and Juan Jos� S�nchez Penas. In Proceedings of the International Conference on Application of Concurrency to System Design (ACSD2004). IEEE Computer Society Press, June 2004. To appear.
Eighth international conference on information visualization (iv 04). E. Banissi, K. Borner, C. Chen, M.Dastbaz, G. Clapworthy, A.Failoa, E.Izquierdo, C. Maple, J. Roberts, C. Moore, A. Ursyn, and J. Zhang, editors. IEEE Computer Society, July 2004.
Rendering information processing models of cognition and affect computationally explicit: Distributed executive control and the deployment of attention. P.J. Barnard and H. Bowman. Cognitive Science Quarterly, 3(3):297-328, April 2004.
Objects first with java - a practical introduction using bluej. David J. Barnes and Michael K�lling. Prentice Hall / Pearson Education, second edition, June 2004.
Communicating Mobile Processes. F.R.M. Barnes and P.H. Welch. In I. East, J. Martin, P. Welch, D. Duce, and M. Green, editors, Communicating Process Architectures 2004, volume 62 of Concurrent Systems Engineering Series, pages 201-218, Amsterdam, The Netherlands, September 2004. IOS Press.
A Study into the Comprehension of Euler Diagrams. Florence Benoy and Peter Rodgers. Technical Report 14-04, University of Kent, Computing Laboratory, July 2004.
A Fractal Immune Network. P Bentley and J Timmis. In G Nicosia and et al, editors, Third International Conference on Artificial Immune Systems, number 3239 in LNCS, pages 133-145. Springer, September 2004.
Evaluation of the simula research laboratory. M. Berzins, B. Gustafsson, S. Haridi, P.F. Linington, and C. Rolland. The Research Council of Norway, P.O. Box 2700 St Hanshaugen N-0131 Oslo, Norway, December 2004.
Doctoral Symposium Proceedings, Integrated Formal Methods 2004. Eerke Boiten, John Derrick, and Graeme Smith. Technical Report 4-04, University of Kent, Computing Laboratory, April 2004.
Integrated formal methods, 4th international conference. Eerke A. Boiten, John Derrick, and Graeme Smith, editors, volume 2999 of Lecture Notes in Computer Science. Springer-Verlag, April 2004.
Special Issue on MPC 2002: Foreword. Eerke Boiten and Bernhard M"oller. Science of Computer Programming, 51(1-2):1-2, May 2004.
Input/output abstraction of state based systems. Eerke Boiten. Technical Report 12-04, University of Kent, Computing Laboratory, June 2004.
Travelling salesman heuristics: Exercises in Haskell. Eerke Boiten. Technical Report 10-04, University of Kent, Computing Laboratory, June 2004.
Turtle graphics: Exercises in Haskell. Eerke Boiten. Technical Report 11-04, University of Kent, Computing Laboratory, June 2004.
A constrained-syntax genetic programming system for discovering classification rules: application to medical data sets. CC Bojarczuk, HS Lopes, AA Freitas, and EL Michalkiewicz. Artificial Intelligence in Medicine, 30:27-48, January 2004.
Algebraic reasoning for object-oriented programming. P. H. M. Borba, A. C. A. Sampaio, A. L. C. Cavalcanti, and M. L. Cornelio. Science of Computer Programming, January 2004. To appear.
Using Games to Investigate Movement for Graph Comprehension. John Bovey, Florence Benoy, and Peter Rodgers. In Advanced Visual Interfaces: AVI 2004, pages 71-79. ACM, May 2004.
A tool for the syntactic detection of zeno-timelocks in timed automata. H. Bowman, R. Gomez, and L. Su. In Proceedings of the 6th AMAST Workshop on Real-Time Systems, page 17, Stirling, Scotland, July 2004. Elsevier. To be published in ENTCS.
Towards a Neural Network Model of the Attentional Blink. H. Bowman, B. Wyble, and P.J. Barnard. In H. Bowman and C. Labiouse, editors, Proceedings of the Eighth Neural Computation and Psychology Workshop, Connectionist Models of Cognition and Perception II, volume 15 of Progress in Neural Processing, pages 178-187, Singapore, April 2004. World Scientific.
How to stop time stopping (preliminary version). Howard Bowman, Rodolfo Gomez, and Li Su. Technical Report 9-04, University of Kent, Computing Laboratory, Canterbury, Kent, CT2 7NF, UK, May 2004.
Proceedings of the eighth neural computation and psychology workshop, connectionist models of cognition and perception ii. H. Bowman and C. Labiouse, editors, volume 15 of Progress in Neural Processing, Singapore, April 2004. World Scientific.
Analysis of theta power in hippocampal eeg during bar pressing and running behavior in rats during distinct behavioral contexts. Wyble BP, Hyman JM, Rossi CA, and Hasselmo ME. Hippcampus, 14:662-674, July 2004.
Observing functional logic computations. Bernd Brassel, Olaf Chitil, Michael Hanus, and Frank Huch. In B. Jayaraman, editor, Proc. of the Sixth International Symposium on Practical Aspects of Declarative Languages (PADL'04), LNCS 3057, pages 193-208. Springer, June 2004.
Connecting People, Data and Resources. Ken Brodlie, Heike Blechschmied, David Fairbairn, Zarine Kemp, and Michael Schroeder. In J Dykes, A MacEachren, and M-J Kraak, editors, Exploring Geovisualization. Oxford: Elsevier, 2004. (in press).
RBAC What? Development of a Role-Based Access Control Policy Writing Tool for E-Scientists. Sacha Brostoff, M. Angela Sassea, David Chadwick, James Cunningham, Uche Mbanaso, and O. Otenko. In Workshop on Grid Security Practice and Experience, Oxford, UK, pages V21-38, July 2004.
Browsing Agents: Automated Browsing of Distributed Information. Heather Brown, Fred Cole, Zarine Kemp, and Ning Li. In King and Munson, editors, Digital Documents: Systems and Principles, volume 2023 of LNCS, pages 203-222. Springer-Verlag, 2004.
Towards correspondence carrying specifications. Marius C. Bujorianu and Eerke A. Boiten. In Charles Rattray, Savitri Maharaj, and Carron Shankland, editors, Algebraic Methodology and Software Technology, Proceedings of the 10th International Conference, AMAST 2004, volume 3116 of LNCS, page 15. Springer, July 2004.
Extending UML: A foundational approach to heterogeneity. Manuela L. Bujorianu and Marius C. Bujorianu. CSD-UMl'04 3rd International Workshop on Critical Systems Development with UML, October 2004.
Integration of specification languages using viewpoints.. Marius C. Bujorianu. In Eerke A. Boiten, John Derrick, and Graeme Smith, editors, Integrated Formal Methods, 4th International Conference, IFM 2004, volume 2999, page 18. Springer, April 2004.
NetBook: uma ferramenta para avalia��o de desempenho de sistemas de comunica��o. Marcilia Andrade Campos, Erick Lopes da Silva, Diogo de Carvalho Pedrosa, Jorge Luiz de Castro e Silva, Janine Aguiar Loureiro, and Carlos Andr� Guimar�es Ferraz. In Proceedings of the 22nd Brazilian Symposium on Computer Networks - III Tools Special Session, pages 967-974, Gramado/RS, May 2004. Title in English: "NetBook: a tool for performance evaluation of communication systems".
The Value of Guided Revision. Janet Carter. In Una O'Reilly and Hazel Steede, editors, Proceedings of 5th Annual Conference of the Subject Centre for Information and Computer Sciences, pages 91-95, Ulster, August 2004. LTSN-ICS.
A hybrid decision tree/genetic algorithm method for data mining. DR Carvalho and AA Freitas. Information Sciences, 163(1-3):13-35, June 2004.
Angelic nondeterminism and unifying theories of programming. Ana Cavalcanti and Jim Woodcock. Technical Report 13-04, University of Kent, Computing Laboratory, June 2004.
Multilayer Privilege Management for Dynamic Collaborative Scientific Communities. David Chadwick, Theo Dimitrakos, Kerstin Kleese-Van Dam, Damian Mac Randal, Brian Matthews, and Alexander Otenko. In Workshop on Grid Security Practice and Experience, Oxford, pages II 7-14, July 2004.
Secure Role-based Messaging. David Chadwick, Graeme Lunt, and Gansen Zhao. In Eighth IFIP TC-6 TC-11 Conference on Communications and Multimedia Security (CMS 2004),Windermere, UK, 2004.
Using SAML to Link the GLOBUS Toolkit to the PERMIS Authorisation Infrastructure. David Chadwick, Sassa Otenko, and Von Welch. In Proceedings of Eighth Annual IFIP TC-6 TC-11 Conference on Communications and Multimedia Security, Windermere, UK, September 2004.
The Secure Electronic Transfer of Prescriptions. D.W. Chadwick and D.P. Mundy. In HC2004, Harrogate, UK, March 2004. Keynote paper.
Implementing Role Based Access Controls using X.509 Privilege Management - the PERMIS Authorisation Infrastructure. DW Chadwick and A Otenko. In Borka Jerman-Blazic, Wolfgang Schneider, and Tomaz Klobucar, editors, Security and Privacy in Advanced Networking Technologies, NATO Science Series, pages 26-39. IOS Press, 2004. Proceedings of the NATO Advanced Networking Workshop on Advanced Security Technologies in Networking, Bled, Slovenia, 15-18 September 2003.
Autonomic Privilege Management - extending PERMIS to contribute to the TrustCOM objectives. David Chadwick. In E-Challenges 2004, pages 27-29, Vienna, Austria, October 2004.
Threat Modelling for Active Directory. David Chadwick. In Proceedings of Eighth Annual IFIP TC-6 TC-11 Conference on Communications and Multimedia Security, pages 173-182, Windermere, UK, September 2004.
PKI Past, Present and Future. D.W. Chadwick. In First EuroPKI Workshop, Samos, June 2004. Keynote presentation.
The X.509 Privilege Management Infrastructure. DW Chadwick. In Borka Jerman-Blazic, Wolfgang Schneider, and Tomaz Klobucar, editors, Security and Privacy in Advanced Networking Technologies, pages 15-25. IOS Press, 2004. Proceedings of the NATO Advanced Networkign Workshop on Advanced Security Technologies in Networking, Bled, Slovenia, 15-18 September 2003.
Lazy assertions. Olaf Chitil, Dan McNeill, and Colin Runciman. In Phil Trinder, Greg Michaelson, and Ricardo Pena, editors, Implementation of Functional Languages: 15th International Workshop, IFL 2003, LNCS 3145. Springer, November 2004.
Source-based trace exploration. Olaf Chitil. In Draft Proceedings of the 16th International Workshop on Implementation of Functional Languages, IFL 2004, pages 239-244. Technical Report 0408, University of Kiel, September 2004.
Spread of Vector Borne Diseases in a Population with Spatial Structure. D Chu and J Rowe. In In Proceedings of PPSN VIII - Eighth International Conference on Parallel Problem Solving from Nature, number 3242 in Lecture Notes in Computer Science, pages 222-232. Springer-Verlag, September 2004.
The social construction of technology and information systems. R.E. Cooley. In Kevin Grant, editor, UK Academy of Information Systems Conference: 5-7 May 2004, pages 121-129. Glasgow Caledonian University, May 2004.
A genetic algorithm for solving a capacitated p-median problem. ES Correa, MTA Steiner, AA Freitas, and C Carnieri. Numerical Algorithms, 35(2-4):373-388, April 2004.
Experiences of Establishing Trust in a Distributed System Operated by Mutually Distrusting Parties. Scott Crawford and David Chadwick. In 3rd Annual PKI R&D Workshop, NIST, Gaithersburg MD, April 2004. Available from: http://middleware.internet2.edu/pki04/proceedings/trust_experiences.pdf.
Qualidade de servi�o em aplica��es de telemedicina. Erick Lopes da Silva. In XI Scientific Initiation Congress of the Federal University of Pernambuco, Recife/PE - Brazil, February 2004. Title in English: "Quality of Service in Telemedicine Applications".
Five myths of assessment. Mats Daniels, Anders Berglund, Arnold Pears, and Sally Fincher. In Raymond Lister and Alison L. Young, editors, Computing Education 2004 Sixth Australasian Computing Education Conference (ACE 2004), volume 26 of Australian Computer Science Communications, January 2004.
A dependable architecture for cots-based software systems using protective wrappers. P. Asterio de C. Guerra, C. M. F. Rubira, A. Romanovsky, and R. de Lemos. In R. de Lemos, C. Gacek, and A. Romanovsky, editors, Architecting Dependable Systems II, volume 3069 of Lecture Notes in Computer Science. Springer, June 2004.
Architecting dependable systems ii. R. de Lemos, C. Gacek, and A. Romanovsky, volume 3069 of Lecture Notes in Computer Science. Springer, June 2004.
Analysing failure behaviours in component interaction. R. de Lemos. Journal of Systems and Software, 71(1-2):97-115, April 2004.
Self-* and predictability: are these conflicting system capabilities?. R. de Lemos. In Proceedings of the International Workshop on Self-* Properties in Complex Information Systems (SELF-STAR 2004), pages 105-108, May 2004.
Analysing failure behaviours in component interaction. Rogerio de Lemos. The Journal of Systems and Software, 71(1-2):97-115, April 2004.
Linear temporal logic and Z refinement. John Derrick and Graeme Smith. In C. Rattray, S Maharaj, and C Shankland, editors, Algebraic Methodology and Software Technology (AMAST 2004), volume 3116 of Lecture Notes in Computer Science, pages 117-131. Springer, July 2004.
Handling inconsistency in distributed data mining with paraconsistent logic. SNM Ferreira, AA Freitas, and BC Avila. In C Guzelis, E Alpaydin, T Yakhno, and F Gurgen, editors, Proc. 13th Turkish Symposium on Artificial Intelligence and Neural Networks (TAINN-2004), pages 19-28, Izmir, Turkey, June 2004.
Cause for alarm?: A multi-national, multi-institutional study of student-generated software designs. S Fincher, M Petre, J Tenenberg, K Blaha, and D Bouvier et al. Technical Report 16-04, University of Kent, Computing Laboratory, University of Kent, Canterbury, September 2004.
Cooperative education in information technology. Sally Fincher, Tony Clear, Krassie Petrova, Katharine Hoskyn, Roanne Birch, Gwyn Claxton, and Malcolm Wieck. In Richard K Coll and Chris Eames, editors, International Handbook for Cooperative Education, pages 111-123. WACE, May 2004.
People and Computers XVIII: Design for Life. Sally Fincher, Panos Markopoulos, David Moore, and Roy Ruddle. Springer-Verlag, September 2004.
A multi-national, multi-institutional study of student-generated software. Sally Fincher, Marian Petre, Josh Tenenberg, Ken Blaha, Dennis Bouvier, Tzu-Yi Chen, Donald Chinn, Stephen Cooper, Anna Eckerdal, and Hubert Johnson. In Ari Korhonen and Lauri Malmi, editors, Kolin Kolistelut - Koli Calling Proceedings, pages 20-28, September 2004.
A multi-national, multi-institutional study of student-generated software designs. Sally Fincher, Marian Petre, Josh Tenenberg, Ken Blaha, Dennis Bouvier, Tzu-Yi Chen, Donald Chinn, Stephen Cooper, Anna Eckerdal, Hubert Johnson, and Robert McCartney. In 4th Finnish/Baltic Sea Conference on Computer Science Education, pages 1-8, October 2004.
Developing engineering education research questions: What do they look like? How do I get one?. Sally Fincher and Robin Adams. In Frontiers in Education, October 2004.
Computer science education research. Sally Fincher and Marian Petre. Routledge Falmer, January 2004.
A Path Based Model for Sonification. Keith M. Franklin and Jonathan C. Roberts. In E. Banissi, K. Borner, C. Chen, M. Dastbaz, G. Clapworthy, A. Faiola, E. Izquierdo, C. Maple, J. Roberts, C. Moore, A. Ursyn, and J.J. Zhang, editors, 8th International Conference on Information Visualisation, pages 865-870. IEEE Computer Society, July 2004.
A critical review of multi-objective optimization in data mining: a position paper. Alex Freitas. SIGKDD Explorations, 6(2):77-86, December 2004.
Routing Analysis and Energy Efficiency in Wireless Sensor Networks. Q Gao, K J Blow, D J Holding, I Marshall, and X H Peng. In Proceedings 6th IEEE CAS Symposium on Emerging Technologies: Frontiers of Mobile and Wireless Communications, pages 533-536, Shangai, China, June 2004.
Inferring Non-Suspension Conditions for Logic Programs with Dynamic Scheduling. Samir Genaim and Andy King. Technical Report 20-04, University of Kent, Computing Laboratory, November 2004.
Semantic web interaction on internet relay chat. Jennifer Golbeck and Paul Mutton. In Proceedings of Interaction Design on the Semantic Web, page 5, New York, May 2004.
Individual-based simulation of the clustering behaviour of epidermal growth factor receptors. Jacki P. Goldman, William J. Gullick, and Colin G. Johnson. Scientific Programming, 12(1):25-43, January 2004.
Durative events in active databases. R. Gomez and J.C. Augusto. In ICEIS 2004, Proceedings of the 6th International Conference on Enterprise Information Systems, pages 306-311, Porto, Portugal, April 2004.
PITL2MONA}: Implementing a Decision Procedure for Propositional Interval Temporal Logic. Rodolfo Gomez and Howard Bowman. Journal of Applied Non-Classical Logics, 14(1-2):105-148, 2004. Issue on Interval Temporal Logics and Duration Calculi. V. Goranko and A. Montanari guest eds.
A Self-Synchronised Scheme for Communication in Wireless Sensor Networks. A Gonzalez, I W Marshall, L Sacks, I Henning, and T Khan. In LCS-2004, 2004.
A self-synchronised scheme for automated communication in wireless sensor networks. A Gonzalez-Velazquez, I W Marshall, and L Sacks. In ISSNIP-2004, 2004.
Automatic programming with ant colony optimization. Jennifer Green, Jacqueline L. Whalley, and Colin G. Johnson. In Mark Withall and Chris Hinde, editors, Proceedings of the 2004 UK Workshop on Computational Intelligence, pages 70-77. Loughborough University, September 2004.
Optimising the integration of terrain referenced navigation with INS and GPS. Paul D. Groves, Robin J. Handley, and Andrew R. Runnalls. In GNSS 2004. Institute of Navigation, September 2004. 21-24 September 2004, Long Beach, California.
BRACE yourself: CS education research is coming. P. Haden, S. Fincher, and M. Petre. In Proceedings of 17th NACCQ conference, Christchurch, New Zealand, pages 277-280, July 2004.
Algorithm 830: Another Visit With Standard and Modified Givens Transformations and A Remark on Algorithm 539. Richard J. Hanson and Tim Hopkins. ACM Transactions on Mathematical Software, 30(1):86-94, March 2004.
greenfoot: Combining object visualisation with interaction. Poul Henriksen and Michael Kolling. In Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications (OOPSLA), pages 73-82, Vancouver, BC, CANADA, November 2004. ACM.
Web page classification with an ant colony algorithm. N Holden and AA Freitas. In Xin Yao and et al, editors, Parallel Problem Solving from Nature - PPSN VIII, LNCS 3242, pages 1092-1102. Springer-Verlag, September 2004.
Analysing Logic Programs by Reasoning Backwards. Jacob M. Howe, Andy King, and Lunjin Lu. In Maurice Bruynooghe and Kung-Kiu Lau, editors, Program Development in Computational Logic, volume 3049 of Lecture Notes in Computer Science, pages 152-188. Springer-Verlag, May 2004. Also see http://www.springer.de/comp/lncs/index.html.
The Transterpreter: A Transputer Interpreter. Christian L. Jacobsen and Matthew C. Jadud. In Dr. Ian R. East, Prof David Duce, Dr Mark Green, Jeremy M. R. Martin, and Prof. Peter H. Welch, editors, Communicating Process Architectures 2004, volume 62 of Concurrent Systems Engineering Series, pages 99-106. IOS Press, Amsterdam, September 2004.
Simulating complex intracellular processes using object-oriented computational modelling. Colin G. Johnson, Jacki P. Goldman, and William J. Gullick. Progress in Biophysics and Molecular Biology, 86(3):379-406, November 2004.
Do somatic markers need to be somatic? Analogies from evolution and from hardware interlocks. Colin G. Johnson. In Proceedings of the AISB 2004 Convention, pages 33-35. Sociaty for the Study of Artificial Intelligence and Simulation of Behaviour, April 2004.
Post-industrial-revolution HCI. Colin G. Johnson. In Anne Bruseberg, Peter Johnson, and Peter J. Wild, editors, Coping with Complexity: Sharing New Approaches for the Design of Human-Computer Systems in Complex Settings, pages 7-8. University of Bath, September 2004.
Using tabu search and genetic algorithms in mathematics research. Colin G. Johnson. In Ahmed Lotfi, editor, Proceedings of the Fifth International Conference on Recent Advances in Soft Computing, pages 243-248. Nottingham Trent University, December 2004.
What kinds of natural processes can be regarded as computations?. Colin G Johnson. In Ray Paton, editor, Computation in Cells and Tissues: Perspectives and Tools of Thought. Springer, January 2004.
Collecting the garbage without blocking the traffic. Richard Jones and Andy King. Technical Report 18-04, University of Kent, Computing Laboratory, September 2004.
Automatic text summarization with genetic algorithm-based attribute selection. C.N. Silla Jr, G.L. Pappa, A.A. Freitas, and C.A.A. Kaestner. In C. Lemaitre, C.A. Reyes, and J.A. Gonzales, editors, Advances in Artificial Intelligence (IBERAMIA 2004, Proc. 9th Ibero-American Conference on AI), LNCS, volume 3315, pages 305-314. Springer-Verlag, November 2004.
An analysis of sentence boundary detection systems for English and Portuguese documents. Carlos N. Silla Jr. and Celso A. A. Kaestner. In Fifth International Conference on Intelligent Text Processing and Computational Linguistics, volume 2945 of Lecture Notes in Computer Science, pages 135-141. Springer, February 2004.
Exact Computing in Positional Weighted Systems. Alexander Kaganovsky. PhD thesis, Computing Laboratory, University of Kent, Canterbury, Kent, UK, January 2004.
Generic environment for full automation of benchmarking. Tomas Kalibera, Lubomir Bulej, and Petr Tuma. In Proceedings of the 1st International Workshop on Software Quality (SOQUA). GI, September 2004.
A Knowledge-based Collaborative Environment for Geovisualization: Ontologies for Multiple Perspectives on Distributed Data Resources. Zarine Kemp. In J Dykes A MacEachren and M-J Kraak, editors, Exploring Geovisualization. Oxford: Elsevier, 2004. (in press).
Behavioural Reactivity and Real Time Programming in XML: Functional Programming meets SMIL animation. Peter King, Patrick Schmitz, and Simon Thompson. In Jean-Yves Vion-Dury, editor, ACM Symposium on Document Engineering 2004, pages 57-66. ACM, January 2004.
Removing garbage collector synchronisation. Andy C. King. PhD thesis, University of Kent at Canterbury, September 2004.
Going interactive: Combining ad-hoc and regression testing. Michael Kolling and Andrew Patterson. In The Fifth International Conference on Extreme Programming and Agile Processes in Software Engineering (XP 2004), pages 270-273, Garmisch-Partenkirchen, Germany, February 2004. Springer.
Unit Testing in BlueJ. Michael Kolling. Technical Report 2004, No 1, ISSN No 1601-4219, The Maersk Mc-Kinney Moller Institute for Production Technology, University of Southern Denmark, July 2004.
The bluej environment reference manual. Michael K�lling. Technical Report 2004, No 2, ISSN No. 1601-4219, The Maersk Mc-Kinney Moller Institute for Production Technology, University of Southern Denmark, June 2004.
Progress on HaRe: the Haskell Refactorer. Huiqing Li, Claus Reinke, and Simon Thompson. Poster presentation at the International Conference on Functional Programming, Snowbird, Utah. ACM, September 2004.
A naive bayes learning based website reconfiguration system. Jia Li, Huiqing Li, and Xiumei Jia. In Proceedings of the 2004 International Conference on Machine Learning and Applications, December 2004.
A unified behavioural model and a contract language for extended enterprise. P. F. Linington, Z. Milosevic, J. Cole, S. Gibson, S. Kulkarni, and S. Neal. Data and Knowledge Engineering, 51(1):5-29, October 2004.
An Analysis of Student Performance. Janet Linington. Technical Report 6-04, University of Kent, Computing Laboratory, University of Kent, Canterbury, Kent, UK, April 2004.
Automating support for e-business contracts. P. F. Linington. In Zoran Milosevic and Guido Governatori, editors, Contract Architectures and Languages workshop (CoALa2004), Monterey, California, USA, September 2004. IEEE Digital Library.
What Foundations does the RM-ODP need?. P. F. Linington. In A. Vallecillo, Linington P. F, and B. M. Wood, editors, Workshop on ODP for Enterprise Computing (WODPEC 2004), pages 15-22, Monterey, California, USA, September 2004. IEEE Digital Library.
Model driven development and non-functional aspects. Peter F. Linington. In WMDD 2004 Workshop, ECOOP 2004, page 3, Oslo, Norway, June 2004.
The role of contracts in establishing interoperability of enterprise systems. Peter F. Linington. In INTEREST 2004 Workshop, ECOOP 2004, page 3, Oslo, Norway, June 2004.
Backward Pair Sharing Analysis. Lunjin Lu and Andy King. In Yukiyoshi Kameyama and Peter Stuckey, editors, Seventh International Symposium on Functional and Logic Programming, volume 2998 of Lecture Notes in Computer Science, pages 132-146. Springer-Verlag, April 2004. Also see http://www.springer.de/comp/lncs/index.html.
Determinancy Inference for Logic Programs. Lunjin Lu and Andy King. Technical Report 19-04, University of Kent, Computing Laboratory, University of Kent, October 2004.
A Layered Approach to in-situ Data Management on a Wireless Sensor Network. I. W. Marshall, C. Roadknight, L. Parrott, and N. Boyd. In ISSNIP-2004, pages 85 - 90, 2004. See: http://www.cs.kent.ac.uk/projects/secoas/papers.htm.
Control Generation by Program Transformation. Jonathan C. Martin and Andy King. Technical Report 5-04, University of Kent, Computing Laboratory, University of Kent, Canterbury, CT2 7NF, March 2004.
On the Inference of Natural Level Mappings. Jonathan C. Martin and Andy King. In Maurice Bruynooghe and Kung-Kiu Lau, editors, Program Development in Computational Logic, volume 3049 of Lecture Notes in Computer Science, pages 432-452. Springer-Verlag, May 2004. Also see http://www.springer.de/comp/lncs/index.html.
Enhancing apprentice-based learning of Java. Michael Kölling and David J Barnes. In Proceedings of the thirty-fifth SIGCSE technical symposium on computer science education, pages 286-290. ACM, ACM Press, March 2004.
On design and implementation of a contract monitoring facility. Z. Milosevic, S. Gibson, P. F. Linington, J. Cole, and S. Kulkarni. In Boualem Benatallah, Claude Godart, and Ming-Chien Shan, editors, Proceedings of WEC, First IEEE International Workshop on Electronic, pages 62-70. IEEE Computer Society, July 2004.
Inter-organisational collaborations supported by E-Contracts. Zoran Milosevic, Peter F. Linington, Simon Gibson, Sachin Kulkarni, and James Cole. In Winfried Lamersdorf, Volker Tschammer, and Stephane Amarger, editors, Building the E-Service Society: E-Commerce, E-Business, and E-Government, volume 9 of 14 of IFIP 18th World Computer Congress, pages 413-429, Toulouse, France, August 2004. IFIP, Kluwer.
Exploiting Immunological Properties for Ubiqitous Computing Systems. P Mohr, N Ryan, and J Timmis. In G Nicosia and et al, editors, Third International Conference on Artificial Immune Systems, number 3239 in LNCS, pages 277-289. Springer, September 2004.
Some expectations and perceptions of electronic transfer of prescription systems. D.P. Mundy, D.W. Chadwick, and E. Ball. British Journal of Health Care Computing and Information Management, March 2004, 22(2):34-38, March 2004.
Electronic transmission of prescriptions - towards realising the dream. D. Mundy and D. W. Chadwick. International Journal of Electronic Healthcare (IJEH), 2004, 1(1):112-125, 2004.
An XML alternative for performance and security: ASN.1. D. Mundy and D.W. Chadwick. IEEE IT Professional, 6(1):30-36, 2004.
Secure knowledge management. D.P. Mundy and D.W. Chadwick. In Wickramasinghe, J.N.D. Gupta, and S.K. Sharma, editors, Creating Knowledge Based Health Care Organizations, pages 321-337. Idea Publishing Group, February 2004.
Drawing graphs in euler diagrams. Paul Mutton, Peter Rodgers, and Jean Flower. In Alan Blackwell, Kim Marriot, and Atsushi Shimojima, editors, Diagrams 2004, LNAI 2980, pages 66-81. Springer-Verlag, March 2004.
Inferring and visualizing social networks on Internet Relay Chat. Paul Mutton. In To appear in Eighth International Conference on Information Visualization (IV04), page 9. IEEE, July 2004.
Transformation in HaRe. Chau Nguyen-Viet. Technical report, University of Kent, Computing Laboratory, University of Kent, Canterbury, Kent, UK, December 2004.
Proceedings of 3rd international conference on artificial immune systems. G Nicosia, V Cutello, P Bentley, and J Timmis. Number 3239 in LNCS. Springer, September 2004.
Mechanising the alphabetised relational calculus. Gift Nuka and Jim Woodcock. In WMF2003: 6th Braziliam Workshop on Formal Methods, Campina Grande, Brazil, 2004. To be published in Electronic Notes in Theoretical Computer Science 2004.
From circus to jcsp. M V M Oliveira, A L C Cavalcanti, and J C P Woodcock. In Sixth International Conference on Formal Engineering Methods, Lecture Notes in Computer Science series, page 20. Springer, November 2004. To appear.
Refining industrial scale systems in circus. M V M Oliveira, A L C Cavalcanti, and J C P Woodcock. In I.R. East, J. Martin, P.H. Welch, D. Duce, and M. Green, editors, Communicating Process Architectures 2004, volume 62 of Concurrent Systems Engineering Series, pages 281-309. IOS Press, September 2004.
Refine and gabriel: Support for refinement and tactics. M V M Oliveira, M A Xavier, and A L C Cavalcanti. In 2nd IEEE International Conference on Software Engineering and Formal Methods. IEEE Computer Society Press, September 2004. To appear.
A Refinement Calculus for Circus - Mini-thesis. M. V. M. Oliveira. Mini-thesis 8-04, University of Kent, Computing Laboratory, Computing Laboratory, University of Kent, Canterbury, Kent, CT2 7NF, UK, April 2004.
Small and medium enterprises at risk in the united kingdom. Robert Onions and David Chadwick. In Digital Accounting Research Conference, Facultad De Ciencias Empresariales, University Of Huelva, 11 Plaza De La Merced, Huelva (Spain), October 2004.
Expressing Privacy Preferences in terms of Invasiveness. Patrik Osbakk and Nick Ryan. UK-UbiNet webpage, May 2004. Position Paper for the 2nd UK-UbiNet Workshop, University of Cambridge, UK.
The development of a privacy-enhancing infrastructure: Some interesting findings. Patrik Osbakk and Nick Ryan, September 2004. Position Paper for the Ubicomp Privacy: Current Status and Future Directions workshop at UbiComp 2004, Nottingham, UK.
Professional Codes and Management Issues. Antony Panteli and Duncan Langford. In Terrel Ward Bynum, Nancy Poloudi, Simon Rogerson, and Thomas Spyrou, editors, Challenges for the Citizen of the Information Society, volume 2 of Ethicomp 2004, Proceedings of the seventh international conference, pages 737-744. University of the Agean, April 2004.
The Hydraulic X-Ray Machine: Achieving student self-realisation of professional and ethical computing issues.. Antony Panteli. In D. Edgar Nevill, M. Ross, and G. Staples, editors, Software Quality Education for Tommorrow's Professionals, INSPIRE IX, pages 51-57. BCS, The British Computer Society, April 2004.
Multi-objective algorithms for attribute selection in data mining. G.L. Pappa, A. A. Freitas, and C. A. A. Kaestner. In C.A. Coello Coello and G.B. Lamont, editors, Applications of Multi-Objective Evolutionary Algorithms, pages 603-626. World Scientific, December 2004.
Multi-objective algorithms for attribute selection in data mining. GL Pappa, AA Freitas, and CAA Kaestner. In C.A. Coello Coello and G.B. Lamont, editors, Applications of Multi-Objective Evolutionary Algorithms, pages 603-626. World Scientific, December 2004.
Towards a genetic programming algorithm for automatically evolving rule induction algorithms. GL Pappa and AA Freitas. In J. Furnkranz, editor, Proc. ECML/PKDD-2004 Workshop on Advances in Inductive Learning, pages 93-108, Pisa, Italy, September 2004.
An architectural approach for improving availability in web services. E. Parchas and R. de Lemos. In Proceedings of the ICSE 2004 Workshop on Architecting Dependable Systems (WADS 2004), pages 37-41, May 2004.
Embedding OCL Expressions in YATL. Octavian Patrascoiu and Peter Rodgers. In Proceedings of the "OCL and Model Driven Engineering" wokshop, UML'04, page 9, October 2004.
Mapping EDOC to Web Services using YATL. Octavian Patrascoiu. In Proceedings of the 8th International IEEE Enterprise Distributed Object Computing Conference (EDOC 2004), page 12, September 2004.
Model Transformations in YATL. Studies and Experiments. Octavian Patrascoiu. Technical Report 3-04, University of Kent, Computing Laboratory, March 2004.
YATL: Yet Another Transformation Language - Reference Manual Version 1.0. Octavian Patrascoiu. Technical Report 2-04, March 2004.
YATL:Yet Another Transformation Language. Octavian Patrascoiu. In Proceedings of the 1st European MDA Workshop, MDA-IA, pages 83-90. University of Twente, the Nederlands, January 2004.
Towards a generic XML content presentation model. Michael Pediaditakis and David Shrimpton. The W3C Workshop on Web Applications and Compound Documents, San Jose, California, USA, June 2004.
Visualization and data analysis 2004. R.Erbacher, P.Chen, J.Roberts, M.Grohn, and K.Borner, editors, volume 5295. SPIE, January 2004.
A comparison of automatic summarizers of texts in brazilian portuguese. Lucia H. M. Rino, Thiago A. S. Pardo, Carlos N. Silla Jr., Celso A. A. Kaestner, and Michael Pombo. In Advances in Artificial Intelligence � SBIA 2004, volume 3171 of Lecture Notes in Artificial Intelligence, pages 235-244. Springer, October 2004.
A Layered Approach to in-situ Data Management on a Wireless Sensor Network. C Roadknight, L Parrott, N Boyd, and I W Marshall. In ISSNIP-2004, 2004.
Sensor Networks of Intelligent Devices. C Roadknight and I W Marshall. In Proceedings EWSN, pages 58-61, 2004.
Visual Depictions of Search Results: using glyphs and coordinated multiple-views. Jonathan C. Roberts, Nadia Boukhelifa, and Peter Rodgers. YLEM Journal, 24(2):8-10, January 2004.
Exploratory visualization using bracketing. Jonathan C. Roberts. In Maria Francesca Costabile, editor, Proceedings of Advanced Visual Interfaces (AVI 2004), pages 188-192, Gallipoli, Italy, May 2004. ACM.
Exploratory visualization with multiple linked views. Jonathan C. Roberts. In Alan MacEachren, Menno-Jan Kraak, and Jason Dykes, editors, Exploring Geovisualization. Amsterdam: Elseviers, December 2004.
Second International Conference on Coordinated & Multiple Views in Exploratory Visualization (CMV2004). Jonathan C. Roberts, editor, 13th July 2004, London, England, UK, July 2004. IEEE Computer Society.
Visualization equivalence for multisensory perception. Jonathan C Roberts. Computing in Science and Engineering, 6(3):61-65, May 2004.
Dynamic Euler Diagram Drawing. Peter Rodgers, Paul Mutton, and Jean Flower. In Proceedings IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'04), pages 147-156. IEEE, September 2004.
Graph drawing techniques for geographic visualization. Peter Rodgers. In Alan MacEachren, Menno-Jan Kraak, and Jason Dykes, editors, Exploring geovisualization, pages 143-158. Pergamon, December 2004.
Discovering interesting knowledge from a science & technology database with a genetic algorithm. W Romao, AA Freitas, and IMS Gimenes. Applied Soft Computing, 4(2):121-137, May 2004.
Software measurement for functional programming. Chris Ryder. PhD thesis, Computing Lab, University of Kent, Canterbury, UK, August 2004.
Adding Mobility to Networked Channel-Types. Mario Schweigler. In I.R. East, J. Martin, P.H. Welch, D. Duce, and M. Green, editors, Communicating Process Architectures 2004, volume 62 of Concurrent Systems Engineering Series, pages 107-125, Amsterdam, The Netherlands, September 2004. IOS Press.
Editorial video technology and interactive broadcasting. David Shrimpton and Dirk Balfanz. Computers & Graphics, 28(2):137-138, April 2004.
Automatic text summarization with genetic algorithm-based attribute selection. Carlos N. Silla, Gisele L. Pappa, Alex A. Freitas, and Celso A. A. Kaestner. In Christian Lemaitre, Carlos A. Reyes, and Jesus A. Gonzalez, editors, Advances in Artificial Intelligence � IBERAMIA 2004: 9th Ibero-American Conference on AI, Lecture Notes in Computer Science, volume 3315, pages 305-314, November 2004.
Convex Hull of Planar H-Polyhedra. Axel Simon and Andy King. International Journal of Computer Mathematics, 81(4):259-271, March 2004.
Experiences of Using the GGF SAML AuthZ Interface. RO Sinnott and DW Chadwick. In Proceedings of the UK e-Science All Hands Meeting, Nottingham, UK, September 2004.
Towards a PIM for the model-driven development of web-based systems. Robert Smith and David Shrimpton. In Workshop on Model Driven Development (WMDD 2004), at ECOOP 2004, June 2004. Oslo, Norway.
The Expressiveness of Spider Diagrams. Gem Stapleton, John Howse, John Taylor, and Simon Thompson. Journal of Logic and Computation, 14(6):857-880, November 2004.
The Expressiveness of Spider Diagrams Augmented with Constants. Gem Stapleton, John Howse, John Taylor, and Simon Thompson. In Visual Languages / Human Centered Computing 2004, September 2004.
What Can Spider Diagrams Say?. Gem Stapleton, John Howse, John Taylor, and Simon Thompson. In Alan Blackwell, Kim Marriott, and Atsushi Shimojima, editors, Diagrammatic Representation and Inference, volume 2980 of Lecture Notes in Computer Science. Springer, March 2004.
Supporting Viewpoint-Oriented Enterprise Architecture. M.W.A. Steen, D.H. Akehurst, H.W.L. ter Doest, and M.M. Lankhorst. In Eighth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2004), pages 201-211, Monterey, California, September 2004.
Towards a Conceptual Framework for Artificial Immune Systems. S Stepney, R Smith, J Timmis, and A Tyrrell. In G Nicosia and et al, editors, Third International Conference on Artificial Immune Systems, number 3239 in LNCS, pages 53-64. Springer, September 2004.
Metro Map Layout Using Multicriteria Optimization. Jonathan Stott and Peter Rodgers. In Proceedings 8th International Conference on Information Visualisation (IV04), pages 355-362. IEEE, July 2004.
Explicit verses Implicit: An Analysis of a Multiple Search Result Visualization. Edward Suvanaphen and Jonathan C. Roberts. In E. Banissi, K. Borner, C. Chen, M. Dastbaz, G. Clapworthy, A. Faiola, E. Izquierdo, C. Maple, J. Roberts, C. Moore, A. Ursyn, and J.J. Zhang, editors, 8th International Conference on Information Visualisation, pages 731-736. IEEE Computer Society, July 2004.
Textual Difference Visualization of Multiple Search Results utilizing Detail in Context. Edward Suvanaphen and Jonathan C Roberts. In Paul G. Lever, editor, Theory and Practice of Computer Graphics, pages 2-8, Bournemouth, June 2004. EGUK, IEEE Computer Society.
A multiple shared trees approach for application layer multicasting. Su-Wei Tan, Gill Waters, and John Crawford. In IEEE International Conference on Communications (ICC'04), Paris, France, June 2004.
Marine Environmental Modelling: Problems and Solutions. Lei Tan and Zarine Kemp. In A Lovett, editor, Proceedings of GIS Research UK 2004, GISRUK'04. University of East Anglia, Norwich, April 2004.
Towards mobile processes in unifying theories. Xinbei Tang and Jim Woodcock. In Jorge Cuellar and Zhiming Liu, editors, SEFM2004: the 2nd IEEE International Conference on Software Engineering and Formal Methods, Beijing, China, September 2004. IEEE Computer Society Press. To appear.
Travelling processes. Xinbei Tang and Jim Woodcock. In Dexter Kozen, editor, MPC2004: The 7th International Conference on Mathematics of Program Construction, volume 3125 of Lecture Notes in Computer Science, pages 381-399, Stirling, Scotland, UK, July 2004. Springer-Verlag,.
Mobile Process in Unifying Theories. Xinbei Tang. Technical Report 1-04, University of Kent, Computing Laboratory, Canterbury, Kent CT2 7NF, January 2004.
A Novel Mechanism for Routing in Highly Mobile Ad-hoc Sensor Networks. J Tateson and I W Marshall. In Karl, Willig, and Wolisz, editors, Wireless Sensor Networks, number 2920 in LNCS, pages 204-218. 2004.
Assessing the Performance of Two Immune Inspired Algorithms and a Hybrid Genetic Algorithm for Function Optimisation. J Timmis, C Edmonds, and J Kelsey. In Proceedings of the Congress on Evolutionary Computation, volume 1, pages 1044-1051, Potland, Oregon. USA., July 2004. IEEE.
An overview of artificial immune systems. J Timmis, T Knight, L N De Castro, and E Hart. In R Paton, H Bolouri, M Holcombe, J H Parish, and R Tateson, editors, "Computation in Cells and Tissues: Perspectives and Tools for Thought", Natural Computation Series, pages 51-86. Springer, November 2004.
A Comment on opt-AINet: An Immune Network Algorithm for Optimisation. J Timmis and C Edmonds. In D Kalyanmoy and et al, editors, Genetic and Evolutionary Computation, volume 3102 of Lecture Notes in Computer Science, pages 308-317. Springer, July 2004.
An intrusion detection system for gigabit networks � architecture and an example system. Gerald Tripp. Technical Report 7-04, University of Kent, Computing Laboratory, April 2004.
Workshop on odp for enterprise computing (wodpec2004). A. Vallecillo, P. F. Linington, and B.M. Wood, editors, number ITI-04-07 in Technical Report. University of Malaga, September 2004.
Optimising multicast structures for grid computing. Gill Waters, John Crawford, and Sei Guan Lim. Computer Communications, 27:1389-1400, September 2004.
Artificial Immune Recognition System (AIRS): An Immune Inspired Supervised Machine Learning Algorithm. Andrew Watkins, Jon Timmis, and Lois Boggess. Genetic Programming and Evolvable Machines, 5(1), March 2004.
Exploiting Parallelism Inherent in AIRS, an Artificial Immune Classifier. A Watkins and J Timmis. In G Nicosia and et al, editors, Third International Conference on Artificial Immune Systems, number 3239 in LNCS, pages 427-438. Springer, September 2004.
Through the Concurrency Gateway: a Challenge from the Near Future of Graphics Hardware. P.H. Welch. In Dirk Bartz, Bruno Raffin, and Han-Wei Shen, editors, Eurographics/ACM SIGGRAPH Symposium Proceedings: Parallel Graphics and Visualization 2004, pages 17-22. The Eurographics Association, June 2004.
The Common Fisheries Policy: an Integrated GIS and Spatial Data Analysis Approach. Jacqueline Whalley and Zarine Kemp. In A Lovett, editor, Proceedings of GIS Research UK 2004, GISRUK'04. University of East Anglia, Norwich, April 2004.
Double dissociation between the effects of peri-postrhinal and hippocampal lesions on tests of object recognition and spatial memory: heterogeneity of function within the temporal lobe. B. D. Winters, S.E. Forwood, R.A. Cowell, L.M. Saksida, and T.J. Bussey. Journal of Neuroscience, 24(26):5901-8, June 2004.
A Self-Organising Clustering Algorithm for Wireless Sensor Networks. I Wokoma, L Sacks, and I W Marshall. In LCS-2004, 2004. See: http://www.cs.kent.ac.uk/projects/secoas/papers.htm.
A tutorial introduction to unifying theories of programming. Jim Woodcock and Ana Cavalcanti. In IFM2004: Integrating Formal Methods, Canterbury, 2004. Springer-Verlag.
Using Circus for critical industrial applications. Jim Woodcock. In WMF2003: 6th Brazilian Workshop on Formal Methods, Campina Grande, Brazil, 2004. To be published in Electronic Notes in Theoretical Computer Science. Keynote speech: the Formal Methods Europe Lecture.
The attentional blink at 20 items/sec, model prediction and empirical validation of lag-2 sparing. B Wyble and H Bowman. In Christian Schunn, editor, Proceedings of the International Conference on Cognitive Modelling, October 2004.
Knowledge representation and semantic interoperability in marine information systems. Kemp Z and Frank R. In Nishida T, Kailola PJ, and Hollingworth CE, editors, GIS and Spatial Analyses in Fishery and Aquatic Sciences, pages 47-63. Fishery and Aquatic GIS Research Group, Kawagoe-city, Japan, 2004.

Navigation menu

School of Computing

Studying

Activities

Local users

About us

Search

School of Computing

Computer Science: Publication Index 2004