Computer Science: Publication Index 1999

• Visualization of multidimensional environmental data. Proceedings of GIS Research UK, 7th National Conference, Southampton, UK, April 1999.
• Predictive Performance Analysis for Distributed Systems - PERMABASE position. David Akehurst, Gill Waters, Peter Utton, and Gino Martin. In One Day Workshop on Software Performance Prediction extracted from Designs, Heriot-Watt University, Edinburgh, November 1999.
• UML Deficiencies from the perspective of automatic Performance Model Generation. D.H. Akehurst and A.G. Waters. In OOPSLA '99 Workshop on Rigorous Modelling and Analysis with the UML: Challenges and Limitations, November 1999.
• UML specification of distributed system environments. D.H. Akehurst and A.G. Waters. Technical Report 18-99, UKC, May 1999.
• Computing with Exact Real Numbers in a Radix-r System. Kaganovsky Alexander. Technical Report 19-99, Computing Laboratory, University of Kent at Canterbury, October 1999.
• A Parallel Genetic Algorithm for Rule Discovery in Large Databases. DLA Araujo, HS Lopes, and AA Freitas. In K Ilto, editor, Proc 1000 IEEE Systems, Man and Cybernetics Conf, volume III, pages 940-945, Tokyo, October 1999. IEEE.
• An Isomorphism between Abstract Polyhedral Cones and Definite Boolean Functions. F. Benoy and A. King. Technical Report 3-99, Computing Laboratory, University of Kent, March 1999.
• Constructive consistency checking for partial specification in Z. E.A. Boiten, J. Derrick, H. Bowman, and M.W.A. Steen. Science of Computer Programming, 35(1):29-75, September 1999.
• Discovering comprehensible classification rules using genetic programming: a case study in a medical domain. CC Bojarczuk, HS Lopes, and AA Freitas. In W Banzhaf and J Daida et al, editors, Proc Genetic and Evolutionary Computation Conference (GECCO-99), pages 953-958, Orlando USA, July 1999. Morgan Kaufmann.
• Strategies for consistency checking based on unification. H. Bowman, E. A. Boiten, J. Derrick, and M. W. A. Steen. Science of Computer Programming, 33:261-298, April 1999.
• Towards integrated cognitive and interface analysis. H. Bowman, G. Faconti, and M. Massink. Technical Report 1-99, University of Kent at Canterbury, January 1999.
• A formal framework for viewpoint consistency (full version). H. Bowman, M.W.A. Steen, E.A. Boiten, and J. Derrick. Computing Laboratory Technical Report 22-99, University of Kent at Canterbury, Canterbury, Kent, CT2 7NZ, December 1999.
• A junction between state based and behavioural specification. H. Bowman and J. Derrick. In A. Fantechi P. Ciancarini and R. Gorrieri, editors, Formal Methods for Open Object-based Distributed Systems, pages 213-239. Kluwer, February 1999. Invited Paper.
• Analysing cognitive behaviour using lotos and mexitl. H. Bowman and G. Faconti. Formal Aspects of Computing, 11:132-159, November 1999.
• Modelling concurrent cognitive architectures using process calculi. H. Bowman. In Sebastiano Bagnara, editor, European Conference on Cognitive Science 1999, pages 161-166. Istituto di Psicologia, CNR, October 1999.
• On time and action lock free description of timed systems. H. Bowman. Technical Report 16-99, Computing Laboratory, University of Kent at Canterbury, December 1999.
• Modelling timeouts without timelocks. Howard Bowman. In ARTS'99, 5th International AMAST Workshop on Real-time and Probabilistic Systems, volume 1601 of Lecture Notes in Computer Science, pages 334-354. Springer-Verlag, May 1999.
• Towards a better understanding of context and context-awareness. P J Brown, N Davies, M Smith, and P Steggles. In H-W Gellerson, editor, Handheld and ubiqitous computing, number 1707 in Lecture Notes in Computer Science, pages 304-7. Springer, September 1999.
• Integrating Paper and Digital Documents. Heather Brown and Peter Robinson. In Digital Media Futures, page 12. Springer Verlag (to appear), April 1999.
• Stochastic specification and verification. Jeremy Bryans and John Derrick. In 3rd Irish Workshop in Formal Methods, Electronic Workshops in Computing, page 20. Springer, July 1999.
• A Statistical Study of a Class of Cellular Evolutionary Algorithms. M Capcarrere, A Tettamanzi, M Tommassini, and M Sipper. Evolutionary Computation, 7(3):255-274, 1999.
• Gender and Programming: what's going on?. Janet Carter and Tony Jenkins. In Bill Manaris, editor, Proceedings of the 4th Annual SIGCSE/SIGCUE conference on Innovation and Technology in Computer Science Education ITiCSE'99, pages 1-4, Krakow University of Economics, June 1999. ACM SIGCSE/SIGCUE.
• Collaboration or Plagiarism: what happens when students work together?. Janet Carter. In Bill Manaris, editor, Proceedings of the 4th Annual Conference on Innovation and Technology in Computer Science Education ITiCSE'99, pages 52-55. ACM SIGCSE/SIGCUE, June 1999.
• Profile of a cohort - a statistical profile of the 1997 cs entry. Janet Carter. technical report 20-99, UKC, November 1999.
• A hybrid genetic algorithm/decision tree approach for coping with unbalanced classes. DR Carvalho, BC Avila, and AA Freitas. In N Mackin, editor, Proc 3rd Int Conf on the Practical Applications of Knowledge Discovery and Data Mining (PADD-99), pages 61-70, London, April 1999. The Practical Application Company.
• An Inconsistency in Procedures, Parameters and Substitution in the Refinement Calculus. ALC Cavalcanti, A Sampaio, and JCP Woodcock. Science of Computer Programming, 33(1):87-96, 1999.
• A Weakest Precondition Semantics for an Object-oriented Language of Refinement. ALC Cavalcanti and D Naumann. In FM'99: World Congress on Formal Methods, volume 1709 of Lecture Notes in Computer Science, pages 1439-1459. Springer-Verlag, 1999.
• ZRC - A Refinement Calculus for Z. ALC Cavalcanti and JCP Woodcock. Formal Aspects of Computing, 10:267-289, 1999.
• Referrals and knowledge references in ldap directories. D.W. Chadwick, T. Howes, and M. Wahl. Internet Draft, July 1999.
• Referrals and knowledge references in ldap directories. D.W. Chadwick, T. Howes, and M. Wahl. Internet Draft, July 1999.
• Smart cards aren''t always the smart choice. D. W. Chadwick. IEEE Computer, 32(12):142-143, December 1999.
• Compound (families of) entries. D.W. Chadwick. Internet Draft, June 1999.
• Denotational Semantics for Teaching Lazy Functional Programming. Olaf Chitil. In Proceedings of the Workshop on Functional and Declarative Programming in Education, Technical Report TR99-346, page 27. Rice University Compter Science, 1999.
• Type-inference based short cut deforestation (nearly) without inlining. Olaf Chitil. In Chris Clack and Pieter Koopman, editors, Draft Proceedings of the 11th International Workshop on Implementation of Functional Languages, pages 17-32, 1999. Lochem, Netherlands, September 7th-10th 1999.
• Type Inference Builds a Short Cut to Deforestation. Olaf Chitil. In Proceedings of the 1999 ACM SIGPLAN International Conference on Functional Programming (ICFP '99), pages 249-260. ACM Sigplan Notices, 34(9), 1999.
• Defining UML Family Members using Prefaces. S Cook, A Kleppe, R Mitchell, B Rumpe, J Warmer, and A Wills. In TOOLS Pacific 99 Conference Proceedings. IEEE, 1999.
• Defining the Context of OCL Expressions. S Cook, A Kleppe, R Mitchell, J Warmer, and A Wills. In R France and B Rumpe, editors, UML'99 Conference Proceedings. LNCS 1723, Springer-Verlag, 1999.
• Architectural Standards, Processes and Patterns for Enterprise Systems. S Cook. In J Hall L Barroca and P Hall, editors, Software Architectures - Advances and Applications. Springer-Verlag, 1999.
• A Tool for Teaching Refinement. SL Coutinho, TPC Reis, and ALC Cavalcanti. In 13th Brazilian Symposium on Software Engineering - Tools Session, pages 61-64, 1999. (In Portuguese).
• Evaluating a joint international project in disjunct courses. M Daniels and S A Fincher. In Joanna Daudt and Otto Rompelman, editors, What have they learned? Assessment of Student Learning in Higher Education, pages 139-144. European Society for Engineering Education, SEFI, April 1999.
• Fran poster. Anthony C. Daniels. An A1 sized poster describing Fran, January 1999.
• A semantics for functions and behaviours. Anthony C. Daniels. PhD thesis, The University of Nottingham, The University of Nottingham, , University Park, Nottingham NG7 2RD, December 1999.
• Public Forum Help Seeking: the impact of providing anonymity on student help seeking behavior. David J. Barnes. In Graham M. Chapman, editor, Computer Based Learning in Science (CBLIS '99). Pedagogical Faculty of University of Ostrava, Czech Republic, July 1999.
• Exception Handling in a Cooperative Object-Oriented Approach. R. de Lemos and A. Romanovsky. In Proceedings of the 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'99), pages 3-13, Saint Malo, France, May 1999.
• Validating Formal Verification using Safety Analysis Techniques. R. de Lemos and A. Saeed. In Proceedings of the 18th International Conference on Computer Safety, Reliability and Security (SAFECOMP'99), pages 58-66, Toulouse, France, September 1999.
• Analysis of Safety Properties of a System from the Viewpoint of its Components Interactions. R. de Lemos. In Proceedings of the 9th Brazilian Symposium on Fault-Tolerant Computers (SCTF), pages 35-48, Campinas, Brazil, July 1999.
• A model for spatial multimedia digital libraries. Claudio de Souza Baptista and Zarine Kemp. In 2nd AGILE Conference on Geographic Information Science, pages 29-32, University of Rome "La Sapienza", Rome, April 1999. Association of Geographic Information Laboratories in Europe.
• Querying multimedia spatiotemporal databases. Claudio de Souza Baptista and Zarine Kemp. In George E. Lasker and Yanchun Zhang, editors, Proceedings of 1999 Symposium on Database, Web and Cooperative Systems, volume I, pages 145-150, Baden-Baden, Germany, August 1999. The International Institute for Advanced Studies in Systems Research and Cybernetics. Symposium held as part of the 11th Intenational Conference on Systems, Informatics and Cybernetics.
• Spatial information systems and the world wide web. Claudio de Souza Baptista and Zarine Kemp. In Bruce Gittings, editor, Integrating Information Infrastructures with GI Technology - Innovations in GIS 6, chapter 3, pages 25-37. Taylor & Francis, August 1999.
• On incorporating multimedia into spatio-temporal systems. Claudio de Souza Baptista. In Joaquim Filipe and Jose Cordeiro, editors, First International Conference on Enterprise Information Systems, volume I, pages 23-28, Setubal, Portugal, March 1999. School of Technology of the Polytechnic Institute of Setubal.
• Viewpoints and consistency: translating LOTOS to Object-Z. John Derrick, Eerke Boiten, Howard Bowman, and Maarten Steen. Computer Standards and Interfaces, 21:251-272, August 1999.
• Non-atomic refinement in Z. J. Derrick and E.A. Boiten. In J.M. Wing, J.C.P. Woodcock, and J. Davies, editors, FM'99 World Congress on Formal Methods in the Development of Computing Systems, volume 1708 of Lecture Notes in Computer Science, pages 1477-1496, Berlin, September 1999. Springer.
• Calculating upward and downward simulations of state-based specifications. John Derrick and Eerke Boiten. Information and Software Technology, 41:917-923, July 1999.
• Separating component and context specification using promotion. John Derrick and Eerke Boiten. In K. Araki, A. Galloway, and K. Taguchi, editors, International conference on Integrated Formal Methods 1999 (IFM'99), pages 293-312. Springer, July 1999.
• Testing refinements of state-based formal specifications. John Derrick and Eerke Boiten. Software Testing, Verification and Reliability, (9):27-50, July 1999.
• Models of convergence between the World Wide Web and interactive television using MHEG-5. Chris Dobbyn, David Shrimpton, and Tom Casey. In Proceedings of the Third IASTED International Conference on Internet and Multimedia Systems and Applications, page 6, October 1999.
• Core Meta-Modelling Semantics of UML: The pUML Approach. A Evans and S Kent. In Proceedings of UML'99. IEE Computer Society Press, October 1999.
• Discovering surprising patterns by detecting occurrences of Simpson's paradox. CC Fabris and AA Freitas. In M Bramer, A Macintosh, and F Coenen, editors, Research and Development in Intelligent Systems XVI, (Proc 19th SGES Int Conf on Knowledge Based Systems and Applied Artificial Intelligence), pages 148-160, Berlin, 1999. Springer-Verlag.
• Teaching with electronic collaborative learning groups. E.R. Fahraeus, B. Chamberlain, V. Baykov, N. Bridgeman, R. Dumbraveanu, U. Fuller, and J. Rugeli. SIGCSE Bulletin, 31(4):121-128, December 1999.
• Proceedings of the 1999 Workshop on Functional and Declarative Programming in Education. Matthias Felleisen, Michael Hanus, and Simon Thompson. Technical Report COMP TR99-346, Department of Computer Science, Rice University, August 1999.
• A Fuzzy Beam-Search Rule Induction Algorithm. CS Fertig, AA Freitas, LVR Arruda, and C Kaestner. In J Zytkow and J Rauch, editors, Principles of Data Mining and Knowledge Discovery (Proc 3rd European Conf - PKDD-99), volume 1704 of Lecture Notes in Artificial Intelligence, pages 341-347, Berlin, 1999. Springer-Verlag.
• Analysis of design: An exploration of patterns and pattern languages for pedagogy. Sally Fincher. Journal of Computers in Mathematics and Science Teaching: Special Issue CS-ED Research, 18(3):331-348, December 1999.
• What are we doing when we teach programming?. Sally Fincher. In Frontiers in Education '99, pages 12a41-5. IEEE, November 1999.
• A genetic algorithm for generalized rule induction. AA Freitas. In R Roy, T Furuhashi, and PK Chawdhry, editors, Advances in Soft Computing - Engineering Design and Manufacturing (Proc WSC3 3rd on-line world conf hosted on the internet 1998), pages 340-353, Berlin, 1999. Springer-Verlag.
• A summary of the papers presented at the AAAI-99 and GECCO-99 Workshop on Data Mining with Evolutionary Algorithms: Research Directions. AA Freitas. In Proc 1999 Genetic and Evolutionary Computation Conf (GECCO-99), page 226, Orlando, USA, July 1999.
• Data Mining with Evolutionary Algorithms: Research Directions - Papers from the AAAI Workshop. AA Freitas. Number WS-99-06, Menlo Park, CA, USA, 1999. AAAI Press.
• On Rule Interestingness Measures. AA Freitas. Knowledge-Based Systems, 12(5-6):309-315, October 1999.
• The implications for staff and students of strategic institution-wide consultation using an intranet in proceedings of the second "working smarter, not harder" conference, university of staffordshire. U.D. Fuller, J.B. Slater, and G.M. Van der Velden. September 1999.
• Observations on the University of Kent Nature Trail in Light of Hald-held Computers. Neil Fuller. Technical Report 13-99, Computing Laboratory, University of Kent at Canterbury, Kent CT2 7NF, UK, September 1999.
• The Simple Matcher: A Generic Application Independent Triggering Engine. Neil Fuller. Technical Report 12-99, Computing Laboratory, University of Kent at Canterbury, Kent CT2 7NF, UK, August 1999.
• Constraint Diagrams: A Step Beyond UML. J Gil, J Howse, and S Kent. In Proceedings of TOOLS USA'99. IEEE Computer Society Press, December 1999.
• Formalizing Spider Diagrams. J Gil, J Howse, and S Kent. In Proceedings of IEEE Symposium on Visual Languages (VL99). IEEE Computer Society Press, December 1999.
• The Bluej Experience: Implementing educational innovation. Dianne Hagan, Michael Kolling, and Selby Markham. Technical Report TR99/005, Faculty of Information Technology, Monash University, May 1999.
• Implementing Theorem Provers in a Purely Functional Style. Keith Hanna. Journal of Functional Programming, 9(2):147-166, March 1999.
• Paradigm Shift or Measurement Based Feedback?. L Hatton. In JACC'99, Annual Conference of Joint Association of C and C++ users, Oxford, UK, September 1999.
• Repetitive failure, feedback and diagnosis. L Hatton. In JUSE'99, Conference of Japanese Union of Scientists and Engineers, City University, UK, April 1999.
• Repetitive failure, feedback and the lost art of diagnosis. L Hatton. In ESCOM'99, in European Conference on Optimising Software Development and Maintenance, Herstmonceux, UK, April 1999.
• Testing is not a phase. L Hatton. In STAR'99, in US Conference on Software Testing, Analysis and Review, Orlando, Florida, USA, May 1999.
• Testing: the influence of complexity, coupling, diagnosis and repetitive failure. L Hatton. In EuroStar'99, European Conference on Software Testing, Analysis and Review, Barcelona, Spain, November 1999.
• Ariane 5: A Smashing Success. Les Hatton. Software Testing and Quality Engineering, 1(2):14-16, January 1999.
• Repetitive failure, feedback and the lost art of diagnosis. Leslie Hatton. Journal of Systems and Software, January 1999.
• Towards a consistent legal framework for understanding software systems behaviour. Leslie Hatton. University of Strathclyde, January 1999.
• Parallels and differences between natural and artificial systems. M.H.W. Hobbs and N.T. Dalgliesh. In L. Brooks and C. Kimble, editors, Information Systems - The next generation, pages 14-23. McGraw Hill, April 1999.
• A Semantic Basis for Specialising Domain Constraints. J. M. Howe and A. King. Technical Report 21-99, University of Kent, Computing Laboratory, University of Kent, Canterbury, CT2 7NF, UK, November 1999. Presented at the International Workshop for Object-oriented and Constraint Programming for Time Critical Applications, Lisbon, Portugal.
• Specialising Finite Domain Programs using Polyhedra (Abstract). J. M. Howe and A. King. In ECOOP Workshops, volume 1743 of Lecture Notes in Computer Science, pages 258-9. Springer-Verlag, February 1999.
• Proof Search in Lax Logic. Jacob M. Howe. Technical Report 14-99, University of Kent, July 1999.
• Reasoning with Spider Diagrams. J Howse, F Molina, J Taylor, and S Kent. In Proceedings of IEEE Symposium on Visual Languages (VL99). IEEE Computer Society Press, December 1999.
• Quality of Service measurements on SuperJANET - the UK academic information highway. A.S. Induruwa, P.F. Linington, and J.B. Slater. In Proc INET'99, June 1999.
• Growth of Internet Based Services with special reference to Sri Lanka. AS Induruwa. In Proceedings of the International Information Technology Conference '99 (IITC '99), page 36 (total). Council for Information Technology, Sri Lanka, October 1999.
• Information Technology Development in Sri Lanka - A Review. AS Induruwa. The Journal of the National Science Foundation of Sri Lanka, 27(4):46 (total), December 1999.
• Effective affective communication in virtual environments. C.G. Johnson and Gareth J.F. Jones. In Daniel Ballin, editor, Proceedings of the Second Workshop on Intelligent Virtual Agents, pages 135-138. University of Salford, September 1999.
• Modelling robot manipulators with multivariate B-splines. Colin G. Johnson and Duncan Marsh. Robotica, 17(3):239-247, May 1999.
• Emergent Design and Development of Information Systems: The Theoretical Justification. L. Johnson and M. Stergiou. In Nagib Callaos, editor, ISAS'99 Proceedings - 5th International Conference on Information Systems, Analysis and Synthesis. International Institute of Informatics and Systemics, August 1999.
• BPR - Enabled Systems Engineering. Leslie Johnson and Maria Stergiou. In Chan Meng Khoong, editor, Reengineering in Action: The Quest for World-Class Excellence. Imperial College Press, World Scientific Co, January 1999.
• Exploring the sound-space of synthesis algorithms using interactive genetic algorithms. Colin G. Johnson. In A. Patrizio, G.A. Wiggins, and H. Pain, editors, Proceedings of the AISB'99 Symposium on Musical Creativity, pages 20-27, Brighton, April 1999. Society for the Study of Artificial Intelligence and Simulation of Behaviour.
• Meeting diverse user needs: Implementation of a departmental information strategy. Richard Jones, David Beckett, and Sally Fincher. In Stephen D. Franklin and Ellen Strenski, editors, International Working Conference on Building University Electronic Educational Environments, pages 125-139. IFIP WG3.2/3.6, Kluwer, August 1999.
• Garbage collection. Richard Jones and Eric Jul. ACM SIGPLAN, November 1999. Tutorial 28, OOPSLA'99 Conference on Object-Oriented Programming, Systems, Languages and Applications, Denver.
• Exact Complex Arithmetic in an Imaginary Radix System. Alexander Kaganovsky. Technical Report 9-99, Computing Laboratory, University of Kent at Canterbury, July 1999.
• Graphics and Visualization within Cross-Stitch. Karen R. Atkinson and Jonathan C. Roberts. In Eurographics UK 1999 Conference Proceedings, 17th Annual Conference, pages 129-141, Eurographics UK, PO Box 38, Abington, Oxon, OX14 1PX , April 1999. (http://www.cs.ukc.ac.uk/people/staff/jcr/eguk99/index.html).
• A framework for integrating gis and images. Zarine Kemp. In Peggy Agouris and Anthony Stefanidis, editors, Integrated Spatial Databases - Digital Images and GIS, LNCS 1737, pages 153-167. Springer-Verlag, December 1999.
• UML Semantics FAQ. S Kent, A Evans, and B Rumpe. In ECOOP'99 Workshop Reader. Springer Verlag, LNCS, December 1999.
• A meta-model semantics for structural constraints in UML. S. Kent, S. Gaito, and N. Ross. In H. Kilov, B. Rumpe, and I. Simmonds, editors, Behavioral specifications for businesses and systems, chapter 9, pages 123-141. Kluwer Academic Publishers, Norwell, MA, September 1999.
• Mixing Visual and Textual Constraint Languages. S Kent and J Howse. In Proceedings of UML'99. IEEE Computer Society Press, October 1999.
• Quotienting Share for Dependency Analysis. Andy King, Jan-Georg Smaus, and Pat Hill. In Doaitse Swierstra, editor, European Symposium on Programming, volume 1576 of Lecture Notes in Computer Science, pages 59-73. Springer-Verlag, April 1999. (c) Springer-Verlag, see also http://www.springer.de/comp/lncs/index.html.
• A comparison of the performances of a bayesian algorithm and a kohonen map for clustering texture data. Lee Klimek, Bruce Wooley, Susan M. Bridges, Julia Hodges, Andrew Watkins, and Sara Smolensky. In In Proceedings of the conference on artificial neural networks in engineering (ANNIE '99), St. Louis, MO, November 1999.
• The peer review process of teaching materials. Deborah Knox, Sally Fincher, Nell Dale, Elizabeth Adams, Don Goelman, James Hightower, Ken Loose, and Fred Springsteel. SIGCSE Bulletin, 31(4):87-100, December 1999.
• On creation, equality and the object model. Michael Kolling and John Rosenberg. In Technology of Object-Oriented Languages and Systems (TOOLS) 32, pages 210-221, Melbourne, Australia, January 1999. IEEE.
• The Blue Language. Michael Kolling. Journal of Object-Oriented Programming, 12(1):10-17, August 1999.
• The design of an object-oriented environment and language for teaching. Michael Kolling. Phd thesis, Basser Department of Computer Science, University of Sydney, February 1999.
• The problem of teaching object-oriented programming, part 1: Languages. Michael Kolling. Journal of Object-Oriented Programming, 11(8):8-15, January 1999.
• The problem of teaching object-oriented programming, part 2: Environments. Michael Kolling. Journal of Object-Oriented Programming, 11(9):6-12, April 1999.
• Teaching object orientation with the Blue environment. Michael Kolling. Journal of Object-Oriented Programming, 12(2):14-23, December 1999.
• Tools and techniques for teaching objects first in a java course. Michael Kolling. In Proceedings of the 30th SIGCSE Technical Symposium on Computer Science Education, page 368, New Orleans, Louisiana, USA, March 1999. ACM.
• Business Computer Ethics. Duncan Langford. Pearson Education, May 1999.
• EventPorts: Preventing Legacy Componentware. A Lauder and S Kent. In Proceedings of 3rd International Enterprise Distributed Object Computing Conference (EDOC 99). IEEE Press, December 1999.
• Two-Level Modeling. A Lauder and S Kent. In Proceedings of TOOLS Asia 99. IEEE Computer Society Press, December 1999.
• Interfacing knowledge discovery algorithms to large database management systems. S Lavington, N Dewhurst, E Wilkins, and AA Freitas. Information and Software Technology - special issue on data mining, 41(1999):605-617, 1999.
• An ODP approach to the development of large middleware systems. P.F. Linington. In Proc. Distributed Applications and Interoperable Systems II, Helsinki. Kluwer, June 1999.
• Options for expressing ODP Enterprise Communities and their Policies by using UML. P.F. Linington. In Proceedings of the Third International Enterprise Distributed Object Computing Confererence, pages 72-82. IEEE, September 1999.
• RISCSIM - A Simulator for Object-based Systems. P.F. Linington. In Proc. UKSIM'99 Conference of the UK Simulation Society, pages 141-147. UK Simulation Society, April 1999.
• CCSP - a Portable CSP-based Run-time System Supporting C and occam. J. Moores. In B.M.Cook, editor, Architectures, Languages and Techniques for Concurrent Systems, volume 57 of Concurrent Systems Engineering series, pages 147-168, Amsterdam, the Netherlands, April 1999. WoTUG, IOS Press.
• Discovering Interesting Prediction Rules with a Genetic Algorithm. E Noda, AA Freitas, and HS Lopes. In P Angeline, editor, Proc Conference on Evolutionary Computation (CEC-99), pages 1322-1329, Washington DC, USA, July 1999. IEEE.
• Validation of object-oriented models using animation. Ian Oliver and Stuart Kent. September 1999. Proceedings of EuroMicro'99, Milan, Italy.
• ``executing'' the ocl. Ian Oliver. accepted at PhDOOS'99 at ECOOP'99, Lisbon, Portugal, June 1999.
• Issues in developing context-aware computing. J. Pascoe, N.S. Ryan, and D.R. Morse. In H-W.Gellersen, editor, Handheld and Ubiquitous Computing, number 1707 in Lecture Notes in Computer Science, pages 208-221, Heidelberg, Germany, September 1999. Springer-Verlag.
• The Type System of Aldor. Erik Poll and Simon Thompson. Technical Report 11-99, Computing Laboratory, University of Kent at Canterbury, Kent CT2 7NF, UK, July 1999.
• A logic for abstract data types as existential types. Erik Poll and Jan Zwanenburg. In Typed Lambda Calculi and Applications (TLCA'99), LNCS. Spinger-Verlag, April 1999.
• Strategies for Lifecycle and Concurrency and Iteration: A Systems Dynamics Approach. A L Powell, K C Mander, and D S Brown. Journal of Systems and Software, 46:151-161, July 1999.
• Data processing for spectrum-images: extracting information from the data mountain. M. Prutton, D.K. Wilkinson, P.G. Kenny, and D.L. Mountain. Applied Surface Science, 144-145:1-10, June 1999. Also presented at IVC9/QSA10, Birminham, 1998.
• Cyber Rally: An Experience of Democratic Use of the Internet. G Ramalho, F Barros, S Cavalcante, and ALC Cavalcanti. In Human-Computer Interaction: Communication, Cooperation, and Application Design, volume 2, pages 402-406. Lawrence Erlbaum Associates, 1999.
• Piecewise Linear Hypersurfaces using the Marching Cubes Algorithm. Jonathan C. Roberts and Steve Hill. In Robert F. Erbacher and Alex Pang, editors, Visual Data Exploration and Analysis VI, Proceedings of SPIE,, volume 3643, pages 170-181. IS&T and SPIE, January 1999.
• Display Models for Visualization. Jonathan C. Roberts. In E.Banissi, F.Khosrowshahi, M.Sarfraz, E.Tatham, and A.Ursyn, editors, Information Visualization IV'99, pages 200-206. Proceedings International Conference on Information Visualization, IEEE Computer Society, July 1999.
• On Encouraging Coupled Views for Visualization Exploration. Jonathan C. Roberts. In Robert F. Erbacher and Alex Pang, editors, Visual Data Exploration and Analysis VI, Proceedings of SPIE, volume 3643, pages 14-24. IS&T and SPIE, January 1999.
• Pragmatic graph rewriting modifications. Peter J. Rodgers and Natalia Vidal. In Proceedings of the 1999 IEEE Symposium on Visual Languages, pages 206-207. IEEE Computer Society, September 1999.
• Design, Observation, Surprise!. E Ronald, M Sipper, and M Capcarrere. Artificial Life, 5(3):225-239, 1999.
• Testing for emergence in artificial life. E. Ronald, M. Sipper, and M. Capcarrere. In Floreano and Nicoud, editors, European Conference in Artificial Life VI, pages 13-20. Springer-Verlag, September 1999.
• An Architecture for an ATM Network Continuous Media Server Exploiting Temporal Locality of Access. Kneale J Rothwell. PhD thesis, University of Kent at Canterbury, September 1999.
• C++ Class Libraries for MCMC Applied to Bayesian Networks. Andrew Runnalls. In Conference on Highly Structured Stochastic Systems at Pavia, Italy, Poster, September 1999.
• Fieldnote: a handheld information system for the field. N.S. Ryan, J. Pascoe, and D.R. Morse. In R.Laurini, editor, Proc. TeleGeo'99, 1st International Workshop on TeleGeoProcessing, pages 156-163. Claude Bernard University of Lyon, May 1999.
• Fieldnote: extending a gis into the field. N.S. Ryan, J. Pascoe, and D.R. Morse. In J.A.Barcelo, I.Briz, and A.Vila, editors, New Techniques for Old Times: Computer Applications in Archaeology, 1998, number S757 in BAR International Series, pages 127-132, Oxford, UK, March 1999. Archaeopress.
• Aldor meets Haskell. Chris Ryder and Simon Thompson. Technical Report 15-99, Computing Laboratory, University of Kent, October 1999.
• Extracao de regras de redes neurais via algoritmos geneticos. RT Santos, JC Nievola, AA Freitas, and HS Lopes. In Proc IV Brazilian Conf on Neural Networks, pages 158-163. Sao Jose dos Camps - SP, Brazil, July 1999.
• Distance: a New Metric for Controlling Granularity for Parallel Execution. Kish Shen, V'itor Santos Costa, and Andy King. Journal of Functional and Logic Programming, April 1999.
• Towards the convergence of interactive television and WWW. David Shrimpton, Chris Dobbyn, and Tom Casey. In Colloqium on Multimedia Services and Digital Television by Satellite, number 99/111, pages 6/1-6/6, Savoy Place, London, October 1999. IEE Electronics and Communication, IEE.
• Preventing Instantiation Errors and Loops for Logic Programs with Multiple Modes Using block Declarations. Jan-Georg Smaus, Pat Hill, and Andy King. In P Flener, editor, Logic Programming, Synthesis and Transformation (Selected Papers), volume 1559 of Lecture Notes in Computer Science, pages 289-307. Springer-Verlag, March 1999. Copyright Springer-Verlag, see http://www.springer.de./comp/lncs/index.html.
• Modes and Types in Logic Programming. Jan-Georg Smaus. PhD thesis, University of Kent at Canterbury, December 1999.
• Proving termination of input-consuming logic programs. Jan-Georg Smaus. In Danny De Schreye, editor, Proceedings for the International Conference on Logic Programming 1999, page 15. MIT Press, November 1999.
• Proving Termination of Input-Consuming Logic Programs. Jan-Georg Smaus. Technical Report 10-99, Computing Laboratory, University of Kent at Canterbury, Kent, CT2 7NF, UK, September 1999. Long version of paper with same title at ICLP'99.
• Consistency of partial process specifications. Maarten Steen, John Derrick, Eerke Boiten, and Howard Bowman. In Armando Haeberer, editor, AMAST'98, page 15. Springer Verlag, January 1999.
• Formalising ODP Enterprise Policies. M. W. A. Steen and J. Derrick. In 3rd International Enterprise Distributed Object Computing Conference (EDOC '99), University of Mannheim, Germany, September 1999. IEEE Publishing.
• Applying the UML to the ODP enterprise viewpoint. M.W.A. Steen and J. Derrick. Technical Report 8-99, Computing Laboratory, University of Kent at Canterbury, May 1999.
• Modelling Process-Centered Organisations. Maria Stergiou and Leslie Johnson. International Journal of Information Systems Research and Information Science, September 1999.
• Why we Need to Distinguish between Problem Solving Types in Information Systems Design. Maria Stergiou and Leslie Johnson. Technical Report 2-99, University of Kent at Canterbury, February 1999.
• A Process-Centered Architecture for Organisational Transformation. Maria Stergiou. PhD thesis, Computing Laboratory, University of Kent, Canterbury, Kent, UK, September 1999.
• Neural networks for X-ray image segmentation. Linying Su, Bernadette Sharp, and Darryl Davis. In Proceedings of First International Conference on Enterprise Information System, pages 264-271, Setubal, Portugal, March 1999.
• The plane footprints inspection in computer. Linying Su. Journal of Inner Mongolia University (Edition of Science), 29(3):434-438, March 1999.
• A Revised Textual Tree Trace Notation for Prolog. C. Taylor, J.B.H. du Boulay, and M.J. Patel. In Paul Brna, Benedict du Boulay, and Helen Pain, editors, Learning to Build and Comprehend Complex Information Structures: Prolog as a Case Study, volume 3, pages 267-281. Ablex Publishing Corporation, August 1999.
• Ensuring Termination in ESFP. A. J. Telford and D. A. Turner. In 15th British Colloquium in Theoretical Computer Science, page 14, Keele, April 1999.
• Haskell: the Craft of Functional Programming. Simon Thompson. International Computer Science Series. Addison-Wesley, Harlow, UK, second edition, March 1999. More details at <a href="http://www.cs.ukc.ac.uk/people/staff/sjt/craft2e">the home page for the book</a>.
• Proof. Simon Thompson. In Kevin Hammond and Greg Michaelson, editors, Research Directions in Parallel Functional Programming, pages 93-119. Springer Verlag, November 1999.
• Data analysis with artificial immune systems and cluster analysis and kohonen networks : Some comparisons. J Timmis, M Neal, and J Hunt. In Proc. of Int. Conf. Systems and Man and Cybernetics, pages 922-927, Tokyo, Japan., 1999. IEEE.
• Network traffic monitoring - an architecture using associative processing.. Gerald Tripp. Technical Report 7-99, Computing Laboratory, University of Kent, September 1999.
• Real time network traffic monitoring. Gerald Tripp. Technical Report 5-99, The Computing Laboratory, University of Kent, May 1999.
• Negotiated assessment criteria and peer assessment in software engineering group project work: A case study. Ian Utting. In Joanna Daudt and Otto Rompelman, editors, What have they learned? Assessment of Student Learning in Higher Education, pages 165-170, Brussels, April 1999. European Society for Engineering Education, SEFI.
• Performance analysis of object-oriented designs for distributed systems. P. Utton, G. Martin, D. Akehurst, and G. Waters. Technical Report 17-99, UKC, March 1999.
• CSP/occam on Shared Memory Multiprocessor Workstations. K. Vella and P.H. Welch. In B.M.Cook, editor, Architectures, Languages and Techniques for Concurrent Systems, volume 57 of Concurrent Systems Engineering Series, pages 87-119, Amsterdam, the Netherlands, April 1999. WoTUG, IOS Press.
• A method for the optimum solution of the permutational flowshop sequencing problem with fuzzy processing times. MA Visintin, AA Freitas, and LVR Arruda. In MF Carvalho and FM Muller, editors, Proc 15th Int Conf on CAD/CAM Robotics and Factories of the Future, pages MW2-1/2-6, Brazil, August 1999. Aguas de Lindoia-SP.
• Inductive Learning with Corroboration. P. Watson. In O. Watanabe and T. Yokomori, editors, Algorithmic Learning Theory, Proceedings of the 10th International Conference, volume 1720 of Lecture Notes in Artificial Intelligence, pages 145-156. Springer Verlag, December 1999.
• Inductive learning with corroboration. P. Watson. Technical Report 6-99, Computing Laboratory, UKC, May 1999.
• Book Review in Mathematical Reviews. Phil Watson. Jain S and Sharma A, Generalization and specialization strategies for learning r.e. languages, (99m:68167), December 1999.
• Book Review in Mathematical Reviews. Phil Watson. Jain S, Learning with refutation, (99m:68166), December 1999.
• Book Review in Mathematical Reviews. Phil Watson. Jain S and Sharma A, The structure of intrinsic complexity of learning, (99k:03035), November 1999.
• Book Review in Mathematical Reviews. Phil Watson. Moser WR, Approximation methods in inductive inference, (99g:68174), July 1999.
• Book Review in Mathematical Reviews. Phil Watson. Stephan F, Learning via queries and oracles, (99f:03056), June 1999.
• Book Review in Mathematical Reviews. Phil Watson. Fortnow L et al, On the relative sizes of learable sets, (99c:68210), March 1999.
• Safe and verifiable design of concurrent programs. P.H. Welch, G.H. Hilderink, A.W.P. Bakkers, and G.S. Stiles. In Borko Furht, editor, Proceedings of the 3rd. International Conference on Software Engineering and Applications, pages 20-26. International Association for Science and Technology for Development, October 1999.
• CSP for Java : Multithreading for All. P.H. Welch, G.S. Stiles, G.H. Hilderink, and A.P. Bakkers. In B.M.Cook, editor, Architectures, Languages and Techniques for Concurrent Systems, volume 57 of Concurrent Systems Engineering Series, Amsterdam, the Netherlands, April 1999. WoTUG, IOS Press.
• Synchronisation Primitives for Highly Parallel Discrete Event Simulations. P.H. Welch, D.C. Wood, and J. Kerridge. In R.H.Sprague Jnr, editor, Proceedings of the 32nd Hawaii International Conference on System Sciences (HICSS-32), page 10. IEEE, IEEE Computer Society Press, January 1999.
• Object Constraint Language. A C Wills, S Cook, A Kleppe, R Mitchell, and J Warmer. In OOPSLA 99, 1999.
• Catalysis: object and component based development. A C Wills. Presented at TOOLS 99, OT99, Butler CBD99, 1999.
• Designing Component Kits and Architectures. A C Wills. In L Barroca, editor, Software architectures: advances and applications. Springer, 1999.
• User-Defined Data Types and Operators in occam. D.C. Wood and J. Moores. In B.M.Cook, editor, Architectures, Languages and Techniques for Concurrent Systems, volume 57 of Concurrent Systems Engineering Series, pages 121-146, Amsterdam, the Netherlands, April 1999. WoTUG, IOS Press.
• On the Readability of Machine Checkable Formal Proofs. Vincent Zammit. PhD thesis, University of Kent, March 1999.