Search
School of Computing
Computer Science: Publication Index 2001
-
Diversity
of safety arguments in the validation of a sounding rocket destruction
system.
M. A. D. Abdala, C. H. N. Lahoz, and R. de Lemos.
In Proceedings of the International Systems Safety Conference, pages
801-810, September 2001.
-
On
Querying UML data models with OCL.
D.H. Akehurst and B. Bordbar.
In <<UML>> 2001 "Modeling Languages, Concepts and Tools",
October 2001.
-
Integration
of Security and Reliability in a Distributed Collaborative
Environment.
Edries Abdelhadi Ali.
PhD thesis, Computing Laboratory, University of Kent, Canterbury, Kent, UK,
October 2001.
-
Joined up
writing: an internet portal for research into the historic environment.
Tony Austin, Francisco Pinto, Julian Richards, and Nick Ryan.
In G. Burenhult, editor, Forthcoming paper in CAA 2001: Proceedings of
Computer Applications and Quantitive Methods in Archeology Conference.
Gotland University, Visby, Gotland - Sweden, April 2001.
-
The impact
of programming paradigms on the efficiency of an individual-based simulation
model.
David J. Barnes and Tim R. Hopkins.
Technical Report 17-01, University of Kent, Computing Laboratory, UKC,
Canterbury, Kent, UK., December 2001.
-
Mobile
Data, Dynamic Allocation and Zero Aliasing: an occam Experiment.
F.R.M. Barnes and P.H. Welch.
In Alan Chalmers, Majid Mirmehdi, and Henk Muller, editors, Communicating
Process Architectures 2001, number 59 in Concurrent Systems Engineering
Series, pages 243-264. IOS Press, Amsterdam, The Netherlands, September 2001.
-
tranx86 -
an Optimising ETC to IA32 Translator.
F.R.M. Barnes.
In Alan Chalmers, Majid Mirmehdi, and Henk Muller, editors, Communicating
Process Architectures 2001, number 59 in Concurrent Systems Engineering
Series, pages 265-282. IOS Press, Amsterdam, The Netherlands, September 2001.
-
Issues
raised in modelling trust in a public key infrastructure.
A. Basden, E. Ball, and D.W. Chadwick.
Expert Systems, 18(5):233-249, November 2001.
-
Data
Mining with Constrained-syntax Genetic Programming: Applications in Medical
Data Sets.
CC Bojarczuk, HS Lopes, and AA Freitas.
In Proc Intelligent Data Analysis in Medicine and Pharmacology - a
workshop at MedInfo-2001, London, September 2001.
-
Usability
pattern language: Creating a community.
Jan O. Borchers, Sally Fincher, Richard Griffiths, Lyn Pemberton, and Elke
Siemon.
AI & Society Journal of Human-Centred Systems and Machine
Intelligence, 15(4):377-385, December 2001.
-
A
connectionist model of inhibitory processes in motor control and its
application to a masked priming task.
H. Bowman, A. Aron, E. Eimer, and F. Schlaghecken.
Technical Report 14-01, University of Kent, Computing Laboratory, November
2001.
-
Analysis of
a multimedia stream using stochastic process algebra.
H. Bowman, J.W. Bryans, and J. Derrick.
The Computer Journal, 44(4):230-245, April 2001.
-
Computational modelling of distributed executive control.
H. Bowman and P.J. Barnard.
technical report 12-01, University of Kent, Computing Laboratory, Canterbury,
Kent, UK, September 2001.
-
Formal
methods for distributed processing, a survey of object-oriented
approaches.
H. Bowman and J. Derrick, editors.
Cambridge University Press, Cambridge, UK, September 2001.
-
Issues in
formal methods (chapter 3).
H. Bowman and J. Derrick.
In H. Bowman and J. Derrick, editors, Formal Methods for Distributed
Processing, A Survey of Object-oriented Approaches, pages 18-35.
Cambridge University Press, Cambridge, UK, September 2001.
-
Viewpoints
modelling.
H. Bowman and J. Derrick.
In H. Bowman and J. Derrick, editors, Formal Methods for Distributed
Processing, A Survey of Object-oriented Approaches, pages 451-475.
Cambridge University Press, Cambridge, UK, September 2001.
-
Formal
Methods Elsewhere.
Howard Bowman, editor, volume 43 of Electronic Notes in Theoretical
Computer Science. Elsevier Science, June 2001.
A Satellite Workshop of FORTE-PSTV-2000 devoted to applications of formal
methods to areas other than communication protocols and software engineering.
-
Time and
action lock freedom properties of timed automata.
Howard Bowman.
In M. Kim, B. Chin, S. Kang, and D. Lee, editors, Formal Techniques for
Networked and Distributed Systems, pages 119-134. Kluwer Academic
Publishers, August 2001.
-
Constructive foundations of stochastic analysis in linear logic.
Manuela L. Bujorianu and Marius C. Bujorianu.
In EATCS Bulletin, editor, BCTCS 17 British Colloquium for Theoretical
Computer Science, volume 74. EATCS, April 2001.
-
An abstract
domain for probabilistic hybrid systems.
Marius C. Bujorianu and Manuela L. Bujorianu.
BULLETIN of the European Association for Theoretical Computer Science EATCS, N.
74, June 2001, April 2001.
-
Logics,
viewpoints and tests: Towards a trinity.
Marius C. Bujorianu and Manuela L. Bujorianu.
NATO ASI Doctoral Symposium, in conjunction with Proof and System Reliability,
International Summer School), July 2001.
-
On the
Hilbert Machines Quantitative Computational Model.
Marius C. Bujorianu and Manuela L. Bujorianu.
In Firenze University, editor, QAPL'01 Workshop on Quantitative Aspects of
Programming Laguages. ACM, September 2001.
-
Order
theoretic topologies and hybrid systems.
Marius C. Bujorianu and Manuela L. Bujorianu.
In University of Hull, editor, 5th Galway Colloquium on General
Topology. LMS, University of Hull, June 2001.
-
Fault-tolerant structures: Towards robust self-replication in a probabilistic
environment.
D. Bünzli and M. Capcarrere.
In Kelemen and Sosik, editors, European Conference on Artificial Life VII,
the proceedings, pages 90-99. Spinger-Verlag, September 2001.
-
Necessary
Conditions for Density Classification by Cellular Automata.
M Capcarrere and M Sipper.
Physical Review E, 6403(3):6113-7, September 2001.
Part 2.
-
Portrait
of 2000/01 Part I Assessments, Part 1: Statistical Analysis.
Janet Carter, Jill Tardivel, Sally Fincher, Ursula Fuller, Colin Johnson, Janet
Linington, and Ian Utting.
Technical Report 10-01, University of Kent, Computing Laboratory, University of
Kent at Canterbury, August 2001.
-
Arresting
the Decline: how can we encourage female students back into Computer
Science.
Janet Carter and Tony Jenkins.
In Proceedings of Higher Education Close Up 2 international research
conference, Lancaster, July 2001. SRHE, Higher Education Development
Centre.
-
Where
have all the girls gone? What entices female students to apply for
Computer Science degrees.
Janet Carter and Tony Jenkins.
In Proceedings of 2nd annual LTSN-ICS conference, London, August
2001.
-
Email
Seminars and Student Scaffolding.
Janet Carter and Jill Tardivel.
Technical Report 13-01, University of Kent, Computing Laboratory, University of
Kent at Canterbury, September 2001.
-
Arresting
the Decline: conversations with female CS undergraduates.
Janet Carter.
Technical Report 8-01, University of Kent, Computing Laboratory, July 2001.
-
Students'
Preconceptions of Computing.
Janet Carter.
In Proceedings of ICEE 2001, Oslo, August 2001.
-
What do the
students do when they work on programming assignments?.
Janet Carter.
In A B McCaughy, editor, 1st LTSN-ICS one day conference on the teaching
of Programming, Leeds, April 2001. LTSN-ICS, LTSN-ICS.
-
An
Immunological Algorithm for Discovering Small-disjunct Rules in Data
Mining.
DR Carvalho and AA Freitas.
In Proc Graduate Student Workshop at GECCO-2001, pages 401-404, San
Francisco, USA, July 2001.
-
Class
Refinement for Sequential Java.
ALC Cavalcanti and DA Naumann.
In ECOOP 2001 Workshop on Formal Techniques for Java Programs, 2001.
-
Providing
Secure Access to Confidential Patient Information Detailing
Diabetic Condition.
D. W. Chadwick, J. P. New, D. M. McDowell, and D.P. Mundy.
In P. Graham, M. Maheswaran, and R. Eskicioglu, editors, The International
Conference On Internet Computing 2001, volume I, pages 535-541. CSREA
Press, 2001.
-
Evaluating
trust in a public key certification authority.
D. W. Chadwick and A. Basden.
Computers and Security, 20(7):592-611, November 2001.
-
Deficiencies in LDAP when used to Support a Public Key Infrastructure.
D.W. Chadwick.
In Terena Networking Conference, Antalya, May 2001.
-
An X.509
role based privilege management infrastructure.
D.W. Chadwick.
In Briefing - Global InfoSecurity 2002, World Markets Research Centre
Ltd. World Markets Research Centre, October 2001.
On accompanying CD-ROM Reference Library/03.pdf.
-
Freja,
Hat and Hood - a comparative evaluation of three systems for tracing
and debugging lazy functional programs.
Olaf Chitil, Colin Runciman, and Malcolm Wallace.
In Markus Mohnen and Pieter Koopman, editors, Proceedings of the 12th
International Workshop on Implementation of Functional Languages (IFL
2000), LNCS 2011, pages 176-193, Aachen, Germany, March 2001. Springer.
-
Compositional explanation of types and algorithmic debugging of type errors.
Olaf Chitil.
In Proceedings of the Sixth ACM SIGPLAN International Conference on
Functional Programming (ICFP'01), pages 193-204, Firenze, Italy,
September 2001. ACM.
-
Pretty
printing with lazy dequeues.
Olaf Chitil.
In Ralf Hinze, editor, Preliminary Proceedings of the 2001 ACM SIGPLAN
Haskell Workshop, pages 183-201, Firenze, Italy, September 2001.
Universiteit Utrecht UU-CS-2001-23. Final Proceedings to appear in ENTCS 59(2).
-
A semantics
for tracing.
Olaf Chitil.
In Thomas Arts and Markus Mohnen, editors, Draft Proceedings of the 13th
International Workshop on Implementation of Functional Languages, IFL
2001, pages 249-254, Älvsjö, Sweden, September 2001. Ericsson Computer
Science Laboratory.
-
Differential involvement of NMDA, AMPA/kainate, and dopamine receptors
in the nucleus accumbens core in the acquisition and performance of pavlovian
approach behavior.
P. Di Ciano, R.N. Cardinal, R.A. Cowell, S.J. Little, and B.J. Everitt.
Journal of Neuroscience, 21(23), December 2001.
-
Models and
Areas for CS Education Research.
M. Clancy, J. Stasko, M. Guzdial, S. Fincher, and N. Dale.
Computer Science Education, 11(4):323-341, December 2001.
-
A
Reference Implementation for UML.
A Clark, A Evans, and S Kent.
In B Henderson-Sellers and F Barbier, editors, Object Modelling with
UML, volume 7 of Special Issue of L'Objet, pages 363-385.
Hermes Science, 2001.
-
The
Meta-Modeling Language Calculus: Foundation Semantics for UML.
A Clark, A Evans, and S Kent.
In Proceedings of ETAPS FASE Conference. Springer-Verlag, 2001.
-
Author
Obliged to Submit Paper before 4 July: Policies in an Enterprise
Specification.
James Cole, John Derrick, Zoran Milosevic, and Kerry Raymond.
In Morris Sloman, Jorge Lobo, and Emil Lupu, editors, Policies for
Distributed Systems and Networks, volume 1995 of Lecture Notes in
Computer Science, pages 1-17. Springer-Verlag, January 2001.
-
Knowledge,
organisation and suggestion schemes.
R.E. Cooley, C. Helbling, and U.D. Fuller.
In S. Tsuchiya and J-P. A. Barthes, editors, ISMICK 01 Management of
Industrial and Corporate Knowledge, pages 47-56, UNIVERSITE DE
TECHNOLOGIE DE COMPIEGNE, 60200 FRANCE, October 2001. INSTITUT INTERNATIONAL
POUR L'INTELLIGENCE ARTIFICIELLE, UTC, COMPIEGNE, FRANCE.
-
E-commerce,
Location and IT Aspects of Kent Cancer Centre Network.
R.E. Cooley, A. Jackson, and R. James.
Information & Communications Technology Law, 10(3):293-298, October
2001.
-
Vocabulary
acquisition software: user preferences and tutorial guidance.
R. E. Cooley.
In AIED 2001 Workshop Papers: Computer Assisted Language Learning.May 20,
2001 (SU1), pages 17-23, May 2001.
-
Information
systems and the navy board in the 18th century.
R.E. Cooley.
In M. Roberts, M. Moulton, S. Hand, and C. Adams, editors, Information
Systems in the Digital World. Proceedings of the 6th UKAIS Conference
University of Portsmouth, England, UK, 18-20 April 2001, pages 134-143.
Zeus Press, Manchester, UK., April 2001.
-
A Genetic
Algorithm for the P-median Problem.
ES Correa, MTA Steiner, AA Freitas, and C Carnieri.
In LE Spector, E Goodman, and et al, editors, Proc. 2001 Genetic and
Evolutionary Computation Conference (GECCO-2001), pages 1268-1275, San
Fracisco, USA, July 2001. Morgan Kaufmann.
-
Exception
Handling in the Software Lifecycle.
R de Lemos and A. Romanovsky.
International Journal of Computer Systems Science and Engineering,
16(2):167-181, March 2001.
-
Analysing
Failure Behaviours in Component Interaction.
R de Lemos.
Technical Report 2-01, University of Kent, Computing Laboratory, University of
Kent at Canterbury, March 2001.
-
Describing
evolving dependable systems using co-operative software architectures.
R. de Lemos.
In Proceedings of the IEEE International Conference on Software
Maintenance (ICSM’01), pages 320-329. IEEE Computer Society, November
2001.
-
Describing
Evolving Dependable Systems using Co-operative Software Architectures.
R de Lemos.
Technical Report 1-01, University of Kent, Computing Laboratory, University of
Kent at Canterbury, March 2001.
-
Representing Exceptional Behaviour at the earlier Phases of Software
Development.
R. de Lemos.
In Proceedings of the 9th Brazilian Symposium of Fault-Tolerant Computing
(SCTF), pages 233-236, March 2001.
-
Refinement
in z and object-z: Foundations and advanced applications.
John Derrick and Eerke Boiten.
Formal Approaches to Computing and Information Technology. Springer, May 2001.
-
Formal
Bytecode Generation for a ROOL Virtual Machine.
A Duran, ACA Sampaio, and ALC Cavalcanti.
In 4th Brazilian Workshop on Formal Methods, 2001.
-
Incorporating deviation-detection functionality into the OLAP paradigm.
CC Fabris and AA Freitas.
In MLQ Mattoso and G Xexeo, editors, Proc. XVI Brazilian Symposium on
Databases (SBBD-2001), pages 274-285, Rio de Janeiro, Brazil, October
2001.
-
Explicit
representation of exception handling in the development of dependable
component-based systems.
G. R. M. Ferreira, C. M. F. Rubira, and R. de Lemos.
In Proceedings of the IEEE International High-Assurance Systems
Engineering Symposium (HASE 2001), pages 182-193. IEEE Computer Society,
October 2001.
-
Computer
science project work: Principles and pragmatics.
Sally Fincher, Marian Petre, and Martyn Clark.
Springer-Verlag, January 2001.
-
Serendipity
in the engineering curriculum.
Sally Fincher and Keith Mander.
In Proceedings of the ICEE 2001 conference, August 2001.
-
Promotion
and dissemination of good practice: Discipline networks.
Sally Fincher.
Technical Report 7-01, University of Kent, Computing Laboratory, July 2001.
-
Integrated
spatiotemporal analysis for environmental applications.
Robert Frank and Zarine Kemp.
In Peter J. Hall, editor, Spatial information and the environment,
Innovations in GIS 8, pages 121-134. Taylor and Francis, April 2001.
-
Ontologies
for decision support in environmental information systems.
Robert Frank and Zarine Kemp.
In David B. Kidner and Gary Higgs, editors, Proceedings of GIS Research
UK, 9th National Conference, Glamorgan Wales, UK, pages 53-58, April
2001.
-
Ontologies
for knowledge discovery in environmental information systems.
Robert Frank and Zarine Kemp.
In Alessandra Raffaetà and Chiara Renso, editors, Complex Reasoning on
Geographical Data (CRGD), pages 15-30. Servizio Tecnografico Area della
Ricerca del CNR, Pisa, December 2001.
-
Animating
CSP(M) Using Action Semantics.
L Freitas, ALC Cavalcanti, and H Moura.
In 4th Brazilian Workshop on Formal Methods, 2001.
-
Animating
CSPm using Action Semantics.
Leonardo Freitas, ALC Cavalcanti, and Hermano Moura.
In Proceedings of IV Workshop em Metodos Formais, page 12. Sociedade
Brasileira de Computacao, October 2001.
http://www.cin.ufpe.br/ lfsf.
-
Book
Review: Data Mining Using Grammar-based Genetic Programming and
Applications.
AA Freitas.
Genetic Programming and Evolvable Machines, 2(2):197-199, June 2001.
-
Understanding the crucial role of attribute interaction in data mining.
AA Freitas.
Artificial Intelligence Review, 16(3):177-199, November 2001.
-
Visual
tools for natural language processing.
R. Gaizauskas, P.J. Rodgers, and K. Humphreys.
Journal of Visual Languages & Computing, 12(4):375-412, August 2001.
-
Towards a
Formalization of Constraint Diagrams.
J Gil, J Howse, and S Kent.
In Proceedings of IEEE Symposia on Human-Centric Computing, pages
72-79, Stresa, Italy, 2001. IEEE Computer Society Press.
-
Testing an
event specification language.
R Gomez, J C Augusto, and A Galton.
In Proceedings of the 13th. International Conference on Software
Engineering and Knowledge Engineering (SEKE'01), pages 341-345, Buenos
Aires, Argentina, June 2001.
-
Complexity Beyond Agent-Based Models.
D Gross and D Jefferies.
Complexity International, 8, January 2001.
-
Natur
in Silico: Agenbasierte modelle komplexer nat urlicher systeme: eine
kritik.
D Gross.
Mensch und Buch Verlag, Berlin, January 2001.
-
A long
hard look at the influence of software defects on scientific software.
L Hatton.
International software engineering series, Los Alamos National Laboratory, US,
2001.
Also as a report for the Computing Laboratory, University of Cambridge.
-
Exploring
the role of diagnosis in software failure.
L Hatton.
IEEE Software, July 2001.
-
Keynote
Paper in ESCOM 2001.
L Hatton.
In Software defects: how do we satisfy customers in the long term?,
London, 2001.
-
Keynote
Paper in ITiCSE Conference.
L Hatton.
In Computer Science Education or Computer Fashion Awareness?. UKC,
September 2001.
-
Efficient
Groundness Analysis in Prolog.
J. M. Howe and A. King.
Technical Report 15-01, University of Kent, Computing Laboratory, December
2001.
To appear in Theory and Practice of Logic Programming.
-
Positive
Boolean Functions as Multiheaded Clauses.
J. M. Howe and A. King.
In P Codognet, editor, International Conference on Logic Programming,
Lecture Notes in Computer Science 2237, pages 120-134. Springer-Verlag,
November 2001.
see http://www.springer.de./comp/lncs/index.html.
-
Three
Optimisations for Sharing.
Jacob Howe and Andy King.
Technical Report 11-01, University of Kent, Computing Laboratory, University of
Kent at Canterbury, August 2001.
Accepted to appear in Theory and Practice of Logic Programming subject minor
corrections.
-
Widening
BDDs.
Jacob M. Howe and Andy King.
Technical Report 5-01, University of Kent, Computing Laboratory, May 2001.
-
Proof
Search in Lax Logic.
Jacob M. Howe.
Mathematical Structures in Computer Science, 11(4):573-588, August
2001.
-
Spider
Diagrams: A Diagrammatic Reasoning System.
J Howse, F Molina, J Taylor, S Kent, and J Gil.
Journal of Visual Languages and Computing, 12(3), June 2001.
-
The
Motivation of Students of Programming.
Tony Jenkins.
Master's thesis, Computing Laboratory, University of Kent at Canterbury, UK,
September 2001.
-
Phase
transitions in multi-robot interactions.
Colin G. Johnson and Steven J. Brodie.
In U. Nehmzow and C. Melhuish, editors, Towards Intelligent Mobile Robots
- Proceedings of the 3rd British Conference on Autonomous Mobile Robotics and
Autonomous Systems, University of Manchester Technical Reports volume
UMCS-01-4-1, page 7. University of Manchester, April 2001.
-
Finding
diverse examples with genetic algorithms.
Colin G. Johnson.
In Robert John and Ralph Birkenhead, editors, Developments in Soft
Computing, Advances in Soft Computing, pages 92-99.
Physica/Springer-Verlag, July 2001.
-
Proceedings
of the AISB'01 symposium on emotion, cognition and affective
computing.
Colin G. Johnson, editor. Society for the Study of Artificial Intelligence and
the Simulation of Behaviour, AISB Press, March 2001.
-
Understanding complex systems through examples: A framework for qualitative example
finding.
Colin G. Johnson.
Systems Research and Information Systems, 10(3-4):239-267, January
2001.
-
Red-black
trees with types.
Stefan Kahrs.
Journal of Functional Programming, 11(4):425-432, July 2001.
-
Visualization for Fisheries Management from a Spatiotemporal Perspective.
Z Kemp and G Meaden.
ICES Journal of Marine Science, November 2001.
-
The
Unified Modelling Language.
S Kent.
In H Bowman and J Derrick, editors, Formal Methods for Distributed
Processing: An OO Approach. Cambridge University Press, 2001.
-
A Backward
Analysis for Constraint Logic Programs.
A. King and L. Lu.
Technical Report 4-01, University of Kent, Computing Laboratory, University of
Kent at Canterbury, Kent, CT2 7NF, UK, December 2001.
To appear in Theory and Practice of Logic Programming.
-
Aine: An
immunological approach to data mining.
T Knight and J Timmis.
In N Cercone, T Lin, and Xindon Wu, editors, IEEE International Conference
on Data Mining, pages 297-304, San Jose, CA. USA, December 2001. IEEE.
-
Assessing
the performance of the resource limited artificial immune system AINE.
Thomas Knight and Jon Timmis.
Technical Report 3-01, Canterbury, Kent. CT2 7NF, May 2001.
-
Guidelines
for teaching object orientation with java.
Michael Kolling and John Rosenberg.
In Proceedings of the 6th conference on Information Technology in Computer
Science Education (ITiCSE 2001), pages 33-36, Canterbury, England, June
2001. ACM.
-
Designing
the interface: progression of an on-line personality.
Duncan Langford.
In CEPE 2001, Lancaster, December 2001.
-
E-Commerce
and E-Ethics - A Pragmatic Evaluation.
Duncan Langford.
In H Krawczyk, B Wiszniewski, and et al, editors, Systems of the
Information Society, volume 1 and 2, Technical University of Gdansk,
Poland, 2001.
-
Ethical
Issues in Business Computing.
Duncan Langford.
In Spinello R and Tavani H, editors, Readings in Cyberethics. Jones
and Bartlett, Boston, Mass. USA, 2001.
-
Internet
Protocol.
Duncan Langford.
In R Chadwick, editor, Ethics in Politics and the Media. Academic
Press, San Diego, 2001.
-
Professional Ethics in Information Systems.
Duncan Langford.
In HICSS-34, volume 8 of Proceedings of the 34th Annual Hawaii
International Conference on System Sciences, Hawaii, January 2001.
-
Statecharts for Business Process Modelling.
A Lauder and S Kent.
In J Filipe B Sharp and J Cordeiro, editors, Enterprise Information
Systems. Kluwer Academic Publishers, 2001.
-
Specification and implementation in ODP.
P.F. Linington and W.F. Frank.
In J.Cordeiro and H.Kilov, editors, Proceedings of the 1st Workshop on
Open Distributed Processing: Enterprise, Computation, Knowledge, Engineering
and Realisation, pages 69-80, Setubal, Portugal, July 2001. ICEIS Press.
-
Distributed
Systems, an ODP Perspective.
P.F. Linington.
In H.Bowman and J.Derrick, editors, Formal Methods for Distributed
Processing, chapter 2, pages 18-35. Cambridge University Press, October
2001.
-
Issues in
distributed systems.
P.F. Linington.
In H.Bowman and J.Derrick, editors, Formal Methods for Distributed
Processing, pages 3-17. Cambridge University Press, October 2001.
-
Towards a
Viable Alternative to OO - Extending the sf occam/CSP
Programming Model.
T.S. Locke.
In A.Chalmers, M.Mirmehdi, and H.Muller, editors, Communicating Process
Architectures 2001, volume 59 of Concurrent Systems Engineering
Series, pages 329-349, Amsterdam, The Netherlands, September 2001. IOS
Press.
-
The
Decline and Fall of the American Programmer?.
K C Mander.
Communications of the ACM, 44(7):43-44, July 2001.
-
A novel
architecture for active service management.
IW Marshall, H Gharib, J Hardwicke, and CM Roadknight.
In Proceedings IM2001, IEE 2001, pages 795-811, 2001.
-
A policy
based management architecture for large scale active communcation
systems.
IW Marshall and P McKee.
In Sloman, Lobo, and Lupu, editors, Policies for Distributed Systems and
Networks, LNCS 1995. Springer Verlag, 2001.
-
Provision
of quality of service for active services.
I W Marshall and C M Roadknight.
Computer Networks, 36(1):75-87, June 2001.
-
Differentiated quality of service in application layer active networks.
IW Marshall and CM Roadknight.
In Yasuda, editor, Active Networks, LNCS 1942, pages 358-371.
Springer Verlag, 2001.
-
Emergent
organization in colonies of simple automata.
IW Marshall and CM Roadknight.
In J Kelemen and P Sosik, editors, Advances in Artificial Life,
number 2159 in Lecture Notes in Artificial Intelligence, pages 349-356.
Springer Verlag, 2001.
-
Management
of future data networks.
IW Marshall and CM Roadknight.
In Proceedings IEEE Systems, Management and Cybernetics Conference,
Tucson, October 2001.
-
A
multinational, multi-institutional study of assessment of programming skills
of first-year CS students.
M. McCracken, V. Almstrum, D. Diaz, M. Guzdial, D. Hagan, Y.B.-D. Kolikant, C.
Laxer, L. Thomas, I. Utting, and T. Wilusz.
ACM SIGCSE Bulletin, 33(4):125-140, December 2001.
-
Towards
the Implementation of Evolving Autopoietic.
B McMullin and D Gross.
In Proceedings of the 6th European Conference on Advances in Artificial
Life, pages 440-443. Springer-Verlag, September 2001.
-
Discovering fuzzy classification rules with genetic programming and co-evolution.
RRF Mendes, FB Voznika, AA Freitas, and JC Nievola.
In Principles of Data Mining and Knowledge Discovery (Proc. 5th European
Conference PKDD 2001) - Lecture Notes in Artificial Intelligence, 2168,
pages 314-325, Berlin, 2001. Springer-Verlag.
-
Tool
support for development using patterns.
S. Neal and P.F. Linington.
In E.Lupu and A.Wegmann, editors, Proceedings of the fifth International
Enterprise Distributed Object Computng Conference, pages 237-248,
Seattle, Washingto, USA, September 2001. IEEE Computer Society.
-
A
Language for the Dynamic Verification of Design Patterns in Distributed
Computing.
Stephen Neal.
PhD thesis, Computing Laboratory, University of Kent, Canterbury, Kent, UK,
October 2001.
-
Animating
Object Oriented Conceptual Models.
Ian Oliver.
PhD thesis, Computing Laboratory, University of Kent, Canterbury, Kent, UK,
January 2001.
-
An ant
colony based system for data mining: applications to medical data.
RS Parpinelli, HS Lopes, and AA Freitas.
In LE Spector, E Goodman, and et al, editors, Proc. 2001 Genetic and
Evolutionary Computation Conference (GECCO-2001), pages 791-798, San
Francisco, USA, July 2001. Morgan Kaufmann.
-
Context-Aware Software.
Jason Pascoe.
PhD thesis, Computing Laboratory, University of Kent at Canterbury, August
2001.
-
Introduction to Programming Language Theory.
Octavian Patrascoiu.
Editura Rom TPT, September 2001.
-
Integration
of Web Browsers and Interactive TV.
Michael Pediaditakis.
Master's thesis, Computing Laboratory, University of Kent at Canterbury, August
2001.
-
Writing
Solid Software.
S Pfleeger, L Hatton, and C Howell.
Prentice-Hall, 2001.
-
Using
semantic searching for web portal interoperability.
Francisco Pinto, Claudio Baptista, and Nick Ryan.
In International Workshop on Information Integration on the Web -
Technologies and Applications, April 9-11, Rio de Janeiro - Brazil.
Federal University of Rio de Janeiro, April 2001.
-
Interoperable portal for the historic environment.
Francisco Pinto, Nick Ryan, Tony Austin, and Julian Richards.
In Erich Neuhold and Leonid Kalinichenko, editors, Forthcoming paper in
Interoperability on Digital Libraries - Delos Workshop 2001: Proceedings of
European Conference on Research and Advanced Technology for Digital
Libraries. German National Research Center for Information Technologie,
Darmstadt, Germany, European Research Consortium for Informatics and
Mathematics (ERCIM), September 2001.
-
GHood -
Graphical Visualisation and Animation of Haskell Object Observations.
Claus Reinke.
In Ralf Hinze, editor, ACM SIGPLAN Haskell Workshop, Firenze,
Italy, volume 59 of Electronic Notes in Theoretical Computer
Science, page 29. Elsevier Science, September 2001.
Preliminary Proceedings have appeared as Technical Report UU-CS-2001-23,
Institute of Information and Computing Sciences, Utrecht University. Final
proceedings to appear in ENTCS.
-
Issues of
Dataflow and View Presentation in Multiple View Visualization.
Jonathan Roberts.
In 2001 International Conference on Imaging Science, Systems and
Technology (CISST), CISST Annual Conference, Workshop: Fundamental
Issues of Visualization, pages 177-183, Las Vegas, NV, June 2001.
-
Sticky
Pixels: Evolutionary Growth by Random Drop Ballistic Aggregation.
Jonathan Roberts.
In Eurographics UK 2001 Conference Proceedings, 19th Annual
Conference, pages 149-155, Eurographics UK, PO Box 38, Abingdon, Oxon OX14
1PX, April 2001.
-
FAD: A
Functional Analysis and Design Methodology.
Dan Russell.
Phd thesis, Computing Laboratory, University of Kent at Canterbury, January
2001.
-
Documenting
and validating virtual archaeology.
Nick Ryan.
Archeologia e Calcolatori, 12:245-273, November 2001.
-
jnet, a
successor to gnet.
Nick Ryan.
In W. Borner, editor, Archaologie und Computer, Workshop 6.
Forschungsgesellschaft Wiener Stadtarchaologie, November 2001.
-
Iguana: A
management support tool using Haskell and LDAP.
Chris Ryder.
Technical Report 6-01, University of Kent, Computing Laboratory, University of
Kent at Canterbury, June 2001.
-
The
Distributed occam Protocol - A New Layer on Top of TCP/IP to Serve occam
Channels Over the Internet.
Mario Schweigler.
Master's thesis, Computing Laboratory, University of Kent, Canterbury, UK,
Canterbury, Kent, CT2 7NF, United Kingdom, September 2001.
-
Verifying
termination and error-freedom of logic programs with block declarations.
Jan-Georg Smaus, Pat M. Hill, and Andy King.
Theory and Practice of Logic Programming, 1(4):447-486, July 2001.
(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.
-
Verifying
termination and error-freedom of logic programs with block declarations.
Jan-Georg Smaus, Patricia Hill, and Andy King.
Theory and Practise of Logic Programming, January 2001.
-
Specification, refinement and verification of concurrent systems - an integration of
Object-Z and CSP.
G. Smith and J. Derrick.
Formal Methods in Systems Design, 18:249-284, May 2001.
-
Interpreting ODP Viewpoint Specification: Observations from a Case Study.
C Taylor, E Boiten, and J Derrick.
Technical Report 9-01, University of Kent, Computing Laboratory, University of
Kent at Canterbury, UK, September 2001.
-
Refactoring Functional Programs.
Simon Thompson and Claus Reinke.
Technical Report 16-01, University of Kent, Computing Laboratory, October 2001.
-
Logic and
Dependent Types in the Aldor Computer Algebra System.
Simon Thompson.
In Manfred Kerber and Michael Kohlhase, editors, Symbolic Computation and
Automated Reasoning, pages 205-219. A K Peters, January 2001.
-
Artificial
immune systems: Using the immune system as inspiration for data mining.
Jon Timmis and Thomas Knight.
In Hussein A. Abbass, Ruhul A. Sarker, and Charles S. Newton, editors,
Data Mining: A Heuristic Approach, chapter XI, pages 209-230. Group Idea
Publishing, September 2001.
-
A resource
limited artificial immune system for data analysis.
Jon Timmis and Mark Neal.
Knowledge Based Systems, 14(3-4):121-130, June 2001.
-
aivis -
artificial immune network visualisation.
Jon Timmis.
In EuroGraphics UK 2001 Conference Proceedings, pages 61-69,
Univerisity College London., April 2001. Eurographics.
-
Interception of communications.
Gerald Tripp.
Information and Communications Technology Law, 10(3):285-292, October
2001.
-
Transforming web pages for interactive TV using XSL.
Vedhagiri Valliapan, David Shrimpton, Chris Dobbyn, and Tom Casey.
In Proceedings of IEEE International Conference on Multimedia and
Expo, pages 1008-1011. IEEE, August 2001.
-
Integrating
interactive TV with the Web using XSL.
Vedhagiri Valliapan, David H Shrimpton, and Chris Dobbyn.
In Poster Proceedings of The Tenth International World Wide Web
Conference, Conference Series of the International World Wide Web
Conference Committee, pages 72-73. IW3C2, May 2001.
-
Educating
the digital fieldwork assistant.
Martijn van Leusen and Nick Ryan.
In G. Burenhult, editor, Forthcoming paper in CAA 2001: Proceedings of
Computer Applications and Quantitive Methods in Archeology Conference.
Gotland University, Visby, Gotland - Sweden, Archaeopress, Oxford, April
2001.
-
Multiple-view tracing for Haskell: a new Hat.
Malcolm Wallace, Olaf Chitil, Thorsten Brehm, and Colin Runciman.
In Ralf Hinze, editor, Preliminary Proceedings of the 2001 ACM SIGPLAN
Haskell Workshop, pages 151-170, Firenze, Italy, September 2001.
Universiteit Utrecht UU-CS-2001-23. Final proceedings to appear in ENTCS 59(2).
-
Permabase:
predicting the performance of distributed systems at the design stage.
G. Waters, P. Linington, D. Akehurst, P. Utton, and G. Martin.
IEE Proceedings - Software, 148(4):113-121, August 2001.
-
A resource
limited artificial immune classifier.
A Watkins.
Master's thesis, Mississippi State University, MS. USA., December 2001.
-
Mobile
Data Types for Communicating Processes.
P.H. Welch and F.R.M. Barnes.
In H.R. Arabnia, editor, Proceedings of the International Conference on
Parallel and Distributed Processing Techniques and Applications 2001,
volume 1, pages 20-26. CSREA, CSREA Press, June 2001.
-
Object
Orientated Computational Models of Prion Propagation.
Jacqueline Louise Whalley.
Master's thesis, University of Kent, Computing Laboratory, University of Kent
at Canterbury, Canterbury, Kent, CT2 7NX, United Knigdom, September 2001.
-
Coherence
in UML.
A C Wills.
In Coupling the UML diagrams, Mont St Michel, 2001. Tutorial at TOOLS
Europe 2000.
-
A
Concurrent Language for Refinement.
JCP Woodcock and ALC Cavalcanti.
In 5th Irish Workshop on Formal Methods, 2001.
-
The Steam
Boiler in a Unified Theory of Z and CSP.
JCP Woodcock and ALC Cavalcanti.
In 8th Asia-Pacific Software Engineering Conference. IEEE Press,
2001.
-
Providing
secure remote access to legacy applications.
A.J. Young, D.W. Chadwick, and J. New.
IEE Computing and Control Engineering Journal, 12(4):148-156, August
2001.