Items where Subject is "Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,"

Library of Congress Subject Areas (2846)
- Q Science (2846)
  - QA Mathematics (inc Computing science) (2846)
    - QA 76 Software, computer programming, (2846)
      - QA76.76 Computer software (36)
      - QA76.76.E95 Expert Systems (Intelligent Knowledge Based Systems) (9)
      - QA76.87 Neural computers, neural networks (24)
      - QA76.9.H85 Human computer interaction (26)

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z

Number of items at this level: 2713.

A

Aagedal, J.O. and Bezivin, J. and Linington, P.F. (2005) Model-Driven Development. In: Malenfant, J. and Ostvold, B.M., eds. ECOOP 2004 Workshop Reader. LNCS, 3344 . Springer-Verlag, pp. 148-157. ISBN 3-540-23988-X. The full text of this publication is not available from this repository.

Abdala, M.A.D. and Lahoz, C.H.N. and de Lemos, R. (2001) Diversity of Safety Arguments in the Validation of a Sounding Rocket Destruction System. In: UNSPECIFIED.

Preview

Abdelouahab, M. and Hassan, H.R. and Bouabdallah, A. and Achemlal, M. and Laniepce, S. (2008) TCA: Topology change attack in Peer-to-peer networks. In: UNSPECIFIED, APR 09, 2008, Singapore, SINGAPORE. The full text of this publication is not available from this repository.

Abdullah, Sophiana Chua (2003) Student Modelling by Adaptive Testing - A Knowledge-based Approach. PhD thesis, Computing Laboratory. The full text of this publication is not available from this repository.

Abdullah, Sophiana Chua and Cooley, R.E. (2000) Modelling Human Testing Strategies: A Computer-Aided Approach to Knowledge Acquisition (Poster). In: Proceedings of Workshop W1 on Modeling Human Teaching Tactics and Strategies,held as part of the Fifth International Conference on Intelligent Tutoring Systems, ITS'2000, Montréal, Canada, June 2000 . The full text of this publication is not available from this repository.

Abdullah, Sophiana Chua and Cooley, R.E. (2000) The Use of Constraint Logic Programming in the Development of Adaptive Tests (Poster). In: Lecture Notes in Computer Science 1839, Proceedings of the Fifth International Conference on Intelligent Tutoring Systems, ITS 2000, Montréal, Canada, 2000, Montréal, Canada. The full text of this publication is not available from this repository.

Abdullah, Sophiana Chua and Cooley, R.E. (2000) Using Constraints to Develop and Deliver Adaptive Tests. In: Proceedings of the Fourth International Computer Assisted Assessment Conference, Loughborough University, UK, June 2000, Loughborough University, UK,.

Preview

Abdullah, Sophiana Chua and Cooley, R.E. (2002) Using Simulated Students to Evaluate an Adaptive Testing System. In: International Conference on Computers in Education, Massey University, Auckland, New Zealand, December 2002, Massey University, Auckland, New Zealand. The full text of this publication is not available from this repository.

Abowd, G.D. and Dey, A.K. and Brown, P.J. and Davies, N. and Smith, M.E. and Steggles, P. (1999) Towards a better understanding of context and context-awareness. In: Gellersen, H.W., ed. 1st International Symposium on Handheld and Ubiquitous Computing (HUC 99). Lecture Notes in Computer Science, 1707. Springer-Verlag Berlin, Berlin pp. 304-307. ISBN 3-540-66550-1. The full text of this publication is not available from this repository.

Abreu, A. and French, R.M. and Cowell, R.A. and de Schonen, S. (2006) Local-Global visual deficits in Williams Syndrome: Stimulus presence contributes to diminished performance on image-reproduction. Psychologica Belgica, 46 (4). pp. 269-281. ISSN ISSN 0033-2879. The full text of this publication is not available from this repository.

Adda, M. and Martin, Jean-Baptise and Owen, Gareth and Peart, A. (2006) Simultion of a Wireless Senor Network for Image Processing. IADAT-tcn . pp. 35-37. ISSN 84-933971-4-8. The full text of this publication is not available from this repository.

Adebutu, A.T. and Sacks, L. and Marshall, I.W. (2003) Simple position estimation for wireless sensor networks. In: LCS-2003. The full text of this publication is not available from this repository.

Ahmed, Mosabber Uddin and Li, Ling and Cao, Jianting and Mandic, Danilo P. (2011) Multivariate Multiscale Entropy for Brain Consciousness Analysis. In: Engineering in Medicine and Biology Society, EMBC, 2011 Annual International Conference of the IEEE. The full text of this publication is not available from this repository.

Aichernig, B. and Boiten, E.A. and Derrick, J. and Groves, L. (2007) Preface: Proceedings of the 11th BCS-FACS Refinement Workshop, Macao, 2006. Electronic Notes in Theoretical Computer Science, 187 . p. 1. ISSN 1571-0661. The full text of this publication is not available from this repository.

Aichernig, B. and Boiten, E.A. and Butler, M. and Derrick, J. and Groves, L. (2009) Preface: Special Issue on REFINE 2006. Formal Aspects of Computing, 21 (1-2). ISSN 0934-5043. The full text of this publication is not available from this repository.

Akehurst, D.H. and Bordbar, B. (2001) On Querying UML data models with OCL. In: Unified Modeling Language: modeling languages, concepts, and toolsools'', October 1-5, 2001, Toronto, Canada. The full text of this publication is not available from this repository.

Akehurst, D.H. and Bordbar, B. and Derrick, J. and Waters, A.G. (2003) Design and Verification of Distributed Multi-media Systems. Technical report. University of Kent The full text of this publication is not available from this repository.

Akehurst, D.H. and Derrick, J. and Waters, A.G. (2003) Addressing Computational Viewpoint Design. In: Seventh IEEE International Enterprise Distributed Object Computing Conference - EDOC 2003, Sep 16-19, 2003, Brisbane, Australia, . The full text of this publication is not available from this repository.

Akehurst, D.H. and Patrascoiu, Octavian (2003) Tooling Metamodels with Patterns and OCL. In: Proceedings of the Metamodelling for MDA Workshop. , York The full text of this publication is not available from this repository.

Akehurst, David. and Patrascoiu, Octavian (2003) OCL: Implementing the Standard. In: OCL2.0-''Industry standard or scientific playground?'' - Proceedings of the UML'03 workshop. The full text of this publication is not available from this repository.

Akehurst, D. and Waters, G. and Derrick, J. (2004) A Viewpoints Approach to Designing Group Based Applications. In: Design, Analysis and Simulation of Distributed Systems 2004, April 2004. , Arlington, Virginia.

Preview

Akehurst, D.H. (2004) MDA-Transformations from Relations. In: ECOOP 2004 Workshop Reader, Workshop on Model Driven Development (WMDD 2004).

Preview

Akehurst, D.H. (2000) Model Translation: A UML-based specification technique and active implementation approach. PhD thesis, Computing Laboratory, University of Kent.

Preview

Akehurst, D.H. (2004) Proceedings of Second European Workshop on Model Driven Architecture (MDA) with an emphasis on Methodologies and Transformations. Technical report. kent university

Preview

Akehurst, D.H. (2004) Proposal for a Model Driven Approach to Creating a Tool to Support the RM-ODP. In: Workshop on ODP for Enterprise Computing (WODPEC 2004), In conjunction with EDOC 2004, 2004, Monterey, California.

Preview

Akehurst, D.H. (2004) Relations in OCL. In: UML <<2004>> Workshop OCL and Model Driven Engineering, October 2004, Lisbon, Portugal, .

Preview

Akehurst, D.H. (2004) Validating BPEL Specifications using OCL. Technical report. kent university

Preview

Akehurst, D.H. and Bordbar, B. and Derrick, J. and Waters, A.G. (2002) Design Support for Distributed Systems: DSE4DS. In: Procedings of the 7th Cabernet Radicals Workshop, 13-16 October 2002, Bertinoro, Italy.

Preview

Akehurst, D.H. and Bordbar, B. and Rodgers, Peter and Dalgliesh, N.T.G. (2002) Automatic Normalisation via Metamodelling. In: ASE 2002 Workshop on Declarative Meta Programming to Support Software Development, September 2002.

Preview

Akehurst, D.H. and Bowman, H. and Bryans, J.W. and Derrick, J. (2000) A Manual for a ModelChecker for Stochastic Automata. Technical report.

Preview

Akehurst, D.H. and Derrick, J. and Waters, A.G. (2003) Design and Verification of Distributed Multi-media Systems. In: FMOODS 2003 - 6th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, NOV 19-21, 2003, PARIS, FRANCE.

Preview

Akehurst, D.H. and Howells, W.G.J. and McDonald-Maier, K.D. (2006) Implementing Associations: UML 2.0 to Java 5. Journal of Software and Systems Modeling, 6 (1). pp. 3-35. ISSN 1619-1366 .

Preview

Akehurst, D.H. and Kent, S. (2002) A Relational Approach to Defining Transformations in a Metamodel. In: UML 2002 - The Unified Modeling Language: Model Engineeing, Concepts, and Tools, September 30- October 4, 2002, Dresden, Germany. The full text of this publication is not available from this repository.

Akehurst, D.H. and Kent, S. and Patrascoiu, Octavian (2003) A Relational Approach to Defining and Implementing Transformations in Metamodels. Software and Systems Modeling, 2 (4). pp. 215-239. ISSN 1619-1366. The full text of this publication is not available from this repository.

Akehurst, D.H. and Linington, P.F. and Patrascoiu, Octavian (2003) OCL 2.0: Implementing the Standard. Technical report. University of Kent The full text of this publication is not available from this repository.

Akehurst, D.H. and Linington, P.F. and Symes, A.J. and Waters, G. (1996) The Effects of ABR Traffic on CBR Traffic. In: UNSPECIFIED.

Preview

Preview

Akehurst, D.H. and Waters, A.G. (1999) UML Deficiencies from the perspective of Automatic Performance Model Generation. In: OOPSLA '99 Workshop on Rigorous Modelling and Analysis with the UML: Challenges and Limitations, Nov 2, 1999, Denver, Colorado.

Preview

Akehurst, D.H. and Waters, A.G. (1999) UML specification of distributed system environments. Technical report.

Preview

Akehurst, D.H. and Waters, Gill and Utton, Peter and Martin, Gino (1999) Predictive Performance Analysis for Distributed Systems - PERMABASE position. In: One Day Workshop on Software Performance Prediction extracted from Designs.

Preview

Albrecher, Hansjoerg and Constantinescu, Corina and Pirsic, Gottlieb and Regensburger, Georg and Rosenkranz, Markus (2010) An algebraic operator approach to the analysis of Gerber-Shiu functions. Insurance: Mathematics and Economics, 46 (1). pp. 42-51. ISSN 0167-6687. The full text of this publication is not available from this repository.

Alexander, Kaganovsky (1999) Computing with Exact Real Numbers in a Radix-r System. Technical report. , University of Kent at Canterbury

Preview

Preview

Ali, Edries Abdelhadi (2001) Integration of Security and Reliability in a Distributed Collaborative Environment. PhD thesis, Computing Laboratory. The full text of this publication is not available from this repository.

Allwright, J. and Pritchard, D. and Jones, S. and Stephens, N.M. and Peel, A. and Makinson, G.J. and Steel, J. and Liddell, H. (1995) High Performance Computing For All. In: Proceedings of the 3rd Annual Conference on the Teaching of Computing.

Preview

Preview

Allwright, James and Pritchard, David and Jones, Stephen and Stephens, Nelson and Peel, Andrew and Makinson, Gordon and Steel, John (1995) A Methodology for Structuring Web Documents. Other. (Unpublished)

Preview

Almstrum, Vicki and Fincher, Sally and McCauley, Renee and Westbrook, Suzanne (2004) Computer Science Education Research as a Scientific Endeavor. In: Grace Hopper Celebration of Women in Computing. The full text of this publication is not available from this repository.

Alston, Mark and Robinson, Gary and Johnson, Colin G. (2003) Colour merging for the visualization of biomolecular sequence data. In: 7th International Conference on Information Visualization (IV 2003), JUL 16-18, 2003, LONDON, ENGLAND. The full text of this publication is not available from this repository.

Alves, R.T. and Delgado, M.R. and Freitas, A.A. (2008) Multi-label hierarchical classification of protein functions with artificial immune systems. In: Advances in Bioinformatics and Computational Biology (Proc. 2008 Brazilian Symposium in Bioinformatics (BSB-2008)), Lecture Notes in Bioinformatics 5167, Aug 28-30, 2008, Santo Andre, Brazil. The full text of this publication is not available from this repository.

Alves, R.T. and Delgado, M.R. and Lopes, H.S. and Freitas, A.A. (2004) Induction of fuzzy classification rules with an artificial immune system. In: Proc. 8th Brazilian Symp. on Neural Networks. The full text of this publication is not available from this repository.

Alves, R.T. and Delgado, M.R. and Camargo, F. and Benelli, E. and Freitas, A.A. (2007) Discovering multi-label hierarchical classification rules for protein function prediction. In: Proc. II Workshop em Algoritmos e Aplicacoes de Mineracao de Dados (Workshop on Algorithms and Applications of Data Mining), October 2007, Brazil. The full text of this publication is not available from this repository.

Alves, R.T. and Delgado, M.R. and Freitas, A.A. (2010) Knowledge discovery with artificial immune systems for hierarchical multi-label classification of protein functions. In: Proceedings of the 2010 World Congress on Computational Intelligence (WCII/FUZZ-IEEE 2010). The full text of this publication is not available from this repository.

Alves, R.T. and Delgado, M.R. and Lopes, H.S. and Freitas, A.A. (2004) An artificial immune system for fuzzy-rule induction in data mining. In: Yao, Xin, ed. Parallel Problem Solving from Nature - PPSN VIII. Lecture Notes in Computer Science, 3242. Springer-Verlag pp. 1011-1020. ISBN 3540230920.

Preview

Andersson, J. and de Lemos, R. and Malek, S. and Weyns, D. (2009) Modeling Dimensions for Self-Adaptive Systems. In: Software Engineering for Self-Adaptive Systems. Lecture Notes in Computer Science (5525). Springer, pp. 27-47. ISBN 978-3-642-02160-2. The full text of this publication is not available from this repository.

Andrews, Michael McMillan (2003) Knowledge-based Debugging: Matching Program Behaviour Against Known Causes of Failure. PhD thesis, Computing Laboratory. The full text of this publication is not available from this repository.

Andrews, Paul S. and Polack, Fiona and Sampson, Adam T. and Scott, Lisa and Coles, Mark (2008) Simulating biology: towards understanding what the simulation shows. In: Proceedings of the 2008 Workshop on Complex Systems Modelling and Simulation, York, UK, September 2008.

Preview

Andrianopoulos, A. and Chadwick, D.W. (1993) `Simulating the Global Directory Service with OPNET. In: Proceedings of the IEEE 26th Annual Simulation Symposium, Washington. The full text of this publication is not available from this repository.

Andrienko, G. and Andrienko, N. and Dykes, J. and Gahegan, M. and Mountain, D. and Noy, P. and Roberts, J.C. and Rodgers, Peter and Theus, M. (2004) Creating Instruments for Ideation: Software Approaches to Geovisualization. In: MacEachren, Alan and Kraak, M.J. and Dykes, J., eds. Exploring geovisualization. Pergamon. ISBN 0080445314. The full text of this publication is not available from this repository.

Araujo, D.L.A. and Lopes, H.S. and Freitas, A.A. (1999) A Parallel Genetic Algorithm for Rule Discovery in Large Databases. In: Proc 1000 IEEE Systems, Man and Cybernetics Conf (IEEE SMC '99), 12-15 Oct. 1999, Tokyo, Japan. The full text of this publication is not available from this repository.

Araujo, D.L.A. and Lopes, H.S. and Freitas, A.A. (2000) Rule Discovery with a Parallel Genetic Algorithm. In: Proc 2000 Genetic and Evolutionary Computation Conf Workshop Program, July 2000, Las Vegas, USA, .

Preview

Arnott, John and Zhang, Leishi and O'Mara, David and Alm, Norman and Taylor, Andrew (2007) Information visualisation in the user interface for ugmentative and alternative communication. Technology and Disability, 18 (3). pp. 147-161. ISSN 0144 929X. The full text of this publication is not available from this repository.

Arts, T. and Earle, C.B. and Derrick, J. (2003) Development of a Verified Erlang Program for Resource Locking. Software Tools for Technology Transfer (STTT), 5 (2). pp. 205-220. ISSN 1433-2779 . The full text of this publication is not available from this repository.

Arts, T. and Earle, C.B. and Derrick, J. (2002) Verifying Erlang code: a resource locker case-study. In: In Proc. Formal Methods Europe: Getting IT Right, Copenhagen, Denmark. The full text of this publication is not available from this repository.

Arts, Thomas and Earle, Clara Benac and Penas, Juan José Sánchez (2004) Translating Erlang to muCRL. In: Proceedings of the International Conference on Application of Concurrency to System Design (ACSD2004), JUN 16-18, 2004, Hamilton, Canada.

Preview

Preview

Arts, Thomas and Seijas, Pablo Lamela and Thompson, Simon (2011) Extracting QuickCheck Specifications from EUnit Test Cases. In: Erlang Workshop 2011. The full text of this publication is not available from this repository.

Arts, Thomas and Thompson, Simon (2010) From Test Cases to FSMs: Augmented Test-driven Development and Property Inference. In: ErlangÂ�10: Proceedings of the 2010 ACM SIGPLAN Erlang Workshop. The full text of this publication is not available from this repository.

Astrachan, Owen and Bruce, Kim and Koffman, Elliot and Kölling, Michael and Reges, Stuart (2005) Resolved: Objects Early Has Failed. In: SIGCSE'05 Proceedings.

Preview

Asveld, P.R.J. and Boiten, E.A. (1986) A Generator for Turing Machine Simulation Programs - user's manual. Technical report. Universiteit Twente The full text of this publication is not available from this repository.

Atiya, Diyaa-Addein and King, Steve and Woodcock, Jim (2003) A Circus semantics for Ravenscar protected objects. In: Araki, K. and Gnesi, S. and Mandrioli, D., eds. LECTURE NOTES IN COMPUTER SCIENCE. SPRINGER-VERLAG BERLIN, HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY pp. 617-635. ISBN 3-540-40828-2. The full text of this publication is not available from this repository.

Atkinson, W. and Cunningham, J. and Kent, S. (1990) Deduction with Modularity, Equality and Sortedness. In: FOREST Research Deliverable Report WP3.R1. , Department of Computing, Imperial College of Science, Technology and Medicine, London. The full text of this publication is not available from this repository.

Atkinson, Karen R. and Roberts, Jonathan C. (1999) Graphics and Visualization within Cross-Stitch. In: Eurographics UK 1999, April 1999 , Abington, Oxon.

Preview

Preview

Augusto, J.C. and Gomez, R.S. (2002) A Temporal Logic View of Paradigm Specifications. In: Proceedings of 14th. International Conference on Software Engineering and Knowledge Engineering (SEKE'02), 15-19 July 2002, Ischia, Italy. The full text of this publication is not available from this repository.

Augusto, Juan Carlos and Gomez, R.S. (2003) A Procedure to Translate PARADIGM Specifications to Propositional Linear Temporal Logic and its Application to Verification. International Journal of Software Engineering and Knowledge Engineering, 13 (6). pp. 627-654. ISSN 0218-1940. The full text of this publication is not available from this repository.

Austin, Tony and Pinto, Francisco and Richards, Julian and Ryan, Nick (2001) Joined up writing: an Internet portal for research into the Historic Environment. In: Forthcoming paper in CAA 2001: Proceedings of Computer Applications and Quantitive Methods in Archeology Conference. The full text of this publication is not available from this repository.

Austin, Tony and Richards, Julian and Ryan, Nick and Pinto, Francisco (2002) HEIRPORT: one year on. In: CAA2002, The Digital Heritage of Archaeology: proceedings of the Computer Applications and Quantitative Methods in Archaeology Conference, April 2002, Heraklion, Crete. The full text of this publication is not available from this repository.

Ayara, M. and Timmis, Jon and de Lemos, R. and de Castro, L.N. and Duncan, R. (2002) Negative Selection: How to Generate Detectors. In: Timmis, Jon and Bentley, P.J., eds. ICARIS 2002. Unversity of Kent at Canterbury Printing Unit, University of Kent at Canterbury pp. 89-98. ISBN 1902671325. The full text of this publication is not available from this repository.

Ayara, Modupe (2005) An Immune-Inspired Solution for Adaptable Error Detection in Embedded Systems. PhD thesis, Computing Laboratory. The full text of this publication is not available from this repository.

Ayara, M. and Timmis, Jon and de Lemos, R. and de Castro, L.N. and Duncan, R. (2003) Tolerating Faults in Embedded Systems Based on Artificial Immune Systems. In: Fast Abstracts Supplement of the 4th European Dependable Computing Conference (EDCC-4), October 23-25, 2002, Toulouse, France. The full text of this publication is not available from this repository.

B

Bacon, Jean and Moody, Ken and Chadwick, David W. and Otenko, Sassa (2003) Session Limited vs. Persistent Role Membership. In: Seventeenth Annual IFIP WG 11.3 Working Conference on Database and Applications Security at Estes Park, Colorado. (In press) The full text of this publication is not available from this repository.

Bacon, Jean and Evans, David and Eyers, David M. and Migliavacca, Matteo and Pietzuch, Peter and Shand, Brian (2010) Enforcing End-to-End Application Security in the Cloud. In: Middleware 2010. Lecture Notes in Computer Science, 6452. Springer Berlin Heidelberg pp. 293-312. ISBN 9783642169540.

Preview

Bagg, J. and Ryan, N. (1997) Modelling historical change in southern Corsica: temporal GIS development using an extensible database system. In: Kemp, Z.P., ed. Innovations in GIS 4. Taylor & Francis, London, pp. 42-55. ISBN 07484 0657 3.

Bailey, Christopher and Chadwick, David W. and de Lemos, Rogério (2011) Self-Adaptive Authorization Framework for Policy Based RBAC/ABAC Models. In: Proceedings of the 9th IEEE conference on Dependable, Autonomic and Secure Computing. Access to this publication is restricted.

Bailly-Bechet, M. and Danchin, A. and Iqbal, M. and Marsili, M. and Vergassola, M. (2006) Codon Usage Domains over Bacterial Chromosomes. PLoS Computational Biology, 2 (4). ISSN 1553-734X.

Preview

Baker, Jason and Cunei, Antonio and Kalibera, Tomas and Pizlo, Filip and Vitek, Jan (2009) Accurate garbage collection in uncooperative environments revisited. Concurrency and Computation: Practice and Experience, 21 (12). pp. 182-196. The full text of this publication is not available from this repository.

Bakkers, A.W.P. and Bruis, R. and Roebbers, H.W. and Schaller, N.C. and Schwirtz, M.H. and Sunder, J.P.E. and Wijbrans, K.C.J. and Welch, P.H. (1993) Training for Transputer Technologies. In: Parallel Processing in Education. The full text of this publication is not available from this repository.

Ball, E. and Chadwick, David W. and Basden, A. (2003) The Implementation of a System for Evaluating Trust in a PKI Environment. In: Petrovic, Otto and Ksela, Michael and Fallenbock, Markus and Kitti, Christian, eds. Trust in the Network Economy. Springer-Verlag, Austria , pp. 263-279. ISBN 3-211-06853-8. The full text of this publication is not available from this repository.

Ball, E. and Chadwick, David W. and Mundy, D. (2003) Patient Privacy in Electronic Prescription Transfer. IEEE Security & Privacy magazine . pp. 77-80. The full text of this publication is not available from this repository.

Ball, R.D. and Spurrett, V. and de Lemos, R. (2006) Dependable and Secure Storage in Pervasive Peer-to-Peer Systems. Technical report. UKC

Preview

Baptista, Claudio (2000) Steplib: A Digital Library for Spatio-temporal and Multimedia Data. PhD thesis, Computing Laboratory. The full text of this publication is not available from this repository.

Baptista, C.D. and Kemp, Z.P. (1999) Spatial information systems and the World Wide Web. In: Gittings, B.M., ed. Integrating Information Infrastructures with GI Technology - Innovations in GIS 6. Taylor & Francis Ltd, pp. 25-37. ISBN 0-7484-0886-X. The full text of this publication is not available from this repository.

Barkshire, I.R. and Kenny, P.G. and Fletcher, I.W. and Prutton, M. (1996) Quantitative surface microanalysis of samples with extreme topography utilising image interpretation by scatter diagrams and principal component analysis. Ultramicroscopy, 63 . pp. 193-203. ISSN 0304-3991. The full text of this publication is not available from this repository.

Barnard, P.J. and Bowman, H. (2004) Rendering Information Processing Models of Cognition and Affect Computationally Explicit: Distributed Executive Control and the Deployment of Attention. Cognitive Science Quarterly, 3 (3). pp. 297-328. ISSN 1466-6553.

Preview

Barnes, David J. (1999) Public Forum Help Seeking: the Impact of Providing Anonymity on Student Help Seeking Behavior. In: Computer Based Learning in Science (CBLIS '99).

Barnes, David J. and Kölling, Michael (2004) Objects First With Java - A Practical Introduction Using BlueJ. Prentice Hall / Pearson Education, 496 pp. ISBN 0-13-124933-9. The full text of this publication is not available from this repository.

Barnes, David J. and Kölling, Michael (2006) Objects First With Java - A Practical Introduction Using BlueJ. Prentice Hall / Pearson Education, 520 pp. ISBN 0-13-197-629X. The full text of this publication is not available from this repository.

Barnes, David J. and Kölling, Michael (2002) Objects First with Java - A Practical Introduction using BlueJ. Prentice-Hall, 400 pp. ISBN 0-13-044929-6. The full text of this publication is not available from this repository.

Barnes, F.R.M. (2005) Interfacing C and occam-pi. In: Broenink, Jan F. and Roebbers, H.W. and Sunter, J.P.E. and Welch, P.H. and Wood, D.C., eds. Communicating Process Architectures 2005. Concurrent Systems Engineering Series . IOS Press, Amsterdam, pp. 249-260. ISBN 9781586035617. The full text of this publication is not available from this repository.

Barnes, F.R.M. and Beuran, R. and Dobinson, R.W. and LeVine, M.J. and Martin, B. and Lokier, J. and Meirosu, C. (2002) Testing Ethernet Networks for the ATLAS Data Collection System. IEEE Trans. Nucl. Sci., 49 (2). pp. 516-520. ISSN 0018-9499. The full text of this publication is not available from this repository.

Barnes, F.R.M. and Welch, P.H. (2003) Prioritised Dynamic Communicating and Mobile Processes. IEE Proceedings-Software, 150 (2). pp. 121-136. ISSN 1462-5970. The full text of this publication is not available from this repository.

Barnes, Fred (2003) occwserv: An occam Web-Server. In: Communicating Process Architectures 2003, SEP 07-10, 2003 , UNIV Twente, Enschde, Nederlands. The full text of this publication is not available from this repository.

Barnes, Fred and Welch, Peter (2002) Prioritised Dynamic Communicating Processes: Part 1. In: Communicating Process Architectures 2002:WoTUG-25, 15-18 September 2002, University of Reading, United Kingdom. The full text of this publication is not available from this repository.

Barnes, Frederick R.M. (2003) Dynamics and Pragmatics for High Performance Concurrency. PhD thesis, University of Kent at Canterbury. The full text of this publication is not available from this repository.

Barnes, Frederick R.M. and Welch, Peter H. and Sampson, Adam T. (2005) Barrier Synchronisation for occam-pi. In: Arabnia, Hamid R., ed. Proceedings of the 2005 International Conference on Parallel and Distributed Processing Techniques and Applications. CSREA Press, Las Vegas, Nevada, USA pp. 173-179. ISBN 1-932415-58-0. The full text of this publication is not available from this repository.

Barnes, David and Chu, Dominique (2010) An efficient model for investigating specific site binding of transcription factors. In: Proceedings of the 4th International Conference on Bioinformatics and Biomedical Engineering, June 18-20, Chengdu, China, 2010. The full text of this publication is not available from this repository.

Barnes, David and Kölling, Michael (2009) Objects First with Java - A Practical Introduction using BlueJ. Pearson Education ISBN 0-13-606086-2. The full text of this publication is not available from this repository.

Barnes, David J. (2000) Object-Oriented Programming with Java: An Introduction. Prentice-Hall, 1028 pp. ISBN 0-13-086900-7. The full text of this publication is not available from this repository.

Barnes, David J. (1992) Observations and Recommendations on the Internationalisation of Software. Technical report. , University of Kent, Canterbury, UK

Preview

Preview

Barnes, David J. (1997) Students Asking Questions: Facilitating Questioning Aids Understanding and Enhances Software Engineering Skills. ACM SIGCSE Bulletin, 29 (4). pp. 38-41. ISSN 0097-8418 .

Preview

Preview

Barnes, David J. (2002) Teaching Introductory Java through LEGO MINDSTORMS Models. In: Proceedings of the 33rd SIGCSE technical symposium on computer science education, February 27 - March 03, 2002, Cincinnati, Kentucky .

Preview

Barnes, David J. and Chu, Dominique (2010) Introduction to Modeling for Biosciences. Springer ISBN 978-1849963251. The full text of this publication is not available from this repository.

Barnes, David J. and Fincher, Sally and Thompson, Simon (1997) Introductory Problem Solving in Computer Science. In: 5th Annual Conference on the Teaching of Computing.

Preview

Barnes, David J. and Hopkins, Tim (2006) Applying Software Testing Metrics to Lapack. In: Dongarra, Jack and Madsen, Kaj and Wasniewski, Jerzy, eds. Applied Parallel Computing: State of the Art in Scientific Computing. Lecture Notes in Computer Science, 3732. Springer, Berlin pp. 228-236. ISBN 9783540290674. The full text of this publication is not available from this repository.

Barnes, David J. and Hopkins, Tim (2007) Improving Test Coverage of Lapack. Applicable Algebra in Engineering Communication and Computing, 18 (3). pp. 209-222. ISSN 0938-1279. The full text of this publication is not available from this repository.

Barnes, David J. and Hopkins, Tim (2000) The Evolution and Testing of a Medium Sized Numerical Package. In: Langtangen, H.P. and Bruaset, A.M. and Quak, E., eds. Advances in Software Tools for Scientific Computing. Lecture Notes in Computational Science and Engineering, 10 . Springer-Verlag, Berlin, pp. 225-238. ISBN 3-540-66557-9.

Preview

Preview

Barnes, David J. and Hopkins, Tim (2001) The Impact of Programming Paradigms on the Efficiency of an Individual-based Simulation Model. Technical report. university of kent, UKC, Canterbury, Kent, UK.

Preview

Preview

Barnes, David J. and Hopkins, Tim (2003) The impact of programming paradigms on the efficiency of an individual-based simulation model. Simulation Modelling --- Practice and Theory, 11 (7-8). pp. 557-569. ISSN 1569-190X. The full text of this publication is not available from this repository.

Barnes, David J. and Shinners-Kennedy, Dermot (2011) A Study of Loop Style and Abstraction in Pedagogic Practice. In: 13th Australasian Computer Education Conference (ACE 2011). The full text of this publication is not available from this repository.

Barnes, David J. and Smith, N.G. (1996) An Analysis of World-Wide Web Proxy Cache Performance and its Application to the Modelling and Simulation of Network Traffic. In: Proceedings of the 4th International Conference on Telecommunication Systems Modeling and Analysis.

Preview

Preview

Barnes, David J. and Smith, Neil (1996) An analysis of World-Wide Web Proxy Cache performance and its application to the modelling and simulation of network traffic. Technical report. UKC, University of Kent, Canterbury, UK

Preview

Preview

Barnes, F.R.M. (2006) Compiling CSP. In: Proceedings of Communicating Process Architectures 2006 (CPA-2006), Edinburgh, Scotland.

Preview

Barnes, F.R.M. (2001) tranx86 -- an Optimising ETC to IA32 Translator. In: Communicating Process Architectures 2001.

Preview

Preview

Barnes, F.R.M. and Ritson, C.G. (2010) Process-Oriented Device Driver Development. Concurrency and Computation: Practice and Experience, 22 (8). pp. 182-196. ISSN 1532-0634. The full text of this publication is not available from this repository.

Barnes, F.R.M. and Welch, P.H. (2004) Communicating Mobile Processes. In: Communicating Process Architectures 2004, Sep 05-08, 2004 , Oxford Brooks Univ, Oxford, England, .

Preview

Barnes, F.R.M. and Welch, P.H. (2001) Mobile Data, Dynamic Allocation and Zero Aliasing: an occam Experiment. In: Chalmers, Alan and Mirmehdi, Majid and Muller, Henk, eds. Communicating Process Architectures 2001. Concurrent Systems Engineering Series, No. 59 (59). IOS Press, Amsterdam, The Netherlands pp. 243-264. ISBN 1 58603 202 X.

Preview

Preview

Barnes, Fred and Jacobsen, Christian L. and Vinter, Brian (2003) RMoX: A Raw-Metal occam Experiment. In: Communicating Process Architectures 2003, SEP 07-10, 2003 , UNIV Twente, Enschde, Nederlands. The full text of this publication is not available from this repository.

Barnes, Fred and Welch, Peter (2002) Prioritised Dynamic Communicating Processes: Part 2. In: Communicating Process Architectures 2002:WoTUG-25, 15-18 September 2002, University of Reading, United Kingdom.

Preview

Preview

Barnes, Frederick R. M. (2009) Mobile Escape Analysis for occam-pi. In: Communicating Process Architectures 2009. The full text of this publication is not available from this repository.

Barnes, Frederick R. M. and Ritson, Carl G. (2009) Checking Process-Oriented Operating System Behaviour using CSP and Refinement. SIGOPS Oper. Syst. Rev., 43 (4). pp. 182-196. ISSN 0163-5980. The full text of this publication is not available from this repository.

Barnes, Frederick R.M. (2000) Blocking System Calls in KRoC/Linux. In: Communicating Process Architectures 2000.

Preview

Preview

Barrett, Edd and King, Andy (2012) Range and Set Abstraction using SAT. Electronic Notes in Theoretical Computer Science, 267 (1). pp. 93-107. ISSN 978-3-642-32468-0.

Preview

Barros, R.C. and Basgalupp, M.P. and Ruiz, D.D. and de Carvalho, A.C.P.L.F. and Freitas, A.A. (2010) Evolutionary model tree induction. In: Applied Computing 2010: Proc. 25th Annual ACM Symposium on Applied Computing (SAC-2010). The full text of this publication is not available from this repository.

Barros, R.C. and Basgalupp, M.P. and de Carvalho, A.C.P.L.F. and Freitas, A.A. (2012) A hyper-heuristic evolutionary algorithm for automatically designing decision-tree algorithms. In: Proceedings of 2012 Genetic and Evolutionary Computation Conference (GECCO). The full text of this publication is not available from this repository.

Barros, R.C. and Basgalupp, M.P. and de Carvalho, A.C.P.L.F. and Freitas, A.A. (2012) A survey of evolutionary algorithms for decision-tree induction. IEEE Transactions on Systems, Man and Cybernetics, Part C: Applications and Reviews, 42 (3). pp. 291-312. ISSN 1094-6977. The full text of this publication is not available from this repository.

Barros, R.C. and de Carvalho, A.C.P.L.F. and Basgalupp, M.P. and Freitas, A.A. (2011) Towards the automatic design of decision tree induction algorithms. In: Proceedings of the GECCO-2011 First Workshop on Evolutionary Algorithms for Evolving Generic Algorithms. The full text of this publication is not available from this repository.

Bartko, S.J. and Winters, B.D. and Cowell, R.A. and Saksida, L.M. and Bussey, T.J. (2007) Perhirhinal cortex resolves feature ambiguity in configural object recognition and perceptual oddity tasks. Learning and Memory, 14 (12). pp. 821-832. ISSN 1072-0502.

Preview

Bartko, S.J. and Winters, B.D. and Cowell, R.A. and Saksida, L.M. and Bussey, T.J. (2007) Perceptual functions of perirhinal cortex in rats: zero-delay object recognition and simultaneous oddity discriminations. Journal of Neuroscience, 27 (10). pp. 2548-2559. ISSN 0270-6474.

Preview

Bartoszek, Bozena and Czeck, Zbigniew and Konopka, Marek (1993) Parallel Searching for a First Solution. Technical report. University of Kent, Canterbury, UK, University of Kent, Canterbury, UK

Preview

Preview

Basden, A. and Ball, E. and Chadwick, David W. (2001) Issues Raised in Modelling Trust in a Public Key Infrastructure. Expert Systems, 18 (5). pp. 233-249. ISSN 0266-4720 .

Preview

Basden, A. and Evans, J.B. and Chadwick, D.W. and Young, A. (1998) Coping with Poorly Understood Domains: the Example of Internet Trust. In: Research and Development in Expert Systems, 1998, Dec 1998, Cambridge.

Preview

Basgalupp, M.P. and Barros, R.C. and de Carvalho, A.C.P.L.F. and Freitas, A.A. and Ruiz, D.D. (2009) LEGAL-Tree: a lexicographic multi-objective genetic algorithm for decision tree induction. In: Proceedings of the 2009 ACM Symposium on Applied Computing. The full text of this publication is not available from this repository.

Basgalupp, M.P. and de Carvalho, A.C.P.L.F. and Barros, R.C. and Ruiz, D.D. and Freitas, A.A. (2009) Lexicographic multi-objective evolutionary induction of decision trees. International Journal of Bio-Inspired Computation, 1 (1/2). pp. 105-117. ISSN 17580366. The full text of this publication is not available from this repository.

Basgalupp, M.P. and Barros, R.C. and de Carvalho, A.C.P.L.F. and Freitas, A.A. (2012) A beam search based decision tree induction algorithm. In: Kulkarni, S., ed. UNSPECIFIED IGI Global, pp. 357-370. ISBN 978-1-4666-1835-0. The full text of this publication is not available from this repository.

Bateman, David and Fincher, Sally (1996) A Comparative Evaluation of Internet Use for Discipline Networks. In: Knowledge Transfer '96. The full text of this publication is not available from this repository.

Batty, Mark and Memarian, Kayvan and Owens, Scott and Sarkar, Susmit and Sewell, Peter (2012) Clarifying and Compiling C/C++ Concurrency: From C++11 to POWER. In: POPL '12: 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 25th - 27th January, 2012, Philadelphia, USA. The full text of this publication is not available from this repository.

Batty, Mark and Owens, Scott and Sarkar, Susmit and Sewell, Peter and Weber, Tjark (2011) Mathematizing C++ Concurrency. In: POPL '11: 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 26th - 28th 2011, Austin, USA. The full text of this publication is not available from this repository.

Bayle, Elisabeth and Bellamy, Rachel and Casaday, George and Erickson, Thomas and Fincher, Sally and Grinter, Beki and Gross, Ben and Lehder, Diane and Marmolin, Hans and Moore, Brian and Potts, Colin (1998) Putting It All Together: a Pattern Language for Interaction Design. SIGCHI Bulletin, 30 (1). pp. 17-24. ISSN 0736-6906. The full text of this publication is not available from this repository.

Beadle, Lawrence (2009) Semantic and Structural Analysis of Genetic Programming. PhD thesis, Computing. The full text of this publication is not available from this repository.

Beadle, Lawrence and Johnson, Colin G. (2009) Semantic analysis of program initialisation in genetic programming. Genetic Programming and Evolvable Machines, 10 (3). pp. 307-337. ISSN 1389-2576. The full text of this publication is not available from this repository.

Beadle, Lawrence and Johnson, Colin G. (2008) Semantically Driven Crossover in Genetic Programming. In: IEEE World Congress on Computational Intelligence, JUN 01-06, 2008, Hong Kong, China.

Preview

Beadle, Lawrence and Johnson, Colin G. (2009) Semantically Driven Mutation in Genetic Programming. In: Proceedings of the 2009 IEEE Congress on Evolutionary Computation.

Preview

Beckett, D.J. (1997) 30% Accessible - A Survey of the UK Wide Web. In: Genesereth, Michael.R. and Patterson, Anna, eds. Computer Networks and ISDN Systems. Elsevier, Holland pp. 1367-1375. The full text of this publication is not available from this repository.

Beckett, D.J. (1995) IAFA Templates in use as Internet Metadata. World Wide Web Journal -- Proceedings of the Fourth International World-Wide Web Conference, 1 (1). pp. 135-143. ISSN 1085-2301. The full text of this publication is not available from this repository.

Beckett, D.J. and Welch, P.H. (1996) A Strict occam Design Tool. In: Proceedings of UK Parallel ''96. The full text of this publication is not available from this repository.

Beckett, David (1998) Polishing Your Searches. Ariadne, 1 (16). The full text of this publication is not available from this repository.

Beckett, Dave and Smith, Neil (1996) The ACademic DireCtory - AC/DC. Technical report. UKC, University of Kent, Canterbury, UK

Preview

Preview

Benest, Ian and Carter, Janet and Chandler, Jane (2003) Identifying the Dominant Personality and Attitudinal Traits in Computer Science Students. In: Proceedings of the International Conference on Engineering Education 2003. , Valencia (In press) The full text of this publication is not available from this repository.

Benest, Ian and Carter, Janet and Chandler, Jane (2005) The Personality and Attitude Traits of Computer Science Students. In: Aung, Win and King, Robin and Moscinski, Jerzy and Ou, Shan-Hwei and Ruiz, Luis Manuel Sanchez, eds. INNOVATIONS 2005: World Innovations in Engineering Education. Begwell House Publishing, pp. 291-304. ISBN 0-9741252-2-9. The full text of this publication is not available from this repository.

Bennedsen, Jens and Caspersen, Michael E. and Kölling, Michael (2008) Reflections on the Teaching of Programming. Lecture Notes in Computer Science , Vol. 4821 . Springer ISBN 978-3-540-77933-9. The full text of this publication is not available from this repository.

Benoy, F. and King, A. (1999) An Isomorphism between Abstract Polyhedral Cones and Definite Boolean Functions. Technical report. , University of Kent

Preview

Preview

Benoy, Florence and King, A. and Mesnard, F. (2002) Computing Convex Hulls with a Linear Solver. Technical report. Computing Laboratory, University of Kent, Canterbury, CT2 7NF, UK.

Preview

Preview

Benoy, Florence and King, Andy (1997) Inferring Argument Size Relationships with CLP(R). In: Proceedings of the 6th International Workshop on Logic Programming Synthesis and Transformation. Lecture Notes in Computer Science, 1207. Springer-Verlag pp. 204-223. ISBN 3-540-62718-9 .

Preview

Preview

Benoy, Florence and Rodgers, Peter (2004) A Study into the Comprehension of Euler Diagrams. University of Kent.

Preview

Benoy, Florence and Rodgers, Peter (2005) Evaluating the Comprehension of Euler Diagrams. In: Euler Diagrams 2005, 29-30 September 2005, Paris, France.

Preview

Benoy, Florence and Rodgers, Peter (2007) Evaluating the Comprehension of Euler Diagrams. In: 11th International Conference on Information Visualization (IV 2007), 4th - 6th July 2007, Zurich, Switzerland.

Preview

Benoy, Patricia Mary (2002) Polyhedral Domains for Abstract Interpretation in Logic Programming. PhD thesis, University of Kent, Canterbury.

Preview

Preview

Bentley, P.J. and Timmis, Jon (2004) A Fractal Immune Network. In: Nicosia, G., ed. Artificial Immune Systems. LNCS, 3239 (3239). Springer pp. 133-145. ISBN 3540230971.

Preview

Bentley, P.J. and Timmis, Jon (2003) Guest Editorial on Artificial Immune Systems. Genetic Programming and Evolvable Machines, 4 (4). pp. 307-309. The full text of this publication is not available from this repository.

Bentley, P.J. and Timmis, Jon (2003) Special Issue on Artificial Immune Systems. In: Genetic Programming and Evolvable Machines. Kluwer, pp. 307-403. The full text of this publication is not available from this repository.

Bergin, Joe and Bruce, Kim and Kölling, Michael (2005) Objects-Early Tools - A Demonstration. In: SIGCSE'05 Proceedings.

Preview

Berzins, M. and Gustafsson, B. and Haridi, S. and Linington, P.F. and Rolland, C. (2004) Evaluation of the Simula Research Laboratory. The Research Council of Norway, Oslo, Norway, 20 pp. ISBN 82-12-02017-7.

Preview

Besbeas, P. and Morgan, B.J.T. (2008) Improved estimation of the stable laws. Statistics and Computing, 18 (2). pp. 219-231. ISSN 0960-3174. The full text of this publication is not available from this repository.

Bevilacqua, V. and Menolascina, F. and Alves, R.T. and Tommasi, S. and Mastronardi, G. and Delgado, M. and Paradiso, A. and Nicosia, G. and Freitas, A.A. (2008) Artificial Immune Systems in Bioinformatics. In: Smolinski, T.G. and Milanova, M.G. and Hassanien, A.-E., eds. Computational Intelligence in Biomedicine and Bioinformatics: current trends and applications. Springer, Berlin, pp. 271-296. ISBN 978-3-540-70776-9. The full text of this publication is not available from this repository.

Biallas, Sebastian and Brauer, J''org and King, Andy and Kowalewski, Stefan (2012) Loop Leaping with Closures. In: Nineteenth Static Analysis Symposium. The full text of this publication is not available from this repository.

Biallas, Sebastian and Brauer, J''org and King, Andy and Kowalewski, Stefan (2012) Loop Leaping with Closures. In: UNSPECIFIED. The full text of this publication is not available from this repository.

Biallas, Sebastian and Brauer, J''org and King, Andy and Kowalewski, Stefan (2012) Proof Appendix for Loop Leaping with Closures. Technical report. , School of Computing The full text of this publication is not available from this repository.

Bishop, Craig and Johnson, Colin G. (2005) Roles of Variables and Program Analysis. In: Proceedings of the 5th Finnish/Baltic Conference on Computer Science Education.

Preview

Bjørndalen, John Markus and Sampson, Adam T. (2008) Process-Oriented Collective Operations. In: Communicating Process Architectures 2008.

Preview

Blackburn, Stephen M. and Jones, Richard and McKinley, Kathryn S. and Moss, J.Eliot B. (2002) Beltway: Getting Around Garbage Collection Gridlock. In: Hendren, Laurie J., ed. Conference on Programming Language Design and Implementation archive. Association for Computing Machinery, Berlin pp. 153-164. ISBN 1-58113-463-0.

Preview

Preview

Blackwell, Alan and Fincher, Sally (2010) PUX: Patterns of User Experience. Inteactions, XVII (2). pp. 182-196. The full text of this publication is not available from this repository.

Blair, G.S. and Blair, L. and Bowman, H. and Chetwynd, A.G. (1997) Formal Specification of Distributed Multimedia Systems. University College London Press, 352 pp. ISBN 1-85728-677-4 PB. The full text of this publication is not available from this repository.

Blair, L. and Blair, G.S. and Bowman, H. and Chetwynd, A.G. (1995) Formal Specification and Verification of Multimedia Systems in Open Distributed Processing. Computer Standards and Interfaces, 17 (5-6). pp. 413-436. ISSN 0920-5489. The full text of this publication is not available from this repository.

Blake, E. and Cook, S.J. (1987) On Including Part Hierarchies in Object-oriented Languages, with an Implementation in Smalltalk. In: Proceedings of ECOOP'87, European Conference on Object-oriented Programming. The full text of this publication is not available from this repository.

Blake, Andrew and Stapleton, Gem and Rodgers, Peter and Cheek, Liz and Howse, John (2012) Does the Orientation of an Euler Diagram Affect User Comprehension? In: Proceedings of the 18th International Conference on Distributed Multimedia Systems, International Workshop on Visual Languages and Computing (VLC 2012).

Preview

Bodden, Eric (2003) A High-level View of Java Applications. In: OOPSLA'03 ACM SIGPLAN Conference on Object-Oriented Systems, Languages and Applications (Companion). The full text of this publication is not available from this repository.

Bodden, Eric (2003) JAnalyzer, A Visual Static Analyzer for Java. Technical report. University of Kent, Kent, UK The full text of this publication is not available from this repository.

Boel, R.K. and Bordbar, B. and Stremersch, G. (1998) A Min-plus Polynomial Approach to Forbidden State Control for General Petri Nets. In: Proceedings of the 4th International Workshop on Discrete Event Systems. The full text of this publication is not available from this repository.

Boel, R.K. and Bordbar, Behzad and Stremersch, G. (1998) Controlled Timed Petri Nets: Equivalence Relations, Model Reduction. In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Oct 11-14, 1998, San Diego, CA, . The full text of this publication is not available from this repository.

Boissaux, M. and Munro, A. and Marshall, I.W. and McKee, P. (2000) A Java-based framework for comparing mobility policies in networks with dynamic resource management. In: Proceedings ITC specialist seminar on mobility.

Preview

Boiten, E.A. (2003) Book review: Concepts in Programming Languages, by John Mitchell. Journal of Functional Programming, 13 (6). pp. 1087-1088. ISSN 0956-7968. The full text of this publication is not available from this repository.

Boiten, E.A. (1988) Een Syntax Assisted Editor. Masters thesis, Universiteit Twente. The full text of this publication is not available from this repository.

Boiten, E.A. (1990) Factorisation of the Factorial -- an algorithm discovered by playing with transformations. Technical report. The full text of this publication is not available from this repository.

Boiten, E.A. (1992) Factorisation of the Factorial -- an example of inverting the flow of computation. Periodica Polytechnica Ser. El. Eng, 35 (2). pp. 77-99. The full text of this publication is not available from this repository.

Boiten, E.A. (1992) Improving recursive functions by inverting the order of evaluation. Science of Computer Programming, 18 . pp. 139-179. The full text of this publication is not available from this repository.

Boiten, E.A. (1991) Intersections of Bags and Sets of Extended Substructures -- a Class of Problems. In: UNSPECIFIED. The full text of this publication is not available from this repository.

Boiten, E.A. (1991) Intersections of Sets and Bags of Extended Substructures, and Can Bag Comprehension be Used at All? Technical report. Dept. of Informatics, University of Nijmegen The full text of this publication is not available from this repository.

Boiten, E.A. (1989) Inverting the Flow of Computation in Tree-like Recursive Functions. In: UNSPECIFIED. The full text of this publication is not available from this repository.

Boiten, E.A. (1993) Parsing in ISBES. In: UNSPECIFIED. The full text of this publication is not available from this repository.

Boiten, E.A. (1992) Views of Formal Program Development. PhD thesis, University of Nijmegen, Faculty of Mathematics and Informatics. The full text of this publication is not available from this repository.

Boiten, E.A. and Bowman, H. and Derrick, J. and Linington, P.F. and Steen, M.W.A. (2000) Viewpoint Consistency in ODP. Computer Networks, 34 (3). pp. 503-537. ISSN 1389-1286 . The full text of this publication is not available from this repository.

Boiten, E.A. and Derrick, J. (2000) Liberating data refinement. In: Backhouse, R.C. and Oliveira, J.N., eds. Proceedings of the 5th International Conference on Mathematics of Program Construction. Lecture Notes in Computer Science, 1837. Springer pp. 144-166. ISBN 3-540-67727-5. The full text of this publication is not available from this repository.

Boiten, E.A. and Derrick, J. (2009) Modelling divergence in Relational Concurrent Refinement. In: IFM 2009: Integrated Formal Methods. The full text of this publication is not available from this repository.

Boiten, E.A. and Derrick, J. (2005) Proceedings of the REFINE 2005 Workshop. Electronic Notes in Theoretical Computer Science , 137 (2). pp. 1-242. ISSN 1571-0661. The full text of this publication is not available from this repository.

Boiten, E.A. and Derrick, J. and Bowman, H. and Steen, M. (1997) Coupling schemas: data refinement and view(point) composition. In: Northern formal methods, 1997; Jul, Ilkley. The full text of this publication is not available from this repository.

Boiten, E.A. and Derrick, J. and Schellhorn, G. (2007) Relational Concurrent Refinement II: Internal Operations and Outputs. Formal Aspects of Computing, online . ISSN 0934-5043. The full text of this publication is not available from this repository.

Boiten, E.A. and Derrick, J. and Smith, G. (2008) Preface: Proceedings of the BCS-FACS Refinement Workshop (REFINE 2007). Electronic Notes in Theoretical Computer Science, 201 . ISSN 1571-0661. The full text of this publication is not available from this repository.

Boiten, E.A. and Geerling, A.M. and Partsch, H.A. (1993) Transformational derivation of (parallel) programs using skeletons. In: UNSPECIFIED. The full text of this publication is not available from this repository.

Boiten, Eerke (2002) Loose Specification and Refinement in Z. In: Bert, D. and Bowen, J.P. and Henson, M.C. and Robinson, K., eds. ZB 2002:Formal Specification and Development in Z and B. Lecture Notes in Computer Science, 2272. Springer, Grenoble, France pp. 226-241. ISBN 3-540-43166-7. The full text of this publication is not available from this repository.

Boiten, Eerke and De Roever, Willem-Paul (2003) Getting to the Bottom of Relational Refinement: Relations and Correctness, Partial and Total. In: 7th International Seminar on Relational Methods in Computer Science (RelMiCS 7). The full text of this publication is not available from this repository.

Boiten, Eerke and Grundy, Dan (2008) Reduction and refinement. Electronic Notes in Theoretical Computer Science, 201C . pp. 31-44. ISSN 1571-0661. The full text of this publication is not available from this repository.

Boiten, E. (1997) Z Unification Tools in Generic Formaliser. Technical report. University of Kent at Canterbury

Preview

Preview

Boiten, E. and Bowman, H. and Derrick, J. and Steen, M. (1996) Issues in multiparadigm viewpoint specification. In: UNSPECIFIED.

Preview

Preview

Boiten, E. and Bowman, H. and Derrick, J. and Steen, M. (1997) Viewpoint consistency in Z and LOTOS: A case study. In: UNSPECIFIED.

Preview

+1 more...

Boiten, E. and Derrick, J. and Bowman, H. and Steen, M. (1996) Consistency and refinement for partial specification in Z. In: UNSPECIFIED.

Preview

Preview

Boiten, E. and Derrick, J. and Bowman, H. and Steen, M. (1995) Unification and multiple views of data in Z. In: UNSPECIFIED.

Preview

Preview

Boiten, E.A. (2008) From ABZ to cryptography (abstract). In: UNSPECIFIED. The full text of this publication is not available from this repository.

Boiten, E.A. (2002) Mathematics of Program Construction: Sixth International Conference. In: 6th International Conference on Mathematics of Program Construction, 27-28 May 2004, Ede, The Netherlands. The full text of this publication is not available from this repository.

Boiten, E.A. (2011) Perspicuity and Granularity in Refinement. In: Proceedings 15th International Refinement Workshop. The full text of this publication is not available from this repository.

Boiten, E.A. (2002) REFINE 2002: The BCS FACS Refinement Workshop. In: Derrick, J. and Boiten, E.A. and Woodcock, J.C.P. and von Wright, J., eds. REFINE 2002, The BCS FACS Refinement Workshop (Satellite Eventof FLoC 2002). Electronic Notes in Theoretical Computer Science, 70. Elsevier Science Publishers The full text of this publication is not available from this repository.

Boiten, E.A. (1991) Solving a combinatorial problem by transformation of abstract data types. In: Computing Science in the Netherlands 1991.

Preview

Preview

Boiten, E.A. (1991) The many disguises of accumulation. Technical report. Dept. of Informatics, University of Nijmegen

Preview

Preview

Boiten, E.A. and Bowman, H. and Derrick, J. and Steen, M. (1995) Cross Viewpoint Consistency in Open Distributed Processing (Intra language consistency). Technical report. UKC, University of Kent, Canterbury, UK

Preview

Preview

Boiten, E.A. and Bujorianu, Marius C. (2003) Exploring UML Refinement through Unification. In: Jurjens, J. and Rumpe, B. and France, R. and Fernandez, E.B., eds. Critical Systems Development with UML - Proceedings of the UML'03 workshop. Lecture Notes in Computer Science (TUM-I0323). Technische Universitat Munchen pp. 47-62. The full text of this publication is not available from this repository.

Boiten, E.A. and Butler, Michael (2006) Guest Editorial: Editorial for the FAC Special Issue based on derivative papers from "Refine ’05". Formal Aspects of Computing, 18 (3). p. 263. ISSN 0934-5043. The full text of this publication is not available from this repository.

Boiten, E.A. and Denvir, T. and Derrick, J. and von Wright, J. (2003) Editorial: Special Issue on Refinement. Formal Aspects of Computing, 15 (2). pp. 101-102. ISSN 0934-5043. The full text of this publication is not available from this repository.

Boiten, E.A. and Derrick, J. (2003) A relational framework for the integration of specifications. Journal of Integrated Design and Process Science, 7 (3). pp. 39-48. ISSN 1092-0617. The full text of this publication is not available from this repository.

Boiten, E.A. and Derrick, J. (2005) Formal Program Development with Approximations. In: UNSPECIFIED.

Preview

Boiten, E.A. and Derrick, J. (1998) Grey Box Data Refinement. In: International Refinement Workshop & Formal Methods Pacific '98, 1998; Sep, Canberra, Australia.

Preview

Boiten, E.A. and Derrick, J. (1998) IO - refinement in Z. In: Evans, A. and Duke, D. and Clark, T., eds. 3rd Northern Formal MethodsWorkshop, 1998. Electronic Workshops in Computing. Springer Verlag ISBN 1-902505-14-X.

Preview

Boiten, E.A. and Derrick, J. (2002) Integration of Specifications through Development Relations. In: Proceedings of IDPT: the Sixth Biennial World Conference on Integrated Design and Process Technology, 23-28th June 2002, Passadena, California. The full text of this publication is not available from this repository.

Boiten, E.A. and Derrick, J. (2002) Unifying concurrent and relational refinement. Electronic notes in theoretical computing, 70 (3). pp. 94-131. ISSN 1571-0661. The full text of this publication is not available from this repository.

Boiten, E.A. and Derrick, J. and Bowman, H. and Steen, M. (1999) Constructive consistency checking for partial specification in Z. Science of Computer Programming, 35 (1). pp. 29-75. ISSN 0167-6423.

Preview

Preview

Boiten, E.A. and Derrick, J. and Schellhorn, G. (2008) Preface: REFINE 2008 Proceedings. Electronic Notes in Theoretical Computer Science, 214 . ISSN 1571-0661. The full text of this publication is not available from this repository.

Boiten, E.A. and Derrick, J. and Schellhorn, G. (2011) Preface: Selected papers of the Refinement Workshop Turku (2008). Science of Computer Programming, 76 (9). pp. 182-196. ISSN 0167-6423. The full text of this publication is not available from this repository.

Boiten, E.A. and Derrick, J. and Smith, G. (2004) Doctoral Symposium Proceedings, Integrated Formal Methods 2004. Technical report. University of Kent, Great Britain The full text of this publication is not available from this repository.

Boiten, E.A. and Derrick, J. and Smith, G. (2005) Editorial: Special issue on Integrated Formal Methods. Formal Aspects of Computing, 17 (4). ISSN 0934-5043. The full text of this publication is not available from this repository.

Boiten, E.A. and Derrick, J. and Smith, G. (2007) Refine 2007 Participants' Proceedings. Technical report. University of Kent, Canterbury, Canterbury, Kent The full text of this publication is not available from this repository.

Boiten, E.A. and Hoogendijk, P.F. (1996) Nested collections and polytypism. Technical report. Department of Computing Science, Eindhoven University

Preview

Preview

Boiten, E.A. and Möller, B. (2004) Special Issue on MPC 2002: Foreword. Science of Computer Programming, 51 (1-2). pp. 1-2. ISSN 0167-6423. The full text of this publication is not available from this repository.

Boiten, E.A. and Partsch, H.A. and Tuijnman, D. and Völker, N. (1992) How to produce correct software -- an introduction to formal specification and program development by transformations. Computer Journal, 35 (6). pp. 547-554. The full text of this publication is not available from this repository.

Boiten, E.A. and van den Brand, M.G.J. and van Diepen, N.W.P. and Koster, C.H.A. and Partsch, H.A. and Völker, N. (1992) USTOPIA Requirements -- Thoughts on a User-friendly System for Transformation Of Programs In Abstracto. Periodica Polytechnica Ser. El. Eng., 35 (2). pp. 101-123. The full text of this publication is not available from this repository.

Boiten, Eerke (2004) Input/Output Abstraction of State Based Systems. Technical report. University of Kent

Preview

Preview

Boiten, Eerke (2002) Integrating Specifications: Development Relations and Correspondences. In: Ehrig, Hartmut and Grosse-Rhode, Martin, eds. Integration of software specification techniques. International workshop No2, Grenoble , FRANCE. INIST-CNRS p. 8.

Preview

Preview

Boiten, Eerke (2012) Introducing extra operations in refinement. Formal Aspects of Computing, Online (1). pp. 1-13. ISSN 0934-5043. The full text of this publication is not available from this repository.

Boiten, Eerke (2004) Travelling Salesman Heuristics: Exercises in Haskell. Technical report. University of Kent

Preview

Preview

Boiten, Eerke (2004) Turtle Graphics: Exercises in Haskell. Technical report. University of Kent

Preview

Preview

Boiten, Eerke and Butler, Michael and Derrick, John and Smith, Graeme (2010) Editorial: Special issue on REFINE 2007. Formal Aspects of Computing, 22 (1). pp. 182-196. ISSN 0934-5043. The full text of this publication is not available from this repository.

Boiten, Eerke and Derrick, John (2010) Incompleteness of Relational Simulations in the Blocking Paradigm. Science of Computer Programming, 75 . pp. 182-196. ISSN 0167-6423. The full text of this publication is not available from this repository.

Boiten, Eerke and Derrick, John and Dong, Jin Song and Reeves, Steve (2012) Editorial: Special issue on Refine 2009. Formal Aspects of Computing, 24 (1). pp. 182-196. ISSN 0934-5043. The full text of this publication is not available from this repository.

Boiten, Eerke and Derrick, John and Reeves, Steve (2009) Preface: Proceedings of the 14th BCS-FACS Refinement Workshop (REFINE 2009). Electronic Notes in Theoretical Computer Science, 259 . pp. 182-196. ISSN 1571-0661. The full text of this publication is not available from this repository.

Boiten, Eerke and Grundy, Dan (2010) The Logic of Large Enough. In: MPC 2010: Mathematics of Program Construction. The full text of this publication is not available from this repository.

Boiten, Eerke A. (2012) Book review: Modeling in Event-B by Jean-Raymond Abrial. Journal of Functional Programming, 22 (2). pp. 217-221. ISSN 0956-7968. The full text of this publication is not available from this repository.

Boiten, Eerke A. (2010) Security specification: completeness, feasibility, refinement. In: UNSPECIFIED. The full text of this publication is not available from this repository.

Boiten, Eerke A. and Derrick, John (2013) From ODP Viewpoint Consistency to Integrated Formal Methods. Computer Standards and Interfaces, 35 (3). pp. 269-276. ISSN 0920-5489. The full text of this publication is not available from this repository.

Bojarczuk, C.C. and Lopes, H.S. and Freitas, A.A. (2001) Data Mining with Constrained-syntax Genetic Programming: Applications in Medical Data Sets. In: Proc Intelligent Data Analysis in Medicine and Pharmacology - a workshop at MedInfo-2001, 4th September 2001, Workshop held at MedInfo-2001, London. The full text of this publication is not available from this repository.

Bojarczuk, C.C. and Lopes, H.S. and Freitas, A.A. (1999) Discovering comprehensible classification rules using genetic programming: a case study in a medical domain. In: Proceedings of the Genetic and Evolutionary Computation Conference (GECCO-99) at the 8th International Conference on Genetic Algorithms/4th Annual Genetic Programming Conference, Jul 13-17, 1999, Orlando, USA. The full text of this publication is not available from this repository.

Bojarczuk, C.C. and Lopes, H.S. and Freitas, A.A. (2003) An innovative application of a constrained-syntax genetic programming system to the problem of predicting survival of patients. In: Ryan, C. and Keijzer, M. and Poli, R. and Soule, T. and Tsang, E. and Costa, E., eds. Lecture Notes In Computer Science. Lecture Notes in Computer Science, 2610. Springer-Verlag pp. 11-21. ISBN 3-540-00971-X. The full text of this publication is not available from this repository.

Bojarczuk, C.C. and Lopes, H.S. and Freitas, A.A. (2000) Genetic programming for knowledge discovery in chest pain diagnosis. IEEE Engineering in Medicine and Biology Magazine, 19 (4). pp. 38-44. ISSN 0739-5175.

Preview

Preview

Bojarczuk, C.C. and Lopes, H.S. and Freitas, A.A. and Michalkiewicz, E.L. (2004) A constrained-syntax genetic programming system for discovering classification rules: application to medical data sets. Artificial Intelligence in Medicine, 30 (1). pp. 27-48. ISSN 0933-3657. The full text of this publication is not available from this repository.

Bolla, Damiano (1994) IPP Routing Architecture. Technical report. versity of Kent, Computing Laboratory, University of Kent, Canterbury, UK

Preview

Preview

Bolognesi, T. and Derrick, J. (1998) Constraint-oriented style for object-oriented formal specification. IEE Proceedings Software, 145 (2-3). pp. 61-69. ISSN 1462-5970. The full text of this publication is not available from this repository.

Bonnici, Eric and Welch, Peter H. (2009) Mobile Processes, Mobile Channels and Dynamic Systems. In: 2009 IEEE Congress on Evolutionary Computation (CEC 2009).

Preview

Borba, P.H.M. and Sampaio, A.C.A. and Cavalcanti, A.L.C. and Cornelio, M.L. (2004) Algebraic Reasoning for Object-Oriented Programming. Science of Computer Programming, 52 (1-3). pp. 53-100. ISSN 0167-6423 . The full text of this publication is not available from this repository.

Borchers, Jan O. and Fincher, Sally and Griffiths, Richard and Pemberton, Lyn and Siemon, Elke (2001) Usability Pattern Language: Creating A Community. AI & Society Journal of Human-Centred Systems and Machine Intelligence, 15 (4). pp. 377-385. ISSN 0951-5666. The full text of this publication is not available from this repository.

Bordbar, B. (1998) Weakly almost period functions on N with a negative base. J Lond Math Soc (57). pp. 706-720. The full text of this publication is not available from this repository.

Bordbar, B. and Pym, J.S. (1998) The weakly almost periodic compactification of a direct sum of finite groups. Mathematical Proceedings of the Cambridge Philosophical Society, 124 (3). pp. 421-449. ISSN 0305-0041. The full text of this publication is not available from this repository.

Bordbar, Behzad and Giacomini, L. and Holding, D.J. (2000) Verification of a Hybrid Model of a Manufacturing System using Rectangular Petri Nets. In: Proceedings of the 6th International Workshop on Discrete Event Systems. The full text of this publication is not available from this repository.

Bordbar, B. and Derrick, J. and Waters, G. (2003) A UML approach to the design of open distributed systems. In: Formal Methods and Software Engineering, October 21–25, 2002 , Shanghai, China. The full text of this publication is not available from this repository.

Bordbar, B. and Derrick, J. and Waters, G. (2002) Using UML to specify QoS constraints in ODP. Computer Networks, 40 (2). pp. 279-304. ISSN 1389-1286 . The full text of this publication is not available from this repository.

Bordbar, B. and Giacomini, L. and Holding, D.J. (2000) Hybrid Control Systems: a Design Case Study. In: Control Applications, 2000. Proceedings of the 2000 IEEE International Conference on. IEEE, Alaska, USA pp. 947-952. ISBN 0-7803-6562-3.

Preview

Bordbar, B. and Pym, J.S. (2000) The Set of Idempotents in the Weakly Almost Periodic Compactification of the Integers is not Closed. Trans Amer Math Soc, 352 (2). pp. 823-842. ISSN 1088-6850(e), 0002-9947(p).

Preview

Bordbar, Behzad and Giacomini, L. and Holding, D.J. (2000) A UML-based Approach to the Modelling and Supervisory Control of Manufacturing Machinery. In: IEE Control Seminars on Model Validation for Plant Control and Condition Monitoring, 28 March 2000, London, UK, .

Preview

Bordbar, Behzad and Giacomini, L. and Holding, D.J. (2000) Design of Distributed Manufacturing Systems using UML and Petri Nets. In: Algorithms and Architectures for Real-Time Control (AARTC 2000). Workshop on Algorithms and Architectures for Real-Time Control. Elsevier, Palma de Mallorca, Spain pp. 105-110. ISBN 0-08-043685-4 .

Preview

Bordbar, Behzad and Giacomini, L. and Holding, D.J. (2000) UML and Petri Nets for Design and Analysis of Distributed Systems. In: Control Applications, 2000. Proceedings of the 2000 IEEE International Conference on. IEEE, Alaska, USA pp. 610-615. ISBN 0-7803-6562-3.

Preview

Boukhelifa, Nadia and Roberts, Jonathan and Rodgers, Peter (2003) Towards Coordination-Intensive Visualization Software. In: Proceedings PREP 2003 - Postgraduate Research Conference in Electronics, Photonics, Communications and Software.

Preview

Boukhelifa, Nadia and Roberts, Jonathan C. and Rodgers, Peter (2003) A Coordination Model for Exploratory Multi-View Visualization. In: International Conference on Coordinated and Multiple Views in Exploratory Visualization, JUL 15, 2003 , LONDON, ENGLAND.

Preview

Boukhelifa, Nadia and Rodgers, Peter (2003) A model and software system for coordinated and multiple views in exploratory visualization. Information Visualization, 2 (4). pp. 258-269. ISSN 1473-8716.

Preview

Boulier, Francois and Lemaire, Francois and Regensburger, Georg and Rosenkranz, Markus (2013) On the Integration of Differential Fractions. In: Kauers, M., ed. Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation. ACM. ISBN TBC. (In press) The full text of this publication is not available from this repository.

Bovey, J.D. (2006) Adding User-Editing to a Catalogue of Cartoon Drawings. In: Gonzalo, Julio and Thanos, Constantino and Verdejo, M.Felisa and Carrasco, Rafael.C., eds. Research and Advanced Technology for Digital Libraries. Lecture Notes in Computer Science, 4172 . Springer, Berlin, pp. 457-460. ISBN 3-540-44636-2.

Preview

Bovey, J.D. (1996) Event-based personal retrieval. Journal of Information Science, 22 (5). pp. 357-366. ISSN 0165-5515.

Preview

Preview

Bovey, J.D. (2003) Providing Web access to a catalogue if British newspaper cartoons. Program: electronic library and information systems, 37 (1). pp. 16-24. ISSN 0033-0337. The full text of this publication is not available from this repository.

Bovey, J.D. and Benoy, Florence and Rodgers, Peter (2004) Using Games to Investigate Movement for Graph Comprehension. In: Proceedings of the working conference on Advanced visual interfaces. ACM pp. 71-79. ISBN 1-58113-867-9 .

Preview

Bovey, J.D. and Rodgers, Peter (2007) A Method for Testing Graph Visualizations Using Games. In: Visualization and Data Analysis 2007.

Preview

Bovey, John and Rodgers, Peter and Benoy, Florence (2003) Movement as an Aid to Understanding Graphs. In: 7th International Conference on Information Visualization (IV 2003), JUL 16-18, 2003 , LONDON, ENGLAND.

Preview

Bowman, H. and Derrick, J. and Brinksma, E. (2000) Guest Editors Introduction: Formal Methods for Object Oriented Distributed Systems. IEEE Transactions on Software Engineering, 26 (7). pp. 577-578. The full text of this publication is not available from this repository.

Bowman, H. and Aron, A. and Eimer, E. and Schlaghecken, F. (2001) A Connectionist Model of Inhibitory Processes in Motor Control and its Application to a Masked Priming Task. Technical report. Computing Laboratory, University of Kent, Canterbury, Canterbury, Kent

Bowman, H. and Aron, A. and Schlaghecken, F. and Eimer, M. (2002) Neural Network Modelling of Inhibition in Visuo-Motor Control. In: Proceedings of the Seventh Neural Computation and Psychology Workshop: Connectionist Models of Cognition and Perception, September 2002. The full text of this publication is not available from this repository.

Bowman, H. and Barnard, P.J. (2001) Computational Modelling of Distributed Executive Control. Technical report. UKC, Canterbury, Kent, UK

Bowman, H. and Barnard, P.J. (2003) Towards a Neural Network Model of the Attentional Blink (Abstract). In: Proceedings of Seventh International Conference on Cognitive and Neural Systems, May 2003, May 2003., Boston University, May 2003. . The full text of this publication is not available from this repository.

Bowman, H. and Blair, L. and Blair, G.S. and Chetwynd, A.G. (1994) A Formal Description Technique Supporting Expression of Quality of Service and Media Synchronisation. In: Multimedia Transport and Teleservices, International COST 237 Workshop. The full text of this publication is not available from this repository.

Bowman, H. and Boiten, E.A. and Derrick, J. and Steen, M.W.A. (1999) Strategies for consistency checking based on unification. Science of Computer Programming, 33 (3). pp. 261-298. ISSN 0167-6423. The full text of this publication is not available from this repository.

Bowman, H. and Bryans, J.W. and Derrick, J. (2001) Analysis of a Multimedia Stream using Stochastic Process Algebra. The Computer Journal, 44 (4). pp. 230-245. ISSN 0010-4620 . The full text of this publication is not available from this repository.

Bowman, H. and Bryans, J.W. and Derrick, J. (2000) Towards Stochastic Model Checking with Generalised Distributions. In: UKPEW 2000, 16th United Kingdom Performance Engineering Workshop, July 24-25, 2000, Durham Univ. uk, . The full text of this publication is not available from this repository.

Bowman, H. and Cameron, H. and King, P. and Thompson, S.J. (2003) Mexitl: Multimedia in Executable Interval Temporal Logic. Formal Methods in System Design, 22 (1). pp. 5-38. ISSN 0925-9856 . The full text of this publication is not available from this repository.

Bowman, H. and Derrick, J. (1999) A Junction between State Based and Behavioural Specification. In: Formal Methods for Open Object-based Distributed Systems. The full text of this publication is not available from this repository.

Bowman, H. and Derrick, J. (1995) A True Concurrency Semantics for Quality of Service Specification and Validation. In: MMNet'95, International Conference on Multimedia and Networking. The full text of this publication is not available from this repository.

Bowman, H. and Derrick, J. (2001) Issues in Formal Methods (chapter 3). In: Bowman, H. and Derrick, J., eds. Formal Methods for Distributed Processing, A Survey of Object-oriented Approaches. Cambridge University Press, Cambridge, UK, pp. 18-35. ISBN 0-521-77184-6. The full text of this publication is not available from this repository.

Bowman, H. and Derrick, J. (2001) Viewpoints Modelling. In: Bowman, H. and Derrick, J., eds. Formal Methods for Distributed Processing, A Survey of Object-oriented Approaches. Cambridge University Press, Cambridge, UK, pp. 451-475. ISBN 0-521-77184-6. The full text of this publication is not available from this repository.

Bowman, H. and Derrick, J. and Linington, P.F. and Steen, M. (1996) Cross-viewpoint consistency in open distributed processing. Software Engineering Journal, 11 (1). pp. 44-57. ISSN 0268-6961. The full text of this publication is not available from this repository.

Bowman, H. and Faconti, G. (1999) Analysing Cognitive Behaviour using LOTOS and Mexitl. Formal Aspects of Computing, 11 (2). pp. 132-159. The full text of this publication is not available from this repository.

Bowman, H. and Gomez, R.S. (2006) Concurrency Theory, Calculi and Automata for Modelling Untimed and Timed Concurrent Systems. Springer, London, 459 pp. ISBN 1-85233-895-4. The full text of this publication is not available from this repository.

Bowman, H. and Schlaghecken, F. and Eimer, M. (2002) A Connectionist Model of Inhibition in Masked Priming (abstract). In: Proceedings of Sixth International Conference on Cognitive and Neural Systems, May 30th - June 1st, 2002, May 30th to June 1st 2002, Boston, Massachussetts. The full text of this publication is not available from this repository.

Bowman, H. and Su, L. and Wyble, B. and Barnard, P.J. (2009) Salience Sensitive Control, Temporal Attention and Stimulus-Rich Reactive Interfaces. In: Roda, Claudia, ed. Human Attention in Digital Environments. Cambridge University Press. The full text of this publication is not available from this repository.

Bowman, H. and Thompson, S.J. (2003) A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection. Journal of Logic and Computation, 13 (2). pp. 195-239. ISSN 0955-792X. The full text of this publication is not available from this repository.

Bowman, Maggie (1997) Development of a Technical Reports Service at the Higher Education National Software Archive in the UK. Program, 31 (2). pp. 147-159. ISSN 0033 0337. The full text of this publication is not available from this repository.

Bowman, H. (1998) A LOTOS Based Tutorial on Formal Methods for Object Oriented Distributed Systems. New Generation Computing, 16 (4). pp. 343-372. ISSN 0288-3635 . The full text of this publication is not available from this repository.

Bowman, H. (1998) An Interpretation of Cognitive Theory in Concurrency Theory. Technical report. University of Kent

Preview

Bowman, H. (2001) Formal Methods Elsewhere. Electronic Notes in Theoretical Computer Science, 43 . 162-163 . ISSN 1571-0661. The full text of this publication is not available from this repository.

Bowman, H. (1999) Modelling Concurrent Cognitive Architectures Using Process Calculi. In: European Conference on Cognitive Science 1999, 27th-30th October 1999, Siena, Italy.

Preview

Preview

Bowman, H. (1999) Modelling Timeouts without Timelocks. In: Formal Methods for Real-Time and Probabilistic Systems. Lecture Notes in Computer Science, 1601. Springer-Verlag pp. 334-354.

Preview

Preview

Bowman, H. (1999) On Time and Action Lock Free Description of Timed Systems. Technical report.

Preview

Preview

Bowman, H. (2001) Time and Action Lock Freedom Properties of Timed Automata. In: Formal Techniques for Networked and Distributed Systems. The full text of this publication is not available from this repository.

Bowman, H. and Boiten, E. and Derrick, J. and Steen, M. (1996) Viewpoint consistency in ODP, a general interpretation. In: UNSPECIFIED.

Preview

Preview

Bowman, H. and Boiten, E.A. and Derrick, J. and Steen, M. (1995) Strategies for Consistency Checking. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, UK

Preview

Preview

Bowman, H. and Boiten, E.A. and Derrick, J. and Steen, M. (1996) Strategies for Consistency Checking, the Choice of Unification. Technical report. UKC, University of Kent, Canterbury, UK

Preview

Preview

Bowman, H. and Briscoe-Smith, C. and Derrick, J. and Strulo, B. (1997) On Behavioural Subtyping in LOTOS. In: Bowman, H. and Derrick, J., eds. Proceedings of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems. Chapman and Hall pp. 335-351. ISBN 0-412-82040-4 .

Preview

+1 more...

Bowman, H. and Bryans, J.W. and Derrick, J. (1998) Analysis of a Multimedia Stream using Stochastic Process Algebra. In: Sixth International Workshop on Process Algebras and Performance Modelling, 1998.

Preview

Bowman, H. and Cameron, Helen and King, Peter and Thompson, Simon (1997) Mexitl: Multimedia in Executable Interval Temporal Logic. Technical report. University of Kent

Preview

Preview

Bowman, H. and Cameron, Helen and King, Peter and Thompson, Simon (1997) Specification and Prototyping of Structured Multimedia Documents using Interval Temporal Logic. In: International Conference on Temporal Logic.

Preview

+1 more...

Bowman, H. and Craston, Patrick and Chennu, Srivas and Wyble, Brad (2009) The delayed consolidation hypothesis of all-or-none conscious perception during the attentional blink, applying the ST2 framework. In: Proceedings of the 31st Annual Conference of the Cognitive Science Society. The full text of this publication is not available from this repository.

Bowman, H. and Derrick, J. (1997) Extending LOTOS with Time: True Concurrency Perspective. In: Bertran, Miquel and Rus, Teodor, eds. Transformation-Based Reactive Systems Development. Lecture Notes in Computer Science, 1231. Springer-Verlag pp. 382-399. ISBN 3-540-63010-4 . The full text of this publication is not available from this repository.

Bowman, H. and Derrick, J. (1995) Modelling Distributed Systems using Z. In: UNSPECIFIED.

Preview

Preview

Bowman, H. and Derrick, J. (1994) Towards a Formal Model of Consistency in ODP. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, UK

Preview

Preview

Bowman, H. and Derrick, J. and Jones, Richard (1994) Modelling Garbage Collection Algorithms --- Extend abstract. In: Proceedings of Principles of Distributed Computing'94.

Preview

Preview

Bowman, H. and Derrick, J. and Linington, P.F. and Steen, M. (1995) FDTs for ODP. Computer Standards and Interfaces, 17 (5-6). pp. 457-479. ISSN 0920-5489.

Preview

Preview

Bowman, H. and Derrick, J. and Steen, M. (1995) Some Results on Cross Viewpoint Consistency Checking. In: UNSPECIFIED.

Preview

Preview

Bowman, H. and Faconti, G. and Katoen, J-P. and Latella, D. and Massink, M. (1998) Automatic Verification of a Lip Synchronisation Protocol using UPPAAL. Formal Aspects of Computing, 10 (5-6). pp. 550-575. ISSN 1433-299X . The full text of this publication is not available from this repository.

Bowman, H. and Faconti, G. and Katoen, J-P. and Latella, D. and Massink, M. (1998) Automatic Verification of a Lip-Synchronisation Algorithm Using UPPAAL - Extended Version. In: FMICS'98, Third Internatinoal Workshop on Formal Methods for Industrial Crtical Systems.

Preview

Bowman, H. and Faconti, G. and Massink, M. (1998) Specification and Verification of Media Constraints using UPPAAL. In: 5th Eurographics Workshop on the Design, Specification and Verification of Interactive Systems, DSV-IS 98, Jun 03-05, 1998, Abington, England, .

Preview

Preview

Bowman, H. and Faconti, G. and Massink, M. (1999) Towards Integrated Cognitive and Interface Analysis. Technical report.

Preview

Preview

Bowman, H. and Faconti, G. and Massink, M. (2000) Towards Integrated Cognitive and Interface Analysis. In: Proceedings of Formal Methods Elsewhere 2000, Pisa, Italy.

Preview

Bowman, H. and Gomez, R.S. (2006) How to stop time stopping. Formal Aspects of Computing, 18 (4). pp. 459-493. ISSN 0934-5043.

Preview

Bowman, H. and Gomez, R.S. and Su, L. (2005) A tool for the syntactic detection of zeno-timelocks in timed automata. Electronic Notes in Theoretical Computer Science, 139 (1). pp. 25-47.

Preview

Bowman, H. and Gomez, R.S. and Su, Li (2004) How to stop time stopping (preliminary version). Technical report. University of Kent, Canterbury, Kent, CT2 7NF, UK

Preview

Bowman, H. and Katoen, J-P. (1998) A True Concurrency Semantics for ET-LOTOS. In: CSD'98 International Conference on Application of Concurrency to System Design, Mar 23-26, 1998, Fukushima, Japan. The full text of this publication is not available from this repository.

Bowman, H. and Li, Su (2011) Cognition, Concurrency Theory and Reverberations in the Brain: in Search of a Calculus of Communicating (Recurrent) Neural Systems. In: Voronkov, Andrei and Korovina, Margarita, eds. Higher-Order Workshop on Automated Runtime Verification and Debugging, EasyChair Proceedings, Festschrift celebrating Howard Barringer's 60th Birthday. EasyChair. The full text of this publication is not available from this repository.

Bowman, H. and Li, Su and Barnard, P.J. (2006) Semantic Modulation of Temporal Attention: Distributed Control and Levels of Abstraction in Computational Modelling. Technical report. UKC

Preview

Bowman, H. and Li, Su and Wyble, Brad (2006) Performance of Reactive Interfaces in Stimulus Rich Environments, applying Formal Methods and Cognitive Frameworks. Technical report. UKC

Preview

Bowman, H. and Schlaghecken, F. and Eimer, M. (2006) A Neural Network Model of Inhibitory Processing in Subliminal Priming. Visual Cognition, 13 (4). pp. 401-480. ISSN 1464-0716 (electronic) 1350-6285 (paper) .

Preview

Bowman, H. and Steen, M.W.A. and Boiten, E.A. and Derrick, J. (2002) A Formal Framework for Viewpoint Consistency. Formal Methods in System Design, 21 (2). pp. 111-166. ISSN 0925-9856. The full text of this publication is not available from this repository.

Bowman, H. and Steen, M.W.A. and Boiten, E.A. and Derrick, J. (1999) A Formal Framework for Viewpoint Consistency (full version). Technical report. , Canterbury, Kent, CT2 7NZ

Preview

Preview

Bowman, H. and Thompson, Simon (2000) A Complete Axiomatization of Interval Temporal Logic with Projection. Technical report. University of Kent

Preview

Bowman, H. and Thompson, Simon (1997) A Tableau Method for Interval Temporal Logic. Technical report. University of Kent at Canterbury

Preview

Preview

Bowman, H. and Thompson, Simon J. (1998) A Tableaux Method for Interval Temporal Logic with Projection. In: Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods. Lecture Notes In Computer Science, 1397 (1397). Springer-Verlag pp. 108-123. ISBN 3-540-64406-7.

Preview

Bowman, H. and Wyble, B. (2007) The Simultaneous Type, Serial Token Model of Temporal Attention and Working Memory. Psychological Review, 114 (1). pp. 38-70. ISSN 0033-295X.

Preview

Bowman, H. and Wyble, B. and Barnard, P.J. (2004) Towards a Neural Network Model of the Attentional Blink. In: Proceedings of the Eighth Neural Computation and Psychology Workshop, Connectionist Models of Cognition and Perception II, Aug 28-30, 2003 , Univ Kent Canterbury, Kent, England.

Preview

Bowman, H. and Wyble, B. and Chennu, S. and Craston, P. (2011) Fortunate Conjunctions Revived: Feature Binding with the 2f-ST2 Model. In: Proceedings of the 33rd Annual Conference of the Cognitive Science Society. The full text of this publication is not available from this repository.

Bowman, H. and Wyble, B. and Chennu, Srivas and Craston, P. (2008) A Reciprocal Relationship Between Bottom-up Trace Strength and the Attentional Blink Bottleneck: Relating the LC-NE and ST2 Models. Brain Research, 1202 . pp. 25-42.

Preview

Bowman, H. and Wyble, B.P. (2005) Computational Modelling of the Attentional Blink. In: Proceedings of the Neural Computation and Psychology Workshop.

Preview

Boyle, Roger and Carter, Janet and Clark, Martyn (2002) What makes them succeed? Entry, progression and graduation in Computer Science. Journal of Further and Higher Education, 26 (1). pp. 3-18. ISSN 0309-877X.

Preview

Brassel, Bernd and Chitil, Olaf and Hanus, Michael and Huch, Frank (2004) Observing Functional Logic Computations. In: Proc. of the Sixth International Symposium on Practical Aspects of Declarative Languages (PADL'04), JUN 18-19, 2004, Dallas, TX, .

Preview

Brauer, J''org and King, Andy (2012) Transfer Function Synthesis without Quantifier Elimination. Logical Methods in Computer Science, 8 (2012). The full text of this publication is not available from this repository.

Brauer, J''org and King, Andy and Kowalewski, Stefan (2012) Abstract Interpretation of Microcontroller Code: Intervals meet Congruences. Science of Computer Programming, 77 . The full text of this publication is not available from this repository.

Brauer, Jorg and King, Andy (2011) Approximate Quantifier Elimination for Propositional Boolean Formulae. In: Third NASA Formal Methods Symposium. The full text of this publication is not available from this repository.

Brauer, Jorg and King, Andy (2010) Automatic Abstraction for Intervals using Boolean Formulae. In: Seventeenth International Static Analysis Symposium. The full text of this publication is not available from this repository.

Brauer, Jorg and King, Andy (2011) Transfer Function Synthesis without Quantifier Elimination. In: Twentieth European Symposium on Programming. The full text of this publication is not available from this repository.

Brauer, Jorg and King, Andy and Kowalewski, Stefan (2010) Range Analysis of Microcontroller Code Using Bit-Level Congruences. In: Formal Methods for Industrial Critical Systems. The full text of this publication is not available from this repository.

Brauer, Jorg and King, Andy and Kriener, Jael (2011) Existential Quantification as Incremental SAT. In: Twenty Third International Conference on Computer Aided Verification. The full text of this publication is not available from this repository.

Briscoe-Smith, C. (2000) Behavioural Subtyping in Process Algebra. PhD thesis, University of Kent at Canterbury.

Brito, P.H.S. and de Lemos, R. and Martins, E. and Rubira, C.M.F. (2007) Verification and Validation of a Fault-Tolerant Architectural Abstraction. In: Supplemental Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2007), June 2007, Edinburgh, Scotland. The full text of this publication is not available from this repository.

Brito, P.H.S. and de Lemos, R. and Martins, E. and Moraes, R. and Rubira, C.M.F. (2009) Architectural-Based Validation of Fault-Tolerant Software. In: Fourth Latin-American Symposium on Dependable Computing (LADC 09)., 1st - 4th September, 2009, Joao Pessoa, PB, Brazil. The full text of this publication is not available from this repository.

Brito, P.H.S. and de Lemos, R. and Rubira, C.M.F. (2008) Development of Fault-Tolerant Software Systems Based on Architectural Abstractions. In: Second European Conference on Software Architecture (ECSA 2008), 29th September - 1st October, 2008, Paphos, Cyprus. The full text of this publication is not available from this repository.

Brito, P.H.S. and de Lemos, R. and Rubira, C.M.F. (2008) Verification of Exception Control Flows and Handlers Based on Architectural Scenarios. In: 11th IEEE High Assurance Systems Engineering Symposium (HASE 2008), 3rd - 5th December, 2008, Nanjing, China. The full text of this publication is not available from this repository.

Brodlie, K. and Blechschmied, H. and Fairbairn, D. and Kemp, Z.P. and Schroeder, M. (2005) Connecting People, Data and Resources. In: Dykes, J. and MacEachren, A. and Kraak, M.J., eds. Exploring Geovisualization. Pergamon. ISBN 978-0080445311. The full text of this publication is not available from this repository.

Brostoff, Sacha and Sasse, M. Angela and Chadwick, David W. and Cunningham, James and Mbanaso, Uche and Otenko, Sassa (2005) 'R-What?' Development of a role-based access control policy-writing tool for e-Scientists. Software: Practice and Experience, 35 (9). pp. 835-856. ISSN 0038-0644. The full text of this publication is not available from this repository.

Brostoff, Sacha and Sassea, M.Angela and Chadwick, David W. and Cunningham, James and Mbanaso, Uche and Otenko, O. (2004) RBAC What? Development of a Role-Based Access Control Policy Writing Tool for E-Scientists. In: Workshop on Grid Security Practice and Experience, Oxford, UK.

Preview

Brown, H. and Cole, F.C. and Oxborrow, E.A. (1993) An Object-Oriented Toolkit for ODA and HyperODA. In: Proceedings of SigDoc'93. The full text of this publication is not available from this repository.

Brown, H. and Utting, I.A. (1992) Teaching Electronic Publishing to Computer Scientists. Electronic Publishing - Origination, Dissemination and Design, 5 (2). pp. 91-96. ISSN 0894-3982. The full text of this publication is not available from this repository.

Brown, H. and Utting, I.A. (1992) Teaching Electronic Publishing to Computer Scientists. In: Teaching Electronic Publishing: Proceedings of TEP'92. The full text of this publication is not available from this repository.

Brown, P.J. (1990) Assessing the Quality of Hypertext Documents (keynote address to ECHT''90). In: Rizk, A., ed. Hypertext: Concepts, Systems and Applications. Cambridge University Press, pp. 1-12. The full text of this publication is not available from this repository.

Brown, P.J. (1974) Macro Processors and Techniques for Portable Software. Wiley The full text of this publication is not available from this repository.

Brown, P.J. (1982) Pascal from BASIC. Addison-Wesley The full text of this publication is not available from this repository.

Brown, P.J. (1984) Starting with UNIX. Addison-Wesley The full text of this publication is not available from this repository.

Brown, P.J. (1995) Taking a Stroll down Babel Street. In: Davidson, A., ed. Humor the Computer. MIT Press, Cambridge, Mass., pp. 165-168. The full text of this publication is not available from this repository.

Brown, P.J. (1996) The Stick-e Document: a Framework for Creating Context-aware Applications. In: Proceedings of EP''96, Palo Alto. The full text of this publication is not available from this repository.

Brown, P.J. (1992) UNIX GUIDE: Lessons from Ten Years'' Development. In: Lucarella, D., ed. Proceedings of the ACM conference on Hypertext. ACM Press, New York, pp. 63-70. The full text of this publication is not available from this repository.

Brown, P.J. (1986) Viewing Documents on a Screen. In: Lambert, Steve and Ropiequet, Suzanne, eds. CD ROM: the New Papyrus. Microsoft Press, Redmond, Wa., pp. 175-184. The full text of this publication is not available from this repository.

Brown, P.J. (1979) Writing Interactive Compilers and Interpreters. Wiley The full text of this publication is not available from this repository.

Brown, P.J. and Bovey, J.D. and Chen, X. (1997) Context-aware Applications: from the Laboratory to the Marketplace. IEEE Personal Communications, 4 (5). pp. 58-64. ISSN 1070-9916 . The full text of this publication is not available from this repository.

Brown, P.J. and Brown, H. (1995) Embedded or Separate Hypertext Mark-up: is it an Issue? EP--odd, 8 (1). pp. 1-13. The full text of this publication is not available from this repository.

Brown, P.J. and Welch, P.H. (1984) Compiler Servers for the Cambridge Ring. The Coordinated Programme of Research in Distributed Computing Systems (1977..1984) -- Final Report (SERC) . The full text of this publication is not available from this repository.

Brown, Christopher and Li, Huiqing and Thompson, Simon (2010) An Expression Processor: A Case Study in Refactoring Haskell Programs. In: Eleventh Symposium on Trends in Functional Programming. The full text of this publication is not available from this repository.

Brown, Christopher and Thompson, Simon (2010) Clone Detection and Elimination for Haskell. In: PEPM'10: Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation. The full text of this publication is not available from this repository.

Brown, Christopher and Thompson, Simon (2007) Refactorings that Split and Merge Programs. In: Draft Proceedings of the 19th International Symposium on Implementation and Application of Functional Languages, IFL 2007, 27th-29th September 2007, Freiburg, Germany .

Preview

Brown, H. (1997) Active Alice: Active Paper for Active Learning. In: Proceedings of ALT-C 97. The full text of this publication is not available from this repository.

Brown, H. (1993) Desktop Publishing. In: Ralston, A. and Reilly, E.D., eds. Encyclopedia of Computer Science. Van Nostrand Reinhold, pp. 426-429. ISBN 0-442-27679-6. The full text of this publication is not available from this repository.

Brown, H. and Cole, F.C. (1992) Editing Structured Documents: Problems and Solutions. Electronic Publishing - Origination, Dissemination and Design, 5 (4). pp. 209-216. ISSN 0894-3982. The full text of this publication is not available from this repository.

Brown, H. and Cole, F.C. (1993) ODA extensions for quality and flexibility. In: Evans, C.D. and Walker, R.S. and Meek, B.L., eds. User Needs in Information Technology Standards. Computer Weekly Professional Series . Butterworth-Heinemann, pp. 148-160. ISBN 0 7506 1559 1. The full text of this publication is not available from this repository.

Brown, H. and Cole, F.C. and Kemp, Z.P. and Li, N. (2004) Browsing Agents: Automated Browsing of Distributed Information. In: King, P. and Munson, E.W., eds. Digital Documents: Systems and Principles. LNCS, 2023. Springer-Verlag pp. 203-222. ISBN 3-540-21070-9. The full text of this publication is not available from this repository.

Brown, H. and Harding, R.K. and Lay, S. and Robinson, P. and Sheppard, D. and Watts, R. (1998) Active Alice: Using Real Paper to Interact with Electronic Text. In: Hersch, R.D. and Andre, J. and Brown, H., eds. Electronic Publishing, Artistic Imaging, and Digital Typography. Lecture Notes in Computer Science (1375). Springer-Verlag, pp. 407-419. ISBN ISBN 3-540-64298-6. The full text of this publication is not available from this repository.

Brown, H. and Harding, R.K. and Lay, S. and Robinson, P. and Sheppard, D. and Watts, R. (1998) Active Paper for Active Learning. ALT-J, 6 (1). pp. 95-101. ISSN 0968-7769. The full text of this publication is not available from this repository.

Brown, H. and Robinson, P. (1999) Integrating Paper and Digital Documents. In: Vince, J.A. and Earnshaw, R.A., eds. Digital media: the future. Springer Verlag. ISBN 1-85233-246-8. The full text of this publication is not available from this repository.

Brown, H. and Wusteman, J. (1996) Acrobat, Mosaic and Guide as Vehicles for Electronic Journals. In: Rae Earnshaw, H. and Vince, J., eds. Digital Media and Electronic Publishing. Academic Press, pp. 65-89. ISBN 0-12-227756-2. The full text of this publication is not available from this repository.

Brown, H. and Wusteman, J. (1995) Acrobat, Mosaic and Guide as vehicles for Electronic Journals. The New Review of Information Networking, 1 . pp. 33-60. ISSN 1361-4576. The full text of this publication is not available from this repository.

Brown, H. and Wusteman, J. (1995) Electronic journals using Guide. In: Electronic Library and Visual Information Research: ELVIRA 2. The full text of this publication is not available from this repository.

Brown, N.C.C. (2009) Auto-Mobiles: Optimised Message-Passing. In: Communicating Process Architectures 2009.

Preview

Brown, N.C.C. (2009) Automatically Generating CSP Models for Communicating Haskell Processes. In: UNSPECIFIED. The full text of this publication is not available from this repository.

Brown, N.C.C. (2009) Automatically Generating CSP Models for Communicating Haskell Processes. In: UNSPECIFIED.

Preview

Brown, N.C.C. (2007) C++CSP2: A Many-to-Many Threading Model for Multicore Architectures. In: Communicating Process Architectures 2007, 2007.

Preview

Brown, N.C.C. (2011) Combinators for Message-Passing in Haskell. In: Practical Aspects of Declarative Languages. Lecture Notes in Computer Science, 6359. Springer-Verlag Berlin / Heidelberg pp. 19-33.

Preview

Brown, N.C.C. (2011) Communicating Haskell Processes. PhD thesis, University of Kent.

Preview

Brown, N.C.C. (2008) Communicating Haskell Processes: Composable Explicit Concurrency Using Monads. In: Communicating Process Architectures 2008.

Preview

Brown, N.C.C. (2010) Conjoined Events. In: Advances in Message Passing 2010.

Preview

Brown, N.C.C. (2006) Rain VM: Portable Concurrency through Managing Code. In: Communicating Process Architectures 2006.

Preview

Brown, N.C.C. (2006) Rain: A New Concurrent Process-Oriented Programming Language. In: Communicating Process Architectures 2006.

Preview

Brown, N.C.C. and Kölling, Michael (2012) Position Paper: Programming Can Deepen Understanding Across Disciplines. In: AECRICT 2012: Addressing Educational Challenges: the role of ICT.

Preview

Brown, N.C.C. and Kölling, Michael and Crick, Tom and Humphreys, Simon and Jones, Simon Peyton and Sentance, Sue (2013) Bringing Computer Science Back Into Schools: Lessons from the UK. In: SIGCSE 2013.

Preview

Brown, N.C.C. and Sampson, A.T. (2008) Matching and Modifying with Generics. In: Trends in Functional Programming (TFP) 2008.

Preview

Brown, N.C.C. and Sampson, Adam T. (2009) Alloy: Fast Generic Transformations for Haskell. In: Haskell '09: Proceedings of the 2009 ACM SIGPLAN Haskell Symposium.

Preview

Brown, N.C.C. and Smith, M.L. (2008) Representation and Implementation of CSP and VCR Traces. In: Communicating Process Architectures 2008, Sep 07-10, 2008, York, England.

Preview

Brown, N.C.C. and Smith, Marc L. (2009) Relating and Visualising CSP, VCR and Structural Traces. In: Communicating Process Architectures 2009.

Preview

Brown, N.C.C. and Stevens, Phil and Kölling, Michael (2010) Greenroom: a teacher community for collaborative resource development. UNSPECIFIED. The full text of this publication is not available from this repository.

Brown, N.C.C. and Welch, P.H. (2003) An Introduction to the Kent C++CSP Library. In: Communicating Process Architectures 2003, SEP 07-10, 2003 , UNIV Twente, Enschde, Nederlands.

Preview

Brown, P.J. (1996) Building Novel Software: the Researcher and the Market-place. In: Milner, R. and Wand, I., eds. Computing Tomorrow: Future Directions in Computer Science. Cambridge University Press, pp. 21-32.

Preview

Preview

Brown, P.J. (1998) Triggering information by context. Personal Technologies, 2 (1). pp. 1-9. ISSN 0949-2054.

Preview

Brown, Peter J. and Jones, Richard (1992) Marking EP coursework using electronic communication. Electronic Publishing: Origination, Dissemination and Design, 5 (2). The full text of this publication is not available from this repository.

Brown, Peter.J. (1998) Some Lessons for Location-aware Applications. In: Proceedings of first workshop on HCI for mobile devices. Glasgow University pp. 58-63.

Bryans, J.W. and Davies, J.W. and Schneider, S.A. (1994) Real-time CSP and ET-LOTOS. Technical report. Reading University, Presented at the COST 247 WG 6.1 working group meeting in Brighton The full text of this publication is not available from this repository.

Bryans, J.W. and Davies, J.W. and Schneider, S.A. (1995) Towards a Denotational Semantics for Timed LOTOS. In: Lecture Notes in Computer Science 962. The full text of this publication is not available from this repository.

Bryans, J. and Bowman, H. and Derrick, J. (2003) Model Checking Stochastic Automata. ACM Transactions on Computational Logic, 4 (4). pp. 452-492. ISSN 1529-3785. The full text of this publication is not available from this repository.

Bryans, J.W. and Blair, L. and Bowman, H. and Derrick, John (2000) Specification and Analysis of Automata-based Designs. In: Grieskamp, W. and Stanten, T. and Stoddart, B., eds. Integrated Formal Methods: Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 2000. Proceedings. Lecture Notes in Comuter Science, 1945. Springer pp. 176-193. ISBN 3-540-41196-8.

Preview

Preview

Bryans, J.W. and Bowman, H. and Derrick, J. (2000) A Model Checking Algorithm for Stochastic Systems. Technical report. University of Kent, Canterbury, Kent

Preview

Preview

Bryans, J.W. and Derrick, J. (1999) Stochastic specification and verification. In: 3rd Irish Workshop in Formal Methods.

Preview

Preview

Buchberger, Bruno and Craciun, Adrian and Jebelean, Tudor and Kovacs, Laura and Temur, Kutsia and Koji, Nakagawa and Piroi, Florina and Popov, Nikolaj and Robu, Judit and Rosenkranz, Markus and Windsteiger, Wolfgang (2006) Theorema: Towards computer-aided mathematical theory exploration. Journal of Applied Logic, 4 (4). pp. 470-504. ISSN 1570-8683. The full text of this publication is not available from this repository.

Buchberger, Bruno and Regensburger, Georg and Rosenkranz, Markus and Tec, Loredana (2008) General polynomial reduction with Theorema functors: Applications to integro-differential operators and polynomials. ACM Communications in Computer Algebra, 42 (3). pp. 135-137. ISSN 1932-2240 . The full text of this publication is not available from this repository.

Buckner, Ian (1997) UKC ANSAware Survival Guide. Technical report. University of Kent at Canterbury, Computing Laboratory , Computing Laboratory, University of Kent at Canterbury, Canterbury, CT2 7NF

Preview

Preview

Buckner, Ian (1997) UKC ANSAware Survival Guide (for Modula-3). Technical report. University of Kent at Canterbury, Computing Laboratory , Computing Laboratory, University of Kent at Canterbury, Canterbury, CT2 7NF

Preview

Preview

Buckner, Ian and Penny, Ian (1997) UKC Orbix Survival Guide. Technical report. University of Kent at Canterbury, Computing Laboratory, University of Kent at Canterbury, Canterbury, CT2 7NF

Preview

Preview

Bujorianu, Manuela L. and Bujorianu, Marius C. (2001) Constructive Foundations of Stochastic Analysis in Linear Logic. In: BCTCS 17 British Colloquium for Theoretical Computer Science. The full text of this publication is not available from this repository.

Bujorianu, Manuela L. and Bujorianu, Marius C. (2004) Extending UML: A Foundational Approach to Heterogeneity. CSD-UMl'04 3rd International Workshop on Critical Systems Development with UML. The full text of this publication is not available from this repository.

Bujorianu, Marius C. (2004) Integration of Specification Languages Using Viewpoints. In: Boiten, E.A. and Derrick, J. and Smith, G., eds. Integrated Formal Methods. Springer pp. 421-440. ISBN 3-540-21377-5. The full text of this publication is not available from this repository.

Bujorianu, Marius C. and Bujorianu, Manuela L. (2001) On the Hilbert Machines Quantitative Computational Model. In: QAPL'01 Workshop on Quantitative Aspects of Programming Laguages. The full text of this publication is not available from this repository.

Bujorianu, Marius C. and Bujorianu, Manuela L. (2001) Order Theoretic Topologies and Hybrid Systems. In: 5th Galway Colloquium on General Topology, 27-29 June 2001, University of Hull. The full text of this publication is not available from this repository.

Bujorianu, Marius C. and Boiten, E.A. (2004) Towards Correspondence Carrying Specifications. In: Rattray, Charles and Maharaj, Savitri and Shankland, Carron, eds. Algebraic Methodology and Software Technology. LNCS, 3116. Springer pp. 57-71. ISBN 3-540-22381-9 . The full text of this publication is not available from this repository.

Bujorianu, Marius C. and Bujorianu, Manuela L. (2001) An Abstract Domain for Probabilistic Hybrid Systems. European Association for Theoretical Computer Science, Bulletin of the European Association for Theoretical Computer Science, Issue 74. The full text of this publication is not available from this repository.

Bujorianu, Marius C. and Bujorianu, Manuela L. (2002) Constructive Potential Theory: A Linear Logic Approach. In: NS 2002 Non-standard Methods and Applications in Mathematics, June 2002, Pisa, Italy. The full text of this publication is not available from this repository.

Bujorianu, Marius C. and Bujorianu, Manuela L. (2002) Constructive Potential Theory: Foundations and Applications. Technical report. University of Kent, Canterbury, Kent, UK

Preview

Preview

Bujorianu, Marius C. and Bujorianu, Manuela L. (2002) Linear Logic: from Stochastic Analysis to Software Testing. In: British colloquium on theoretical computer science 18, 7th-10th April 2002, HP laboratories Bristol . The full text of this publication is not available from this repository.

Bujorianu, Marius C. and Bujorianu, Manuela L. (2001) Logics, Viewpoints and Tests: Towards a Trinity. Other. Computing Laboratory, UKC (Unpublished) The full text of this publication is not available from this repository.

Bujorianu, Marius C. and Maharaj, S. and Bujorianu, Manuela L. (2002) Towards a formalization of viewpoints testing. In: Formal Approaches To Testing of Software 2002 (FATES'02), 24th August 2002, Brno, Czech Republic.

Preview

Burkhard, R.A. and Meier, M. and Rodgers, Peter and Smis, M.T.J. and Stott, J. (2005) Knowledge Visualization: A Comparative Study between Project Tube Maps and Gantt Charts. In: 5th International Conference on Knowledge Management, 29 June - 1 July 2005, Graz, Austria.

Preview

Burton, C.T. and Cook, S.J. and Gikas, S. and Rowson, J.R. and Sommerville, S.T. (1989) Specifying the Apple Macintosh Toolbox Event Manager. Formal Aspects of Computing, 1 . The full text of this publication is not available from this repository.

Butterfield, A. and Woodcock, J.C.P. (2002) Semantics of Prialt in Handel-C. In: Concurrent Systems Engineering, Proceedings of the Conference on Communicating Processing Architectures. The full text of this publication is not available from this repository.

Butterfield, Andrew and Woodcock, Jim (2003) An operational semantics for Handel-C. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 80 . pp. 1-16. ISSN 1571-0661. The full text of this publication is not available from this repository.

Bünzli, D. and Capcarrere, M. (2001) Fault-tolerant structures: Towards robust self-replication in a probabilistic environment. In: Kelemen, J. and Sosik, P., eds. Advances in Artificial Life. Lecture notes in Artificial Intelligence, 2159. Springer, Heidelberger Platz 3, D-14197 Berlin, Germany pp. 90-99. ISBN 978-3-540-42567-0. The full text of this publication is not available from this repository.

C

Cakic, Jovan (2003) A High-level Framework for Policy-based Management of Distributed Systems. PhD thesis, Computing Laboratory. The full text of this publication is not available from this repository.

Cameron, Helen and King, Peter and Thompson, Simon (2003) Modelling Reactive Multimedia: Events and Behaviours. Multimedia Tools and Applications, 19 (1). pp. 53-77. ISSN 1380-7501. The full text of this publication is not available from this repository.

Cameron, Helen and King, Peter and Bowman, H. and Thompson, Simon (1998) Synchronization in Multimedia Documents. In: Andre, Jacques, ed. Proceedings of the 7th International Conference on Electronic Publishing, Held Jointly with the 4th International Conference on Raster Imaging and Digital Typography: Electronic Publishing, Artistic Imaging, and Digital Typography. Lecture Notes In Computer Science, 1357. Springer pp. 355-369. ISBN 3-540-64298-6 .

Preview

Preview

Camilleri, Juanito and Zammit, Vincent (1994) Symbolic Animation as a Proof Tool. In: Proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and its Applications, Valletta, Malta. The full text of this publication is not available from this repository.

Campos, Marcília A. and da Silva, Erick Lopes and de Carvalho Pedrosa, Diogo and de Castro e Silva, Jorge Luiz and Loureiro, Janine A. and Ferraz, Carlos A.G. (2004) NetBook: uma ferramenta para avaliação de desempenho de sistemas de comunicação. In: Proceedings of the 22nd Brazilian Symposium on Computer Networks - III Tools Special Session, May 2004 , Gramado/RS, .

Preview

Capcarrere, M. and Tomassinin, M. and Sipper, M. (1996) A r=1 two-state Cellular Automata that Classifies Density. Physical Review Letters, 77 (24). pp. 4969-4971. The full text of this publication is not available from this repository.

Capcarrere, M. (2003) An Evolving Ontogenetic Cellular System for Better Adaptiveness. BioSystems, 76 (1-3). pp. 177-189. ISSN 0303-2647. The full text of this publication is not available from this repository.

Capcarrere, M. (2002) Evolution of Asynchronous Cellular Automata. In: The seventh Conference on Parallel Problem Solving From Nature, PPSN 2002, September 7-11, 2002, Granada, Spain. The full text of this publication is not available from this repository.

Capcarrere, M. (2002) Evolving Asynchronous Cellular Automata: Finding the good compromise. In: Genetic and Evolutionary Computation COnference, GECCO 2002, 9-13 July 2002, New York City, USA. The full text of this publication is not available from this repository.

Capcarrere, M. and Sipper, M. (2001) Necessary Conditions for Density Classification by Cellular Automata. Physical Review E, 64 (3 (2)). ISSN 1063-651X . The full text of this publication is not available from this repository.

Capcarrere, M. and Tettamanzi, A. and Tommassini, M. and Sipper, M. (1999) A Statistical Study of a Class of Cellular Evolutionary Algorithms. Evolutionary Computation, 7 (3). pp. 255-274. The full text of this publication is not available from this repository.

Capcarrere, M. and Tettamanzi, A. and Tomassini, M. and Sipper, M. (1998) Studying Parallel Evolutionary Algorithms: The cellular Programming Case. In: Parallel Problem Solving from Nature V.

Preview

Carter, J. and Jenkins, T. (1999) Gender and programming: What's going on? In: ITICSE '99: Proceedings of the 4th Annual SIGCSE/SIGCUE Conference on Innovation and Technology in Computer Science Education. SIGCSE Bulletin : A Quarterly Publication of the Special Interest Group on Computer Science Education, 31. Assoc Computing Machinery, Cracow, Poland pp. 1-4. ISBN 1-58113-087-2. The full text of this publication is not available from this repository.

Carter, Janet (2002) Diary of a Programming Assignment. In: Proceedings of the 2nd 1-day conference on the teaching of programming, May 2002, Wolverhampton. The full text of this publication is not available from this repository.

Carter, Janet (2001) Students' Preconceptions of Computing. In: Proceedings of ICEE 2001. The full text of this publication is not available from this repository.

Carter, Janet (2001) What do the students do when they work on Programming assignments? In: 1st LTSN-ICS one day conference on the teaching of Programming, 2nd April 2001 , Leeds. The full text of this publication is not available from this repository.

Carter, Janet and Benest, Ian and Chandler, Jane (2006) E-learning - the Students' Choice? In: Proceedings of 7th Annual HE Academy - ICS conference. The full text of this publication is not available from this repository.

Carter, Janet and Boyle, Roger (2000) Teaching Delivery Issues - Lessons from Computer Science. In: 25th International IUT conference proceedings. The full text of this publication is not available from this repository.

Carter, Janet and Efford, Nick and Jamieson, Stefan and Jenkins, Tony and White, Su (2008) Taxing our best students. ITALICS, 7 (1). pp. 120-127. ISSN 1473-7507. The full text of this publication is not available from this repository.

Carter, Janet and English, John and Ala-Mutka, Kirsti and Dick, Martin and Fone, William and Fuller, Ursula and Sheard, Judy (2003) How Shall We Assess This? ACM SIGCSE Bulletin, 35 (4). pp. 107-123. ISSN 0097-8418. The full text of this publication is not available from this repository.

Carter, Janet and Fraser, Karen and Jenkins, Tony and Lang, Catherine and Kurkovsky, Stanislav and Tymann, Paul (2009) Participation Rates in CS: One International Issue or a Multiplicity of National Ones? In: Proceedings of 10th Annual Conference of the subject centre for Information and Computer Sciences. The full text of this publication is not available from this repository.

Carter, Janet and Jenkins, Tony (2001) Arresting the Decline: how can we encourage female students back into Computer Science. In: Proceedings of Higher Education Close Up 2 international research conference, Lancaster. The full text of this publication is not available from this repository.

Carter, Janet and Jenkins, Tony (2000) Gender Differences in Learning to Program. Computing Research News, 12 (2). ISSN ISSN 1069-384X. The full text of this publication is not available from this repository.

Carter, Janet and Jenkins, Tony (2002) Gender Differences in Programming? In: Proceedings of 7th annual ITiCSE conference, 24-28 June 2002, Arrhus, Denmark. The full text of this publication is not available from this repository.

Carter, Janet and Jenkins, Tony (2002) Spot the Difference: Are there gender differences in coding style? In: Proceedings of 3rd Annual LTSN-ICS conference. The full text of this publication is not available from this repository.

Carter, Janet and Jenkins, Tony (2001) Where have all the girls gone? What Entices Female Students to Apply for Computer Science Degrees. In: Proceedings of 2nd annual LTSN-ICS conference. The full text of this publication is not available from this repository.

Carter, Janet and Tardivel, Jill (2001) Email Seminars and Student Scaffolding. Technical report. UKC, University of Kent at Canterbury

Carter, J and Bouvier, D and Cardell-Oliver, R and Hamilton, M and Kurkovsky, S and Markham, S and McClung, OW and McDermott, R and Riedesel, C and Shi, J and White, S (2011) Motivating All our Students? 2011 SIGCSE conference proceedings and publications, 43 . pp. 182-196. ISSN 978-1-4503-1146-5. The full text of this publication is not available from this repository.

Carter, Janet (2001) Arresting the Decline: conversations with female CS undergraduates. Technical report. Computing Laboratory, University of Kent (Unpublished)

Preview

Carter, Janet (1999) Profile of a Cohort - A statistical profile of the 1997 CS entry. Technical report.

Preview

Preview

Carter, Janet (2000) Profile of the July 1999 UKC CS Graduates. Technical report. University of Kent

Preview

Carter, Janet (2002) The Value of Guided Revision. Technical report. Computing Laboratory, University of Kent, Canterbury, CT2 7NF, UK.

Preview

Carter, Janet (2004) The Value of Guided Revision. In: Proceedings of 5th Annual Conference of the Subject Centre for Information and Computer Sciences, August 2004, Ulster, .

Preview

Carter, Janet (2010) What are the important gender related issues in computing at present? Computer Science Education, 20 (4). pp. 182-196. ISSN 0899-3408. The full text of this publication is not available from this repository.

Carter, Janet and Boyle, Roger (2002) Teaching Delivery Issues: Lessons from Computer Science. Journal of Information Technology Education, 1 (2). pp. 65-90. ISSN 1547-9714.

Preview

Carter, Janet and Efford, Nick and Jamieson, Stephan and Jenkins, Tony and White, Su (2007) The TOPS project - teaching our over-performing students. In: Proceedings of the 8th Annual HE Academy - ICS conference, 2007.

Preview

Carter, Janet and Jenkins, Tony (2010) The problems of Teaching Programming: Do They Change with Time? In: Proceedings of 11th Annual HEA-ICS conference. The full text of this publication is not available from this repository.

Carter, Janet and Tardivel, Jill and Fincher, Sally and Fuller, Ursula and Johnson, Colin G. and Linington, Janet and Utting, Ian (2001) Portrait of 2000/01 Part I Assessments, Part 1: Statistical Analysis. Technical report. UKC, University of Kent at Canterbury

Carter, Janet and White, Su and Fraser, Karen and Kurkovsky, Stanislav and McCreesh, Colette and Wieck, Malcolm (2010) Motivating our top students. ITiCSE-WGR '10: Proceedings of the 2010 ITiCSE working group reports . pp. 29-47. ISSN 978-1-4503-0677-5. The full text of this publication is not available from this repository.

Carvalho, D.E. and Freitas, A.A. (2000) A Genetic Algorithm-based Solution for the Problem of Small Disjuncts. In: Principles of Data Mining and Knowledge Discovery (Proceedings of the 4th European Conference PKDD-2000, Lyon, France), September 13-16, 2000, Lyon, France. The full text of this publication is not available from this repository.

Carvalho, D.R and Freitas, A.A. (2002) A genetic algorithm for discovering small disjunct rules in data mining. Applied Soft Computing, 2 (2). pp. 75-88. ISSN 1568-4946. The full text of this publication is not available from this repository.

Carvalho, D.R. and Avila, B.C. and Freitas, A.A. (1999) A hybrid genetic algorithm/decision tree approach for coping with unbalanced classes. In: Proceedings of the 3rd International Conference on the Practical Applications of Knowledge Discovery and Data Mining (PADD-99). The full text of this publication is not available from this repository.

Carvalho, D.R and Freitas, A.A. (2004) A hybrid decision tree/genetic algorithm method for data mining. Information Sciences, 163 (1-3). pp. 13-35. ISSN 0020-0255.

Preview

Carvalho, D.R. and Freitas, A.A. (2002) A genetic algorithm with sequential niching for discovering small-disjunct rules. In: Proceedings Genetic and Evolutionary Computation Conference (GECCO-2002), 9-13 July 2002. The full text of this publication is not available from this repository.

Carvalho, D.R. and Freitas, A.A. (2000) A hybrid decision tree/genetic algorithm for coping with the problem of small disjuncts in data mining. In: Proc. Genetic and Evolutionary Computation Conf (GECCO-2000). The full text of this publication is not available from this repository.

Carvalho, D.R. and Freitas, A.A. (2001) An Immunological Algorithm for Discovering Small-disjunct Rules in Data Mining. In: Proc Graduate Student Workshop at GECCO-2001, San Francisco, USA. The full text of this publication is not available from this repository.

Carvalho, D.R. and Freitas, A.A. (2005) Evaluating six candidate solutions for the small-disjunct problem and choosing the best solution via meta-learning. Artificial Intelligence Review, 24 (1). pp. 61-98. ISSN 0269-2821. The full text of this publication is not available from this repository.

Carvalho, D.R. and Freitas, A.A. (2002) New results for a hybrid decision tree/genetic algorithm for data mining. In: Lofti, A. and Garibaldi, J. and John, R., eds. Applications and Science in Soft Computing (Advances in Soft Computing) (Advances in Intelligent and Soft Computing). Advances in Intelligent and Soft Computing, 1. Springer, Berlin pp. 260-265. ISBN 978-3540408567. The full text of this publication is not available from this repository.

Carvalho, D.R. and Freitas, A.A. and Ebecken, N. (2003) A critical review of rule surprisingness measures. In: Ebecken, N. and Brebbia, C.A. and Zanasi, A., eds. Managment Information Systems. WIT Press pp. 545-556. ISBN 1-85312-806-6. The full text of this publication is not available from this repository.

Carvalho, D.R. and Freitas, A.A. and Ebecken, N. (2005) Evaluating the correlation between objective rule interestingness measures and real human interest. In: Jorge, A. and Torgo, L. and Brazdil, P. and Camacho, R. and Gama, J., eds. Knowledge discovery in databases -- PKDD 2005. Lecture Notes in Artificial Intelligence - LNAI, 3721. Springer Verlag pp. 453-461. ISBN 978-3540292449. The full text of this publication is not available from this repository.

Carvalho, P. and Linington, P.F. (1998) Performance limitations of a Banyan-based ATM switching system under multiple, shaped traffic flows. In: 16th IASTED International Conference on Applied Informatics, Garmisch-Partenkirchen, Germany, Garmisch-Partenkirchen, Germany. The full text of this publication is not available from this repository.

Caspersen, Michael E. and Kölling, Michael (2006) A Novice's Process of Object-Oriented Programming. In: Dynamic Languages Symposium. ACM pp. 892-900. ISBN 1-59593-491-X.

Preview

Caspersen, Michael E. and Kölling, Michael (2009) STREAM: A First Programming Process. Transactions of Computing Education, 1 (1).

Preview

Castle, Tom and Johnson, C. G. (2010) Positional Effect of Crossover and Mutation in Grammatical Evolution. In: Proceedings of the 13th European Conference on Genetic Programming, EuroGP 2010. The full text of this publication is not available from this repository.

Castle, Tom and Johnson, Colin G. (2012) Evolving High-Level Imperative Program Trees with Strongly Formed Genetic Programming. In: Proceedings of the 15th European Conference on Genetic Programming, EuroGP 2012. The full text of this publication is not available from this repository.

Castle, Tom and Johnson, Colin G. (2012) Evolving Program Trees with Limited Scope Variable Declarations. In: Proceedings of the 2012 IEEE Congress on Evolutionary Computation. The full text of this publication is not available from this repository.

Cattani, Phil T. and Johnson, Colin G. (2010) ME-CGP: Multi Expression Cartesian Genetic Programming. In: Proceedings of the 2010 IEEE World Congress on Computational Intelligence. The full text of this publication is not available from this repository.

Cattani, Phil T. and Johnson, Colin G. (2009) Typed Cartesian Genetic Programming for Image Classification. In: Proceedings of the 2009 UK Workshop on Computational Intelligence. The full text of this publication is not available from this repository.

Cauchi, Abigail and Fenech, Jennifer and Fenech, Karl and Micallef, Luana (2007) KIKI - A Key to the Integration of Knowledge and Innovation. In: CSAW 2007: 5th Computer Science Annual Workshop, Kalkara, Malta.

Preview

Cavalcanti, A.L.C. (2002) Refinement: Object-orientation and Concurrency. In: Proceedings of the 5th Brazilian Workshop on Formal Methods. The full text of this publication is not available from this repository.

Cavalcanti, A.L.C. and Naumann, C. (2002) Forward Simulation for Data Refinement of Classes. In: Eriksson, L. and Lindsay, P.A., eds. FME 2002: Formal Methods - Getting IT Right. Lecture Notes in Computer Science, 1. Springer-Verlag, Berlin pp. 471-490. ISBN 9783540439288. The full text of this publication is not available from this repository.

Cavalcanti, A.L.C. and Naumann, C. (2002) On a Specification-oriented Model for Object-orientation. In: Proceedings of the 6th Brazilian Symposium on Programming Languages, June 5-7, 2002, Rio de Janeiro. The full text of this publication is not available from this repository.

Cavalcanti, A.L.C. and Naumann, D. (1999) A Weakest Precondition Semantics for an Object-oriented Language of Refinement. In: FM'99 - Formal Methods. Lecture Notes in Computer Science, 1709. Springer-Verlag pp. 1439-1459. The full text of this publication is not available from this repository.

Cavalcanti, A.L.C. and Naumann, D.A. (2000) A Weakest Precondition Semantics for Refinement of Object-oriented Programs. IEEE Transactions on Software Engineering, 26 (8). pp. 713-728. ISSN 0098-5589 . The full text of this publication is not available from this repository.

Cavalcanti, A.L.C. and Naumann, D.A. (2001) Class Refinement for Sequential Java. In: ECOOP 2001 Workshop on Formal Techniques for Java Programs. The full text of this publication is not available from this repository.

Cavalcanti, A.L.C. and Naumann, D.A. (2000) Simulation and Class Refinement for Java. In: ECOOP 2000 Workshop on Formal Techniques for Java Programs, June 12, 2000, Sophia Antipolis, France. The full text of this publication is not available from this repository.

Cavalcanti, A.L.C. and Sampaio, A.C.A. and Woodcock, J.C.P. (2003) A Refinement Strategy for Circus. Formal Aspects of Computing, 15 (2-3). pp. 146-181. ISSN 0934-5043. The full text of this publication is not available from this repository.

Cavalcanti, A.L.C. and Sampaio, A. and Woodcock, J.C.P. (1999) An Inconsistency in Procedures, Parameters and Substitution in the Refinement Calculus. Science of Computer Programming, 33 (1). pp. 87-96. ISSN 0167-6423 . The full text of this publication is not available from this repository.

Cavalcanti, A.L.C. and Sampaio, A.C.A (2002) From CPSP-OZ to Java with Processes. In: Proc Workshop on Formal Methods for Parallel Programming held in conjunction with International Parallel and Distributed Processing Symp. The full text of this publication is not available from this repository.

Cavalcanti, A.L.C. and Sampaio, A.C.A and Woodcock, J.C.P. (2003) A unified language of classes and processes. In: St Eve: State-Oriented vs. Event-Oriented Thinking in Requirements Analysis, Formal Specification and Software Engineering. , Satellite Workshop at FM'03 The full text of this publication is not available from this repository.

Cavalcanti, A.L.C. and Sampaio, A.C.A and Woodcock, J.C.P. (2002) Refinement of Actions in Circus. In: Proceedings of REFINE'2002, July 2002, Copenhagen, Denmark. The full text of this publication is not available from this repository.

Cavalcanti, A.L.C. and Woodcock, J.C.P. (2002) A Weakest Precondition Semantics for Circus. In: Proceedings of the Communicating Processing Architectures 2002, 15-18 September 2002, University of Reading, United Kingdom. The full text of this publication is not available from this repository.

Cavalcanti, A.L.C. and Woodcock, J.C.P. (2003) Predicate transformers in the semantics of Circus. IEE Proceedings Software, 150 (1). The full text of this publication is not available from this repository.

Cavalcanti, A.L.C. and Woodcock, J.C.P. (1998) ZRC - A Refinement Calculus for Z. Formal Aspects of Computing, 10 (3). pp. 267-289. The full text of this publication is not available from this repository.

Cavalcanti, A.L.C. and Florissi, C. and Soares, PG and Melo, TCS (1987) Implementation of a Relational Language for Microcomputers. In: 7th Conference of the Brazilian Computer Society. The full text of this publication is not available from this repository.

Cavalcanti, A.L.C. and Meira, SRL (1989) Denotational Models of Software Systems. In: 9th Conference of the Brazilian Computer Society. The full text of this publication is not available from this repository.

Cavalcanti, A.L.C. and Sampaio, A. and Woodcock, JCP (1998) Procedures and Recursion in the Refinement Calculus. Journal of the Brazilian Computer Society, 5 (1). pp. 1-15. ISSN 0104-6500. The full text of this publication is not available from this repository.

Cavalcanti, A.L.C. and Woodcock, JCP (1998) A Weakest Precondition Semantics for Z. The Computer Journal, 41 (1). pp. 1-15. ISSN 0010-4620 . The full text of this publication is not available from this repository.

Cavalcanti, A.L.C. and Woodcock, Jim (2004) Angelic Nondeterminism and Unifying Theories of Programming. Technical report. University of Kent

Preview

Cepin, M. and de Lemos, R. and Mavko, B. and Riddle, S. and Saeed, A. (1997) An Object-Based Approach to Modelling and Analysis of Failure Properties. In: Proceedings of the 16th International Conference on Computer Safety, Reliability and Security (SAFECOMP'97).

Preview

Preview

Cerri, R. and de Carvalho, A.C.P.L.F. and Freitas, A.A. (2011) Adapting non-hierarchical multilabel classification methods for hierarchical multilabel classification. Intelligent Data Analysis, 15 (6). pp. 182-196. ISSN 1088467X. The full text of this publication is not available from this repository.

Cesarini, Francesco and Thompson, Simon (2009) Erlang Programming. O'Reilly, 494 pp. ISBN 0-596-51818-8. The full text of this publication is not available from this repository.

Cesarini, Francesco and Thompson, Simon (2010) Erlang Behaviours: Programming With Process Design Patterns. In: Central European Functional Programming School, CEFP 2009. The full text of this publication is not available from this repository.

Cesarini, Francesco and Thompson, Simon (2011) Erlang by Example. UNSPECIFIED. The full text of this publication is not available from this repository.

Chadwick, D.W. (1992) Distributed Aspects of the 1992 Directory Standard. In: Parallel and Distributed Computing in Engineering Systems, North-holland, 1992. The full text of this publication is not available from this repository.

Chadwick, D.W. (1987) FTAM. The Development of a Commercial Product. In: Proceedings of the Open Systems Conference (London). The full text of this publication is not available from this repository.

Chadwick, D.W. (1986) Issues in the Implementation of Application Layer Standards. In: Proceedings of the Open Systems Conference (London). The full text of this publication is not available from this repository.

Chadwick, D.W. (1990) The 1992 Directory Standards - implications for earlier implementations of the Directory. In: Colloquium on the Global Directory, London. The full text of this publication is not available from this repository.

Chadwick, D.W. (1989) The Directory - existing services and proposed enhancements. In: Proceedings of the Open Systems 89 Conference (London). The full text of this publication is not available from this repository.

Chadwick, D.W. (1990) The Directory and its implications for name registration. In: Proceedings of the Open Systems and Interoperability Conference, London. The full text of this publication is not available from this repository.

Chadwick, D.W. (1990) Tutorial on X.500 - The Directory. In: IFIP TCC 3rd Int Conf on Information Network and Data Communication, Lillehammer. The full text of this publication is not available from this repository.

Chadwick, D.W. (1991) X.500: 1988 v 1992. In: Proceedings of the Electronic Directories Conference, London. The full text of this publication is not available from this repository.

Chadwick, D.W. and Pope, N. (1994) Interdomain Guardians in a Distributed Directory Service. In: Information Networks and Data Communications - Proceedings of the IFIP TC6 International Conference on Information Networks and Data Communications, Funchal, Madeira Island, Portugal. The full text of this publication is not available from this repository.

Chadwick, D.W. (1999) Compound (Families of) Entries. UNSPECIFIED. The full text of this publication is not available from this repository.

Chadwick, D.W. (2000) Network Firewall Technologies. In: Schneider, W.S. and Jerman-Blazic, B. and Klobucar, T., eds. Advanced Security Technologies for Insecure Networks. IOS Press, Amsterdam, pp. 149-166. The full text of this publication is not available from this repository.

Chadwick, D.W. (1996) The ICE-TEL Public Key Infrastructure and Trust Model. In: DIMACS Workshop on Trust Management, New York, USA. The full text of this publication is not available from this repository.

Chadwick, D.W. (1996) Understanding X.500 (The Directory). International Thompson Publishing The full text of this publication is not available from this repository.

Chadwick, D.W. and Basden, A. and Evans, J. and Young, A.J. (1998) Intelligent Computation of Trust. In: Terena Networking Conference, TNC98, Dresden, Germany, 5-8 October 1998, Dresden, Germany. The full text of this publication is not available from this repository.

Chadwick, David and Beitis, George and Owen, Gareth (2008) Adding Authorisation to EduRoam. In: TERENA Networking Conference, May, 2008, Brugge, Belgium. The full text of this publication is not available from this repository.

Chadwick, David W. (2003) An Authorisation Interface for the GRID. In: E-Science All Hands Meeting 2003, Nottingham, 2003, Nottingham. The full text of this publication is not available from this repository.

Chadwick, David W. (2001) An X.509 Role Based Privilege Management Infrastructure. In: Cooper, E., ed. Briefing - Global InfoSecurity 2002, World Markets Research Centre Ltd. World Markets Research Centre, London. ISBN 1903150523. The full text of this publication is not available from this repository.

Chadwick, David W. (2007) Coordinated decision making in distributed applications. Information Security Technical Report, Elsevier, 12 (3). pp. 147-154. ISSN 1363-4127. The full text of this publication is not available from this repository.

Chadwick, David W. (2001) Deficiencies in LDAP when used to Support a Public Key Infrastructure. In: Terena Networking Conference, 14-17 May 2001, Antalya, Turkey. The full text of this publication is not available from this repository.

Chadwick, David W. (2003) Deficiencies in LDAP when used to support a Public Key Infrastructure. Communications of the ACM, 46 (3). pp. 99-104. ISSN 0001-0782. The full text of this publication is not available from this repository.

Chadwick, David W. (2005) Security and Trust Management Extensions to the PERMIS X.509 Privilege Management Infrastructure. ERCIM News, 63 . The full text of this publication is not available from this repository.

Chadwick, David W. (2003) The X.509 Privilege Management Infrastructure. In: Jerman-Blazic, B. and Schneider, W. and Klobucar, T., eds. Proceedings of the NATO Advanced Networking Workshop on Advanced Security Technologies in Networking, Bled, Slovenia. IOS Press, p. 1525. The full text of this publication is not available from this repository.

Chadwick, David W. (2005) The X.509 Privilege Management Standard. UPGRADE: The European Journal for the Informatics Professional, VI (4). pp. 41-46. ISSN 1684-5285. The full text of this publication is not available from this repository.

Chadwick, David W. (2007) Unifying Grid and Organisational Security Mechanisms. In: Xiao, Yang, ed. Security in Distributed, Grid, and Pervasive Computing. Auerbach Publications, CRC Press, United States, pp. 239-254. ISBN 9780849379215. The full text of this publication is not available from this repository.

Chadwick, David W. and Basden, A. (2001) Evaluating Trust in a Public Key Certification Authority. Computers and Security, 20 (7). pp. 592-611. ISSN 0167-4080. The full text of this publication is not available from this repository.

Chadwick, David W. and Mundy, D. (2003) Policy Based Electronic Transmission of Prescriptions. In: 4th IEEE International Workshop on Policies for Distributed Systems and Networks, JUN 04-06, 2003, LAKE COMO, ITALY. The full text of this publication is not available from this repository.

Chadwick, David W. and Mundy, D. and New, J. (2003) Experiences of Using a PKI to Access a Hospital Information System by High Street Opticians. Computer Communications special edition on PKI, 26 (16). pp. 1893-1903. ISSN 0140-3664. The full text of this publication is not available from this repository.

Chadwick, David W. and Otenko, A. (2003) The PERMIS X.509 Role Based Privilege Management Infrastructure. Future Generation Computer Systems, 19 (2). pp. 277-289. ISSN 0167-739X . The full text of this publication is not available from this repository.

Chadwick, David W. and Otenko, O. (2003) A Comparison of the Akenti and PERMIS Authorization Infrastructures in Ensuring Security in IT Infrastructures. In: El-Hadidi, M.T., ed. Proceedings of the ITI First International Conference on Information and Communications Technology (ICICT 2003) Cairo University. pp. 5-26. The full text of this publication is not available from this repository.

Chadwick, David W. and Otenko, Olexandre and Hunter, David and Leoni, Cristiano (2002) Privilege Management for E-Construction. In: Proc European Conf on Information and Communication Technology Advances and Innovation in the Knowledge Society, Part B, 2002, University of Salford, UK.. The full text of this publication is not available from this repository.

Chadwick, David W. and Sahalayev, M. and Ball, E. (2003) Modifying LDAP to Support PKIs. In: INTERNATIONAL FEDERATION FOR INFORMATION PROCESSING. KLUWER ACADEMIC PUBLISHERS, 101 PHILIP DRIVE, ASSINIPPI PARK, NORWELL, MA 02061 USA pp. 205-214. ISBN 1-4020-8069-7. The full text of this publication is not available from this repository.

Chadwick, David W. and Sahalayev, M.V. (2003) Internet X.509 Public Key Infrastructure LDAP Schema for X.509 Attribute Certificates. Internet Draft. The full text of this publication is not available from this repository.

Chadwick, David W. and Sahalayev, M.V. (2003) Internet X.509 Public Key Infrastructure LDAP Schema for X.509 CRLs. INTERNET-DRAFT. The full text of this publication is not available from this repository.

Chadwick, David W. and Su, L. and Otenko, O. and Laborde, R. (2006) Co-ordination between Distributed PDPs. In: Burgess, M. and Wijesekera, D., eds. Seventh IEEE International Workshop on Policies for Distributed Systems and Networks, Proceedings. IEE Computer Society, Washington, DC (USA) pp. 163-172. ISBN 0-7695-2598-9. The full text of this publication is not available from this repository.

Chadwick, D. (2000) Windows 2000: A Threat to Internet Diversity and Open Standards? IEEE Computer, 33 (8). pp. 107-109. ISSN 0018-9162.

Preview

Chadwick, D.W. (1996) A Method for Collecting Case Study Information via the Internet. IEEE Network, 10 (2). pp. 36-38.

Preview

Chadwick, D.W. (1996) Important Lessons Derived from X.500 Case Studies. IEEE Network, 10 (2). pp. 22-34.

Preview

Chadwick, D.W. (2000) Secure Directories. In: Jerman-Blazic, B. and Schneider, W.S. and Klobucar, T., eds. Advanced Security Technologies for Insecure Networks. IOS Press, Amsterdam, pp. 123-131.

Preview

Chadwick, D.W. (1999) Smart Cards Aren't Always the Smart Choice. IEEE Computer, 32 (12). pp. 142-143. ISSN 0018-9162.

Preview

Chadwick, D.W. (1996) The Internet Directory is NOT Primarily a Technology Issue. In: INET 96 Conference, Montreal, Canada.

Preview

Chadwick, D.W. and Cook, P.J. and Young, A.J. and McDowell, D.M. and New, J.P. (2000) Using the Internet to Access Confidential Patient Records: A Case Study''. British Medical Journal, 321 . pp. 612-614.

Preview

Chadwick, D.W. and Fatema, K. (2009) An advanced policy based authorisation infrastructure. In: Proceedings of the 5th ACM workshop on Digital identity management, 13 Nov 2009, Chicago.

Preview

Chadwick, D.W. and Fatema, K. (2012) A privacy preserving authorisation system for the cloud. Journal of Computer and System Sciences, 78 (5). pp. 1359-1373. ISSN 0022-0000.

Preview

Chadwick, D.W. and Harvey, S. and New, J. and Young, A.J. (2000) Initial Experiences of Accessing Patient Confidential Data over the Internet using a Public Key Infrastructure. In: Jerman-Blazic, B. and Schneider, W.S. and Klobucar, T., eds. Advanced Security Technologies for Insecure Networks. IOS Press, Amsterdam, pp. 201-209.

Preview

Chadwick, D.W. and Harvey, S. and New, J. and Young, A.J. (2000) Initial Experiences of Building Secure Access to Patient Confidential Data via the Internet. In: Information Security Solutions Europe (ISSE) 2000, Barcelona.

Preview

Chadwick, D.W. and Howes, T. and Wahl, M. (1999) Referrals and Knowledge References in LDAP Directories. UNSPECIFIED.

Preview

Chadwick, D.W. and Tassabehji, R. and Young, A.J. (2000) Experiences of Using a Public Key Infrastructure for the Preparation of Examination Papers. Computers in Education, 35 (1). pp. 1-20.

Preview

Chadwick, D.W. and Young, A.J. (2000) A Directory Application Level Firewall - the Guardian DSA. In: Jerman-Blazic, B. and Schneider, W.S. and Klobucar, T., eds. Advanced Security Technologies for Insecure Networks. IOS Press, Amsterdam, pp. 133-147.

Preview

Chadwick, D.W. and Young, A.J. (1998) Enabling the Internet White Pages Service -- the Directory Guardian. In: Internet Society Symposioum on Network and Distributed Systems Security (NDSS 98), San Diego, California.

Preview

Chadwick, D.W. and Young, A.J. and Kapidzic Cicovic, N. (1997) Merging and Extending the PGP and PEM Trust Models - the ICE-TEL Trust Model. IEEE Networks Special Publication on Internet Security, 11 (3). pp. 16-24. ISSN 0890-8044 .

Preview

Chadwick, David and Anthony, Sean (2007) Using WebDAV for Improved Certificate Revocation and Publication. In: LNCS 4582. Public Key Infrastructure, Proceedings of 4th European PKI Workshop, Palma de Mallorca, Spain, Jun 28-30, 2007, Palma de Mallorca, SPAIN.

Preview

Chadwick, David .W. and Casenove, Matteo (2011) Security APIs for My Private Cloud-Granting access to anyone, from anywhere at any time. In: Cloud Computing Technology and Science (CloudCom), 2011 IEEE Third International Conference on, November 29th 2011 - December 1st 2011, Athens, Greece.

Chadwick, David .W. and Inman, George .L. and Siu, Kristy .W.S. and Ferdous, Mohammad Sadek (2011) Leveraging social networks to gain access to organisational resources. In: Proceedings of the 7th ACM workshop on Digital identity management, 21st October 2011, Chicago, Illinois.

Preview

Chadwick, David .W. and Lievens, Stijin .F. and den Hartog, Jerry .I. and Pashalidis, Andreas and Alhadeff, Joseph (2011) My Private Cloud Overview: A Trust, Privacy and Security Infrastructure for the Cloud. In: Cloud Computing (CLOUD), 2011 IEEE International Conference on, 4-9 July 2011, Washington DC.

Preview

Chadwick, David W (2009) Federated Identity Management. In: Aldini, A. and Barthe, G. and Gorrieri, R., eds. FOSAD 2008/2009. LNCS (5705). Springer-Verlag, Berlin, pp. 182-196. ISBN 978-3-642-03828-0.

Preview

Chadwick, David W and Inman, George (2009) Attribute Aggregation in Federated Identity Management. IEEE Computer . pp. 182-196. The full text of this publication is not available from this repository.

Chadwick, David W and Otenko, Sassa and Nguyen, Tuan Anh (2009) Adding Support to XACML for Multi-Domain User to User Dynamic Delegation of Authority. International Journal of Information Security, 8 (2). pp. 182-196.

Preview

Chadwick, David W. (2005) Authorisation in Grid Computing. Information Security Technical Report, 10 (1). pp. 33-40. ISSN 1363-4127.

Preview

Chadwick, David W. (2006) Authorisation using Attributes from Multiple Authorities. In: 15th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE 2006), 26-28 June 2006, Manchester, United Kingdom.

Preview

Chadwick, David W. (2004) Autonomic Privilege Management - extending PERMIS to contribute to the TrustCOM objectives. In: E-Challenges 2004, OCT 27-29, 2004 , Vienna, Austria.

Preview

Chadwick, David W. (2005) Delegation Issuing Service. In: NIST 4th Annual PKI Workshop. , Gaithersberg, USA pp. 62-73.

Preview

Chadwick, David W. (2007) Dynamic Delegation of Authority in Web Services. In: Periorellis, Panayiotis, ed. Securing Web Services: Practical Usage of Standards and Specifications. Premier Reference Source . IGI Global, United States, pp. 111-137. ISBN 9781599046396.

Preview

Chadwick, David W. (2002) Internet X.509 Public Key Infrastructure Operational Protocols -- LDAPv3. IS Institute , University of Salford Salford England M5 4WT .

Preview

Chadwick, David W. (2002) LDAPv3 DN strings for use with PKIs. IS Institute, University of Salford, Salford.

Preview

Chadwick, David W. (2007) Operational Models for Reputation Servers. In: Herrmann, Peter and Issarny, Valerie and Shiu, Simon, eds. Trust Management: Third International Conference, iTrust 2005. Lecture Notes in Computer Science, 3477 . Springer, Berlin, pp. 108-115. ISBN 9783540260424.

Preview

Chadwick, David W. (2004) PKI Past, Present and Future. In: First EuroPKI Workshop, Samos, 25 June 2004.

Preview

Chadwick, David W. (2002) The PERMIS X.509 Based Privilege Management Infrastructure. IS Institute , University of Salford Salford M5 4WT England.

Preview

Chadwick, David W. (2004) The X.509 Privilege Management Infrastructure. In: Jerman-Blazic, B. and Schneider, W. and Klobucar, T., eds. Security and Privacy in Advanced Networking Technologies. NATO Science Series: Computer & Systems Sciences, 193 . IOS Press, Amsterdam, pp. 15-25. ISBN 9781586034306.

Preview

Chadwick, David W. (2004) Threat Modelling for Active Directory. In: Proceedings of Eighth Annual IFIP TC-6 TC-11 Conference on Communications and Multimedia Security, SEP 15-18, 2004, Windermere, England.

Preview

Chadwick, David W. and Antony, Sean and Bjerk, Rune (2010) Instant certificate revocation and publication using WebDAV. Journal of Computer Security, 18 (3). pp. 475-496. ISSN 1875-8924.

Preview

Chadwick, David W. and Carroll, C and Harvey, S. and New, J. and Young, A.J (2002) Experiences of Using a Public Key Infrastructure to Access Patient Confidential Data over the Internet. In: Proceedings of the 35th Annual Hawaii International Conference on System Sciences 2002 (HICCS 2002), 7-10 January 2002, Big Island, HI USA.

Preview

Chadwick, David W. and Dimitrakos, Theo and Dam, Kerstin Kleese-Van and Randal, Damian Mac and Matthews, Brian and Otenko, Alexander (2004) Multilayer Privilege Management for Dynamic Collaborative Scientific Communities. In: Workshop on Grid Security Practice and Experience, Oxford, 08-09 Jul 2004.

Preview

Chadwick, David W. and Inman, George and Klingenstein, Nate (2010) A Conceptual Model for Attribute Aggregation. Future Generation Computer Systems, 26 (7). pp. 1043-1052. The full text of this publication is not available from this repository.

Chadwick, David W. and Legg, S. (2002) Internet X.509 Public Key Infrastructure -- LDAP Schema for PKIs. . Internet Draft (Unpublished)

Preview

Chadwick, David W. and Lunt, Graeme and Zhao, Gansen (2004) Secure Role-based Messaging. In: Eighth IFIP TC-6 TC-11 Conference on Communications and Multimedia Security (CMS 2004),Windermere, UK, SEP 15-18, 2004, Windermere, England .

Preview

Chadwick, David W. and Mullan, S. (2002) Returning Matched Values with LDAPv3. .

Preview

Chadwick, David W. and Mundy, D.P. (2004) The Secure Electronic Transfer of Prescriptions. In: HC2004, Harrogate, UK, 2004, Harrogate, England.

Preview

Chadwick, David W. and New, J.P. and McDowell, D.M. and Mundy, D.P. (2001) Providing Secure Access to Confidential Patient Information Detailing Diabetic Condition. In: The International Conference On Internet Computing 2001.

Preview

Chadwick, David W. and Novikov, A. and Otenko, A. (2006) GridShib and PERMIS Integration. Campus-Wide Information Systems, 23 (4). pp. 297-308. ISSN 1065-0741.

Preview

Chadwick, David W. and Otenko, A. (2004) Implementing Role Based Access Controls using X.509 Privilege Management - the PERMIS Authorisation Infrastructure. In: Jerman-Blazic, B. and Schneider, W. and Klobucar, T., eds. Security and Privacy in Advanced Networking Technologies. NATO Science Series, 193 . IOS Press, pp. 26-39. ISBN 1576034308.

Preview

Chadwick, David W. and Otenko, A. (2002) RBAC Policies in XML for X.509 Based Privilege Management. In: Ghonaimy, M.A. and El-Hadidi, M.T. and Aslan, H.K., eds. Security in the Information Society: Visions and Perspectives. IFIP International Federation for Information Processing S.. Kluwer Academic Publishers, Dordrecht pp. 39-54. ISBN 9781402070303.

Preview

Chadwick, David W. and Otenko, A. (2002) The PERMIS X.509 Role Based Privilege Management Infrastructure. In: Proc 7th ACM Symposium On Access Control Models And Technologies (SACMAT 2002), Monterey, USA, June 2002, California, USA.

Preview

Chadwick, David W. and Otenko, A. and Ball, E. (2003) Implementing Role Based Access Controls Using X.509 Attribute Certificates. IEEE Internet Computing . pp. 62-69. The full text of this publication is not available from this repository.

Chadwick, David W. and Otenko, Sassa and Nguyen, Tuan Anh (2006) Adding Support to XACML for Dynamic Delegation of Authority in Multiple Domains. In: Communications and Multimedia Security. Lecture Notes in Computer Science, 4237 . Springer Berlin/Heidelberg , pp. 67-86. ISBN 978-3-540-47820-1.

Preview

Chadwick, David W. and Otenko, Sassa and Welch, Von (2005) Using SAML to link the GLOBUS toolkit to the PERMIS authorisation infrastructure. In: Communications and Multimedia Security.

Preview

Chadwick, David W. and Otenko, Sassa and Xu, Wensheng (2005) Adding Distributed Trust Management to Shibboleth. In: NIST 4th Annual PKI Workshop. , Gaithersberg, USA pp. 3-14.

Preview

Chadwick, David W. and Sasse, Angela (2006) The Virtuous Circle of Expressing Authorisation Policies. In: Proceedings of the ISWC'06 Workshop on Semantic Web Policy (SWPW'06).

Preview

Chadwick, David W. and Su, Linying and Laborde, R. (2006) Providing Secure Coordinated Access to Grid Services. In: MCG. ACM, New York p. 1. ISBN 1-59593-581-9 .

Preview

Chadwick, David W. and Xu, Wensheng and Otenko, Sassa and Laborde, R. and Nasser, Bassem (2007) Multi-Session Separation of Duties (MSoD) for RBAC. In: Proceedings of the 2007 IEEE 23rd International Conference on Data Engineering Workshop. IEEE International Conference on Data Engineering Workshop . I.E.E.E, Computer Soc Press, Istanbul, Turkey pp. 744-753. ISBN 978-1-4244-0831-3 .

Preview

Chadwick, David W. and Zhao, G.S. and Otenko, Sassa and Laborde, R. and Su, Linying and Nguyen, Tuan Anh (2006) Building a Modular Authorization Infrastructure. In: All Hands Meeting. .

Preview

Chan, A. and Freitas, A.A. (2006) A New Classification-Rule Pruning Procedure for an Ant Colony Algorithm. In: Talbi, E.-G. and Liardet, P. and Collet, P. and Lutton, E. and Schoenauer, M., eds. Artificial Evolution. Lecture Notes In Computer Science , 3871. Springer pp. 25-36. ISBN 3540335897. The full text of this publication is not available from this repository.

Chan, A. and Freitas, A.A. (2006) A New Ant Colony Algorithm for Multi-Label Classification with Applications in Bioinformatics. In: 2006 Genetic and Evolutionary Computation Conference, 8-12 July 2006 , Seattle, Washington (USA).

Preview

Chan, Syin (1992) Recompression of Still Images. Technical report. UKC, University of Kent, Canterbury, UK

Preview

Preview

Chandler, Jane and Carter, Janet and Benest, Ian (2003) Extrovert or Introvert? The Real Personalities of Computing Students. In: Proceedings of 4th Annual LTSN-ICS conference. The full text of this publication is not available from this repository.

Charles, Nathan and Bowman, H. and Thompson, Simon (1997) From ACT-ONE to Miranda, a Translation Experiment. Computer Standards and Interfaces, 19 (1). pp. 31-49. ISSN 0920-5489 .

Preview

Preview

Charles, Philip and Howe, Jacob and King, Andy (2009) Integer Polyhedra for Program Analysis. In: Proceedings of the Fifth International Conference on Algorithmic Aspects in Information and Management, Jun 15-17, 2009, San Francisco, CA.

Preview

Cheng, B. H.C. and de Lemos, R. and Giese, H. and Inverardi, P. and Magee, J. (2009) Software Engineering for Self-Adaptive Systems: A Research Roadmap. In: Software Engineering for Self-Adaptive Systems. Lecture Notes in Computer Science, (5525). Springer. ISBN 978-3-642-02161-9. The full text of this publication is not available from this repository.

Chennu, Srivas and Habel, Kai and Langer, Klaus-Dieter (2006) QoS-aware Traffic Protection for Access Rings. In: 11th European Conference on Networks and Optical Communications, 10-13 July 2006, Berlin, Germany.

Chennu, Srivas (2009) The temporal spotlight of attention: computatioanl and electrophysiological explorations. PhD thesis, Computing. The full text of this publication is not available from this repository.

Chennu, Srivas and Craston, Patrick and Wyble, Brad and Bowman, H. (2009) The influence of target discriminability on the time course of attentional selection. In: Proceedings of the 31th Annual Conference of the Cognitive Science Society.

Preview

Chennu, Srivas and Craston, Patrick and Wyble, Brad and Bowman, H. (2008) Transient Attentional Enhancement during the Attentional Blink: ERP correlates of the ST2 model. In: FROM ASSOCIATIONS TO RULES: Connectionist Models of Behavior and Cognition.

Preview

Chennu, Srivas and Craston, Patrick and Wyble, Brad and Bowman, Howard (2009) Attention Increases the Temporal Precision of Conscious Perception: Verifying the Neural-ST² Model. PLoS Computational Biology, 5 (11). pp. 182-196. The full text of this publication is not available from this repository.

Chennu, Srivas and Habel, Kai and Langer, Klaus-Dieter (2006) Protected Ethernet Rings for Optical Access Networks. In: Proceedings of the 7th ITG Symposium on Photonic Networks.

Preview

Chilimbi, Trishul and Jones, Richard and Zorn., Benjamin (2000) Designing a Trace Format for Heap Allocation Events. In: ISMM2000 International Symposium on Memory Management, Oct 15-16, 2000, Minneapolis, Minnesota, .

Preview

Preview

Chitil, Olaf (1997) Adding an Optimisation Pass to the Glasgow Haskell Compiler. Other. University of Kent at Canterbury (Unpublished) The full text of this publication is not available from this repository.

Chitil, Olaf and Runciman, Colin and Wallace, Malcolm (2003) Transforming Haskell for Tracing. In: Ricardo, Peña and Thomas, Arts, eds. Implementation of Functional Languages. Lecture Notes in Computer Science. Springer, Berlin pp. 165-181. ISBN 3540401903. The full text of this publication is not available from this repository.

Chitil, Olaf (2001) A Semantics for Tracing. In: Draft Proceedings of the 13th International Workshop on Implementation of Functional Languages, IFL 2001.

Preview

Chitil, Olaf (1997) Common Subexpression Elimination in a Lazy Functional Language. In: Draft Proceedings of the 9th International Workshop on Implementation of Functional Languages.

Preview

Chitil, Olaf (2001) Compositional Explanation of Types and Algorithmic Debugging of Type Errors. In: Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP'01).

Preview

Chitil, Olaf (2000) Deforestation of Functional Programs through Type Inference. In: 17 Workshops der GI-Fachgruppe 2.1.4. Programmiersprachen und Rechenkonzepte mit Schwerpunkt Softwarecomponenten.

Preview

Chitil, Olaf (1999) Denotational Semantics for Teaching Lazy Functional Programming. In: Proceedings of the Workshop on Functional and Declarative Programming in Education, 29 September 1999, Paris, France.

Preview

Chitil, Olaf (1995) Denotationelle und operationelle Semantiken für konstruktorbasierte funktionale Programmiersprachen erster Ordnung. Masters thesis, RWTH Aachen.

Preview

Chitil, Olaf (2009) Functional Programming. In: Wah, Benjamin W., ed. Encyclopedia of Computer Science and Engineering. John Wiley & Sons, Hoboken, NJ, pp. 1334-1344. ISBN 978-0-471-38393-2.

Preview

Chitil, Olaf (2005) Hat-Explore: Source-Based Trace Exploration. In: Runciman, Colin, ed. Implementation and Application of Functional Languages. Lecture Notes in Computer Science, 3474/2. Springer Berlin / Heidelberg pp. 126-141. ISBN 978-3-540-26094-3.

Preview

Chitil, Olaf (2012) Practical Typed Lazy Contracts. In: Proceedings of the 17th ACM SIGPLAN International Conference on Functional Programming (ICFP 2012). The full text of this publication is not available from this repository.

Chitil, Olaf (2006) Pretty Printing with Delimited Continuations Report 4-06. Technical report. University of Kent

Preview

Chitil, Olaf (2005) Pretty Printing with Partial Continuations. In: 17th International Workshop on Implementation and Application of Functional Languages, 19-21 September 2005, Dublin, Ireland.

Preview

Chitil, Olaf (2005) Pretty printing with lazy dequeues. Transactions on Programming Languages and Systems (TOPLAS), 27 (1). pp. 163-184. ISSN 0164-0925.

Preview

Chitil, Olaf (2006) Promoting Non-Strict Programming. In: Draft Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages, IFL 2006.

Preview

Chitil, Olaf (2004) Source-Based Trace Exploration. In: Implementation and Application of Functional Languages. Lecture Notes in Computer Science. Technical Report 0408, University of Kiel pp. 239-244. ISBN 3-540-26094-3 .

Preview

Chitil, Olaf (2005) Source-based trace exploration. In: Implementation and Application of Functional Languages, 16th International Workshop, IFL 2004.

Preview

Chitil, Olaf (2011) StrictCheck: a Tool for Testing Whether a Function is Unnecessarily Strict. Technical report. The full text of this publication is not available from this repository.

Chitil, Olaf (1996) The Sigma-Semantics: A Comprehensive Semantics for Functional Programs. Technical report. UKC

Preview

Chitil, Olaf (1997) The Sigma-Semantics: A Comprehensive Semantics for Functional Programs. Fundamenta Informaticae, 31 . pp. 253-294.

Preview

Chitil, Olaf (1999) Type Inference Builds a Short Cut to Deforestation. In: Proceedings of the 1999 ACM SIGPLAN International Conference on Functional Programming (ICFP '99), September 27 - September 29, 1999 , Paris, France.

Preview

Chitil, Olaf (2000) Type-Inference Based Deforestation of Functional Programs. PhD thesis, RWTH Aachen.

Preview

Chitil, Olaf (1999) Type-Inference Based Short Cut Deforestation (nearly) without Inlining. In: 11th International Workshop on Implementation of Functional Languages, September 7th-10th 1999, Lochem, Netherlands.

Preview

Chitil, Olaf (2011) A semantics for lazy assertions. In: Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation. The full text of this publication is not available from this repository.

Chitil, Olaf and Davie, Thomas (2008) Comprehending Finite Maps for Algorithmic Debugging of Higher-Order Functional Programs. In: PPDP '08: Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming.

Preview

Chitil, Olaf and Huch, Frank (2007) A Pattern Logic for Prompt Lazy Assertions. In: Horváth, Zoltán and Zsok, Viktoria and Butterfield, Andrew, eds. Implementation and Application of Functional Languages. Lecture Notes in Computer Science , 4449. Springer, Germany pp. 126-144. ISBN 978-3-540-7412909 .

Preview

Chitil, Olaf and Huch, Frank (2006) A Pattern Logic for Prompt Lazy Assertions in Haskell. In: Draft Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages, IFL 2006.

Preview

Chitil, Olaf and Huch, Frank (2007) Monadic prompt lazy assertions in Haskell. In: Shao, Zhong, ed. Programming Languages and Systems. Lecture Notes in Computer Science Vol. 4807, 4807. Springer pp. 38-53. ISBN 3540766367.

Preview

Chitil, Olaf and Luo, Yong (2007) Proving the Correctness of Algorithmic Debugging for Functional Programs. In: Trends in Functional Programming. Intellect. ISBN 9781841501888.

Preview

Chitil, Olaf and Luo, Yong (2007) Structure and Properties of Traces for Functional Programs. In: Mackie, Ian, ed. Electronic Notes in Theoretical Computer Science (ENTCS). ENTCS, 176. Elsevier pp. 39-63.

Preview

Chitil, Olaf and Luo, Yong (2006) Towards a Theory of Tracing for Functional Programs based on Graph Rewriting. In: Mackie, Ian, ed. Draft Proceedings of the 3rd International Workshop on Term Graph Rewriting, Termgraph 2006. Termgraph

Preview

Chitil, Olaf and McNeill, Dan and Runciman, Colin (2004) Lazy Assertions. In: Implementation of Functional Languages: 15th International Workshop, IFL 2003, Sep 08-11, 2003, Edinburgh, England.

Preview

Chitil, Olaf and Runciman, C. and Wallace, M. (2001) Freja, Hat and Hood --- A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs. In: Proceedings of the 12th International Workshop on Implementation of Functional Languages (IFL 2000), AACHEN, GERMANY.

Preview

Chitil, Olaf and Runciman, C. and Wallace, M. (2000) Tracing and Debugging of Lazy Functional Programs - A Comparative Evaluation of Three Systems. In: Draft Proceedings of the 12th International Workshop on Implementation of Functional Languages.

Preview

Chivers, Daniel and Rodgers, Peter (2011) Gesture-Based Input for Drawing Schematics on a Mobile Device. In: Proceedings of the 15th International Conference on Information Visualization (IV11).

Preview

Chow, Stirling and Rodgers, Peter (2005) Constructing Area-Proportional Venn and Euler Diagrams with Three Circles. In: Euler Diagrams 2005, 29-30 September 2005, Paris, France.

Preview

Chu, C. and Lee, H.C. and Lenaerts, T. (2005) Emergence of Uptake Signals in Bacterial DNA. Artificial Life, 11 (3). pp. 317-338. The full text of this publication is not available from this repository.

Chu, C. and Rowe, J. (2005) Approaching Perfect Mixing in a Simple Model of the Spread of an Infectious Disease. In: Recent Advances in Artificial Life: Proceedings of the Second Australian Conference on Artificial Life (ACAL 2005). The full text of this publication is not available from this repository.

Chu, D. (2008) The evolution of group-level pathogenic traits. Journal of Theoretical Biology, 253 (2). pp. 355-362. ISSN 0022-5193. The full text of this publication is not available from this repository.

Chu, D. and Lee, H-C. and Lanaerts, T. (2005) Evolution of DNA Uptake Signal Sequences. Artificial Life, 11 (3). pp. 317-338. ISSN 1064-5462. The full text of this publication is not available from this repository.

Chu, D. and Rowe, J. (2005) A Fitness-Landscape for the Evolution of Uptake Signal Sequences on Bacterial DNA. In: Capcarrere, M. and Freitas, A.A. and Bentley, P.J. and Johnson, Colin G. and Timmis, Jon, eds. Advances in Artificial Life. Springer, Berlin, pp. 845-853. ISBN 9783540288480. The full text of this publication is not available from this repository.

Chu, D. and Rowe, J. and Lee, H-C. (2006) Evaluation of the current models for the evolution of bacterial DNA uptake signal sequences. Journal of Theoretical Biology, 238 (1). pp. 157-166. ISSN 0022-5193. The full text of this publication is not available from this repository.

Chu, D.F and Strand, R. and Fjelland, R. (2003) Theories of Complexity. Complexity, 8 (3). pp. 19-30. The full text of this publication is not available from this repository.

Chu, D.F. (2007) Evolving Genetic Regulatory Networks for Systems Biology. In: IEEE Congress on Evolutionary Computation 2007, Sept 25-27 2007, Singapore . The full text of this publication is not available from this repository.

Chu, Dominique and Shih-Chi, Chu. and Barigou, Mostafa (2009) Qualitative models of particle de-agglomeration. Powder Technology, 195 . ISSN 0032-5910. The full text of this publication is not available from this repository.

Chu, C. and Blomfield, I.C. (2006) Orientational Control is an Efficient Control Mechanism for Phase Switching in the E coli fim System. Journal of Theoretical Biology, 244 (3). pp. 541-551. ISSN 0022-5193.

Preview

Chu, C. and Ho, W. (2006) A Category Theoretical Argument Against the Possibility of Artificial Life. Artificial Life, 12 (4). pp. 117-135. ISSN 10645462.

Preview

Chu, C. and Ho, W. (2007) Computational Realizations of Living Systems. Artificial Life, 13 (4). pp. 369-381. ISSN 1064-5462.

Preview

Chu, C. and Ho, W. (2007) The Localization Hypothesis and Machines. Artificial Life, 13 (3). pp. 299-302. ISSN 1064-5462.

Preview

Chu, C. and Rowe, J. (2004) Spread of Vector Borne Diseases in a Population with Spatial Structure. In: In Proceedings of PPSN VIII - Eighth International Conference on Parallel Problem Solving from Nature, SEP 18-22, 2004, Univ Birmingham, Sch Comp Sci, Birmingham, England.

Preview

Chu, D. (2011) Complexity: Against Systems. Theory in Biosciences . pp. 182-196. ISSN 1431-7613. The full text of this publication is not available from this repository.

Chu, D. (2008) Crossover operators to control size growth in linear GP and variable length GAs. In: IEEE Congress on Evolutionary Computation (IEEE CEC 2008), Jun 01-06, 2008, Hong Kong, Peoples Republic of China.

Preview

Chu, D. (2008) Modes of evolution in a parasite�host interaction: Dis-entangling factors determining the evolution of regulated fimbriation in E. coli. Biosystems, 95 (1). pp. 67-74. ISSN 0303-2647.

Preview

Chu, D. and Barnes, D. (2010) Modeling fimbriae mediated parasite-host interactions. Journal of Theoretical Biology, 264 (4). pp. 182-196. The full text of this publication is not available from this repository.

Chu, D. and Barnes, D. and von der Haar, T. (2011) The role of tRNA and ribosome competition in coupling the expression of different mRNAs in Saccharomyces cerevisiae. Nucleic Acids Research, 15 (39). pp. 182-196. ISSN 0305-1048. The full text of this publication is not available from this repository.

Chu, D. and Barnes, David J. (2009) Group Selection vs Multi-Level Selection: Some Example Models Using Evolutionary Games. In: Proceedings of the IEEE Congress on Evolutionary Computation (IEEE CEC'09). The full text of this publication is not available from this repository.

Chu, Dominique (2008) Criteria For Conceptual And Operational Notions of Complexity. Artificial Life, 14 (3). pp. 313-323. ISSN 1064-5462.

Preview

Chu, Dominique and Zabet, Radu and von der Haar, Tobias (2011) A novel and versatile computational tool to model translation. Bioinformatics, 28 (2). ISSN 1367-4803. The full text of this publication is not available from this repository.

Chu, Dominique F. and Zabet, Nicolae Radu and Hone, Andrew N. W. (2011) Optimal Parameter Settings for Information Processing in Gene Regulatory Networks. BioSystems . pp. 182-196. The full text of this publication is not available from this repository.

Ciano, P. Di and Cardinal, R.N. and Cowell, R.A. and Little, S.J. and Everitt, B.J. (2001) Differential involvement of NMDA, AMPA/kainate, and dopamine receptors in the nucleus accumbens core in the acquisition and performance of pavlovian approach behavior. Journal of Neuroscience, 21 (23). ISSN 0270-6474.

Preview

Claessen, Koen and Runciman, Colin and Chitil, Olaf and Hughes, John and Wallace, Malcolm (2003) Testing and Tracing Lazy Functional Programs using QuickCheck and Hat. In: 4th Summer School in Advanced Functional Programming. The full text of this publication is not available from this repository.

Clancy, M. and Stasko, J. and Guzdial, M. and Fincher, Sally and Dale, N. (2001) Models and Areas for CS Education Research. Computer Science Education, 11 (4). pp. 323-341. The full text of this publication is not available from this repository.

Clark, A. and Evans, A. and Kent, S. (2002) A Metamodel Facility for a Family of UML Constraint Languages. In: Clark, A. and Warmer, J., eds. Object Modeling with the OCL. LNCS 2263, 2263/2002. Springer-Verlag, Berlin pp. 440-443. ISBN 978-3-540-43169-5. The full text of this publication is not available from this repository.

Clark, A. and Evans, A. and Kent, S. (2002) A Metamodel for Package Extension with Renaming. In: The Unified Modeling Language 5th International Conference, September 30 – October 4, 2002 , Dresden, Germany. The full text of this publication is not available from this repository.

Clark, A. and Evans, A. and Kent, S. (2001) A Reference Implementation for UML. In: Henderson-Sellers, B. and Barbier, F., eds. Object Modelling with UML. Special Issue of L'Objet, 7 . Hermes Science, pp. 363-385. The full text of this publication is not available from this repository.

Clark, A. and Evans, A. and Kent, S. (2003) Aspect-Oriented Metamodelling. COMPUTER JOURNAL , 46 (5). pp. 566-577. ISSN 0010-4620 . The full text of this publication is not available from this repository.

Clark, A. and Evans, A. and Kent, S. (2002) Engineering Modelling Languages: A Precise Metamodelling Approach. In: Weber, H., ed. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS. LNCS 2306, 2306. SPRINGER-VERLAG , Berlin, Germany pp. 159-173. ISBN 3-540-43353-8. The full text of this publication is not available from this repository.

Clark, A. and Evans, A. and Kent, S. (2001) The Meta-Modeling Language Calculus: Foundation Semantics for UML. In: Proceedings of ETAPS FASE Conference. The full text of this publication is not available from this repository.

Cleal, C. and Daniels, J. and Cook, S. (1996) Partitioning Dynamic Object Models. In: O'Callaghan, A. and Thornes, S., eds. Practical Experiences of Object Technology. Nelson Thomas Limited. The full text of this publication is not available from this repository.

Clear, Tony and Caxton, Gwyn and Thompson, Simon and Fincher, Sally (2011) Cooperative and Work-Integrated Education in Information Technology. In: Coll, Richard and Zegwaard, Karsten, eds. Integrated Handbook for Cooperative and Work-Integrated Education. World Associate of Cooperative Education, Inc., pp. 182-196. ISBN 978-0-615-51885-5. The full text of this publication is not available from this repository.

Codish, M. and Heaton, A. and King, A. and Abo-Zaed, M. and Hill, P.M. (1998) Widening Positive Boolean functions for Goal-dependent Groundness Analysis. Technical report. University of Kent

Preview

Preview

Codish, M. and Heaton, A. and King, Andy (1997) Widening Pos for Efficient and Scalable Groundness Analysis of Logic Programs. Technical report. University of Kent at Canterbury

Preview

Preview

Cohen, D. and Watson, P. (1991) An efficient representation of arithmetic for term rewriting. In: Rewrite Techniques and Applications, Proceedings of the 4th Conference on Rewrite Techniques and Applications, Como, Italy, 1991. The full text of this publication is not available from this repository.

Cole, F.C. and Oxborrow, E.A. and Brown, H. (1992) An Object-Oriented Toolkit for Structured Documents. In: EP92: Proceedings of Electronic Publishing 92. The full text of this publication is not available from this repository.

Cole, J. and Derrick, J. and Milosevic, Z. and Raymond, K. (2001) Author Obliged to Submit Paper before 4 July: Policies in an Enterprise Specification. In: Policies for Distributed Systems and Networks.

Preview

Preview

Cook, S. (1983) Playing Cards on the PERQ - An Algorithm for Overlapping Rectangles. Software - Practice and Experience, 13 (11). The full text of this publication is not available from this repository.

Cook, S. and Abramsky, S. (1981) Pascal-m in Office Information Systems. In: Proceedings of the Second International Workshop on office Information Systems. The full text of this publication is not available from this repository.

Cook, S. and Daniels, J. (1994) Designing Object Systems. Journal of Object-oriented Programming . The full text of this publication is not available from this repository.

Cook, S.J. (1986) Languages and Object-oriented Programming. Software Engineering Journal, 1 (2). The full text of this publication is not available from this repository.

Cook, S.J. (1986) Modelling Generic User Interfaces with Functional Programs. In: Proceedings of HCI'86, the Conference of the BCS Human Computer Interaction Specialist Group. The full text of this publication is not available from this repository.

Cook, S.J. (1991) Object-oriented Techniques: Scope, Principles, Languages, Methods and Strategies. In: Florentin, J.J., ed. Object-oriented Programming Systems. Chapman and Hall. The full text of this publication is not available from this repository.

Cook, S.J. (1991) Programming Languages based on Objects. In: Blair, Gordon, ed. Object-oriented Languages, Systems and Applications. Pitmans. The full text of this publication is not available from this repository.

Cook, S.J. (1994) The World isn't Software. Journal of Object-oriented Programming, 5 (9). The full text of this publication is not available from this repository.

Cook, S.J. and Birch, G. and Murphy, A. and Woolsey, J. (1991) Modelling Groupware in the Electronic Office. International Journal of Man-Machine Studies, 34 . The full text of this publication is not available from this repository.

Cook, S.J. and Coulouris, G.F. and Dollimore, J. and Drake, K. and Francis, J. (1991) Interactive User Interfaces. In: Blair, Gordon, ed. Object-oriented Languages, Systems and Applications. Pitmans. The full text of this publication is not available from this repository.

Cook, S.J. and Daniels, J. (1994) Designing Object Systems: Object-oriented Modelling with Syntropy. Prentice-Hall The full text of this publication is not available from this repository.

Cook, S.J. and Daniels, J. (1994) Essential Techniques for Object-oriented Design. In: Carmichael, A.J., ed. Object Development Methods. SIGS Books Inc.. The full text of this publication is not available from this repository.

Cook, S.J. and Masnavi, S. (1989) Visual Programming of User Interfaces. In: Kilgour, A. and Earnshaw, R., eds. Graphics Tools for Software Engineering. Cambridge University Press. The full text of this publication is not available from this repository.

Cook, S.J. and Roberts, G.A. (1986) A Compile-time Type Checking System for Smalltalk-80. In: the 3rd Study Sessions on Object-oriented Languages. The full text of this publication is not available from this repository.

Cook, S. (1999) Architectural Standards, Processes and Patterns for Enterprise Systems. In: Barroca, L. and Hall, J. and Hall, P.A.V., eds. Software Architectures - Advances and Applications. Springer-Verlag. The full text of this publication is not available from this repository.

Cook, S. (2000) The UML Family: Profiles, Prefaces and Packages. In: Advancing the Standard Third International Conference, Proceedings, October 2–6, 2000, York, UK. The full text of this publication is not available from this repository.

Cook, S. and Kleppe, A. and Mitchell, R. and Rumpe, B. and Warmer, J. and Wills, A. (1999) Defining UML Family Members using Prefaces. In: TOOLS Pacific 99 Conference Proceedings, Nov 22-25, 1999, Melbourne, Vic., Australia. The full text of this publication is not available from this repository.

Cook, S. and Kleppe, A. and Mitchell, R. and Warmer, J. and Wills, A. (1999) Defining the Context of OCL Expressions. In: France, R. and Rumpe, B., eds. UML'99 - The Unified Modeling Language. Lecture Notes in Computer Science, 1723. Springer-Verlag pp. 372-383. ISBN 978-3-540-66712-4. The full text of this publication is not available from this repository.

Cook, S. and Selic, B. (1997) OMG OA&D RFP Response V1.0. Technical report. The full text of this publication is not available from this repository.

Cooley, R.E. (2001) Information Systems and the Navy Board in the 18th Century. In: Information Systems in the Digital World. Proceedings of the 6th UKAIS Conference University of Portsmouth, England, UK, 18-20 April 2001, 18-20 April 2001 , University of Portsmouth. The full text of this publication is not available from this repository.

Cooley, R.E. and Hobbs, M.H.W. and Pack, A.D. (1997) Genetic Algorithms and the analysis of spatially referenced data. Applied Artificial Intelligence, 11 (2). pp. 151-171. ISSN 0883-9514. The full text of this publication is not available from this repository.

Cooley, R.E. (2004) The social construction of technology and information systems. In: UK Academy of Information Systems Conference: 5-7 May 2004, May 2004. , Glasgow Caledonian University,.

Preview

Cooley, R.E. (2001) Vocabulary acquisition software: user preferences and tutorial guidance. In: AIED 2001 Workshop Papers: Computer Assisted Language Learning.May 20, 2001 (SU1), May 20, 2001.

Preview

Cooley, R.E. and Abdullah, Sophiana Chua (2000) Controlling Problem Progression in Adaptive Testing. In: Proceedings of the International Conference on Computers in Education and the International Conference on Computer Assisted Instruction, ICCE/ICCAI 2000, Taiwan, November 21-24, 2000, Taipei, Taiwan, . The full text of this publication is not available from this repository.

Cooley, R.E. and Clewer, Ann and Pack, Alan (1997) Computing Class Partition Values for Thematic Maps. In: Holm, Einar, ed. Modelling Space and Networks. Umea Universitet, Sweden, pp. 127-133. ISBN 91-7191-288-6. The full text of this publication is not available from this repository.

Cooley, R.E. and Helbling, C. and Fuller, Ursula (2001) Knowledge, Organisation and Suggestion Schemes. In: ISMICK 01 Management of Industrial and Corporate Knowledge.

Cooley, R.E. and Helbling, C. and Fuller, Ursula (2003) Suggestion Schemes and Communication. In: Conference Proceedings, British Academy of Management, September 2003, Leeds Business School. The full text of this publication is not available from this repository.

Cooley, R.E. and Jackson, A. and James, R. (2001) E-commerce, Location and IT Aspects of Kent Cancer Centre Network. Information & Communications Technology Law, 10 (3). pp. 293-298. ISSN 1360-0834.

Preview

Cooley, R.E. and James, Roger (2002) Clinical governance and accountability. In: James, Roger and Miles, Andrew, eds. Managed Care Networks: principles and practice. Aesculapius Medical Press, pp. 117-127. ISBN 1 903044 27 8. The full text of this publication is not available from this repository.

Cooper, D. and Stepney, S. and Woodcock, J.C.P. (2000) Derivation of Refinement Proof Rules for Z: forwards and backwards rules incorporating input/output refinement. Technical report. Oxford University The full text of this publication is not available from this repository.

Cooper, Ian (1998) Web Resource Re-discovery - Personal Resource Storage and Retrieval on the World Wide Web. PhD thesis, University of Kent at Canterbury. The full text of this publication is not available from this repository.

Cooper, S.B. and Lempp, S. and Watson, P. (1989) Weak density and cupping in the d-r.e. degrees. Israel Journal of Mathematics, 67 (1). pp. 137-152. The full text of this publication is not available from this repository.

Cooper, Ian (1994) Indexing the World. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, UK

Preview

Preview

Cooper, Ian and Shufflebotham, Royston (1995) PDA Web Browsers: Implementation Issues. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, UK

Preview

Preview

Cornelio, ML and Cavalcanti, A.L.C. and Sampaio, A.C.A (2002) Refactoring by Transformation. In: Proceedings of REFINE'2002, 20th-21st July 2002, Copenhagen, Denmark. The full text of this publication is not available from this repository.

Correa, ES and Steiner, MTA and Freitas, A.A. and Carnieri, C. (2004) A genetic algorithm for solving a capacitated p-median problem. Numerical Algorithms, 35 (2-4). pp. 373-388. ISSN 1017-1398. The full text of this publication is not available from this repository.

Correa, E.S. and Freitas, A.A. and Johnson, Colin G. (2007) Particle swarm and bayesian networks applied to attribute selection for protein functional classification. In: Yu, T., ed. Genetic And Evolutionary Computation Conference. ACM pp. 2651-2658. ISBN 978-1-59593-698-1. The full text of this publication is not available from this repository.

Correa, E.S. and Freitas, A.A. and Johnson, Colin G. (2008) Particle swarm for attribute selection in Bayesian classification: an application to protein function prediction. Journal of Artificial Evolution and Applications, 2008 . 12 pages. ISSN ISSN: 1687-6229.

Preview

Correa, E.S. and Steiner, M.T.A. and Freitas, A.A. and Carnieri, C. (2001) A Genetic Algorithm for the P-median Problem. In: Proc. 2001 Genetic and Evolutionary Computation Conference (GECCO-2001).

Preview

Costa, E.P. and Lorena, A.C. and Carvalho, A.C.P.L.F. and Freitas, A.A. (2008) Top-down hierarchical ensembles of classifiers for predicting G-Protein-Coupled-Receptor functions. In: Advances in Bioinformatics and Computational Biology (Proc. 2008 Brazilian Symposium in Bioinformatics (BSB-2008)), Lecture Notes in Bioinformatics 5167, Aug 28-30, 2008, Santo Andre, Brazil. The full text of this publication is not available from this repository.

Costa, E.P. and Lorena, A.C. and Carvalho, A.C.P.L.F. and Freitas, A.A. (2007) A review of performance evaluation measures for hierarchical classifiers. In: Evaluation Methods for Machine Learning II: papers from the AAAI-2007 Workshop, AAAI Technical Report WS-07-05, 2007.

Preview

Costa, E.P. and Lorena, A.C. and Carvalho, A.C.P.L.F. and Freitas, A.A. and Holden, H. (2007) Comparing several approaches for hierarchical classification of proteins with decision trees. In: Advances in Bioinformatics and Computational Biology (Proc. of the Second Brazilian Symposium on Bioinformatics, BSB-2007), Lecture Notes in Bioinformatics 4643, August 29-31, 2007, Angra DOS Reis, Brazil.

Preview

Costa, Paolo and Migliavacca, Matteo and Pietzuch, Peter and Wolf, Alexander L. (2012) NaaS: Network-as-a-Service in the Cloud. In: 2nd USENIX Workshop on Hot Topics in Management of Internet, Cloud, and Enterprise Networks and Services (Hot-ICE '12), April 24th, 2012, San Jose, California, USA. Access to this publication is restricted.

Coutinho, S.L. and Reis, T.P.C. and Cavalcanti, A.L.C. (1999) A Tool for Teaching Refinement. In: 13th Brazilian Symposium on Software Engineering - Tools Session. The full text of this publication is not available from this repository.

Cowell, R.A. and Bussey, T.J. and Saksida, L.M. (2006) Why does brain damage impair memory? A connectionist model of object recognition memory in perirhinal cortex. The Journal of Neuroscience, 26 (47). pp. 12186-97.

Preview

Cowell, R.A. and French, R.M. (2007) An unsupervised dual-network connectionist model of rule emergence in category learning. In: Proceedings of the European Cognitive Science Conference 2007.

Preview

Craston, Patrick (2008) Applying cognitive electrophysiology to neural modelling of the attentional blink. PhD thesis, Computing.

Preview

Craston, Patrick and Wyble, Brad and Bowman, H. (2006) An EEG study of masking effects in RSVP [Abstract]. Journal of Vision, 6 (6). p. 1016. ISSN 1534-7362. The full text of this publication is not available from this repository.

Craston, Patrick and Wyble, Brad and Chennu, Srivas and Bowman, H. (2009) The attentional blink reveals serial working memory encoding: Evidence from virtual and human event-related potentials. Journal of Cognitive Neuroscience, 21 (3). pp. 550-566. ISSN 0898-929X.

Preview

Crawford, J.S. and Waters, A.G. (1997) A Hybrid Approach to Quality of Service Multicast Routing. In: ATM'97 Fifth IFIP Workshop on Performance Modelling and Evaluation of ATM Networks. Participants Proceedings: Research Papers..

Preview

Preview

Crawford, J.S. and Waters, A.G. (1998) Heuristics for ATM Multicast Routing. In: ATM'98 Sixth IFIP Wokshop on Performance Modelling and Evaluation of ATM Networks. Participants Proceedings: Tutorial Papers.

Preview

Preview

Crawford, J.S. and Waters, A.G. (1997) Low Cost Quality of Service Multicast Routing in High Speed Networks. Technical report. University of Kent at Canterbury

Preview

Preview

Crawford, John (1998) A Hybrid Approach to Quality of Service Multicast Routing in High Speed Networks. PhD thesis, University of Kent at Canterbury.

Preview

Preview

Crawford, John and Waters, Gill (1996) An Heuristic for Lower Cost Multicast Routing in the Internet. Technical report. UKC

Preview

Preview

Crawford, Scott and Chadwick, David W. (2004) Experiences of Establishing Trust in a Distributed System Operated by Mutually Distrusting Parties. In: 3rd Annual PKI R&D Workshop, April 12-14, 2004, , NIST, Gaithersburg MD .

Preview

Crutcher, Laurence A. and Waters, A.Gill (1992) Connection Management for an ATM Network. IEEE Network, 6 (6). pp. 42-55. The full text of this publication is not available from this repository.

Cugola, Gianpaolo and Margara, Alessandro and Migliavacca, Matteo (2009) Context-aware publish-subscribe: Model, implementation, and evaluation. In: 2009 IEEE Symposium on Computers and Communications. pp. 875-881. ISBN 9781424446728. Access to this publication is restricted.

Cugola, Gianpaolo and Migliavacca, Matteo (2009) A Context and Content-Based Routing Protocol for Mobile Sensor Networks. In: Roedig, Utz and Sreenan, Cormac J., eds. Wireless Sensor Networks. Lecture Notes in Computer Science , 5432. Springer Berlin Heidelberg pp. 69-85. ISBN 9783642002236. Access to this publication is restricted.

Cugola, Gianpaolo and Migliavacca, Matteo (2010) MultiCaR: Remote invocation for large scale, context-aware applications. In: The IEEE symposium on Computers and Communications. pp. 570-576. ISBN 9781424477548. Access to this publication is restricted.

Cugola, Gianpaolo and Migliavacca, Matteo and Monguzzi, Alessandro (2007) On adding replies to publish-subscribe. In: Proceedings of the 2007 inaugural international conference on Distributed event-based systems - DEBS '07. ACM, New York, N.Y. pp. 128-138. ISBN 9781595936653. Access to this publication is restricted.

Curtis, Tony (1994) PEST: A Knowledge Based System for Product Promotions. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, UK

Preview

Preview

Cutts, Quintin and Barnes, David J. and Bibby, Pete and Bown, James and Bush, Vicky and Campbell, Phil and Fincher, Sally and Jamieson, Stephan and Jenkins, Tony and Kazakov, Dimitar and Lancaster, Thomas and Ratcliffe, Mark and Seisenberger, Monika and Shinner-Kennedy, Shinner-Kennedy and Wagstaff, Carole and White, Linda and Whyley, Chris (2006) Laboratory Exams in First Programming Courses. In: 7th Annual Conference of the Higher Education Academy for Information and Computer Sciences, 29-31 August 2006, Dublin, Ireland.

Preview

Czech, Zbigniew and Mikanik, Wojciech (1996) Randomized PRAM Simulation Using T9000 Transputers. Technical report. UKC, University of Kent, Canterbury, UK

Preview

Preview

D

Daniels, J. and Cook, S.J. (1993) Strategies for Sharing Objects in Distributed Systems. Journal of Object-oriented Programming . The full text of this publication is not available from this repository.

Daniels, Anthony C. (1999) A Semantics for Functions and Behaviours. PhD thesis, The University of Nottingham.

Preview

Preview

Daniels, Anthony C. (1997) Fran in action! Other. (Unpublished)

Preview

Preview

Daniels, Anthony C. (1999) Fran poster. Other. (Unpublished)

Preview

Preview

Daniels, Anthony C. (2000) Recursive Functions and Reactive Behaviours: The Essence of Fran. Other. Kent University (Unpublished)

Preview

Preview

Daniels, M. and Fincher, Sally (1999) Evaluating a Joint International Project in Disjunct Courses. In: What have they learned? Assessment of Student Learning in Higher Education, April 1999. The full text of this publication is not available from this repository.

Daniels, Mats and Berglund, Anders and Pears, Arnold and Fincher, Sally (2004) Five Myths of Assessment. In: Lister, Raymond and Young, Alison L., eds. ACM International Conference Proceeding Series; Vol. 57. Australian Computer Science Communications, 57. Australian Computer Society, Inc. , Darlinghurst, Australia, Australia pp. 57-61.

Preview

Davie, Thomas and Chitil, Olaf (2006) Display of Functional Values for Debugging. In: Draft Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages, IFL 2006, Budapest, Hungary.

Preview

Davie, Thomas and Chitil, Olaf (2005) Hat-Delta --- One Right Does Make a Wrong. In: Hat Day 2005: work in progress on the Hat tracing system for Haskell.

Preview

Davie, Thomas and Chitil, Olaf (2006) One Right Does Make a Wrong. In: Pre-Proceedings of the Seventh Symposium on Trends in Functional Programming, TFP 2006. (Submitted)

Preview

Davies, J.W. and Bryans, J.W. and Schneider, S.A. (1996) Real-time LOSTOS and Timed Observations. In: UNSPECIFIED. The full text of this publication is not available from this repository.

Davies, M.N. and Gloriam, D.E. and Secker, A. and Freitas, A.A. and Mendao, M. and Timmis, J. and Flower, D.R. (2007) Proteomic applications of automated GPCR classification. Proteomics, 7 (16). pp. 2800-2814. ISSN 1615-9853. The full text of this publication is not available from this repository.

Davies, M.N. and Secker, A. and Freitas, A.A. and Clark, E. and Timmis, J. and Flower, D.R. (2008) Optimizing amino acid groupings for GPCR classification. Bioinformatics, 24 (18). pp. 1980-1986. ISSN 1367-4803. The full text of this publication is not available from this repository.

Davies, M.N. and Secker, A. and Freitas, A.A. and Timmis, J. and Clark, E. and Flower, D.R. (2008) Alignment-independent techniques for protein classification. Current Proteomics, 5 (4). pp. 217-223. ISSN 1570-1646. The full text of this publication is not available from this repository.

Davies, M.N. and Secker, A. and Halling-Brown, M. and Moss, D.S. and Freitas, A.A. and Timmis, J. and Clark, E. and Flower, D.R. (2008) GPCRTree: online hierarchical classification of GPCR function. BMC Research Notes, 1 (67). 5 pages. ISSN 1756-0500. The full text of this publication is not available from this repository.

Davies, M.N. and Gloriam, D.E. and Secker, A. and Freitas, A.A. and Timmis, J. and Flower, D.R. (2011) Present perspectives on the automated classification of the G-Protein Coupled Receptors (GPCRs) at the Protein Sequence Level. Current Topics in Medicinal Chemistry, 11 (15). pp. 182-196. ISSN 15680266. The full text of this publication is not available from this repository.

Davies, M.N. and Secker, A. and Freitas, A.A. and Mendao, Miguel and Timmis, Jon and Flower, D.R. (2007) On the hierarchical classification of G Protein-Coupled Receptors. Bioinformatics, 23 (23). pp. 3113-3118. ISSN 1367-4803.

Preview

Davison, R. and Chismar, W. and Kock, N. and Langford, Duncan (2001) Professional Ethics in Information Systems. In: HICSS-34, January 3-6, 2001 , Outrigger Wailea Resort Island of Maui, Hawaii. The full text of this publication is not available from this repository.

Day, Dominic and Shrimpton, David and Waters, Gill (2002) Supporting Groups in a Ubiquitous Environment. In: Proceeding of 3rd Annual Symposium of Postgraduate Networking Conference (PGNET’02). Liverpool John Moores University, Liverpool pp. 92-97. ISBN 1 902560 086. The full text of this publication is not available from this repository.

Day, W.G. (1992) Farming: towards a rigorous definition and efficient transputer implementation. In: Transputer Systems -- Ongoing Research, Proceedings of WoTUG 15. The full text of this publication is not available from this repository.

Day, Warren and Hill, Steve (1993) Farming: Towards a Rigorous Definition and Efficient Transputer Implementation. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, UK

Preview

Preview

Delaney, A. and Taylor, J. and Thompson, Simon (2008) Spider Diagrams of Order and a Hierarchy of Star-Free Regular Languages. In: Diagrammatic Representation and Inference: 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008, Sep 19-21, 2008, Herrsching, Germany.

Preview

Delaney, Aidan and Plimmer, Beryl and Stapleton, Gem and Rodgers, Peter (2010) Recognizing Sketches of Euler Diagrams Drawn with Ellipses. In: UNSPECIFIED.

Preview

Delaney, Aidan and Stapleton, Gem and Taylor, John and Thompson, Simon (2010) Fragments of Spider Diagrams of Order and their Relative Expressiveness. In: Diagrammatic Representation and Inference 6th International Conference, Diagrams 2010. The full text of this publication is not available from this repository.

Demiralp, S.V. (1996) Configuring Distributed occam Programs using Doc. In: Proceedings of the PDPTA''96. The full text of this publication is not available from this repository.

Deng, Yuhui (2011) What is the future of disk drives, death or rebirth? ACM Computing Surveys (CSUR), 43 (3). The full text of this publication is not available from this repository.

Deng, Yuhui and Wang, Frank (2011) LAG: Achieving transparent access to legacy data by leveraging grid environment. Future Generation Computer Systems, Volume . pp. 182-196. The full text of this publication is not available from this repository.

Dent, Alan and Hanna, Keith (1993) Reasoning about Array Structures Using a Dependently Typed Logic. In: Proc Computer Hardware Description Languages (CHDL-93). The full text of this publication is not available from this repository.

Derrick, J. and Boiten, E. (2002) Combining Component specifications in Object-Z and CSP. Formal Aspects of Computing, 13 (Part 2). pp. 111-127. ISSN 0934-5043. The full text of this publication is not available from this repository.

Derrick, J. and Boiten, E.A. (2008) More relational refinement: traces and partial relations. Electronic Notes in Theoretical Computer Science, 214 . pp. 255-276. ISSN 1571-0661. The full text of this publication is not available from this repository.

Derrick, J. and Boiten, E.A. (1999) Non-atomic refinement in Z. In: Wing, J.M. and Woodchck, J. and Davies, J., eds. FM’99 — Formal Methods. Lecture Notes In Computer Science, 1709 . Springer-Verlag Berlin, Berlin, Germany pp. 1477-1496. ISBN 978-3-540-66588-5. The full text of this publication is not available from this repository.

Derrick, J. and Boiten, E.A. (2003) Recent advances in refinement. In: 10th International Workshop on Abstract State Machines, MAR 03-07, 2003, TAORMINA, ITALY. The full text of this publication is not available from this repository.

Derrick, J. and Boiten, E.A. (2007) Relational Concurrent Refinement with Internal Operations. Electronic Notes in Theoretical Computer Science, 187 . pp. 35-53. ISSN 1571-0661. The full text of this publication is not available from this repository.

Derrick, J. and Boiten, E.A. and Bowman, H. and Steen, M. (1997) Translating LOTOS to Object-Z. In: 2nd BCS-FACS Northern Formal Methods Workshop : Proceedings of the 2nd BCS-FACS Northern Formal Methods Workshop, 14-15 July, 1997, Ilkley, U. K.. The full text of this publication is not available from this repository.

Derrick, J. (2000) A single complete refinement rule for Z. Journal of Logic and Computation, 10 (5). pp. 663-675. ISSN 0955-792X.

Preview

Preview

Derrick, J. (2003) Timed CSP and Object-Z. In: 3rd International Conference on B and Z Users, JUN 04-06, 2003, TURKU, FINLAND. The full text of this publication is not available from this repository.

Derrick, J. and Akehurst, D.H. and Boiten, E.A. (2002) A framework for UML consistency. In: Workshop on Consistency Problems in UML-based Software Development, October 1st, 2002 , Dresden, Germany.

Preview

Derrick, J. and Boiten, E. and Bowman, H. and Steen, M. (1996) Supporting ODP - Translating LOTOS into Z. In: UNSPECIFIED.

Preview

Preview

Derrick, J. and Boiten, E.A. (2001) Refinement in Z and Object-Z: Foundations and Advanced Applications. Formal Approaches to Computing and Information Technology . Springer ISBN 1-85233-245-X. The full text of this publication is not available from this repository.

Derrick, J. and Boiten, E.A. (2000) Refinement of objects and operations in Object-Z. In: Smith, Scott F. and Talcott, Carolyn L., eds. Fourth International Conference on Formal methods for open object-based distributed systems IV. Kluwer Academic Publishers pp. 257-277. ISBN 0-7923-7923-3 .

Preview

Derrick, J. and Boiten, E.A. (2003) Relational Concurrent Refinement. Formal Aspects of Computing, 15 (2-3). pp. 182-214. ISSN 0934-5043. The full text of this publication is not available from this repository.

Derrick, J. and Boiten, E.A. (2012) Relational Concurrent Refinement Part III: Traces, partial relations and automata. Formal Aspects of Computing . ISSN 0934-5043. The full text of this publication is not available from this repository.

Derrick, J. and Boiten, E.A. (1999) Separating component and context specification using Promotion. In: International conference on Integrated Formal Methods 1999 (IFM'99), June 28-29, 1999, York, UK.

Preview

Preview

Derrick, J. and Boiten, E.A. (1999) Testing Refinements of State-based Formal Specifications. Software Testing, Verification and Reliability, 9 (1). pp. 27-50.

Preview

Preview

Derrick, J. and Boiten, E.A. and Bowman, H. and Steen, M. (1998) Specifying and Refining Internal Operations in Z. Formal Aspects of Computing, 10 (2). pp. 125-159. ISSN 0934-5043 (Print) 1433-299X (Online).

Preview

Preview

Derrick, J. and Boiten, E.A. and Bowman, H. and Steen, M. (1999) Viewpoints and consistency: translating LOTOS to Object-z. Computer Standards & Interfaces, 21 (3). pp. 251-272. ISSN 0920-5489.

Preview

Preview

Derrick, J. and Boiten, E.A. and Bowman, H. and Steen, M. (1997) Weak refinement in Z. In: Bowen, J.P. and Hinchey, M.G. and Till, D., eds. ZUM '97: The Z Formal Specification Notation. Lecture Notes in Computer Science, 1212. Springer-Verlag, Reading pp. 369-388. ISBN 3-540-62717-0.

+1 more...

Derrick, J. and Bowman, H. and Boiten, E.A. and Steen, M. (1996) Comparing LOTOS and Z refinement relations. In: UNSPECIFIED.

Preview

Preview

Derrick, J. and Bowman, H. and Steen, M. (1995) Maintaining Cross Viewpoint Consistency using Z. In: UNSPECIFIED.

Preview

Preview

Derrick, J. and Bowman, H. and Steen, M. (1995) Viewpoints and Objects. In: UNSPECIFIED.

Preview

Preview

Derrick, J. and Fincher, Sally (2000) Teaching Communication Protocols. Computer Science Education, 10 (3). pp. 195-202. ISSN 0899-3408. The full text of this publication is not available from this repository.

Derrick, J. and Smith, G. (2004) Linear temporal logic and Z refinement. In: Rattray, C. and Maharaj, S. and Shankland, C., eds. Linear temporal logic and Z refinement. Lecture Notes in Computer Science, 3116. Springer pp. 117-131. ISBN 3-540-22381-9 . The full text of this publication is not available from this repository.

Derrick, J. and Smith, G. (2003) Structural Refinement of Systems Specified in Object-Z and CSP. Formal Aspects of Computing, 15 (1). pp. 1-27. ISSN 0934-5043. The full text of this publication is not available from this repository.

Derrick, J. and Smith, G. (2000) Structural refinement in Object-Z / CSP. In: Grieskamp, W. and Stanten, T. and Stoddart, B., eds. Proceedings of the Second International Conference on Integrated Formal Methods. Lecture Notes in Computer Science, 1945. Springer pp. 194-213. ISBN 3-540-41196-8 .

Preview

Preview

Derrick, J. and Sultana, R. (1993) The Specification in Z of the REX Protocol. Technical report. University of Kent, Canterbury, UK, University of Kent, Canterbury, UK

Preview

Preview

Derrick, J. and Wehrheim, H. (2003) Using coupled simulations in non-atomic refinement. In: ZB 2003: Formal Specification and Development in Z and B, Jun 04-06, 2003, Turku, Finland, . The full text of this publication is not available from this repository.

Derrick, John and Boiten, Eerke (2009) Relational Concurrent Refinement: Automata. Electronic Notes in Theoretical Computer Science, 259 . pp. 182-196. ISSN 1571-0661. The full text of this publication is not available from this repository.

Derrick, John and Boiten, Eerke (2011) Relational Concurrent Refinement: Timed Refinement. In: UNSPECIFIED. The full text of this publication is not available from this repository.

Dick, A.J.J. and Watson, P. (1991) Order-sorted term rewriting. The Computer Journal, 34 (1). pp. 16-19. The full text of this publication is not available from this repository.

Dick, Martin and Sheard, Judy and Bareiss, Cathy and Carter, Janet and Joyce, Donald and Harding, Trevor and Laxer, Cary (2003) Addressing student cheating: definitions and solutions. ACM SIGCSE Bulletin, 35 (2). pp. 172-184. ISSN 0097-8418. The full text of this publication is not available from this repository.

Dietz, K.C. and Bowman, H. and van Hooff, J.C. (2008) Towards a competitive learning model of mirror effects in yes/no recognition memory tests. In: Connectionist models of behaviour and cognition II.

Preview

Dietz, K. C. and van Hooff, J. C. and Bowman, H (2010) Using event-related potentials to distinguish mirror effect types: Evidence from a modified directed forgetting procedure (item-method) {A}bstract. In: UNSPECIFIED. The full text of this publication is not available from this repository.

Dimmich, Damian (2009) A Process Oriented Approach to Solving Problems of Parallel Decomposition and Distribution. PhD thesis, Computing. The full text of this publication is not available from this repository.

Dimmich, Damian J. (2007) Channel Communications on the Cell Broadband Engine. In: Post Graduate Conference Proceedings.

Preview

Dimmich, Damian J. and Jacobsen, Christian L. (2005) A Foreign Function Interface Generator for occam-pi. In: Communicating Process Architectures 2005.

Preview

Dimmich, Damian J. and Jacobsen, Christian L. and Jadud, Matthew C. (2006) A Cell Transterpreter. In: Communicating Process Architectures 2006: WoTUG-29.

Preview

Dimmich, Damian J. and Jacobsen, Christian L. and Jadud, Matthew C. (2006) Concurrency: The Next Generation. In: Postgraduate Conference 2006, 19 June 2006, Canterbury, United Kingdom. The full text of this publication is not available from this repository.

Dobbyn, Chris and Shrimpton, David and Casey, Tom (1999) Models of Convergence between the World Wide Web and Interactive Television using MHEG-5. In: Proceedings of the Third IASTED International Conference on Internet and Multimedia Systems and Applications (IMSA '99), Oct 18 – 21, 1999, Nassau, Bahamas. The full text of this publication is not available from this repository.

Dominique Chu, Boris Mitavskiy (2009) Models of transcription factor binding: Sensitivity of activation functions to model assumptions. Journal of Theoretical Biology, 257 (3). pp. 419-429. ISSN 0022-5193.

Preview

Douglas, Andrew (1996) A Compiled Functional Language with a Martin-Lof Type System. PhD thesis, Computing Laboratory, University of Kent at Canterbury. The full text of this publication is not available from this repository.

Drienyovszky, Daniel and Horpacsi, Daniel and Thompson, Simon (2010) QuickChecking Refactoring Tools. In: ErlangÂ�10: Proceedings of the 2010 ACM SIGPLAN Erlang Workshop. The full text of this publication is not available from this repository.

Duran, A. and Sampaio, A.C.A. and Cavalcanti, A.L.C. (2001) Formal Bytecode Generation for a ROOL Virtual Machine. In: 4th Brazilian Workshop on Formal Methods. The full text of this publication is not available from this repository.

Duran, A.A. and Sampaio, A.C.A and Cavalcanti, A.L.C. (2002) Refinement Algebra for Formal Bytecode Generation. In: Lecture Notes in Computer Science. Springer-Verlag pp. 347-358. ISBN 978-3-540-00029-7. The full text of this publication is not available from this repository.

Duran, A. and Cavalcanti, A.L.C. and Sampaio, A.C.A. (2003) A Strategy for Compiling Classes, Inheritance, and Dynamic Binding. In: FME 2003: Formal Methods - International Symposium of Formal Methods Europe, SEP 08-14, 2003, Pisa Italy . The full text of this publication is not available from this repository.

da Gracca Campos Pimentel, Maria (1992) Showing the destination of hypertext links: a new approach for Guide. Technical report. UKC, University of Kent, Canterbury, UK

Preview

Preview

da Silva, Carlos Eduardo and de Lemos, Rogerio (2009) Using dynamic workflows for coordinating self-adaptation of software systems. In: SEAMS '09: Proceedings of the 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems. The full text of this publication is not available from this repository.

da Cunha, Rudnei Dias and Hopkins, Tim (1991) A Comparative Study of Iterative Methods to Solve Systems of Linear Equations using Transputer Networks. Technical report. UKC, University of Kent, Canterbury, UK The full text of this publication is not available from this repository.

da Cunha, Rudnei Dias and Hopkins, Tim (1994) A Comparison of Acceleration Techniques Applied to the SOR Method. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, UK

Preview

Preview

da Cunha, Rudnei Dias and Hopkins, Tim (1993) A Parallel Implementation of the Restarted GMRES Iterative Method for Nonsymmetric Systems of Linear Equations. Technical report. UKC, University of Kent, Canterbury, UK

Preview

da Cunha, Rudnei Dias and Hopkins, Tim (1996) PIM 2.0 The Parallel Iterative Methods Package for Systems of Linear Equations User's Guide (Fortran 77 version). Technical report. UKC, University of Kent, Canterbury, UK

Preview

Preview

da Cunha, Rudnei Dias and Hopkins, Tim (1991) Parallel Overrelaxation Algorithms for Systems of Linear Equations. Technical report. UKC, University of Kent, Canterbury, UK The full text of this publication is not available from this repository.

da Cunha, Rudnei Dias and Hopkins, Tim (1993) Parallel Preconditioned Conjugate-Gradients Methods on Transputer Networks. Technical report. UKC, University of Kent, Canterbury, UK

Preview

da Cunha, Rudnei Dias and Hopkins, Tim (1993) Porting Linear Algebra Subroutines from Transputers to Clusters of Workstations. Technical report. University of Kent, Canterbury, UK, University of Kent, Canterbury, UK

Preview

da Cunha, Rudnei Dias and Hopkins, Tim (1992) The Parallel Solution of Partial Differential Equations on Transputer Networks. Technical report. UKC, University of Kent, Canterbury, UK

Preview

Preview

da Cunha, Rudnei Dias and Hopkins, Tim (1992) The Parallel Solution of Systems of Linear Equations using Iterative Methods on Transputer Networks. Technical report. , University of Kent, Canterbury, UK

Preview

Preview

da Cunha, Rudnei Dias and Hopkins, Tim (1991) The Parallel Solution of Triangular Systems of Linear Equations. Technical report. UKC, University of Kent, Canterbury, UK The full text of this publication is not available from this repository.

da Cunha, Rudnei Dias and Hopkins, Tim (1993) Using parallel programming environments on clusters of workstations. Technical report. UKC, University of Kent, Canterbury, UK

Preview

Preview

da Silva, Erick Lopes (2004) Qualidade de Serviço em Aplicações de Telemedicina. In: XI Scientific Initiation Congress of the Federal University of Pernambuco. , Recife/PE - Brazil The full text of this publication is not available from this repository.

da Silva, Erick Lopes (2006) Um Modelo de Segurança Para o Canal de Interatividade do Sistema Brasileiro de TV Digital: Arquitetura e Implementação. Masters thesis, Federal University of Pernambuco. The full text of this publication is not available from this repository.

da Silva, Erick Lopes and Assad, Rodrigo Elia and Ferraz, Carlos A.G. and Fried, Mario (2006) Um Modelo de Segurança para o Canal de Interatividade da TV Digital: Arquitetura e Implementação. In: UNSPECIFIED. The full text of this publication is not available from this repository.

de Carvalho, A.C.P.L.F. and Freitas, A.A. (2009) A tutorial on multi-label classification techniques. In: Abraham, A. and Hassanien, A.-E. and Snael, V., eds. Foundations of Computational Intelligence. Studies in Computational Intelligence 205, Vol. 5 . Springer, pp. 177-195. ISBN 9783642015359. The full text of this publication is not available from this repository.

de Carvalho, Paulo Manuel Martins (1996) Interaction of Periodic Bursty Traffic Flows in ATM Networks. PhD thesis, Computing Laboratory, University of Kent at Canterbury. The full text of this publication is not available from this repository.

de C. Guerra, P.A. and Rubira, C. and Romanovsky, A. and de Lemos, R. (2003) A Fault-Tolerant Software Architecture for COTS-Based Software Systems. In: Proceedings of the Joint European Software Engineering Conference (ESEC) and 11th SIGSOFT Symposium on the Foundations of Software Engineering (FSE-11).. The full text of this publication is not available from this repository.

de C. Guerra, P.A. and Rubira, C. and Romanovsky, A. and de Lemos, R. (2003) Integrating COTS Software Components into Dependable Software Architectures. In: Proceedings of the 6th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC-03), May 14-16, 2003, Hakodate, Japan . The full text of this publication is not available from this repository.

de C. Guerra, P.A. and Rubira, C. and de Lemos, R. (2003) A Fault-Tolerant Software Architecture for Component-Based Systems. Architectecting Dependable Systems, 2677 . pp. 129-149. ISSN 0302-9743. The full text of this publication is not available from this repository.

de C. Guerra, P.A. and Rubira, C.M.F. and Romanovsky, A. and de Lemos, R. (2004) A Dependable Architecture for COTS-Based Software Systems using Protective Wrappers. Architecting Dependable System II , 3069 . pp. 144-166. ISSN 0302-9743 .

Preview

de Castro, L.N. and Timmis, Jon (2002) Artificial Immune Systems: A New Computational Approach. Springer-Verlag, London. UK., 357 pp. ISBN 1852335947. The full text of this publication is not available from this repository.

de Castro, L.N. and Timmis, J. (2002) An Artificial Immune Network for Multimodal Optimisation. In: 2002 Congress on Evolutionary Computation. Part of the 2002 IEEE World Congress on Computational Intelligence., 12-17 May 2002, Honolulu, HI. The full text of this publication is not available from this repository.

de Castro, L.N. and Timmis, J. (2003) Artificial Immune Systems as a Novel Soft Computing Paradigm. Soft Computing, 7 (8). pp. 526-544. ISSN 1432-7643. The full text of this publication is not available from this repository.

de Castro, L.N. and Timmis, Jon (2002) Artificial Immune Systems: A Novel Approach to Pattern Recognition. In: Corchado, J. and Alonso, L. and Fyfe, C., eds. Artificial Neural Networks in Pattern Recognition. University of Paisley, pp. 67-84. ISBN 84-95721-22-8.

Preview

de Castro, L.N. and Timmis, Jon (2002) Hierarchy and Convergance of Immune Networks: Basic Ideas and Premilinary Results. In: 1st International Conference on Artificial Immune Systems, September 9th-11th 2002, University of Kent at Canterbury, UK. The full text of this publication is not available from this repository.

de Lemos, R. and Romanovsky, A. (2001) Exception Handling in the Software Lifecycle. International Journal of Computer Systems Science and Engineering, 16 (2). pp. 167-181. ISSN 0267-6192. The full text of this publication is not available from this repository.

de Lemos, R. (2004) Analysing Failure Behaviours in Component Interaction. Journal of Systems and Software, 71 (1-2). pp. 97-115. ISSN 0164-1212 . The full text of this publication is not available from this repository.

de Lemos, R. (1999) Analysis of Safety Properties of a System from the Viewpoint of its Components Interactions. In: Proceedings of the 9th Brazilian Symposium on Fault-Tolerant Computers (SCTF), Campinas, Brazil. The full text of this publication is not available from this repository.

de Lemos, R. (2005) Architecting Web services applications for improving availability. In: deLemos, R. and Gacek, C. and Romanovsky, A., eds. Architecting Dependable Systems III. Lecture Notes in Computer Science . Springer, Berlin, pp. 69-91. ISBN 9783540289685. The full text of this publication is not available from this repository.

de Lemos, R. (2006) Architectural Reconfiguration using Coordinated Atomic Actions. In: Proceedings of the ICSE 2006 Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2006), Shanghai, China. The full text of this publication is not available from this repository.

de Lemos, R. (2006) Idealised Fault Tolerant Architectural Element. In: The International Conference on Dependable Systems and Networks (DSN-2006), 25-28 June 2006, Philadelphia, Pennsylvania (USA). The full text of this publication is not available from this repository.

de Lemos, R. (2007) Reconfiguration of Software Systems using Atomic Actions. In: Supplemental Proceedings of the 36th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2006), June 2006, Philadelphia , PA , USA. The full text of this publication is not available from this repository.

de Lemos, R. (2005) The Conflict between Self-* Capabilities and Predictability. In: Babaoglu, Ö., ed. Self-star Properties in Complex Information Systems: Conceptual and Practical Foundations. Lecture Notes in Computer Science . Springer, pp. 219-228. The full text of this publication is not available from this repository.

de Lemos, R. and Gacek, C. and Romanovsky, A. (2006) Architecting Dependable Systems. JOURNAL OF SYSTEMS AND SOFTWARE , 79 (10). pp. 1359-1360. ISSN 0164-1212. The full text of this publication is not available from this repository.

de Lemos, R. and Gacek, C. and Romanovsky, A. (2004) Architecting Dependable Systems II. Lecture Notes in Computer Science, 3069 . Springer, 363 pp. ISBN 978-3540231684. The full text of this publication is not available from this repository.

de Lemos, R. and Gacek, C. and Romanovsky, A. (2003) Architectural Mismatch Tolerance. Artchiteching Dependable Systems, 2677 . pp. 175-196. ISSN 0302-9743. The full text of this publication is not available from this repository.

de Lemos, R. and Hall, J. (1996) Extended RTL in the Specification and Verification of an Industrial Press. In: Hybrid Systems III. The full text of this publication is not available from this repository.

de Lemos, R. and Romanovsky, A. (1998) Coordinated Atomic Actions in Modelling Objects Cooperation. In: Proceedings of the 1st IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'98). The full text of this publication is not available from this repository.

de Lemos, R. and Romanovsky, A. (1999) Exception Handling in a Cooperative Object-Oriented Approach. In: Proceedings of the 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'99), May 02-05, 1999, Saint Malo, France. The full text of this publication is not available from this repository.

de Lemos, R. and Saeed, A. (1999) Validating Formal Verification using Safety Analysis Techniques. In: Proceedings of the 18th International Conference on Computer Safety, Reliability and Security (SAFECOMP'99), Sep 28-29, 1999, Toulouse, France. The full text of this publication is not available from this repository.

de Lemos, R. and Saeed, A. and Anderson, T. (1996) Analysis of Safety Requirements for a Chemical Batch Processing System. In: Proceedings of the 2nd IFAC Workshop on Safety and Reliability in Emerging Control Technologies. The full text of this publication is not available from this repository.

de Lemos, R. and de C. Guerra, P.A. and Rubira, C. (2006) A Fault-Tolerant Architectural Approach for Dependable Systems. IEEE Software, 23 (2). pp. 80-87. ISSN 0740-7459. The full text of this publication is not available from this repository.

de Lemos, R. (2000) A Co-operative Object-Oriented Architecture for Adaptive Systems. In: UNSPECIFIED, 04/03/2000 - 04/07/2000, Edinburgh, UK.

Preview

Preview

de Lemos, R. (2001) Describing Evolving Dependable Systems using Co-operative Software Architectures. In: IEEE International Conference on Software Maintenance (ICSM 2001), 7-9 Nov. 2001.

Preview

de Lemos, R. (2002) Novel Approaches in Dependable Computing. In: Bondavalli, A. and Thevenod-Fosse, P., eds. Dependable Computing EDCC-4. Lecture Notes in Computer Science 2485, 1. Springer-Verlag, Berlin pp. 704-708. ISBN 3-540-00012-7.

Preview

de Lemos, R. (2001) Representing Exceptional Behaviour at the earlier Phases of Software Development. In: Proceedings of the 9th Brazilian Symposium of Fault-Tolerant Computing (SCTF).

Preview

de Lemos, R. (2000) Safety Analysis of an Evolving Software Architecture. In: Proceedings of the 5th IEEE International High-Assurance Systems Engineering Symposium (HASE 2000), 11/15/2000 - 11/17/2000, Albuquerque, NM, USA.

Preview

de Lemos, R. (2004) Self-* and Predictability: are these conflicting System Capabilities? In: Self-star Properties in Complex Information Systems. pp. 105-108. ISBN 978-3-540-26009-7.

Preview

de Lemos, R. and Fiadeiro, J. (2002) An Architectural Support for Self-Adaptive Software for Treating Faults. In: Proceedings of the 1st ACM SIGSOFT Workshop on Self-Healing Systems (WOSS'02), Nov 18-19, 2002, Charleston, SC, USA.

Preview

de Lemos, R. and da S Weber, T. and Camargo Jr, J.B. (2003) Dependable Computing. In: Proceedings of the First Latin American Symposium on Dependable Computing. The full text of this publication is not available from this repository.

de Oliveira, C.S. and Meiguins, A.S.G. and Meiguins, B.S. and Godinho, P.I. and Freitas, A.A. (2007) An evolutionary density and grid-based clustering algorithm. In: Proc. of the XXIII Brazilian Symposium on Databases (SBBD-2007), October 2007, Brazil. The full text of this publication is not available from this repository.

de Raadt, Michael and Hamilton, Margaret and Lister, Raymond and Tutty, J. and Baker, Bob and Box, Ilona and Cutts, Quintin and Fincher, Sally and Hamer, John and Haden, Patricia and Petre, Marian and Robins, Anthony (2005) Approaches to learning in computer programming students and their effect on success. In: Annual International Conference of the Higher Education Research and Development Society of Australasia, 3-6 July 2005, Sydney, Australia. The full text of this publication is not available from this repository.

de Souza Baptista, Claudio (1999) On incorporating multimedia into spatio-temporal systems. In: First International Conference on Enterprise Information Systems, March 1999, Setubal, Portugal. The full text of this publication is not available from this repository.

de Souza Baptista, Claudio and Kemp, Z.P. (1999) A Model for Spatial Multimedia Digital Libraries. In: 2nd AGILE Conference on Geographic Information Science, April 1999, University of Rome ''La Sapienza'', Rome. The full text of this publication is not available from this repository.

de Souza Baptista, Claudio and Kemp, Z.P. (2000) An Integrated Metamodel for Knowledge Representation in Geolibraries. In: Proceedings of the IEEE Advances on Digital Libraries (ADL'2000), May 22-24, 2000, Washington D.C., USA. The full text of this publication is not available from this repository.

de Souza Baptista, Claudio and Kemp, Z.P. (2000) Interacting with Spatiotemporal Digital Libraries. In: Proceedings of the 11th International Workshop on Databases & Expert Systems Applications (DEXA'00) - W11 International Workshop on Interacting with Databases, 09/04/2000 - 09/08/2000, London, UK. The full text of this publication is not available from this repository.

de Souza Baptista, Claudio and Kemp, Z.P. (1999) Querying Multimedia Spatiotemporal Databases. In: The International Institute for Advanced Studies in Systems Research and Cybernetics Symposium, 1999, Baden-Baden, Germany. The full text of this publication is not available from this repository.

de Souza Baptista, Claudio and Kemp, Z.P. (1998) Spatial Information Systems and the World Wide Web. In: UNSPECIFIED, 1998, Edinburgh, UK. The full text of this publication is not available from this repository.

de Souza Baptista, Claudio and Kemp, Z.P. (2000) StepLib: a Spatiotemporal Digital Library. Informatica: an International Journal of Computing and Informatics, 24 (1). pp. 69-73. ISSN 03505596. The full text of this publication is not available from this repository.

de Souza Baptista, Claudio and Pinto, F.Q. and Kemp, Z.P. and Ryan, N.S. (2000) MetaCRIS: Metadata for Research Digital Libraries. In: The Fifth European Conference on Current Research Information Systems.

Preview

du Boulay, J.B.H. and Patel, M.J. and Taylor, C. (1992) Programming Environments for Novices. In: Proc. of NATO Advanced Research Workshop on Cognitive Models and Intelligent Environments. The full text of this publication is not available from this repository.

E

Edwards, M. and Morse, D.R. (1995) The burden is description, not identification - Reply. Trends in Ecology and Evolution, 10 (10). pp. 416-417. ISSN 0169-5347. The full text of this publication is not available from this repository.

Edwards, M. and Morse, D.R. (1995) The potential for computer-aided identification in biodiversity research. Trends in Ecology and Evolution, 10 (4). pp. 153-158. ISSN 0169-5347. The full text of this publication is not available from this repository.

Einarsson, Bo and Hanson, Richard J. and Hopkins, Tim (2009) Standardized mixed language programming for Fortran and C. SIGPLAN Fortran Forum, 28 (3). pp. 182-196. ISSN 1061-7264. The full text of this publication is not available from this repository.

El-Giar, Mohamed Osama and Hopkins, Tim (1990) A Generally Configurable Multigrid Implementation for the Solution of Three-Dimensional Elliptic Equations on a Transputer Network. Technical report. UKC, University of Kent, Canterbury, UK The full text of this publication is not available from this repository.

El-Giar, Mohamed Osama and Hopkins, Tim (1989) The Parallel Solution of Linear Elliptic Equations using Hopscotch Algorithms. Technical report. UKC, University of Kent, Canterbury, UK The full text of this publication is not available from this repository.

El-Giar, Osama and Hopkins, Tim (1992) A Generally Configurable Multigrid Implementation for Transputer Networks. Technical report. I O S Press, University of Kent, Canterbury, UK

Preview

Preview

Evans, A. and Kent, S. and Selic, B. (2000) Proceedings of UML 2000. In: LNCS, October 2-6, 2000, York, England. The full text of this publication is not available from this repository.

Evans, A.S. and Holton, D.R.W. and Lai, L.M. and Watson, P. (1997) A comparison of real-time formal specification languages. In: Duke, D.J. and Evans, A.S., eds. BCS-FACS Northern formal methods workshop. Electronic Workshops in Computer Science. Springer Verlag ISBN 3540761179. The full text of this publication is not available from this repository.

Evans, Karen and Welch, Maria (1995) Using Hypermedia Techniques to Enhance Learning in Dyslexic Students and Children. In: Hypermedia at Work. The full text of this publication is not available from this repository.

Evans, A. and Kent, S. (1999) Core Meta-Modelling Semantics of UML: The pUML Approach. In: Proceedings of UML'99, October 28-30, 1999, Ft Collins, Colorado, USA.

Preview

Evered, Mark and Kölling, Michael and Schmolitzky, Axel (1995) A Flexible Object Invocation Language based on Object-Oriented Language Definition. The Computer Journal, 38 (3). pp. 181-191.

Preview

Exton, Chris and Kölling, Michael (2000) Concurrency, objects and visualisation. In: Australian Computing Education Conference (ACE 2000), December 2000, Melbourne, Australia.

Preview

F

Fabris, C.C. and Freitas, A.A. (2000) Discovering surprising patterns by detecting occurrences of Simpson's paradox. In: 19th SGES International Conference on Knowledge Based Systems and Applied Artificial Intelligence (ES99), Dec 13-15, 1999, Cambridge, England. The full text of this publication is not available from this repository.

Fabris, C.C. and Freitas, A.A. (2001) Incorporating deviation-detection functionality into the OLAP paradigm. In: Proc. XVI Brazilian Symposium on Databases (SBBD-2001). The full text of this publication is not available from this repository.

Fachin, M.P.G. (1994) The Divide-and-Conquer Method for the Solution of the Symmetric Tridiagonal Eigenproblem and Transputer Implementations. PhD thesis, Computing Laboratory, University of Kent at Canterbury. The full text of this publication is not available from this repository.

Fahraeus, E.R. and Chamberlain, B. and Baykov, V. and Bridgeman, N. and Dumbraveanu, R. and Fuller, Ursula and Rugeli, J. (1999) Teaching with Electronic Collaborative Learning Groups: Report of the ITiCSE'99 Working Group on Creative Teaching of Electronic Collaborative Learning Groups. SIGCSE Bulletin, 31 (4). pp. 121-128. ISSN 0097-8418 . The full text of this publication is not available from this repository.

Fairhurst, M.C. (1993) Image-processing and its applications. IEE-Inst Elec Eng, Michael Faraday House Six Hills Way Stevenage, Hertford, England SG1 2AY, Hertford, England . The full text of this publication is not available from this repository.

Fairhurst, M.C. and Cowley, K.D. (1993) Parallel multilayer classifier architectures of increasing hierarchical order. Pattern Recognition Letters, 14 (2). pp. 141-145. ISSN 0167-8655. The full text of this publication is not available from this repository.

Fairhurst, M.C. and Cowley, K.D. and Yanni, M.K. (1993) Efficient parallel feature-extraction in high-performance character-recognition systems. In: Grebe, R. and Hektor, J. and Hilton, S.C. and Jane, M.R. and Welch, P.H., eds. Transputer Applications and Systems '93. Transputer and Occam Engineering Series, 36. I O S Press, VAN Diemenstraat 94, 1013 CN Amsterdam, Netherlands, Amsterdam, Netherlands pp. 728-738. ISBN 90-5199-140-1. The full text of this publication is not available from this repository.

Falconer, Isobel and Finlay, Janet and Fincher, Sally (2011) Representing practice: practice models, patterns, bundles Â�. Learning, Media and Technology, 36 (2). pp. 182-196. The full text of this publication is not available from this repository.

Farrell, S. and Chadwick, D.W. (2000) Limited Attribute Certificate Acquisition Protocol. University of Salford.

Preview

Fatema, K. and Chadwick, D.W. and Lievens, S. (2011) A Multi-privacy Policy Enforcement System. In: Fischer-Hubner, Simone and Duquenoy, Penny and Hansen, Marit and Leenes, Ronald and Zhang, Ge, eds. Privacy and Identity Management for Life. IFIP Advances in Information and Communication Technology, 352 (2011). Springer, Boston, pp. 297-310. ISBN 9783642207686.

Preview

Fatema, K. and Chadwick, D.W. and Van Alsenoy, B. (2012) Extracting Access Control and Conflict Resolution Policies from European Data Protection Law. In: Camenisch, Jan and Crispo, Bruno and Fischer-Hübner, Simone and Leenes, Ronald and Russello, Giovanni, eds. Privacy and Identity Management for Life. IFIP Advances in Information and Communication Technology, 375 . Springer Boston, pp. 59-72. ISBN 9783642316678.

Preview

Felleisen, Matthias and Hanus, Michael and Thompson, Simon (1999) Proceedings of the 1999 Workshop on Functional and Declarative Programming in Education. Technical report. Rice University The full text of this publication is not available from this repository.

Fernandes, G.P.A. (1998) Distributed Platform Support for Service Management. PhD thesis, University of Kent at Canterbury. The full text of this publication is not available from this repository.

Fernandes, G.P.A. (1993) T'ecnicas de Compilacc~ao para Sistemas Distribu'idos}. Masters thesis, Escola de Engenharia, Universidade do Minho. The full text of this publication is not available from this repository.

Fernandes, G.P.A. and Derrick, J. (1997) Formal Specification and Testing of a Management Architecture. In: 5th IFIP/IEEE International Symposium on Integrated Network Management, May 12-16, 1997, San Diego, CA, .

Preview

Preview

Fernandes, G.P.A. and Derrick, J. (1996) Formal Specification of Distributed Services Management. In: Trends in Distributed Systems' 96.

Preview

Preview

Fernandes, G.P.A. and Hungate, J. (1995) Comparison of POSIX Open System Environment (OSE) and Open Distributed Processing (ODP) Reference Models. Technical report. Computer Systems Laboratory,U.S.A, Distributed Systems Engineering, Computer Systems Laboratory, Technology Administration, U.S. Department of Commerce, Gaithersburg, MD 20899, U.S.A. The full text of this publication is not available from this repository.

Fernandes, G.P.A. and Utting, I.A. (1996) An Architecture for Scheduling of Services in a Distributed System. In: DSOM'96 - Seventh IFIP/IEEE International Workshop on Distributed Systems: Operations & Management.

Preview

Preview

Fernandes, G.P.A. and Utting, I.A. (1996) An Object-Oriented Model for Management of Services in a Distributed System. In: Special Issues in Object-Oriented Programming - Workshop Reader of the 10th European Conference on Object-Oriented Programing ECOOP'96.

Preview

Preview

Ferreira, A. and Chadwick, D.W. and Farinha, P. and Cruz-Correia, R. and Zhao, G. and Chilro, R. and Antunes, L. (2009) How to securely break into RBAC: the BTG-RBAC model. In: Computer Security Applications Conference, 2009. ACSAC'09. Annual, December 7–11, 2009, Honolulu, Hawaii, USA.

Preview

Ferreira, A. and Correia, R. and Chadwick, D.W. and Santos, H.M.D. and Gomes, R. and Reis, D. and Antunes, L. (2010) Password Sharing and How to Reduce It. In: Chryssanthou, Anargyros and Apostolakis, Ioannis and Varlamis, Iraklis, eds. Certification and Security in Health-Related Web Applications: Concepts and Solutions. Premier Reference Source . Medical Information Science Reference, New York, pp. 243-263. ISBN 9781616928971.

Preview

Ferreira, A. and Cruz-Correia, R. and Antunes, L. and Farinha, P. and Oliveira-Palhares, E. and Chadwick, David W. and Costa-Pereira, A. (2006) How to break access control in a controlled manner. In: 19th IEEE International Symposium on Computer-Based Medical Systems, 22-23 June 2006, Salt Lake City, Utah (USA).

Preview

Ferreira, Ana (2010) Modelling Access Control for Healthcare Information Systems:How to control access through policies, human processes and legislation. PhD thesis, Computing. The full text of this publication is not available from this repository.

Ferreira, Ana and Antunes, Luis and Chadwick, David W. and Correi, Ricardo (2010) Grounding Information Security in Healthcare. International Journal of Medical Informatics, 79 (4). pp. 182-196. The full text of this publication is not available from this repository.

Ferreira, Ana and Chadwick, David W. and Antunes, Luís (2007) Modelling Access Control For Healthcare Information Systems. In: Doctoral consortium at 9th International Conference on Enterprise Information Systems (ICEIS2007), 12th-16th June 2007, Funchal, Madeira - Portugal.

Preview

Ferreira, Ana and Cruz-Correia, Ricardo and Antunes, Luis and Chadwick, David W. (2007) Access Control: how can it improve patients' healthcare? In: Bos, L. and Blobel, B., eds. Medical and Care Compunetics 4. Studies in Health Technology and Informatics (Volume). IOS Press, Netherlands, pp. 65-76. ISBN 9781586037512.

Preview

Ferreira, G.R.M. and Rubira, C.M.F. and de Lemos, R. (2001) Explicit Representation of Exception Handling in the Development of Dependable Component-Based Systems. In: 6th IEEE International Symposium on High Assurance Systems Engineering .

Preview

Ferreira, S.N.M and Freitas, A.A. and Avila, B.C (2004) Handling inconsistency in distributed data mining with paraconsistent logic. In: Proc. 13th Turkish Symposium on Artificial Intelligence and Neural Networks (TAINN-2004).

Preview

Fertig, C.S. and Freitas, A.A. and Arruda, L.V.R. and Kaestner, Celso A.A. (1999) A Fuzzy Beam-Search Rule Induction Algorithm. In: Zytkow, J. and Rauch, J., eds. Principles of Data Mining and Knowledge Discovery (Proc 3rd European Conf - PKDD-99). Lecture Notes in Computer Science, 1704. Springer-Verlag, Berlin pp. 341-347. ISBN 3-540-66490-4. The full text of this publication is not available from this repository.

Fiadeiro, J. and Goldsack, S.J. and Kent, S. and Quirk, W. (1992) Design Issues in Structured MAL. In: FOREST Research Deliverable Report WP1.R2. Dept of Computing, Imp College, Department of Computing, Imperial College of Science, Technology and Medicine, London. The full text of this publication is not available from this repository.

Fidelis, M.V. and Lopes, H.S. and Freitas, A.A. (2000) Discovering comprehensible classification rules with a genetic algorithm. In: Evolutionary Computation, 2000. Proceedings of the 2000 Congress on. IEEE, La Jolla, CA, USA pp. 805-810. ISBN 0-7803-6375-2.

Preview

Fincher, Sally (1999) Analysis of Design: An Exploration of Patterns and Pattern Languages for Pedagogy. Journal of Computers in Mathematics and Science Teaching: Special Issue CS-ED Research, 18 (3). pp. 331-348. ISSN 0731-9258. The full text of this publication is not available from this repository.