Computer Science: Publication Index 2005

Model-driven development. Jan Oyvind Aagedal, Jean Bezivin, and Peter F. Linington. In J. Malenfant and Bjarte M. Ostvold, editors, ECOOP 2004 Workshop Reader, volume 3344 of LNCS. Springer-Verlag, January 2005.
Resolved: Objects early has failed. Owen Astrachan, Kim Bruce, Elliot Koffman, Michael K�lling, and Stuart Reges. In SIGCSE'05 Proceedings, volume 37, page 451. ACM, February 2005.
An immune-inspired solution for adaptable error detection in embedded systems. Modupe Ayara. PhD thesis, Computing Laboratory, University of Kent, Canterbury, November 2005.
Modelling the Slow Emotional Stroop Effect: Suppression of Cognitive Control. Wyble B, Sharma D, and Bowman H. In Angelo Cangelosi, Guido Bugmann, and Roman Borisyuk, editors, Proceedings of the Neural Computation and Psychology Workshop, January 2005.
Ninth international conference on information visualization (iv 2005). E. Banissi, M. Sarfraz, J. C. Roberts, Bowen Loften, A. Ursynm, R.A.Burkhard, A.Lee, and G.Andrienko, editors. IEEE Computer Society, July 2005.
Barrier synchronisation for occam-pi. Frederick R.M. Barnes, Peter H. Welch, and Adam T. Sampson. In Hamid R. Arabnia, editor, Proceedings of the 2005 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'05), pages 173-179, Las Vegas, Nevada, USA, June 2005. CSREA Press.
Applying software testing metrics to Lapack. David Barnes and Tim Hopkins. In Jack Dongarra, Kaj Madsen, and Jerzy Wasniewski, editors, Proceedings of the Seventh International Workshop, PARA'04, Lyngby, Denmark, June 2004, Lecture Notes in Computer Science, pages 228-236, Berlin, July 2005. Springer Verlag.
Interfacing C and occam-pi. F.R.M. Barnes. In J.F. Broenink, H.W. Roebbers, J.P.E. Sunter, P.H. Welch, and D.C. Wood, editors, Communicating Process Architectures 2005, volume 63 of Concurrent Systems Engineering Series, pages 249-260, IOS Press, The Netherlands, September 2005. IOS Press.
The Personality and Attitude Traits of Computer Science Students. Ian Benest, Janet Carter, and Jane Chandler. In Win Aung, Robin King, Jerzy Moscinski, Shan-Hwei Ou, and Luis Manuel Sanchez Ruiz, editors, INNOVATIONS 2005: World Innovations in Engineering Education, chapter 26, pages 291-304. Begwell House Publishing, January 2005.
Computing Convex Hulls with a Linear Solver. F. Benoy, A. King, and F. Mesnard. Theory and Practice of Logic Programming, 5(1&2):259-271, 2005. (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).
Evaluating the comprehension of euler diagrams. Florence Benoy and Peter Rodgers. In Euler Diagrams Workshop 2005, August 2005.
Objects-early tools - a demonstration. Joe Bergin, Kim Bruce, and Michael K�lling. In SIGCSE'05 Proceedings, volume 37, page 390. ACM, February 2005.
Roles of variables and program analysis. Craig Bishop and Colin G. Johnson. In Tapio Salakoski, editor, Proceedings of the 5th Finnish/Baltic Conference on Computer Science Education. University of Turku, November 2005.
Editorial: Special issue on Integrated Formal Methods. Eerke A. Boiten, John Derrick, and Graeme Smith. Formal Aspects of Computing, 17(4):389, December 2005.
Formal program development with approximations. Eerke A. Boiten and John Derrick. In Helen Treharne, Steve King, Martin Henson, and Steve Schneider, editors, ZB 2005, volume 3455 of Lecture Notes in Computer Science, pages 375-393. Springer, April 2005.
A tool for the syntactic detection of zeno-timelocks in timed automata. H Bowman, R Gomez, and L Su. Electronic Notes in Theoretical Computer Science, 139(1):25-47, November 2005. Proceedings of the 6th AMAST Workshop on Real-time Systems (ARTS 2004).
R-What? Development of a Role-Based Access Control (RBAC) Policy-Writing Tool for e-Scientists. Sacha Brostoff, M Angela Sasse, David Chadwick, James Cunningham, Uche Mbanaso, and Sassa Otenko. Software: Practice and Experience, 35(9):835-856, July 2005.
Repeated results analysis for middleware regression benchmarking. Lubomir Bulej, Tomas Kalibera, and Petr Tuma. Performance Evaluation, 60(1-4), May 2005.
Knowledge visualization: A comparative study between project tube maps and gantt charts. R.A. Burkhard, M. Meier, P. Rodgers, M.T.J. Smis, and J. Stott. In K. Tochtermann and H. Maurer, editors, Proceedings of the 5th International Conference on Knowledge Management, pages 388-395. Know-Center, Austria, June 2005.
Advances in artificial life - proc. 8th european conf. (ecal-2005). MS Capcarrere, AA Freitas, PJ Bentley, CG Johnson, and J Timmis, editors, volume Lecture Notes in Artificial Intelligence 3630. Springer Verlag, September 2005.
Evaluating the correlation between objective rule interestingness measures and real human interest. DR Carvalho, AA Freitas, and N Ebecken. In A. Jorge, L Torgo, P. Brazdil, R. Camacho, and J. Gama, editors, Knowledge Discovery in Databases: Proc. of PKDD-2005. LNAI 3731, pages 453-461. Springer Verlag, October 2005.
Evaluating six candidate solutions for the small-disjunct problem and choosing the best solution via meta-learning. DR Carvalho and AA Freitas. Artificial Intelligence Review, 24(1):61-98, September 2005.
Adding Distributed Trust Management to Shibboleth. David Chadwick, Sassa Otenko, and Wensheng Xu. In NIST 4th Annual PKI Workshop, pages 3-14, Gaithersberg, USA, April 2005. Available from: http://middleware.internet2.edu/pki05/proceedings/chadwick-distributed-shibboleth.pdf.
Using SAML to link the GLOBUS toolkit to the PERMIS authorisation infrastructure. David W Chadwick, Sassa Otenko, and Von Welch. In David Chadwick and Bart Preneel, editors, Communications and Multimedia Security, pages 251-261. IFIP, Springer, January 2005.
Communications and Multimedia Security. David Chadwick and Bart Preneel, editors, IFIPS CMS Conference Proceedings. Springer, January 2005.
Public Key Infrastructure : Proceedings of europki2005. David Chadwick and Gansen Zhao, editors, volume 3545 of Lecture Notes in Computer Science. Springer, November 2005. available online at http://www.springeronline.com/3-540-28062-6.
Authorisation in Grid Computing. David Chadwick. Information Security Technical Report, 10(1):33-40, 2005.
Delegation Issuing Service. David Chadwick. In NIST 4th Annual PKI Workshop, pages 62-73, Gaithersberg, USA, April 2005. Available from : http://middleware.internet2.edu/pki05/proceedings/chadwick-delegation-issuing.pdf.
The X.509 Privilege Management Standard. David Chadwick. Upgrade - The European Journal for the Informatics Professional, VI(4):41-46, August 2005. Available from http://www.upgrade-cepis.org/issues/2005/4/up6-4Chadwick.pdf.
Operational Models for Reputation Servers. DW Chadwick. In Peter Herrmann, Valerie Issarny, and Simon Shiu, editors, Trust Management: Third International Conference, iTrust 2005, volume 3477 of Lecture Notes in Computer Science, Paris, France, May 2005.
Security and Trust Management Extensions to the PERMIS X.509 Privilege Management Infrastructure. DW Chadwick. ERCIM News, 63, October 2005. Available from http://www.ercim.org/publication/Ercim_News/enw63/chadwick.html.
A new classification-rule pruning procedure for an ant colony algorithm. A Chan and AA Freitas. In E-G. Talbi, P. Liardet, P. Collet, E. Lutton, and M. Schoenauer, editors, Artificial Evolution: Proc. 7th Int. Conf. (EA-2005, Lille, France, Oct. 2005), volume Lecture Notes in Computer Science 3871, pages 25-36. Springer, October 2005.
Hat-explore: Source-based trace exploration. Olaf Chitil. In Colin Runciman, editor, Hat Day 2005: work in progress on the Hat tracing system for Haskell, pages 1-5. Tech. Report YCS-2005-395, Dept. of Computer Science, University of York, UK, October 2005.
Pretty printing with lazy dequeues. Olaf Chitil. Transactions on Programming Languages and Systems (TOPLAS), 27(1):163-184, January 2005.
Pretty printing with partial continuations. Olaf Chitil. In Andrew Butterfield, editor, Draft Proceedings of the 17th International Workshop on Implementation and Application of Functional Languages, IFL 05, page 2. Tech. Report No: TCD-CS-2005-60, University of Dublin, Ireland, September 2005.
Source-based trace exploration. Olaf Chitil. In Clemens Grelck, Frank Huch, Greg J. Michaelson, and Phil Trinder, editors, Implementation and Application of Functional Languages, 16th International Workshop, IFL 2004, LNCS 3474, pages 126-141. Springer, March 2005.
Constructing area-proportional venn and euler diagrams with three circles. Stirling Chow and Peter Rodgers. In Euler Diagrams Workshop 2005, August 2005.
Evolution of DNA uptake signal sequences. D. Chu, H-C. Lee, and T. Lanaerts. Artificial Life, 11(3):317-338, June 2005.
A Fitness-Landscape for the Evolution of Uptake Signal Sequences on Bacterial DNA. D Chu and J Rowe. In M Capcarrere, A Freitas, P Bentley, C Johnson, and J Timmis, editors, Advances in Artificial Life: 8th European Conference, ECAL 2005, UK, September 5-9, pages 845-853. Springer, September 2005.
Approaching Perfect Mixing in a Simple Model of the Spread of an Infectious Disease. D Chu and J Rowe. In H Abbass, T Bossomaier, and J Wiles, editors, Recent Advances in Artificial Life: Proceedings of the Second Australian Conference on Artificial Life (ACAL 2005), pages 21-32. World Scientific, January 2005.
Hat-delta - one right does make a wrong. Thomas Davie and Olaf Chitil. In Colin Runciman, editor, Hat Day 2005: work in progress on the Hat tracing system for Haskell, pages 6-11. Tech. Report YCS-2005-395, Dept. of Computer Science, University of York, UK, October 2005.
Hat-delta: One right does make a wrong. Thomas Davie and Olaf Chitil. In Andrew Butterfield, editor, Draft Proceedings of the 17th International Workshop on Implementation and Application of Functional Languages, IFL 05, page 11. Tech. Report No: TCD-CS-2005-60, University of Dublin, Ireland, September 2005.
Architecting dependable systems iii. R. de Lemos, C. Gacek, and A. Romanovsky, volume 3549 of Lecture Notes in Computer Science. Springer, May 2005.
Architecting web services applications for improving availability. R. de Lemos. In R. de Lemos, C. Gacek, and A. Romanovsky, editors, Architecting Dependable Systems III, volume 3549 of Lecture Notes in Computer Science, pages 69-91. Springer, May 2005.
The conflict between self-* capabilities and predictability. R. de Lemos. In �. Babaoglu and et al., editors, Self-star Properties in Complex Information Systems: Conceptual and Practical Foundations, Lecture Notes in Computer Science, pages 219-229. Springer, February 2005.
Approaches to learning in computer programming. M. de Raadt, M. Hamilton, R. Lister, J. Tutty, B. Baker, I. Box, Q. Cutts, S. Fincher, J. Hamer, P. Haden, M. Petre, A. Robins, and Simon. In Annual International Conference of the Higher Education Research and Development Society of Australasia (HERDSA), pages 407-414, July 2005.
Refine 2005 workshop. J. Derrick and E. Boiten, editors, volume 137(2) of Electronic Notes in Theoretical Computer Science. Elsevier, April 2005. http://www.sciencedirect.com/science/journal/15710661.
A Foreign Function Interface Generator for occam-pi. Damian J. Dimmich and Christan L. Jacobsen. In J. Broenink, H. Roebbers, J. Sunter, P. Welch, and D. Wood, editors, Communicating Process Architectures 2005, pages 235-248, Amsterdam, The Netherlands, September 2005. IOS Press.
Programmed to succeed?: A multi-national, multi-institutional study of introductory programming courses. Sally Fincher, Bob Baker, Ilona Box, Quintin Cutts, Michael de Raadt, Patricia Haden, John Hamer, Margaret Hamilton, Raymond Lister, and Marian Petre et al. Technical Report 1-05, University of Kent, Computing Laboratory, University of Kent, Canterbury, Kent, UK, April 2005.
Multi-institutional, multi-national studies in CSEd research: Some design considerations and trade-offs. Sally Fincher, Raymond Lister, Tony Clear, Anthony Robins, Josh Tenenberg, and Marian Petre. In Proceedings of the First International Computing Education Research Workshop, ICER'05, pages 111-121. SIGCSE, ACM, September 2005.
Making sense of card sorting data. Sally Fincher and Josh Tenenberg. Expert Systems, 22(3):89-93, July 2005.
Dynamic coordinated email visualization. Simone Frau, Jonathan C. Roberts, and Nadia Boukhelifa. In Vaclav Skala, editor, WSCG05 - 13th International Conference on Computer Graphics, Visualization and Computer Vision'2005, pages 187-193, Plzen, Czech Republic, January 2005. (Jan 31 - Feb 4).
Evolutionary algorithms for data mining. A.A. Freitas, volume The Data Mining and Knowledge Discovery Handbook, pages 435-467. Springer, January 2005.
Facilitating student learning through study abroad and international projects. Ursula Fuller, June Amillo, Cary Laxer, W. Michael McCracken, and Joseph Mertz. ACM SIGCSE Bulletin, 37(4):139-151, December 2005.
Architectural description of dependable software systems. Cristina Gacek and Rog�rio de Lemos. Technical report, University of Kent, Computing Laboratory, October 2005.
Analysis of Energy Conservation in Sensor Networks. Q Gao, K J Blow, D J Holding, and I Marshall. Wireless Networks, 11(6):787-794, November 2005.
Simple model of Collective Decision Making during Nectar Source selection by Honey Bees. Siddhartha Ghosh and Ian Marshall. In CD Rom of Workshop on Memory and Learning Mechanisms in Autonomous Robots (ECAL 2005), page 10, September 2005.
Simple Model of Learning and Collective Decision Making during Nectar Source Selection by Honey Bees. Siddhartha Ghosh and Ian Marshall. CD, October 2005. Workshop on Memory and Learning Mechanisms in Autonomous Robots.
Ubiquitous data capture for cultural heritage research. Siddhartha Ghosh and Nick Ryan. In Nick Ryan, Tullio Salmon Cinotti, and Giuseppe Raffa, editors, Smart Environments and their Applications to Cultural Heritage, EPOCH Publication. Archaeolingua, Budapest, Hungary, September 2005.
Discrete Timed Automata. Rodolfo Gomez and Howard Bowman. Technical Report 3-05, University of Kent, Computing Laboratory, February 2005.
Using genetic algorithms to mine interesting dependence modeling rules. AS Goncalves, AA Freitas, R Kato, and RCL de Oliveira. In M.H. Hamza, editor, Proc. 23rd IASTED Int. Multi-Conference on Databases and Applications (DBA-2005), pages 1-6. Acta Press, February 2005.
Computational modelling of the attentional blink. Bowman H and Wyble B. In Angelo Cangelosi, Guido Bugmann, and Roman Borisyuk, editors, Proceedings of the Neural Computation and Psychology Workshop, volume 9, January 2005.
Fixed response-threshold model for task allocation in sensor networks. W. Haboush and D. H. Shrimpton. In Proceedings LCS2005, London Communications Symposium, 7-9 September 2005, September 2005.
An efficient key management algorithm for hierarchical group communication. H. Ragab Hassan, A. Bouabdallah, H. Bettahar, and Y. Challal. In SecureComm: The IEEE first International Conference on, pages 270 - 276, September 2005.
Gestion de cl�s dans la communication de groupes hi�rarchiques. H. Ragab Hassan, A. Bouabdallah, H. Bettahar, and Y. Challal. In S�curit� et Architectures R�seaux-SAR�05, Batz sur Mer-France, June 2005.
Hi-kd : Hash-based hierarchical key distribution for group communication. H. Ragab Hassan, A. Bouabdallah, H. Bettahar, and Y. Challal. In IEEE-INFOCOM'05, short paper, Miami, FL-USA, March 2005.
Enhancedwep : a new solution to wep threats. H. Ragab Hassan and Y. Challal. In IFIP-WOCN�05 International Conference on Wireless and Optical Communications Networks, Dubai-UAE, March 2005.
A hybrid particle swarm/ant colony algorithm for the classification of hierarchical biological data. N Holden and AA Freitas. In P Arabshahi and A Martinoli, editors, Proc. 2005 IEEE Swarm Intelligence Symposium, pages 100-107. IEEE, June 2005.
Varying the topology and probability of re-initialization in particle swarm optimization. Mudassar Iqbal, Alex A. Freitas, and Colin G. Johnson. In E.-G. Talbi, editor, Evolution Artificielle 2005. University of Lille, October 2005.
Torwards Concrete Concurrency: occam-pi on the LEGO Mindstorms. Christian L. Jacobsen and Matthew C. Jadud. In SIGCSE '05: Proceedings of the 36th SIGCSE technical symposium on Computer science education, pages 431-435, New York, NY, USA, February 2005. ACM.
Does a functioning mind need a functioning body?. Colin G Johnson. In Darryl N Davis, editor, Visions of Mind, pages 307-321. Idea Group Publishing, January 2005.
Non-classical computation and the computationalist stance towards the natural and cognitive sciences. Colin G. Johnson. In Susan Stepney, editor, The Grand Challenge in Non-Classical Computation. University of York, April 2005.
Search and notions of creativity. Colin G. Johnson. In Tony Veale, Alison Pease, and Geraint Wiggins, editors, Proceedings of the IJCAI-2005 Workshop on Computational Creativity. IJCAI, July 2005.
Varieties of openness in evolutionary computation. Colin G. Johnson. In Robert Zimmer, editor, Proceedings of the Workshop on Creative Evolutionary Computation. Goldsmiths College, February 2005.
What can post-classical computation do for post-cognitivist psychology?. Colin G. Johnson. In Proceedings of the 2005 Post-Cognitivist Psychology Conference. University of Strathclyde, July 2005.
A fast analysis for thread-local garbage collection with dynamic class loading. Richard Jones and Andy King. In Fifth IEEE International Workshop on Source Code Analysis and Manipulation, pages 129-138, Budapest, September 2005. IEEE Computer Society.
Automated detection of performance regressions: The Mono experience. Tomas Kalibera, Lubomir Bulej, and Petr Tuma. In Proceedings of the 13th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS). IEEE, September 2005.
Benchmark precision and random initial state. Tomas Kalibera, Lubomir Bulej, and Petr Tuma. In Proceedings of the International Symposium on Performance Evaluation of Computer and Telecommunication Systems (SPECTS). SCS, March 2005.
A consideration of decision-making, motivation and emotions within Dual Process theory: supporting evidence from Somatic-Marker theory. Kiran Kalidindi, Howard Bowman, and Brad Wyble. In Dylan Evans and Lola Canamero, editors, Proceedings of the Symposium on Agents that Want and Like: Motivational and Emotional Roots of Cognition and Action - SSAISB 2005 Convention. The Society for the Study of Artificial Intelligence and the Simulation of Behaviour (www.aisb.org.uk), April 2005.
An investigation of the myopia for future consequences theory of VMF patient behaviour on the Iowa Gambling Task: An abstract neural network simulation. Kiran Kalidindi, Howard Bowman, and Brad Wyble. In Angelo Cangelosi, Guido Bugmann, and Roman Borisyuk, editors, Progress in Neural Processing, volume 9. World Scientific, 2005.
Using e-greedy reinforcement learning methods to further understand ventromedial prefrontal patients' deficits on the Iowa gambling task. Kiran Kalidindi, Howard Bowman, and Brad Wyble. Technical Report 12-05, University of Kent, Computing Laboratory, Canterbury, Kent, CT2 7NF, UK, October 2005.
Determinacy Inference by Suspension Inference. Andy King, Lunjin Lu, and Samir Genaim. Technical Report 2-05, University of Kent, Computing Laboratory, University of Kent, October 2005.
Opportunities and challenges with j2se 5 for introductory programming teaching. Michael K�lling, Poul Henriksen, Davin MacCall, Bruce Quig, and John Rosenberg. In The 2005 International Conference on Frontiers in Education: Computer Science and Computer Engineering (FECS'05), page 81, Las Vegas, June 2005. CSREA Press.
Game programming in introductory courses with direct state manipulation. Michael K�lling and Poul Henriksen. In ITiCSE 2005 Proceedings, pages 59-63, Monte de Caparica, Portugal, June 2005. ACM.
Dynamical Hierarchies. T Lenaerts, D Chu, and R Watson. Artificial Life, 11(4):403-405, January 2005.
The Haskell Refactorer: HaRe, and its API. Huiqing Li, Simon Thompson, and Claus Reinke. In John Boyland and G�rel Hedin, editors, Proceedings of the 5th workshop on Language Descriptions, Tools and Applications (LDTA 2005), April 2005. Published as Volume 141, Number 4 of Electronic Notes in Theoretical Computer Science, http://www.sciencedirect.com/science/journal/15710661.
Formalisation of Haskell Refactorings. Huiqing Li and Simon Thompson. In Marko van Eekelen and Kevin Hammond, editors, Trends in Functional Programming, September 2005.
Automating support for e-business contracts. Peter F. Linington. International Journal of Cooperative Information Systems, 14(2&3):77-98, September 2005.
A Heterogeneous Network Access Service based on PERMIS and SAML. Gabriel Lopez, Oscar Canovas, Antonio F Gomez-Skarmeta, Sassa Otenko, and David Chadwick. In Proceedings of 2nd EuroPKI Workshop, University of Kent, July 2005.
Determinacy Inference for Logic Programs. Lunjin Lu and Andy King. In Mooly Sagiv, editor, European Symposium on Programming, volume 3444, pages 108-123. Springer-Verlag, April 2005. Also see http://www.springer.de/comp/lncs/index.html.
A Type Theory with Partially Defined Functions. Yong Luo. Technical Report 10-05, University of Kent, Computing Laboratory, University of Kent, Canterbury, Kent, UK, October 2005.
A Type Theory with Partially Defined Functions. Yong Luo. Technical Report 10-05, University of Kent, Computing Laboratory, University of Kent, Canterbury, Kent, UK, October 2005.
New eta-reduction and Church-Rosser. Yong Luo. Technical Report 7-05, University of Kent, Computing Laboratory, University of Kent, Canterbury, Kent, UK, October 2005.
Yet Another Normalisation Proof for Martin-Lof's Logical Framework - Terms with correct arities are strongly normalising. Yong Luo. Technical Report 6-05, University of Kent, Computing Laboratory, University of Kent, Canterbury, Kent, UK, October 2005.
A learning context memory. P Mohr, N Ryan, and J Timmis. In 3rd UkUbiNet Workshop, page 2, Bath,UK, February 2005.
Immune inspired context memory. P Mohr, J Timmis, and N Ryan. In 1st International Workshop on Exploiting Context Histories in Smart Environments, page 4, Munich, Germany, May 2005.
Birrell's distributed reference listing revisited. Luc Moreau, Peter Dickman, and Richard Jones. ACM Transactions on Programming Languages and Systems (TOPLAS), 27(6):1-52, November 2005.
Vast 2005: 6th international symposium on virtual reality, archaeology and intelligent cultural heritage, inc. 3rd eurographics workshop on graphics and cultural heritage. Mark Mudge, Nick Ryan, and Roberto Scopigno, editors, ISTI-CNR Pisa, Italy, November 2005. Eurographics Association.
Once More Unto the Breach: Towards Artificial Homeostasis?. M Neal and J Timmis. In L N De Castro and F J Von Zuben, editor, Recent Developments in Biologically Inspired Computing, pages 340-365. Idea Group, January 2005.
Communication issues in large scale wireless ad hoc networks. Gareth Owen and Mo Adda, editors, volume International Conference on Computer Science and Information Systems, Athens, Greece, July 2005.
Feasibility of geographically static data storage in ad-hoc networks. Gareth Owen and Mo Adda. In 2nd International Conference on Telecommunications and Computer Networks, July 2005.
Predicting post-synaptic activity in proteins with data mining. GL Pappa, AJ Baines, and AA Freitas. Bioinformatics, 21(Suppl. 2):ii19-ii25, September 2005.
Classification-rule discovery with an ant colony algorithm.. R.S. Parpinelli, H.S. Lopes, and A.A. Freitas. In M. Khosrow-Pour, editor, Encyclopedia of Information Science and Technology, pages 420-424. Idea Group, Hershey, January 2005.
Tableaux for Diagrammatic Reasoning. Octavian Patrascoiu, Simon Thompson, and Peter Rodgers. In Philip Cox and Trevor Smedley, editors, Proceedings of the 2005 International Workshop on Visual Languages and Computing, pages 279-286, September 2005. Published as a part of the Proceedings of the Eleventh International Conference on Distributed Multimedia Systems.
Model Driven Language Engineering. Octavian Patrascoiu. PhD thesis, Computing Laboratory, University of Kent, March 2005.
An Architecture for Modelling Emergence in CA-Like Systems. Fiona Polack, Susan Stepney, Heather Turner, Peter Welch, and Fred Barnes. In Mathieu S. Capcarr`ere, Alex Alves Freitas, Peter J. Bentley, Colin G. Johnson, and Jon Timmis, editors, Advances in Artificial Life, 8th European Conference on Artificial Life (ECAL 2005), volume 3630 of Lecture Notes in Computer Science, pages 427-436, Canterbury, UK, September 2005. Springer.
Interactive visualisation and testing of jini services. Bruce Quig, Michael K�lling, John Rosenberg, and Phillip Steele. In Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), Melbourne, Australia, pages 458-463. IEEE Computer Society Press, September 2005.
Visualization and data analysis 2005. R.Erbacher, P.Chen, J.Roberts, M.Grohn, and K.Borner, editors, volume 5669. SPIE, January 2005.
Real-time data management on a wireless sensor network. Chris Roadknight, Laura Parrott, Nathan Boyd, and Ian W Marshall. International Journal of Distributed Senor Networks, 1(2):215-225, April 2005.
The acm java task force: status report. Eric Roberts, Kim Bruce, Rob Cutler, II James H. Cross, Scott Grissom, Karl Klee, Susan Rodger, Fran Trees, Ian Utting, and Frank Yellin. In SIGCSE '05: Proceedings of the 36th SIGCSE technical symposium on Computer science education, pages 46-47. ACM Press, New York, NY, USA, March 2005.
Haptic Glyphs (Hlyphs) - Structured Haptic Objects for Haptic Visualization. Jonathan C. Roberts and Keith Franklin. In Antonio Bicchi and Massimo Bergamasco, editors, WorldHAPTICS - First joint Eurohaptics Conference and Symposium on Haptic Interfaces for Virtual Entironment and Teleoperator Systems, pages 369-374. IEEE Computer Society, March 2005. (18-20 March 2005, Pisa, Italy).
Third international conference on coordinated and multiple views in exploratory visualization (cmv 2005). Jonathan C. Roberts, editor, London, UK, July 2005. IEEE Computer Society.
Exception handling in the development of dependable component-based systems. C. M. F. Rubira, R. de Lemos, G. R. M. Ferreira, and F. Castor Filho. Software-Practice and Experience, 35(3), March 2005.
Terrain-referenced navigation using the IGMAP data fusion algorithm. Andrew R. Runnalls, Paul D. Groves, and Robin J. Handley. In Proceedings of the 61st Annual Meeting of the Institute of Navigation, pages 976-86, June 2005.
Smart environments and their applications to cultural heritage, proceedings of a workshop held in conjunction with ubicomp'05, tokyo, japan, september 11, 2005. Nick Ryan, Tullio Salmon Cinotti, and Giuseppe Raffa, editors, EPOCH Publication. Archaeolingua, Budapest, Hungary, September 2005. http://smart.arces.unibo.it/.
Smart Environments for Cultural Heritage. Nick Ryan. In T. Uno, editor, Reading the Historical Spatial Information in the World, Proc. 24th International Symposium, pages 17-33, Kyoto, Japan, February 2005. International Center for Japanese Studies.
Smart environments for cultural heritage. Nick Ryan. In Takao UNO, editor, Reading Historical Spatial Information from around the World: studies of culture and civilization based on geographic information systems data. International Research Center for Japanese Studies, Kyoto, Japan, February 2005.
Porting HaRe to the GHC API. Chris Ryder and Simon Thompson. Technical Report 8-05, University of Kent, Computing Laboratory, University of Kent, Canterbury, Kent, UK, October 2005.
Software Metrics: Measuring Haskell. Chris Ryder and Simon Thompson. In Marko van Eekelen and Kevin Hammond, editors, Trends in Functional Programming, September 2005.
Lazy Cellular Automata with Communicating Processes. A.T. Sampson, P.H. Welch, and F.R.M. Barnes. In J.F. Broenink, H.W. Roebbers, J.P.E. Sunter, P.H. Welch, and D.C. Wood, editors, Communicating Process Architectures 2005, volume 63 of Concurrent Systems Engineering Series, pages 165-175, IOS Press, The Netherlands, September 2005. IOS Press.
A multi-institutional, multi-national study of programming concepts using card sort data. Kate Sanders, Sally Fincher, Dennis Bouvier, Gary Lewandowski, Briana Morrison, Laurie Murphy, Marian Petre, Brad Richards, Josh Tenenberg, and Lynda Thomas. Expert Systems, 22(3):121-128, July 2005.
Towards a danger theory inspired artificial immune system for web mining. Andrew Secker, Alex Freitas, and Jon Timmis. In A Scime, editor, Web Mining: applications and techniques, pages 145-168. Idea Group, January 2005.
A weighted sum validity function for clustering with a hybrid niching genetic algorithm. Weiguo Sheng, Stephen Swift, Leishi Zhang, and Xiaohui Liu. IEEE Transactions on Systems, Man, and Cybernetics:Part B: Cybernetics, 35(6):1156-1167, December 2005.
Classificacao automatica de generos musicais utilizando metodos de bagging e boosting. Carlos Nascimento Silla Jr., Celso Antonio Alves Kaestner, and Alessandro Lameiras Koerich. In 10th Brazilian Symposium on Computer Music, pages 48-57, September 2005. Paper in Brazilian Portuguese.
Exploiting Sparsity in Polyhedral Analysis. Axel Simon and Andy King. In Chris Hankin, editor, Twelfth International Static Analysis Symposium, volume 3672 of Lecture Notes in Computer Science, pages 336-351. Springer Verlag, September 2005. Also see http://www.springer.de/comp/lncs/index.html.
Experiences of Applying Advanced Grid Authorisation Infrastructures. RO Sinnott, AJ Stell, DW Chadwick, and O Otenko. In Proceedings of European Grid Conference (EGC), Amsterdam, Holland, February 2005. LNCS, Springer. To appear.
Modeling Decentralized Real-Time Control by State Space Partition of Timed Automata. Thanikesavan Sivanthi, Srivas Chennu, and Lothar Kreft. In DS-RT '05: Proceedings of the Ninth IEEE International Symposium on Distributed Simulation and Real-Time Applications. IEEE Computer Society, October 2005.
Growing a tourist guide. Lukas Sklenar and Ian Utting. In Nick Ryan, Tullio Salmon Cinotti, and Guiseppe Raffa, editors, Smart Environments and their Applications to Cultural Heritage, Epoch publications, pages 15-18. Archeolingua, Budapest, Hungary, September 2005.
A New Language for the Visualization of Logic and reasoning. Gem Stapleton, Simon Thompson, Andrew Fish, John Howse, and John Taylor. In Philip Cox and Trevor Smedley, editors, Proceedings of the 2005 International Workshop on Visual Languages and Computing, pages 287-292, September 2005. Published as a part of the Proceedings of the Eleventh International Conference on Distributed Multimedia Systems.
Journeys in non-classical computation I: A grand challenge for computing research. S. Stepney, S.L. Braunstein, J.A. Clark, A. Tyrrell, A. Adamatzky, R.E. Smith, T. Addis, C. Johnson, J. Timmis, P. Welch, R. Milner, and D. Partridge. International Journal of Parallel, Emergent and Distributed Systems, 20(1):5-19, March 2005.
Is negative selection appropriate for anomaly detection?. T. Stibor, P. Mohr, J. Timmis, and C. Eckert. In Genetic and Evolutionary Computation Conference (GECCO), pages 321-328, Washington DC, USA, June 2005. ACM Press.
Automatic layout of project plans using a metro map metaphor. J. M. Stott, P. Rodgers, R. Burkhard, M. Meier, and M. Smis. In Proceedings of the 9th International Conference on Information Visualisation (IV05), pages 203-206. IEEE Computer Society, July 2005.
Automatic metro map design techniques. J. M. Stott and P. Rodgers. In Proceedings of the 22nd International Cartographic Conference, page 10. International Cartographic Association, July 2005.
Automated Decomposition of Access Control Policies. L Su, DW Chadwick, A Basden, and JA Cunningham. In Proceeds of 6th IEEE International Workshop on Policies for Distributed Systems and Networks, pages 3-13, Stockholm, Sweden, June 2005.
Symbolic encoding of neural networks using communicating automata with applications to verification of neural network based controllers. Li Su, Howard Bowman, and Brad Wyble. In Proceedings of the IJCAI-05 Workshop on Neural-Symbolic Learning and Reasoning, NeSy�05, page 4, Edinburgh, UK, August 2005. Position paper.
Automated decomposition of access control policies. Linying Su, David W Chadwick, Andrew Basden, and James Cuningham. In Proceedings of Sixth IEEE International Workshop on Policies for Distributed Systems and Networks, pages 3-13, Stockholm, June 2005. IEEE Computer Society.
Automated decomposition of access control policies. Linying Su, David W Chadwick, Andrew Basden, and James Cuningham. In Proceedings of Sixth IEEE International Workshop on Policies for Distributed Systems and Networks, pages 3-13, Stockholm, June 2005. IEEE Computer Society.
Automated decomposition of access control policies. Linying Su, David W Chadwick, Andrew Basden, and James Cuningham. In Proceedings of Sixth IEEE International Workshop on Policies for Distributed Systems and Networks, pages 3-13, Stockholm, June 2005. IEEE Computer Society.
Meshtree: A Delay optimised Overlay Multicast Tree Building Protocol. Su-Wei Tan, A.G. Waters, and John Crawford. Technical Report 5-05, University of Kent, Computing Laboratory, University of Kent, April 2005.
MeshTree: Reliable Low Delay Degree-Bound Multicast Overlays. Su-Wei Tan, A.G. Waters, and John Crawford. In DPNA 2005 - The 1st International Workshop on Distributed, Parallel and Network Applications, July 2005.
Constructing Efficient Self-Organising Application Layer Multicast Overlays. Su Wei Tan. PhD thesis, Computing Laboratory, October 2005.
Real World Issues in Deploying a Wireless Sensor Network. J Tateson, C Roadknight, A Gonzalez, T Khan, S Fitz, I Henning, N Boyd, C Vincent, and I Marshall. In Workshop on Real-World Wireless Sensor Networks REALWSN'05, Stockholm, Sweden, June 2005.
Applying graphical design techniques to graph visualisation. Martyn Taylor and Peter Rodgers. In Proceedings of the 9th International Conference on Information Visualisation (IV05), pages 651-656. IEEE Computer Society, July 2005.
Students designing software: a multi-national, multi-institutional study. Josh Tenenberg, Sally Fincher, Ken Blaha, Dennis Bouvier, Tzu-Yi Chen, Donald Chinn, Stephen Cooper, Anna Eckerdal, Hubert Johnson, Robert McCartney, and Alvaro Monge. Informatics in Education, 4(1):143-162, May 2005.
Modelling Reactive Multimedia: Design and Authoring. Simon Thompson, Peter King, and Helen Cameron. Multimedia Tools and Applications, 27(1):23 - 52, September 2005.
Refactoring Functional Programs. Simon Thompson. In Varmo Vene and Tarmo Uustalu, editors, Advanced Functional Programming, 5th International School, AFP 2004, volume 3622 of Lecture Notes in Computer Science, pages 331-357. Springer Verlag, September 2005.
A finite-state-machine based string matching system for intrusion detection on high-speed networks. Gerald Tripp. In Paul Turner and Vlasti Broucek, editors, EICAR 2005 Conference Proceedings, pages 26-40. EICAR, May 2005.
An evolutionary approach for motif discovery and transmembrane protein classification. DF Tsunoda, HS Lopes, and AA Freitas. In F Rothlauf and et al., editors, Applications of Evolutionary Computing (Proc. of EvoBIO-2005: 3rd European Workshop on Evolutionary Bioinformatics), LNCS 3449, pages 105-114. Springer, March 2005.
Visualization of Smoothed Particle Hydrodynamics for Astrophysics. Rick Walker, Peter Kenny, and Jingqi Miao. In Louise Lever and Mary McDerby, editors, Theory and Practice of Computer Graphics 2005, pages 133-138, University of Kent, UK, June 2005. Eurographics Association. (Electronic version http://diglib.eg.org).
An agent-based model for web services transaction processing. Xinming Wang, Gansen Zhao, Xin Zhang, and Beihong Jin. In 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service (EEE'05), March 2005. available on IEEE : http://csdl2.computer.org/persagen/DLAbsToc.jsp?resourcePath=/dl/proceedings/&toc=comp/proceedings/eee/2005/2274/00/2274toc.xml&DOI=10.1109/EEE.2005.30.
Exploiting Immunological Metaphors in the Development of Serial, Parallel and Distributed Learning Algorithms. Andrew Watkins. PhD thesis, Computing Laboratory, University of Kent, Canterbury, UK, March 2005.
Initial experiences with occam-pi simulations of blood clotting on the minimum intrusion grid. Peter H. Welch, Brian Vinter, and Frederick R.M. Barnes. In Hamid R. Arabnia, editor, Proceedings of the 2005 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'05), pages 201-207, Las Vegas, Nevada, USA, June 2005. CSREA Press.
Communicating mobile processes: introducing occam-pi. P.H. Welch and F.R.M. Barnes. In A.E. Abdallah, C.B. Jones, and J.W. Sanders, editors, 25 Years of CSP, volume 3525 of Lecture Notes in Computer Science, pages 175-210. Springer Verlag, April 2005. to appear.
Mobile Barriers for occam-pi: Semantics, Implementation and Application. P.H. Welch and F.R.M. Barnes. In J.F. Broenink, H.W. Roebbers, J.P.E. Sunter, P.H. Welch, and D.C. Wood, editors, Communicating Process Architectures 2005, volume 63 of Concurrent Systems Engineering Series, pages 289-316, IOS Press, The Netherlands, September 2005. IOS Press.
A Biologically-Inspired Clustering Algorithm Dependent on Spatial Data on Sensor Networks. I Wokoma, L Shum, L Sacks, and I W Marshall. In EWSN-2005, 2005.
Click and brush: A novel way of finding correlations and relationships in visualizations. Michael A.E. Wright and Jonathan C. Roberts. In Louise Lever and Mary McDerby, editors, Proceedings Theory and Practice of Computer Graphics, pages 179-186, University of Kent, UK, June 2005. Eurographics Association. (Electronic version www.diglib.eg.org).
The attentional blink reflects the time course of token binding, computational modeling and empirical data (abstract). B. Wyble and H. Bowman. Journal of Vision, 5(8):116a-116a, September 2005.
Computational and experimental evaluation of the attentional blink: Testing the simultaneous type serial token model. B. Wyble and H. Bowman. In Bruno G. Bara, Lawrence W. Barsalou, and Monica Bucciarelli, editors, CogSci 2005, XXVII Annual Conference of the Cognitive Science Society, pages 2371-2376. Cognitive Science Society, Cognitive Science Society through Lawrence Erlbaum, July 2005.
A PKI Based Secure Audit Web Server. Wensheng Xu, David Chadwick, and Sassa Otenko. In IASTED Communications, Network and Information and CNIS, Phoenix, USA, November 2005.
Development of a Flexible PERMIS Authorisation Module for Shibboleth and Apache Server. Wensheng Xu, David Chadwick, and Sassa Otenko. In 2nd EuroPKI Workshop, University of Kent, July 2005.
3d visualization of gene clusters and networks. Leishi Zhang, Weiguo Sheng, and Xiaohui Liu. In Proceedings of SPIE - Visualization and Data Analysis 2005, volume 5669, pages 316 - 326, San Jose, California, March 2005. SPIE The International Society for Optical Engineering and IS&T The Society for Imaging Science and Technology.
Evolving messaging systems for secure role based messaging. Gansen Zhao and David Chadwick. In 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05), pages 216-223, June 2005.
Trust infrastructure for policy based messaging in open environments. Gansen Zhao and David Chadwick. In 14th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE-2005), Link�ping University, Sweden, June 2005.
Trust infrastructure for policy based messaging in open environments. Gansen Zhao and David Chadwick. In 14th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE-2005), Link�ping University, Sweden, June 2005.

Navigation menu

School of Computing

Studying

Activities

Local users

About us

Search

School of Computing

Computer Science: Publication Index 2005