© University of Kent - Contact | Feedback | Legal | FOI | Cookies
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, pages 182-196, 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, pages 182-196, 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 182-196, 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):182-196, 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 182-196, 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:182-196, 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 182-196. Kluwer, February 1999. Invited Paper.
- Analysing cognitive behaviour using lotos and mexitl. H. Bowman and G. Faconti. Formal Aspects of Computing, 11:182-196, November 1999.
- Modelling concurrent cognitive architectures using process calculi. H. Bowman. In Sebastiano Bagnara, editor, European Conference on Cognitive Science 1999, pages 182-196. 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 182-196. 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 182-196. Springer, September 1999.
- Integrating Paper and Digital Documents. Heather Brown and Peter Robinson. In Digital Media Futures, pages 182-196. 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, pages 182-196. 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):182-196, 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 182-196, 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 182-196. 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 182-196, 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):182-196, 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 182-196. Springer-Verlag, 1999.
- ZRC - A Refinement Calculus for Z. ALC Cavalcanti and JCP Woodcock. Formal Aspects of Computing, 10:182-196, 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):182-196, 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, pages 182-196. 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 182-196, 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 182-196. 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, pages 182-196. 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, pages 182-196. 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, pages 182-196. 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 182-196, 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 182-196. 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), pages 182-196. 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 182-196, 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 182-196, 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 182-196, 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 182-196, 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 182-196, 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 182-196. 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 182-196, 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:182-196, 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 182-196, Berlin, September 1999. Springer.
- Calculating upward and downward simulations of state-based specifications. John Derrick and Eerke Boiten. Information and Software Technology, 41:182-196, 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 182-196. Springer, July 1999.
- Testing refinements of state-based formal specifications. John Derrick and Eerke Boiten. Software Testing, Verification and Reliability, (9):182-196, 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, pages 182-196, October 1999.
- Core Meta-Modelling Semantics of UML: The pUML Approach. A Evans and S Kent. In Proceedings of UML'99, pages 182-196. 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 182-196, 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):182-196, 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 182-196, 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):182-196, December 1999.
- What are we doing when we teach programming?. Sally Fincher. In Frontiers in Education '99, pages 182-196. 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 182-196, 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), pages 182-196, Orlando, USA, July 1999.
- Data Mining with Evolutionary Algorithms: Research Directions - Papers from the AAAI Workshop. AA Freitas. Number WS-99-06, pages 182-196, Menlo Park, CA, USA, 1999. AAAI Press.
- On Rule Interestingness Measures. AA Freitas. Knowledge-Based Systems, 12(5-6):182-196, 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, pages 182-196. 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), pages 182-196. 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):182-196, March 1999.
- Paradigm Shift or Measurement Based Feedback?. L Hatton. In JACC'99, Annual Conference of Joint Association of C and C++ users, pages 182-196, Oxford, UK, September 1999.
- Repetitive failure, feedback and diagnosis. L Hatton. In JUSE'99, Conference of Japanese Union of Scientists and Engineers, pages 182-196, 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, pages 182-196, Herstmonceux, UK, April 1999.
- Testing is not a phase. L Hatton. In STAR'99, in US Conference on Software Testing, Analysis and Review, pages 182-196, 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, pages 182-196, Barcelona, Spain, November 1999.
- Ariane 5: A Smashing Success. Les Hatton. Software Testing and Quality Engineering, 1(2):182-196, January 1999.
- Repetitive failure, feedback and the lost art of diagnosis. Leslie Hatton. Journal of Systems and Software, pages 182-196, 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 182-196. 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 182-196. 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), pages 182-196. 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, pages 182-196, 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), pages 182-196. 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):182-196, 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 182-196. University of Salford, September 1999.
- Modelling robot manipulators with multivariate B-splines. Colin G. Johnson and Duncan Marsh. Robotica, 17(3):182-196, 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, pages 182-196. 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, pages 182-196. 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 182-196, 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 182-196. 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 182-196, 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 182-196. Springer-Verlag, December 1999.
- UML Semantics FAQ. S Kent, A Evans, and B Rumpe. In ECOOP'99 Workshop Reader, pages 182-196. 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 182-196. Kluwer Academic Publishers, Norwell, MA, September 1999.
- Mixing Visual and Textual Constraint Languages. S Kent and J Howse. In Proceedings of UML'99, pages 182-196. 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 182-196. 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), pages 182-196, 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):182-196, 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 182-196, Melbourne, Australia, January 1999. IEEE.
- The Blue Language. Michael Kolling. Journal of Object-Oriented Programming, 12(1):182-196, 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):182-196, January 1999.
- The problem of teaching object-oriented programming, part 2: Environments. Michael Kolling. Journal of Object-Oriented Programming, 11(9):182-196, April 1999.
- Teaching object orientation with the Blue environment. Michael Kolling. Journal of Object-Oriented Programming, 12(2):182-196, 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, pages 182-196, 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), pages 182-196. IEEE Press, December 1999.
- Two-Level Modeling. A Lauder and S Kent. In Proceedings of TOOLS Asia 99, pages 182-196. 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):182-196, 1999.
- An ODP approach to the development of large middleware systems. P.F. Linington. In Proc. Distributed Applications and Interoperable Systems II, Helsinki, pages 182-196. 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 182-196. IEEE, September 1999.
- RISCSIM - A Simulator for Object-based Systems. P.F. Linington. In Proc. UKSIM'99 Conference of the UK Simulation Society, pages 182-196. 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 182-196, 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 182-196, Washington DC, USA, July 1999. IEEE.
- Validation of object-oriented models using animation. Ian Oliver and Stuart Kent. pages 182-196, 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 182-196, 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, pages 182-196. 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:182-196, 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:182-196, 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 182-196. 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 182-196. 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 182-196. 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 182-196. 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 182-196. IEEE Computer Society, September 1999.
- Design, Observation, Surprise!. E Ronald, M Sipper, and M Capcarrere. Artificial Life, 5(3):182-196, 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 182-196. 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, pages 182-196, 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 182-196. 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 182-196, 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 182-196. 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, pages 182-196, 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 182-196, 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 182-196. 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, pages 182-196. 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, pages 182-196. 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), pages 182-196, 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, pages 182-196, 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 182-196, Setubal, Portugal, March 1999.
- The plane footprints inspection in computer. Linying Su. Journal of Inner Mongolia University (Edition of Science), 29(3):182-196, 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 182-196. Ablex Publishing Corporation, August 1999.
- Ensuring Termination in ESFP. A. J. Telford and D. A. Turner. In 15th British Colloquium in Theoretical Computer Science, pages 182-196, Keele, April 1999.
- Proof. Simon Thompson. In Kevin Hammond and Greg Michaelson, editors, Research Directions in Parallel Functional Programming, pages 182-196. 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 182-196, 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 182-196, 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 182-196, 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 182-196, 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 182-196. 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):182-196, December 1999.
- Book Review in Mathematical Reviews. Phil Watson. Jain S, Learning with refutation, (99m:68166):182-196, December 1999.
- Book Review in Mathematical Reviews. Phil Watson. Jain S and Sharma A, The structure of intrinsic complexity of learning, (99k:03035):182-196, November 1999.
- Book Review in Mathematical Reviews. Phil Watson. Moser WR, Approximation methods in inductive inference, (99g:68174):182-196, July 1999.
- Book Review in Mathematical Reviews. Phil Watson. Stephan F, Learning via queries and oracles, (99f:03056):182-196, June 1999.
- Book Review in Mathematical Reviews. Phil Watson. Fortnow L et al, On the relative sizes of learable sets, (99c:68210):182-196, 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 182-196. 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, pages 182-196, 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), pages 182-196. IEEE, IEEE Computer Society Press, January 1999.
- Object Constraint Language. A C Wills, S Cook, A Kleppe, R Mitchell, and J Warmer. pages 182-196. In OOPSLA 99, 1999.
- Catalysis: object and component based development. A C Wills. pages 182-196. 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, pages 182-196. 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 182-196, 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.