• Contact
• Maps
• Departments

• School of Computing home
• Undergraduate degrees
• Master's degrees
• PhD and research degrees
• Research
• Placements
• Kent IT Consultancy
• Makerspace
• Working with us
• About us
• News
• People
• Contact us

For current students & staff

• Information for students
• Systems support
• Information for staff

Search

School of Computing

Computer Science: Publication Index 1997

• Modelling historical change in southern Corsica: temporal GIS development using an extensible database system. J. Bagg and N. Ryan. In Z. Kemp, editor, Innovations in GIS 4, pages 182-196. Taylor & Francis, London, May 1997.
• 30 Accessible - A Survey of the UK Wide Web. D.J. Beckett. In Michael R. Genesereth and Anna Patterson, editors, Proceedings of the Sixth World Wide Web Conference, pages 182-196. World Wide Web Consortium, Elsevier, Holland, April 1997. ISBN 0-9657614-0-1 See <URL:http://www6conf.org/>.
• Inferring Argument Size Relationships with CLP(R). Florence Benoy and Andy King. In Logic Program Synthesis and Transformation, volume 1207 of Lecture Notes in Computer Science, pages 182-196. Springer-Verlag, August 1997.
• Formal specification of distributed multimedia systems. G.S. Blair, L. Blair, H. Bowman, and A. Chetwynd. University College London Press, September 1997.
• Viewpoint consistency in Z and LOTOS: A case study. E. Boiten, H. Bowman, J. Derrick, and M. Steen. In J. Fitzgerald, C.B. Jones, and P. Lucas, editors, FME'97: Industrial Applications and Strengthened Foundations of Formal Methods, volume 1313 of Lecture Notes in Computer Science, pages 182-196. Springer-Verlag, September 1997.
• Coupling schemas: data refinement and view(point) composition. E.A. Boiten, J. Derrick, H. Bowman, and M. Steen. In D.J. Duke and A.S. Evans, editors, 2nd BCS-FACS Northern Formal Methods Workshop, Workshops in Computing, pages 182-196. Springer-Verlag, July 1997.
• Z unification tools in Generic Formaliser. E. Boiten. Technical Report 10-97*, Computing Laboratory, University of Kent at Canterbury, March 1997.
• On Behavioural Subtyping in LOTOS. H. Bowman, C. Briscoe-Smith, J. Derrick, and B. Strulo. In H. Bowman and J. Derrick, editors, FMOODS'97, Second IFIP International Conference on Formal Methods for Open Object-based Distributed Systems, pages 182-196. Chapman and Hall, July 1997.
• Mexitl: Multimedia in Executable Interval Temporal Logic. Howard Bowman, Helen Cameron, Peter King, and Simon Thompson. Technical Report 3-97, Computing Laboratory, University of Kent at Canterbury, May 1997.
• Specification and Prototyping of Structured Multimedia Documents using Interval Temporal Logic. Howard Bowman, Helen Cameron, Peter King, and Simon Thompson. In International Conference on Temporal Logic, Applied Logic Series, pages 182-196. Kluwer, July 1997.
• Extending LOTOS with time: True concurrency perspective. Howard Bowman and John Derrick. In Miquel Bertran and Teodor Rus, editors, ARTS'97, AMAST Workshop on Real-Time Systems, Concurrent and Distributed Software, volume 1231 of Lecture Notes in Computer Science, pages 182-196. Springer-Verlag, May 1997.
• FMOODS'97, IFIP TC6 WG6.1 International Conference on Formal Methods for Open Object-based Distributed Systems. Howard Bowman and John Derrick, editors, volume 2, Canterbury, UK, July 1997. Chapman and Hall.
• A Tableau Method for Interval Temporal Logic. Howard Bowman and Simon Thompson. Technical Report 12-97, Computing Laboratory, University of Kent, November 1997.
• Development of a Technical Reports Service at the Higher Education National Software Archive in the UK. Maggie Bowman. Program, 31(2):182-196, April 1997.
• Context-aware applications: from the laboratory to the marketplace. P. J. Brown, J. D. Bovey, and X. Chen. IEEE Personal Communications, 4(5):182-196, October 1997.
• Active alice: Active paper for active learning. Heather Brown. In Proceedings of ALT-C 97, pages 182-196, September 1997.
• UKC Orbix Survival Guide. Ian Buckner and Ian Penny. internal report 6-97, University of Kent at Canterbury, Computing Laboratory, University of Kent at Canterbury, Canterbury, CT2 7NF, January 1997.
• UKC ANSAware Survival Guide. Ian Buckner. internal report 5-97, University of Kent at Canterbury, Computing Laboratory, University of Kent at Canterbury, Canterbury, CT2 7NF, January 1997.
• UKC ANSAware Survival Guide (for Modula-3). Ian Buckner. internal report 4-97, University of Kent at Canterbury, Computing Laboratory, University of Kent at Canterbury, Canterbury, CT2 7NF, January 1997.
• An Object-Based Approach to Modelling and Analysis of Failure Properties. M. Cepin, R. de Lemos, B. Mavko, S. Riddle, and A. Saeed. In P. Daniel, editor, Proceedings of the 16th International Conference on Computer Safety, Reliability and Security (SAFECOMP'97), pages 182-196, York, UK, September 1997. Springer-Verlag, Berlin, Germany.
• Merging and extending the PGP and PEM trust models - the ICE-TEL trust model. D. W. Chadwick, A.J. Young, and N. Kapidzic Cicovic. IEEE Networks Special Publication on Internet Security, 11(3):182-196, May 1997.
• From ACT-ONE to Miranda, a Translation Experiment. Nathan Charles, Howard Bowman, and Simon Thompson. Computer Standards and Interfaces, 19(1):182-196, May 1997.
• Adding an Optimisation Pass to the Glasgow Haskell Compiler. Olaf Chitil. November 1997.
• Common Subexpression Elimination in a Lazy Functional Language. Olaf Chitil. In Chris Clack, Tony Davie, and Kevin Hammond, editors, Draft Proceedings of the 9th International Workshop on Implementation of Functional Languages, pages 182-196. St Andrews, Scotland, September 1997.
• The Sigma-Semantics: A Comprehensive Semantics for Functional Programs. Olaf Chitil. Fundamenta Informaticae, 31:182-196, 1997.
• Widening pos for efficient and scalable groundness analysis of logic programs. Mike Codish, Andy Heaton, and Andy King. Technical Report 16-97, University of Kent at Canterbury, December 1997.
• OMG OA&D RFP Response V1.0. S Cook and B Selic. Technical report, 1997.
• Genetic algorithms and the analysis of spatially referenced data. R.E. Cooley, M.H.W. Hobbs, and A.D. Pack. Applied Artificial Intelligence, 11(2):182-196, March 1997.
• Computing class partition values for thematic maps. Roger Cooley, Ann Clewer, and Alan Pack. In Einar Holm, editor, Modelling Space and Networks, volume 1997:1, pages 182-196. Umea Universitet, Sweden, March 1997.
• A Hybrid Approach to Quality of Service Multicast Routing. J.S. Crawford and A.G. Waters. In Demetres Kouvatsos, editor, ATM'97 Fifth IFIP Workshop on Performance Modelling and Evaluation of ATM Networks. Participants Proceedings: Research Papers., pages 182-196, University of Bradford, July 1997. IFIP Working Group 6.3 on Performance of Communications Systems and IFIP Working Group 6.4 on High Performance Networking, UK Performance Engineering Workshop.
• Low Cost Quality of Service Multicast Routing in High Speed Networks. J.S. Crawford and A.G. Waters. Technical Report 13-97, University of Kent at Canterbury, December 1997.
• Fran in action!. Anthony C. Daniels. This is a Fran tutorial that develops an animation of crew rowing., July 1997.
• Students Asking Questions: Facilitating Questioning Aids Understanding and Enhances Software Engineering Skills. David Barnes. ACM SIGCSE Bulletin, 29(4):182-196, December 1997.
• Introductory Problem Solving in Computer Science. David J. Barnes, Sally Fincher, and Simon Thompson. In Goretti Daughton and Patricia Magee, editors, 5th Annual Conference on the Teaching of Computing, pages 182-196, Centre for Teaching Computing, Dublin City University, Dublin 9, Ireland, August 1997.
• Translating LOTOS to Object-Z. J. Derrick, E.A. Boiten, H. Bowman, and M. Steen. In D.J. Duke and A.S. Evans, editors, Northern Formal Methods Workshop, volume 2nd BCS-FACS Northern Formal Methods Workshop of Workshops in Computing, pages 182-196. Springer-Verlag, July 1997.
• Weak refinement in Z. J. Derrick, E.A. Boiten, H. Bowman, and M. Steen. In J.P. Bowen, M.G. Hinchey, and D.Till, editors, ZUM '97: The Z Formal Specification Notation, volume 1212 of Lecture Notes in Computer Science, pages 182-196, Reading, April 1997. Springer-Verlag.
• A comparison of real-time formal specification languages. A.S. Evans, D.R.W. Holton, L.M. Lai, and P. Watson. In D.J. Duke and A.S. Evans, editors, Proceedings of the Northern Formal Methods Workshop, Ilkley, September 1996, Electronic Workshops in Computer Science, pages 182-196, http://ewic.springer.co.uk/, January 1997. Springer Verlag.
• Formal Specification and Testing of a Management Architecture. G. P. A. Fernandes and J. Derrick. In Aurel Lazar, Roberto Saracco, and Rolf Stadler, editors, Integrated Network Management V - Integrated management in a virtual world, pages 182-196, San Diego, California, USA, May 1997. IFIP/IEEE, Chapman & Hall.
• Effective projectwork in computer science: Project epcos. Sally Fincher. In Mette Knudsen and Torben "Sopper" Vinther, editors, Project Work in University Studies, volume 2, pages 182-196. Roskilde University, Denmark, September 1997.
• Learning from other disciplines: pedagogic models within computer science and from elsewhere. Sally Fincher. In Informatics (Computer Science) as a discipline and in other disciplines: what is in common?, pages 182-196. IFIP WG 3.2, August 1997.
• Towards a pattern vocabulary for dissemination techniques. Sally Fincher. Presented at the workshop "Putting it All Together: Pattern Languages for Interaction Design" at CHI'97, March 1997.
• A Genetic Programming Framework for Two Data Mining Tasks: Classification and Generalized Rule Induction. AA Freitas. In JR Koza and K Deb et al, editors, Genetic Programming 1997: Proc 2nd Annual Conf, pages 182-196. Stanford University, CA, USA, Morgan Kaufmann, July 1997.
• The Principle of Transformation Between Efficiency and Effectiveness: Towards a Fair Evaluation of the Cost-Effectivenss of KDD Techniques. AA Freitas. In J Komorowski and J Zytkow, editors, Principles of Data Mining and Knowledge Discovery (Proc 1st European Symp KPKDD'97, Trondheim, Norway, LNAI 1263, pages 182-196, Berlin, 1997. Springer-Verlag.
• The trade-off between effectiveness and efficiency in attribute selection: in defense of the filter approach. AA Freitas. In R Ng, editor, Proc 1997 SIGMOD Workshop on Research Issues on Data Mining and Knowledge Discovery, pages 182-196, Technical Report 97-07, May 1997.
• Towards Large-Scale Knowledge Discovery in Databases (KDD) by Exploiting Parallelism in Generic KDD Primitives. AA Freitas. In P Shoval and A Silberschatz, editors, Proc 3rd Int Workshop on Next-Generation Information Technologies and Systems, pages 182-196, Neve Ilan, Israel, July 1997.
• NL Module Evaluation in GATE. R.G. Gaizauskas and P.J. Rodgers. In SALT '97 Workshop on Evaluation in Speech and Language Technology, pages 182-196. Sheffield University, June 1997.
• Automatic and interactive correlation partitioning compared: Application to TiN/Ti/SiO2. S. Haigh, P.G. Kenny, R.H. Roberts, I.R. Barkshire, M. Prutton, D.K. Skinner, P. Pearson, and K. Stribley. Surface and Interface Analysis, 25:182-196, January 1997. Also presented at QSA9, University of Surrey, July 1996.
• Does OO sync with the way we think?. Leslie Hatton. IEEE Software, 15(3):182-196, November 1997.
• Keynote paper in COMPASS'97. Leslie Hatton. In Conference on Computer Software Assurance and Safety, pages 182-196, Washington, DC., June 1997.
• Keynote paper in ESSE-SCOPE'97. Leslie Hatton. In European Conference on Software Process Improvement, pages 182-196, Dublin, May 1997.
• N-version Design vs. One Good Version. Leslie Hatton. IEEE Software, 14:182-196, November 1997.
• Re-examining the fault density - component size connection. Leslie Hatton. IEE Software, 14(2):182-196, March 1997.
• Software failures - follies and fallacies. Leslie Hatton. IEE Review, 43(2):182-196, January 1997.
• The T experiments: errors in scientific software. Leslie Hatton. IEE Computational Science & Engineering, 4(2):182-196, January 1997.
• The T-experiments in Quality of Numerical Software, Assessment and Enhancement. Leslie Hatton, pages 182-196. Chapman and Hall, London, January 1997.
• The Year 2000: How much should we worry?. Leslie Hatton. Eurostar'97, Edinburgh, pages 182-196, January 1997.
• Unexpected (and sometimes unpleasant) lessons from data in real software systems. Leslie Hatton, pages 182-196. Springer-Verlag, January 1997. in 12th Annual CSR, Bruges.
• Determinacy and determinacy analysis. P.M. Hill and A. King. Journal of Programming Languages, 5(1):182-196, December 1997.
• The implementation and visualization of a large spatial individual-based model using Fortran 90. T.R. Hopkins and D.R. Morse. In R. Denzer, D.A. Swayne, and G. Schimak, editors, Environmental Software Systems, Volume 2, pages 182-196, London, 1997. Chapman & Hall.
• Is the quality of numerical subroutine code improving?. Tim Hopkins. Technical Report 1-97*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, January 1997.
• New implementations of the spectral test. Tim Hopkins. Technical Report 11-97, University of Kent, Computing Laboratory, July 1997.
• Is the quality of numerical subroutine code improving?. T.R. Hopkins. In E. Arge, A.M. Bruaset, and H.P. Langtangen, editors, Modern Software Tools for Scientific Computing, pages 182-196. Birkh"auser Verlag, Basel, 1997.
• Two Loop Detection Mechanisms: A Comparison. J. M. Howe. In D. Galmiche, editor, TABLEAUX'97, volume 1227 of Lecture Notes in Artificial Intelligence, pages 182-196. Springer-Verlag, May 1997.
• The basic of multi-media computer. Ruji Jin, Chen Lin, and Linying su. The people's press of Inner Mogolia, Hohhot, China, January 1997.
• Integrating BPR and Systems Development using Meta-Models. L. Johnson and M. Stergiou. In Technology Transfer Institute, editor, Proceedings - BPR Year 97 Europe, pages 182-196, June 1997.
• The Necessary Architecture of Self-Regulating Teams. L. Johnson and M. Stergiou. In D. Wright, M. Rudolph, V. Hanna, D. Gillingwater, and N. Burns, editors, ME-SELA'97 Proceedings - International Conference on Managing Enterprises - Stakeholders, Engineering, Logistics, and Achievement, pages 182-196, July 1997.
• The Link between BPR, Evolutionary Delivery and Evolutionary Development. L. Johnson and M. Stergiou. In Nagib Callaos, Chan Meng Khoong, and Eli Cohen, editors, SCI'97 Proceedings - World Multiconference on Systemics, Cybernetics and Informatics, volume 2, pages 182-196, July 1997.
• The semantics of Extended ML: A gentle introduction. Stefan Kahrs, Don Sannella, and Andrzej Tarlecki. Theoretical Computer Science, 173(2):182-196, February 1997.
• Lecture notes on formal program development. Stefan Kahrs. LFCS Report ECS-LFCS-97-372, University of Edinburgh, November 1997.
• Innovations in GIS 4. Zarine Kemp. Taylor & Francis, London, April 1997.
• Compression, visualization and segmentation techniques for 3D spectrum-images from multispectral analytical electron microscopy. P.G. Kenny, P.F. Newbury, D.L. Mountain, D. Whitehouse, S.A. Haigh, M. Prutton, R.H. Roberts, I.R. Barkshire, and M.J.G. Wenham. In Hamid R. Arabnia, editor, Proceedings of the International Conference on Imaging Science, Systems and Technology (CISST'97), pages 182-196, USA, July 1997. CSREA, CSREA. Las Vegas, Nevada, USA, June 30 - July 3, 1997.
• Semantics through Pictures. S. Kent, A. Hamie, J. Howse, F. Civello, and R. Mitchell. In ECOOP'97 Workshop Reader, LNCS, pages 182-196. Springer Verlag, October 1997.
• Semantics Through Pictures: towards a diagrammatic semantics for object-oriented modelling notations. S. Kent, A. Hamie, J. Howse, F. Civello, and R. Mitchell. In Proceedings of ECOOP'97 Workshop on Precise Semantics for Object-Oriented Modelling Techniques, Technical Report TUM-I9725, pages 182-196. University of Munich, June 1997.
• Component Composition in Business and System Modelling. S. Kent, K. Lano, J. Bicarregui, A. Hamie, and J. Howse. In Proceedings of OOPSLA97 Workshop on Object-Oriented Behavioural Semantics, Technical Report TUM-I9737, pages 182-196. University of Munich, October 1997.
• Constraint Diagrams: Visualizing Assertions in OO Modelling. S. Kent. Technical Report ITCM97/C2, University of Brighton, May 1997.
• Constraint Diagrams: Visualizing Invariants in OO Modelling. S. Kent. In Proceedings of OOPSLA97, pages 182-196. ACM Press, October 1997.
• Types, invariants, and epochs: specifying changes in RM-ODP and ODP information language. H. Kilov, P. Linington, J. Miller, K. Raymond, and B. Wood. In H.Kilov, B.Rumpe, and I.Simmonds, editors, Proceedings of the OOPSLA'97 Workshop on object-oriented behavioral semantics, TUM-I9737, pages 182-196. Munich University of Technology, October 1997.
• Lower-bound time-complexity analysis of logic programs. Andy King, Kish Shen, and Florence Benoy. In Jan Maluszynski, editor, International Symposium on Logic Programming, pages 182-196. MIT Press, November 1997.
• Blue - language specification, version 1.0. Michael Kölling and John Rosenberg. Technical Report TR97-13, School of Computer Science and Software Engineering, Monash University, November 1997.
• A case study in Timed CSP: the railroad crossing problem. L.M. Lai and P. Watson. In O. Maler, editor, Proceedings of the International Workshop on Hybrid and Real-Time Systems (HART 97), volume 1201 of Lecture Notes in Computer Science, pages 182-196. Springer Verlag, January 1997.
• Supported to Disaster: the Limitations of Generic Whistleblowing Models. Duncan Langford and Mark Mitschow. In Fourth Annual International Conference Promoting Business Ethics, pages 182-196, New York, November 1997.
• Beyond Human Control: Some Ethical Implications of Today's Internet. Duncan Langford. In The Ethics of Electronic Information in the 21st Century, pages 182-196, University of Memphis, September 1997.
• Ethical Issues in Business Computing. Duncan Langford. In International Conference on Computer Ethics, pages 182-196, Linkoping University, Sweden, June 1997.
• Ethical Issues in Network System Design. Duncan Langford. Australian Journal of Information Systems, 4(2):182-196, May 1997.
• Internet protocol. Duncan Langford. In Encyclopaedia of Applied Ethics, pages 182-196. Academic Press, San Deigo, California, October 1997.
• Regency minton porcelain 1800-1815. Duncan Langford. Langford & Clark, Canterbury, Kent, June 1997.
• Integrating VDM++ and Real-time System Design. K. Lano, S. Goldsack, J. Bicarregui, and S. Kent. Z User Meeting, pages 182-196. LNCS, Springer-Verlag, July 1997.
• Towards a Multiple Placement Land Suitability Evaluation Framework. Howard Lee and Zarine Kemp. In M.J. Kraak and M. Molenaar, editors, Advances in GIS Research II, pages 182-196. Taylor & Francis Ltd, London, January 1997.
• Chinese Windows and general applications. Shi Liu, Guanglai Gao, Linying Su, Junyi Wang, Hongxu Hou, and Ping Li. Inner Mongolia University Press, Hohhot, China, January 1997.
• Towards a model for multimedia and its application to geographical information systems. Dean Lombardo and Zarine Kemp. In Zarine Kemp, editor, Innovations in GIS 4, pages 182-196. Taylor & Francis, London, April 1997.
• Generating efficient, terminating logic programs. J.M. Martin and A.M. King. In Proceedings of the Seventh International Joint Conference on Theory and Practice of Software Development, volume 1214 of Lecture Notes in Computer Science, pages 182-196. Springer Verlag, April 1997.
• Inferring numeric relationships for logic program transformation. Jon Martin and Andy King. In Pre-conference proceedings of Logic Program Synthesis and Transformation, pages 182-196, July 1997.
• Typed Norms for Typed Logic Programs. Jon Martin and Andy King. In J. Gallagher, editor, Logic Program Synthesis and Transformation, volume 1207 of Lecture Notes in Computer Science, pages 182-196. Springer-Verlag, August 1997.
• A Design Strategy for Deadlock-Free Concurrent Systems. J.M.R. Martin and P.H. Welch. Transputer Communications, 3(4):182-196, June 1997. (In press). Published by John Wiley and Sons.
• Monitoring Fisheries Effort and Catch Using a Geographical Information System and a Global Positioning System. Geoff Meaden and Zarine Kemp. In D.A. Hancock, D.C. Smith, A. Grant, and J.P. Beumer, editors, Developing and Sustaining World Fisheries Resources - The State of Science and Management, pages 182-196. CSIRO, Collingwood, Victoria, Australia, June 1997.
• The Management of Commercial Fisheries with the Aid of a Computerised Catch Logging System. Geoff Meaden and Zarine Kemp. In EEZ Technology: The Review of Advanced Technologies for the Management of EEZs Worldwide, pages 182-196. ICG Publishing Ltd, June 1997.
• An architecture for a modular videoconferencing terminal supporting video cell loss. D J Parish, I W Phillips, P Coventry, L T Chia, J W R Griffiths, A G Tagg, and D H Shrimpton. Electronics & Communication Engineering Journal, pages 182-196, June 1997.
• The Stick-e Note Architecture: Extending the Interface Beyond the User. Jason Pascoe. In Johanna Moore, Ernest Edmonds, and Angel Puerta, editors, 1997 International Conference on Intelligent User Interfaces, pages 182-196, ACM Order Department, PO Box 12114, Church Street Station, New York, NY 10257, January 1997. ACM, ACM.
• Comparison of Contrasting Prolog Trace Output Formats. M.J. Patel, J.B.H. du Boulay, and C. Taylor. International Journal of Human-Computer Studies, (47):182-196, January 1997.
• Student Assessment Data Processing System on Microsoft Excel. Andrew Peel. TLTP Project ALTER demonstration package, March 1997. ISBN 1 85889 180 9.
• Estimating chaos in an insect population. J.N. Perry, I.P. Woiwod, R.H. Smith, and D.R. Morse. Science, 276:182-196, October 1997.
• Do Formal Methods Really Work. S Pfleeger and L Hatton. IEE Computer, pages 182-196, January 1997.
• Subtyping and Inheritance for Inductive Types. Erik Poll. In Proceedings of TYPES'97 Workshop on Subtyping, inheritance and modular development of proofs, Durham, UK, pages 182-196, September 1997.
• System F with Width-subtyping and Record Updating. Erik Poll. In Theoretical Aspects of Computer Software (TACS'97), Sendai, Japan, pages 182-196. Springer LNCS, September 1997.
• A theory of the acquisition of episodic memory. Carlos Ramirez and Roger Cooley. In D. Aha and D. Wettschereck, editors, ECML'97: Case-Based Reasoning Workshop: Beyond Classification of Feature Vectors, pages 182-196, Prague, March 1997. Springer-Verlag.
• Schemata, Frames, and Dynamic Memory Structures. Carlos Ramirez. Technical Report 7-97, University of Kent at Canterbury, Computing Laboratory, Canterbury, Kent CT2 8DS, February 1997.
• Call management in the open distributed office. Mike Rizzo, Ian Utting, and Peter Linington. Electronics and Communication Engineering Journal, 9(3):182-196, June 1997.
• A negotiating agents model for the provision of flexible telephony services. Mike Rizzo and Ian Utting. In Proceedings ISADS 97 - Third International Symposium on Autonomous Decentralized Systems, pages 182-196. IEEE Computer Society Press, April 1997.
• Alternative Archaeological Representations within Virtual Worlds. Jonathan C. Roberts and Nick Ryan. In Richard Bowden, editor, Proceedings of the 4th UK Virtual Reality Specialist Interest Group Conference - Brunel University, pages 182-196, Uxbridge, Middlesex, November 1997. (UK VR-SIG URL http://www.crg.cs.nott.ac.uk/groups/ukvrsig/).
• Visual Execution and Data Visualisation in Natural Language Processing. P.J. Rodgers, R. Gaizauskas, K. Humphreys, and H. Cunningham. In VL'97 IEEE Symposium on Visual Languages, pages 182-196. IEEE Computer Society, September 1997.
• A Graph Rewriting Visual Language for Database Programming. P.J. Rodgers and P.J.H. King. The Journal of Visual Languages and Computing, 8(6):182-196, December 1997.
• Cyclic distributed garbage collection with group merger. Helena C.C.D. Rodrigues and Richard E. Jones. Technical Report 17-97, Computing Laboratory, University of Kent at Canterbury, December 1997.
• I/O considered harmful (at least for the first few weeks). John Rosenberg and Michael Kolling. In Proceedings of the Second Australasian Conference on Computer Science Education, pages 182-196, Melbourne, Australia, July 1997. ACM.
• Testing object-oriented programs: Making it simple. John Rosenberg and Michael Kolling. In Proceedings of the 28th SIGCSE Technical Symposium on Computer Science Education, pages 182-196, San Jose, California, USA, February 1997. ACM.
• Fieldworker advanced 2.3.5 and fieldworker pro 0.91 gps software. N. S. Ryan, J. Pascoe, and D. R. Morse. Internet Archaeology, 3:182-196, August 1997. http://intarch.ac.uk/journal/issue3/reviews/ryan.html.
• Distributed individual-based environmental simulation. Mark Scahill. In Ralf Denzer, David A. Swayne, and Gerald Schimak, editors, Environmental Software Systems, volume 2, pages 182-196. Chapman & Hall, May 1997. Presented at ISESS97 in Whistler, Canada.
• An intelligent assistant for exploratory data analysis. P.D. Scott, A.P.M. Coxon, M.H. Hobbs, and R.J. Williams. In Principles of Data Mining and Knowledge Discovery, number 1263 in Lecture Notes in Computer Science, pages 182-196. Springer Verlag, January 1997.
• Evolution transparency for distributed service types. Twittie Senivongse. PhD thesis, Computing Laboratory, University of Kent at Canterbury, University of Kent at Canterbury, Canterbury, Kent., March 1997.
• Distance: a new metric for controlling granularity for parallel execution. Kish Shen, Vitor Santos Costa, and Andy King. Technical Report 15-97, University of Kent at Canterbury, December 1997.
• A new metric for controlling granularity for parallel execution. Kish Shen, Vitor Santos Costa, and Andy King. In Workshop on Parallelism and Implementation Technology for Constraint Logic Programming Languages, pages 182-196, October 1997.
• Designing Cellular Automata Using a Parallel Evolutionary Algorithm. M Sipper, M Tomassini, and M Capcarrere. Nuclear Instruments & Methods in Physics Research A, 389:182-196, 1997. This paper was also in ASIHENP'96 proceedings, World Scientific Pulbishing Company.
• Domain construction for mode analysis of typed logic programs. Jan-Georg Smaus, Pat Hill, and Andy King. Technical Report 8-97, March 1997.
• Refinement and verification of concurrent systems specified in Object-Z and CSP. G. Smith and J. Derrick. In M. Hinchey and Shaoying Liu, editors, First IEEE International Conference on Formal Engineering Methods (ICFEM ''97), pages 182-196, Hiroshima, Japan, November 1997. IEEE Computer Society.
• Disjunction of LOTOS specifications. M.W.A. Steen, H. Bowman, J. Derrick, and E.A. Boiten. In T. Mizuno, N. Shiratori, T. Higashino, and A. Togashi, editors, Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97, pages 182-196, Osaka, Japan, November 1997. Chapman & Hall.
• Defining Visions in Context. The NATURE team. Information Systems, 21(6):182-196, January 1997.
• Ensuring Streams Flow. Alastair Telford and David Turner. In Michael Johnson, editor, Algebraic Methodology and Software Technology, 6th International Conference, AMAST '97, Sydney Australia, December 1997, volume 1349 of Lecture Notes in Computer Science, pages 182-196. AMAST, Springer-Verlag, December 1997.
• Ensuring the Productivity of Infinite Structures. Alastair Telford and David Turner. Technical Report 14-97, The Computing Laboratory, University of Kent at Canterbury, Canterbury, Kent, CT2 7NF, UK, September 1997. This technical report has been revised (March 1998). A shorter version of this paper was presented at AMAST '97.
• Constructive interval temporal logic in Alf. Simon Thompson. In International Conference on Temporal Logic 1997, Applied Logic, pages 182-196. Kluwer, January 1997. These proceedings are to be publised by Kluwer in 1997.
• em Where do I begin? A problem solving approach to teaching functional programming. Simon Thompson. In Krzysztof Apt, Pieter Hartel, and Paul Klint, editors, First International Conference on Declarative Programming Languages in Education, pages 182-196. Springer-Verlag, September 1997.
• Higher-order + Polymorphic = Reusable. Simon Thompson. May 1997.
• On the design of an atm interface with facilities for traffic monitoring and generation. Gerald Tripp. Journal of Network and Computer Applications, 20(2):182-196, April 1997.
• Implementation of teaching and learning technology in great britain. Gwen VanderVelden. In Elaine Moore Elinor Rhynas, Drew Williams, editor, Conference Proceedings Leading Edge Training Technology 1997, 1997, pages 182-196, University of Victoria, TEC Programs, PO Box 3030 Victoria BC V8W 3N6 Canada, March 1997. Division of Continuing Studies, Technology, Engineering, and Computing Programs, University of Victoria.
• Teaching and learning technology in your university: a practical innovation strategy. Gwen VanderVelden. In Dr Linda Baggott, editor, Conference Proceedings CAL97, pages 182-196, University of Exeter, March 1997. School of Education, University of Exeter.
• Subjective Safety Analysis for Software Development. J. Wang, A. Saeed, and R. de Lemos. In C. Guedes Soares, editor, Proceedings of the International Conference on Safety and Reliability (ESREL 97), pages 182-196, Lisbon, Portugal, June 1997. Elsevier Science Ltd, Oxford, UK.
• Experience with Formal Specification of CMM and UML. J Warmer, J Hogg, S Cook, and B Selic. In H Kilov and B Eumpe, editors, ECOOP'97: Workshop on Precise Semantics for Object-oriented Modeling Techniques, pages 182-196, Munchen, May 1997. Institut fur Informatik, Technische Universitat. (TUM-I19725, http://www.informatik.tu-muenchen.de).
• Communications software performance prediction. G. Waters, P. Linington, D. Akehurst, and A. Symes. In Demetres Kouvatsos, editor, 13th UK Workshop on Performance Engineering of Computer and Telecommunication Systems, pages 182-196, Ilkley, West Yorkshire, July 1997. BCS Performance Engineering Specialist Group.
• Embeddings in the strong reducibilities between 1 and npm. P. Watson. Mathematical Logic Quarterly, 43(4):182-196, December 1997.
• occam for Multi-Processor DEC Alphas. Peter H. Welch and Michael D. Poole. In A. Bakkers, editor, Parallel Programming and Java, Proceedings of WoTUG 20, volume 50 of Concurrent Systems Engineering, pages 182-196, University of Twente, Netherlands, April 1997. World occam and Transputer User Group (WoTUG), IOS Press, Netherlands.
• Higher Levels of Process Synchronisation. Peter H. Welch and David C. Wood. In A. Bakkers, editor, Parallel Programming and Java, Proceedings of WoTUG 20, volume 50 of Concurrent Systems Engineering, pages 182-196, University of Twente, Netherlands, April 1997. World occam and Transputer User Group (WoTUG), IOS Press, Netherlands.
• Java threads in light of occam/CSP (tutorial). P.H. Welch. In A. Bakkers, editor, Parallel Programming and Java, Proceedings of WoTUG 20, volume 50 of Concurrent Systems Engineering, pages 182-196, University of Twente, Netherlands, April 1997. World occam and Transputer User Group (WoTUG), IOS Press, Netherlands.
• Trust Models in ICE-TEL. A.J. Young, N. Kapidzic Cicovic, and D.W. Chadwick. In The Internet Society 1997 Symposium on Network and Distributed Systems Security (NDSS 97) San Diego, California, pages 182-196, February 1997.
• A comparative study of Coq and HOL. Vincent Zammit. In Elsa L. Gunter and Amy Felty, editors, Proceedings of the 10th International Conference on Theorem Proving in Higher Order Logics, TPHOLs'97, Murray Hill, NJ, USA, volume 1275 of Lecture Notes in Computer Science, pages 182-196. Springer, August 1997.
• A proof of the S-m-n theorem in Coq. Vincent Zammit. Technical Report 9-97, The Computing Laboratory, The University of Kent, Canterbury, Kent, UK, March 1997.