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 42-55. 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 475-485. 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 204-223. 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 644-664.
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, page 18. 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.
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.
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 382-399. 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):147-159, 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):58-64, October 1997.
-
Active
alice: Active paper for active learning.
Heather Brown.
In Proceedings of ALT-C 97, page 7, 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 281-294,
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):16-24,
May 1997.
-
From
ACT-ONE to Miranda, a Translation Experiment.
Nathan Charles, Howard Bowman, and Simon Thompson.
Computer Standards and Interfaces, 19(1), 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 501-516. St Andrews, Scotland, September 1997.
-
The
Sigma-Semantics: A Comprehensive Semantics for Functional Programs.
Olaf Chitil.
Fundamenta Informaticae, 31:253-294, 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):151-171, 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 127-133. 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 61/1-61/9, 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):38-41, 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 36-39, 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. 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 369-388, 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, 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
473-484, 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 195-203. 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?. 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 96-101. 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 299-306, 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, page 91, 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 33-43, 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.
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:335-340, 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):46-54, November 1997.
-
Keynote
paper in COMPASS'97.
Leslie Hatton.
In Conference on Computer Software Assurance and Safety, Washington,
DC., June 1997.
-
Keynote
paper in ESSE-SCOPE'97.
Leslie Hatton.
In European Conference on Software Process Improvement, Dublin, May
1997.
-
N-version
Design vs. One Good Version.
Leslie Hatton.
IEEE Software, 14:71-76, November 1997.
-
Re-examining
the fault density - component size connection.
Leslie Hatton.
IEE Software, 14(2):89-97, March 1997.
-
Software
failures - follies and fallacies.
Leslie Hatton.
IEE Review, 43(2):49-54, January 1997.
-
The T
experiments: errors in scientific software.
Leslie Hatton.
IEE Computational Science & Engineering, 4(2):27-38, January 1997.
-
The
T-experiments in Quality of Numerical Software, Assessment and
Enhancement.
Leslie Hatton, page 384.
Chapman and Hall, London, January 1997.
-
The Year
2000: How much should we worry?.
Leslie Hatton.
Eurostar'97, Edinburgh, January 1997.
-
Unexpected
(and sometimes unpleasant) lessons from data in real software
systems.
Leslie Hatton.
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):135-171, 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, 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 311-324. 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 188-200. 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, page 18, 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 93-98, 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 61-67, July 1997.
-
The
semantics of Extended ML: A gentle introduction.
Stefan Kahrs, Don Sannella, and Andrzej Tarlecki.
Theoretical Computer Science, 173(2):445-484, 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 355-363,
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. 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.
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. 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 327-341. 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
115-118. 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 261 - 276. 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 69-74. 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,
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,
University of Memphis, September 1997.
-
Ethical
Issues in Business Computing.
Duncan Langford.
In International Conference on Computer Ethics, Linkoping University,
Sweden, June 1997.
-
Ethical
Issues in Network System Design.
Duncan Langford.
Australian Journal of Information Systems, 4(2):pp 127-132, May 1997.
-
Internet
protocol.
Duncan Langford.
In Encyclopaedia of Applied Ethics. 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. 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. 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 56-69. 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 173-184. 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, page 12, 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 224-238.
Springer-Verlag, August 1997.
-
A Design
Strategy for Deadlock-Free Concurrent Systems.
J.M.R. Martin and P.H. Welch.
Transputer Communications, 3(4), 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 238-244. 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 181-186. 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 137-142, 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 261-264,
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):289-322,
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:1881, October 1997.
-
Do Formal
Methods Really Work.
S Pfleeger and L Hatton.
IEE Computer, 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, September 1997.
-
System F
with Width-subtyping and Record Updating.
Erik Poll.
In Theoretical Aspects of Computer Software (TACS'97), Sendai,
Japan, pages 439-457. 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 48-56, 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):107-116, 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 351-358. 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 179-188,
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 342-347. 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):641-674, 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 216-223, 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 77-81, 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, 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 269-276. 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, page 11. 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, page 16, 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:278-283,
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 293-302,
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 177-192, Osaka, Japan, November 1997.
Chapman & Hall.
-
Defining
Visions in Context.
The NATURE team.
Information Systems, 21(6):515-547, 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
509-523. 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.
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. 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):105-121, 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 114-118,
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, page 315,
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 389-396, 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, 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 38/1-38/9, 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):559-568, 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
152-174, 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
104-129, 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, page 282,
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, 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 323-337. 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.