Computer Science: Publication Index 1994

• Ipp routing architecture. Damiano Bolla. Technical Report 9-94*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, November 1994.
• A formal description technique supporting expression of quality of service and media synchronisation. H. Bowman, L. Blair, G.S. Blair, and A.G. Chetwynd. In D. Hutchison, A. Danthine, H. Leopold, and G. Coulson, editors, Multimedia Transport and Teleservices, International COST 237 Workshop, volume 882 of Lecture Notes in Computer Science, pages 145-167. Springer-Verlag, November 1994.
• Modelling garbage collection algorithms. Howard Bowman, John Derrick, and Richard E. Jones. In Proceedings of International Computing Symposium, January 1994. Also in ALP-UK International Workshop on Concurrency in Computational Logic.
• Modelling garbage collection algorithms - extend abstract. Howard Bowman, John Derrick, and Richard E. Jones. In Proceedings of Principles of Distributed Computing'94, January 1994. Extended abstract of CCS94.
• Towards a formal model of consistency in odp. Howard Bowman and John Derrick. Technical Report 3-94*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, March 1994.
• Electronic journals using acrobat, mosaic and guide. Heather Brown and Judith Wusteman. In Proceedings of Digital Media and Electronic Publishing, pages 1-20. BCS, January 1994.
• Real-time CSP and ET-LOTOS. J.W. Bryans, J.W. Davies, and S.A. Schneider. Technical report, Reading University, Presented at the COST 247 WG 6.1 working group meeting in Brighton, July 1994.
• Symbolic animation as a proof tool. Juanito Camilleri and Vincent Zammit. In Thomas F. Melham and Juanito Camilleri, editors, Proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and its Applications, Valletta, Malta, volume 859 of Lecture Notes in Computer Science, pages 113-127. Springer-Verlag, September 1994.
• Interdomain guardians in a distributed directory service. D W Chadwick and N Pope. In P Veiga and D Khakhar, editors, Information Networks and Data Communications - Proceedings of the IFIP TC6 International Conference on Information Networks and Data Communications, Funchal, Madeira Island, Portugal, pages 347-365, 1994.
• Designing Object Systems. S Cook and J Daniels. Journal of Object-oriented Programming, 1994. Regular column.
• Designing Object Systems: Object-oriented Modelling with Syntropy. S J Cook and J Daniels. Prentice-Hall, 1994.
• Essential Techniques for Object-oriented Design. S J Cook and J Daniels. In A Carmichael, editor, Object Development Methods. SIGS Books Inc., 1994.
• The World isn't Software. S J Cook. Journal of Object-oriented Programming, 5(9), January 1994. Guest Editorial.
• Indexing the world. Ian Cooper. Technical Report 10-94*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, July 1994.
• Pest: A knowledge based system for product promotions. Tony Curtis. Technical Report 6-94*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, May 1994.
• A comparison of acceleration techniques applied to the sor method. R.D. da Cunha and Tim Hopkins. Technical Report 4-94*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, March 1994.
• The Divide-and-Conquer Method for the Solution of the Symmetric Tridiagonal Eigenproblem and Transputer Implementations. M. P. G. Fachin. PhD thesis, Computing Laboratory, University of Kent at Canterbury, June 1994.
• Applying Genetic Algorithms to the Load-Balancing Problem. AA Freitas, JC Anacleto, and C Kirner. In R Baeza-Yates, editor, Computer Science 2: Research and Applications (Proc 13th Int Conf Chilean Computer Society), pages 7-13, New York: Plenum, 1994.
• Parallel Theorem Proving. F. K. Hanna and W. G. J. Howells. In C. Runciman and D. Wakeling, editors, Applications of Functional Programming, chapter 12, pages 221- 235. UCL Press, 1994.
• The Veritas Proof Assistant. F. K. Hanna and W. G. J. Howells. In C. Runciman and D. Wakeling, editors, Applications of Functional Programming, chapter 8, pages 125-204. UCL Press, 1994.
• Reasoning about Real Digital Circuits. Keith Hanna. In Proc Higher Order Logic Theorem Proving and its Applications. Springer-Verlag, 1994.
• How Accurate is Scientific Software?. L Hatton and A Roberts. IEEE Transactions on Software Engineering, 20(10):785-797, October 1994.
• A Case History of Automated Improvement of Software Product Quality. Les Hatton. Software Quality Assurance and Measurement, Fenton N (ed), January 1994.
• Continuation passing combinators for parsing precedence grammars. Steve Hill. Technical Report 24-94*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, November 1994.
• The functional simulation of a simple microprocessor. Steve Hill. Technical Report 17-94*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, September 1994.
• The lazy z-buffer. Steve Hill. Technical Report 16-94*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, September 1994.
• The parallel iterative methods (pim) package for the solution of systems of linear equations on parallel computers. Tim Hopkins and Rudnei Dias da Cunha. Technical Report 19-94*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, September 1994.
• Remark on applied statistics algorithm as030 half-normal plotting. Tim Hopkins and David Morse. Technical Report 28-94*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, December 1994.
• Remark on applied statistics algorithm as057 printing multidimensional tables. Tim Hopkins and David Morse. Technical Report 29-94*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, December 1994.
• A comment on the eispack machine epsilon routine. Tim Hopkins and John Slater. Technical Report 18-94*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, September 1994.
• Teaching electronic publishing: Learning software engineering. Richard E. Jones and Ian A. Utting. In Teaching Electronic Publishing 94, pages 71-83, May 1994. Also UKC Computing Laboratory Technical Report 9-93 and 2nd All-Ireland Conference on the Teaching of Computing, 5-7 September 1994, Dublin, published by the CTI for Computing.
• The definition of Extended ML. Stefan Kahrs, Don Sannella, and Andrzej Tarlecki. LFCS Report ECS-LFCS-94-300, University of Edinburgh, January 1994.
• First-class polymorphism for ML. Stefan Kahrs. In Donald Sannella, editor, Programming Languages and Systems - ESOP'94, volume 788 of Lecture Notes in Computer Science, pages 333-347. Springer, April 1994.
• Continuation Compilation for Concurrent Logic Programming. B Kemp, A King, and P Soper. In A Crespo, editor, Proceedings of the Symposium on Artificial Intelligence in Real-time Control, pages 299-306. Pergamon, October 1994.
• Incorporating Generic Temporal Capabilities in a Geographical Information System. Z. Kemp and J. Groom. In Janjaap Harts, Henk F.L. Ottens, and Henk J. Scholten, editors, Proceedings of EGIS '94, The Fifth European Conference on Geographical Information Systems, Paris, France., March 1994.
• Incorporating the Temporal Dimension in a GIS. Zarine Kemp and Arek Kowalczyk. In Michael Worboys, editor, Innovations in GIS 1. Taylor & Francis, London, UK., January 1994.
• Depth-k Sharing and Freeness. A. King and P. Soper. In P. Van Hentenryck, editor, International Conference on Logic Programming, pages 553-568. MIT Press, January 1994.
• A Framework for Freeness Analysis. A King, pages 137-149. Implementations of Logic Programming Systems. Kluwer Academic Publishers, Dordrecht, 1994.
• High Precision Sharing Analysis. A King. Journal of Programming Languages, 2(1):149-191, 1994.
• A Synergistic Analysis for Sharing and Groundness which traces Linearity. Andy King. In D.Sannella, editor, European Symposium on Programming, volume 788 of Lecture Notes in Computer Science, pages 363-378. Springer-Verlag, January 1994.
• The design of a human memory prosthesis. M. G. Lamming and P. J. Brown. Computer Journal, 37(3):153-163, January 1994.
• Machine discovery in the presence of incomplete or ambiguous data. S. Lange and P. Watson. In K.P. Jantke, editor, Algorithmic Learning Theory, Proceedings of the 5th International Workshop, Rheinhardsbrunn, Germany, 1994, volume 872 of Lecture Notes in Artificial Intelligence, pages 438-452. Springer Verlag, October 1994.
• On the Equivalence Between CMC and TIM. Raphael Lins, Simon Thompson, and Simon Peyton Jones. Journal of Functional Programming, 1(4), November 1994.
• Partial categorical multi-combinators and church-rosser theorems. Raphael D Lins. Technical report, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, December 1994.
• The Unix Filing System: A MooZ Specification. SRL Meira, ALC Cavalcanti, and CS Santos. In K Lano and H Haughton, editors, Object Oriented Specification Case Studies, chapter 4, pages 80-109. Prentice-Hall, 1994.
• C Language. Patrascoiu Octavian, Mitroi Nicolae, and Marian Gheorghe. Microcomputer Service Press, January 1994.
• Extending object-oriented database concepts to support a wider range of applications. Elizabeth Oxborrow. Technical Report 7-94*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, April 1994.
• Textual Tree (Prolog) Tracer: An Experimental Evaluation. M.J. Patel, C. Taylor, and J.B.H. du Boulay. In D. Gilmore, R. Winder, and F. Detienne, editors, User-Centred Requirements for Software Engineering Environments, volume 123 of NATO ASI Series (Series F: Computer and Systems Sciences), pages 127-141. Springer-Verlag, Berlin, July 1994.
• Computer aided assessment through hypermedia. Andrew Peel. Active Learning, 1(1):35-37, December 1994.
• The design and implementation of the rpc device drivers. I.A. Penny. Technical Report 5-94*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, March 1994.
• Software Quality Assurance using the SAZ Method. F A C Polack and K C Mander. In Proceedings of Z User Meeting, pages 230-249. Springer-Verlag, July 1994.
• Call management in the open distributed office. Mike Rizzo, Peter Linington, and Ian Utting. Technical Report 15-94*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, October 1994.
• Integration of location services in the Open Distributed Office. Mike Rizzo, Peter F. Linington, and Ian Utting. Technical Report 14-94*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, August 1994.
• The ODO project: a case study in integration of multimedia services. Mike Rizzo, Peter F. Linington, and Ian Utting. Technical Report 12-94*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, August 1994.
• VitKit: a voice interaction toolkit. Mike Rizzo, Peter F. Linington, and Ian Utting. Technical Report 13-94*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, August 1994.
• An agent-based model for the provision of advanced telecommunications services. Mike Rizzo and Ian A. Utting. Technical Report 25-94*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, November 1994.
• Using producer and consumer manipulators to extend stream i/o formatting in c++. Mike Rizzo. Technical Report 26-94*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, November 1994.
• A survey of sampling methods for inference on directed graphs. Andrew R. Runnalls. In P. Cheeseman and R. W. Oldford, editors, Selecting Models from Data, chapter 16. Springer Verlag, 1994. Lecture Notes in Statistics, 89.
• Interfaces and Extended ML. Don Sannella, Andrzej Tarlecki, and Stefan Kahrs. SIGPLAN Notices, 29(8):111-118, November 1994.
• A Failures Semantics for ET-LOTOS. S.A. Schneider, J.W. Bryans, and J.W. Davies. Technical report, Reading University, Presented at the COST 247 - WG 6.1 working group meeting in Brighton, July 1994.
• Implementing a transputer SCSI interface. Andrew Smith. Technical Report 22-94*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, September 1994.
• What can archives offer the world wide web?. Neil Smith. Technical Report 11*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, July 1994.
• Textual Tree Trace Notation for Prolog: An Overview. C. Taylor, J.B.H. du Boulay, and M.J. Patel. In Proc. of Post-Conf. Workshop on Logic Programming and Education, Internat. Conf. on Logic Programming, pages 73-80, Santa Margherita Ligure, Italy, June 1994.
• Garbage collecting shared environment closure reducers. Stephen Thomas and Richard Jones. Technical Report 31-94, Computing Laboratory, University of Kent at Canterbury, December 1994.
• A new heuristic for ATM multicast routing. A.G. Waters. In 2nd IFIP Workshop on Performance Modelling and Evaluation of ATM Networks, pages 8/1-8/9. University of Bradford, July 1994.
• A Parallel Emulator for a Multi-processor Dataflow Machine. P.H. Welch and F. de Almeida. In A. De Gloria, M.R. Jane, and D. Marini, editors, Transputer Applications and Systems ''94, Proceedings of the 1994 World Transputer Congress, pages 259-272, Como, Italy, September 1994. IOS Press, Netherlands. ISBN 90-5199-177-0.
• Electronic journals using Acrobat, Mosaic and Guide. Judith Wusteman and Heather Brown. Technical Report 23-94*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, October 1994.
• Electronic journal provision using acrobat. Judith Wusteman. Technical Report 8-94*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, May 1994.