Items where division is "Faculties > Sciences > School of Computing > Systems Architecture Group"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
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
Number of items at this level: 626.

A

Aagedal, Jan Øyvind and Bezivin, Jean and Linington, Peter F. (2005) Model-Driven Development. In: Malenfant, Jacques and Ostvold, Bjarte M., eds. ECOOP 2004 Workshop Reader. LNCS, 3344 . Springer-Verlag, pp. 148-157. ISBN 3-540-23988-X. (doi:https://doi.org/10.1007/b104146) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Abdala, M.A.D. and Lahoz, C.H.N. and de Lemos, Rogério (2001) Diversity of Safety Arguments in the Validation of a Sounding Rocket Destruction System. In: International System Safety Conference. System Safety Society, Huntsville, Ala pp. 801-810. (Full text available)
[img]
Preview

Akehurst, David H. (2000) Model Translation: A UML-based specification technique and active implementation approach. Doctor of Philosophy (PhD) thesis, Computing Laboratory, University of Kent. (Full text available)
[img]
Preview

Akehurst, David H. and Bordbar, Behzad (2001) On Querying UML data models with OCL. In: Gogolla, Martin and Kobryn, Cris, eds. UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools: 4th International Conference, Toronto, Canada, October 1-5, 2001. Proceedings. Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence, LNCS 2. Springer, Berlin pp. 91-103. ISBN 3-540-42667-1. (doi:https://doi.org/10.1007/3-540-45441-1_8) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Akehurst, David H. and Bordbar, Behzad and Derrick, John and Waters, A. Gill (2002) Design Support for Distributed Systems: DSE4DS. In: Finney, Joe and Haahr, Mads and Montressor, Alberto, eds. Procedings of the 7th Cabernet Radicals Workshop. (Full text available)
[img]
Preview

Akehurst, David H. and Bordbar, Behzad 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. (Full text available)
[img]
Preview

Akehurst, David H. and Derrick, John and Waters, A. Gill (2003) Addressing Computational Viewpoint Design. In: Seventh IEEE International Enterprise Distributed Object Computing Conference - EDOC 2003. IEEE Computer Society, Brisbane, Australia pp. 147-158. ISBN 0-7695-1994-6. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Akehurst, David H. and Derrick, John and Waters, A. Gill (2003) Design and Verification of Distributed Multi-media Systems. Technical report. University of Kent https://doi.org/10.1007/978-3-540-39958-2_19. (doi:https://doi.org/10.1007/978-3-540-39958-2_19) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Akehurst, David H. and Kent, Stuart (2002) A Relational Approach to Defining Transformations in a Metamodel. In: Jezequel, Jean-Marc and Hussmann, Heinrich, eds. UML2002 - The Unified Modeling Language: Model Engineeing, Concepts, and Tools. Lecture notes in computer science, 2460. Springer pp. 243-258. ISBN 3-540-44254-5. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Akehurst, David H. and Kent, Stuart 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. (doi:https://doi.org/10.1007/s10270-003-0032-z) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Akehurst, David H. and Linington, Peter F. and Patrascoiu, Octavian (2003) OCL 2.0: Implementing the Standard. Technical report. University of Kent (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Akehurst, David H. and Linington, Peter F. and Symes, A.J. and Waters, A. Gill (1996) The Effects of ABR Traffic on CBR Traffic. In: UNSPECIFIED. (Full text available)
[img]
Preview
[img]
Preview

Akehurst, David H. and Patrascoiu, Octavian (2003) OCL: Implementing the Standard. In: OCL2.0-''Industry standard or scientific playground?'' - Proceedings of the UML'03 workshop. Electronic Notes in Theoretical Computer Science (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Akehurst, David 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 currently available from this repository. You may be able to access a copy if URLs are provided)

Akehurst, David H. and Waters, A. Gill (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. (Full text available)
[img]
Preview

Akehurst, David H. and Waters, A. Gill (1999) UML specification of distributed system environments. Technical report. n/a (Full text available)
[img]
Preview

Akehurst, David H. and Waters, A. Gill and Derrick, John (2004) A Viewpoints Approach to Designing Group Based Applications. In: Unger, H., ed. Design, Analysis and Simulation of Distributed Systems 2004. Advanced Simulation Technologies Conference. , Arlington, Virginia pp. 83-93. (Full text available)
[img]
Preview

Akehurst, David H. and Waters, A. 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. , Heriot-Watt University, Edinburgh (Full text available)
[img]
Preview

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: Stepney, Susan and Polack, Fiona A.C. and Welch, Peter H., eds. Proceedings of the 2008 Workshop on Complex Systems Modelling and Simulation, York, UK, September 2008. Luniver Press pp. 93-123. ISBN 978-1-905986-17-0. (Full text available)
[img]
Preview

Atiya, Diyaa-Addein and King, Steve and Woodcock, Jim (2003) A Circus semantics for Ravenscar protected objects. In: Araki, Keijiro and Gnesi, Stefania and Mandrioli, Dion, eds. FME 2003: FORMAL METHODS, PROCEEDINGS. 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 currently available from this repository. You may be able to access a copy if URLs are provided)

Atkinson, Will and Cunningham, J. and Kent, Stuart (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 currently available from this repository. You may be able to access a copy if URLs are provided)

B

Ball, Rudi and Spurrett, Vicki and de Lemos, Rogério (2006) Dependable and Secure Storage in Pervasive Peer-to-Peer Systems. Technical report. UKC (Full text available)
[img]
Preview

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 currently available from this repository. You may be able to access a copy if URLs are provided)

Barnes, David J. (1992) Observations and Recommendations on the Internationalisation of Software. Technical report. , University of Kent, Canterbury, UK (Full text available)
[img]
Preview
[img]
Preview

Barnes, David J. and Hopkins, Tim (2006) Applying Software Testing Metrics to Lapack. In: Dongarra, Jack J. and Madsen, Kaj and Wasniewski, Jerzy, eds. Applied Parallel Computing. Lecture Notes in Computer Science, 3732. Springer, Berlin pp. 228-236. ISBN 978-3-540-29067-4. (doi:https://doi.org/10.1007/11558958_27) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Barnes, David J. and Hopkins, Tim (2000) The Evolution and Testing of a Medium Sized Numerical Package. In: Langtangen, Hans Petter and Bruaset, Are Magnus and Quak, Ewald, 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. (Full text available)
[img]
Preview
[img]
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. (Full text available)
[img]
Preview
[img]
Preview

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. (doi:https://doi.org/10.1007/s00200-007-0034-0) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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. (doi:https://doi.org/10.1016/j.simpat.2003.08.002) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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 currently available from this repository. You may be able to access a copy if URLs are provided)

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. In: Proceedings of the 4th International Conference on Telecommunication Systems Modeling and Analysis. (Full text available)
[img]
Preview
[img]
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 (Full text available)
[img] [img]
Preview

Barnes, Frederick R.M. (2006) Compiling CSP. In: Welch, Peter H. and Kerridge, Jon M. and Barnes, Frederick R.M., eds. Proceedings of Communicating Process Architectures 2006 (CPA-2006). Concurrent Systems Engineering Series, 64. IOS Press pp. 377-388. ISBN 1-58603-671-8. (Full text available)
[img]
Preview

Barnes, Frederick R.M. (2005) Interfacing C and occam-pi. In: Broenink, Jan F. and Roebbers, Herman W. and Sunter, J.P.E. and Welch, Peter H. and Wood, David C., eds. Communicating Process Architectures 2005. Concurrent Systems Engineering Series . IOS Press, Amsterdam, pp. 249-260. ISBN 978-1-58603-561-7. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Barnes, Frederick R.M. and Welch, Peter H. (2004) Communicating Mobile Processes. In: East, Ian R. and Martin, Jeremy and Welch, Peter H. and Duce, David and Green, Mark, eds. Communicating Process Architectures 2004. Concurrent Systems Engineering Series, 62. IOS Press, Amsterdam, The Netherlands pp. 201-218. ISBN 1-58603-381-6. (Full text available)
[img]
Preview

Barnes, Frederick R.M. and Welch, Peter H. and Sampson, Adam T. (2005) Barrier Synchronisation for occam-pi. In: Parallel and Distributed Processing Techniques and Applications 2005, 27-29 June 2005, Las Vegas, United States. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Berzins, Martin and Gustafsson, Bertil and Haridi, Seif and Linington, Peter F. and Rolland, Colette (2004) Evaluation of the Simula Research Laboratory. The Research Council of Norway, Oslo, Norway, 20 pp. ISBN 82-12-02017-7. (Full text available)
[img]
Preview

Bjørndalen, John Markus and Sampson, Adam T. (2008) Process-Oriented Collective Operations. In: Welch, Peter H. and Stepney, Susan and Polack, Fiona A.C. and Barnes, Frederick R.M. and McEwan, Alistair A. and Stiles, Gardner S. and Broenink, Jan F. and Sampson, Adam T., eds. Communicating Process Architectures 2008. Concurrent Systems Engineering, 66. IOS Press, Amsterdam, The Netherlands pp. 309-328. ISBN 978-1-58603-907-3. (Full text available)
[img]
Preview

Blackburn, Steve and Jones, Richard E. and McKinley, Kathryn S. and Moss, J.Eliot B. (2002) Beltway: Getting Around Garbage Collection Gridlock. In: Hendren, Laurie J., ed. Proceedings of PLDI'02 Programming Language Design and Implementation. Association for Computing Machinery, Berlin pp. 153-164. ISBN 1-58113-463-0. (Full text available)
[img]
Preview
[img]
Preview

Blair, Gordon S. and Blair, Lynne and Bowman, Howard and Chetwynd, Amanda G. (1997) Formal Specification of Distributed Multimedia Systems. University College London Press, 352 pp. ISBN 1-85728-677-4. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Blair, Lynne and Blair, Gordon S. and Bowman, Howard and Chetwynd, Amanda 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 currently available from this repository. You may be able to access a copy if URLs are provided)

Blake, Edwin and Cook, Steve 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. LNCS 276. Springer-Verlag, Paris (doi:https://doi.org/10.1007/3-540-47891-4_5) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bodden, Eric (2003) A High-level View of Java Applications. In: OOPSLA'03 ACM SIGPLAN Conference on Object-Oriented Systems, Languages and Applications (Companion). ACM Press., Anaheim, CA pp. 384-385. ISBN 1-58113-751-6. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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. IEEE Systems, Man, and Cybernetics,Conference, 1. IEEE, San Diego, California, USA pp. 674-679. ISBN 0-7803-4778-1. (doi:https://doi.org/10.1109/ICSMC.1998.725491) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Boel, R.K. and Bordbar, Behzad 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. , Cagliari, Italy pp. 79-84. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Boiten, Eerke Albert (2002) Integrating Specifications: Development Relations and Correspondences. In: Ehrig, Hartmut and Grosse-Rhode, Martin, eds. INT'02: Integration of Software Specification Techniques, ETAPS 2002 Satellite Workshop. INIST-CNRS p. 8. (Full text available)
[img]
Preview
[img]
Preview

Boiten, Eerke Albert (2002) Loose Specification and Refinement in Z. In: 2nd Interenational Conference of B and Z Users, January 2002, Grenoble, France. (doi:https://doi.org/10.1007/3-540-45648-1_12) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Boiten, Eerke Albert and Möller, Bernhard, eds. (2002) Mathematics of Program Construction: Sixth International Conference. Lecture Notes in Computer Science, 2386 . Springer, Berlin/Heidelbeg/Paris, 267 pp. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Derrick, John and Boiten, Eerke Albert and Woodcock, Jim and von Wright, Joakim, eds. (2002) REFINE 2002: The BCS FACS Refinement Workshop. Electronic Notes in Theoretical Computer Science, 70 . Elsevier Science Publishers (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Boiten, Eerke Albert and Bowman, Howard and Derrick, John and Linington, Peter F. and Steen, Maarten (2000) Viewpoint Consistency in ODP. Computer Networks, 34 (3). pp. 503-537. ISSN 1389-1286. (Full text available)
[img]
Preview

Boiten, Eerke Albert and Bowman, Howard and Derrick, John and Steen, Maarten (1995) Cross Viewpoint Consistency in Open Distributed Processing (Intra language consistency). Technical report. UKC, University of Kent, Canterbury, UK (Full text available)
[img]
Preview
[img]
Preview

Boiten, Eerke Albert and Bowman, Howard and Derrick, John and Steen, Maarten (1996) Issues in multiparadigm viewpoint specification. In: Finkelstein, A. and Spanoudakis, G., eds. ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops. ACM pp. 162-166. ISBN 0-89791-867-3. (Full text available)
[img]
Preview
[img]
Preview

Boiten, Eerke Albert and Bowman, Howard and Derrick, John and Steen, Maarten (1997) Viewpoint consistency in Z and LOTOS: A case study. In: Fitzgerald, John and Jones, Cliff B. and Lucas, Peter, eds. Lecture Notes in Computer Science. FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 4th International Symposium of Formal Methods Europe. Lecture Notes in Computer Science, 1313. Springer-Verlag Berlin pp. 644-664. ISBN 3-540-63533-5. (doi:https://doi.org/10.1007/3-540-63533-5_34) (Full text available)
[img] [img]
Preview

Boiten, Eerke Albert and Bujorianu, Marius C. (2003) Exploring UML Refinement through Unification. In: Jurjens, J. and Rumpe, Bernhard and France, Robert and Fernandez, E.B., eds. Critical Systems Development with UML - Proceedings of the UML'03 workshop, number TUM-I0323. Lecture Notes in Computer Science (TUM-I0). Technische Universitat Munchen pp. 47-62. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Boiten, Eerke Albert and De Roever, Willem-Paul (2003) Getting to the Bottom of Relational Refinement: Relations and Correctness, Partial and Total. In: Berghammer, R. and Möller, Bernhard, eds. 7th International Seminar on Relational Methods in Computer Science (RelMiCS 7). pp. 82-88. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Boiten, Eerke Albert and Denvir, T. and Derrick, John and von Wright, Joakim (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 currently available from this repository. You may be able to access a copy if URLs are provided)

Boiten, Eerke Albert and Derrick, John (1998) Grey Box Data Refinement. In: Grundy, J. and Schwenke, M. and Vickers, T., eds. International Refinement Workshop & Formal Methods Pacific '98. Discrete Mathematics and Theoretical Computer Science. Springer-Verlag, Canberra pp. 45-59. ISBN 981-4021-16-4. (Full text available)
[img]
Preview

Boiten, Eerke Albert and Derrick, John (1998) IO - refinement in Z. In: 3rd Northern Formal MethodsWorkshop,, 1998. (Full text available)
[img]
Preview

Boiten, Eerke Albert and Derrick, John (2002) Integration of Specifications through Development Relations. In: Ehrig, Hartmut and Kramer, Berndt and Ertas, Atila, eds. Proceedings of IDPT: the Sixth Biennial World Conference on Integrated Design and Process Technology. p. 8. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Boiten, Eerke Albert and Derrick, John (2000) Liberating data refinement. In: Backhouse, Roland C. and Oliveira, Jose Nuno, eds. Mathematics of Program Construction. Lecture Notes in Computer Science, 1837. Springer pp. 144-166. ISBN 3-540-67727-5. (doi:https://doi.org/10.1007/10722010_11) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Boiten, Eerke Albert and Derrick, John (2002) Unifying concurrent and relational refinement. Electronic Notes in Theoretical Computer Science, 70 (3). pp. 94-131. ISSN 1571-0661. (doi:https://doi.org/10.1016/S1571-0061(05)80488-8) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Boiten, Eerke Albert and Derrick, John (2003) A relational framework for the integration of specifications. Journal of Integrated Design and Process Science, 7 (3). pp. 39-48. ISSN 1092-0617. (Full text available)
[img]
Preview

Boiten, Eerke Albert and Derrick, John and Bowman, Howard and Steen, Maarten (1996) Consistency and refinement for partial specification in Z. In: UNSPECIFIED. (Full text available)
[img]
Preview
[img]
Preview

Boiten, Eerke Albert and Derrick, John and Bowman, Howard and Steen, Maarten (1997) Coupling schemas: data refinement and view(point)composition. In: Duke, David J. and Evans, A.S., eds. BCS-FACS Northern formal methods Workshop. Workshops in Computing, 2. Springer-Verlag ISBN 3-540-76215-9. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Boiten, Eerke Albert and Derrick, John and Bowman, Howard and Steen, Maarten (1995) Unification and multiple views of data in Z. In: van Vliet, J.C., ed. Computer Science in the Netherlands 1995. Stichting Mathematisch Centrum, Amsterdam pp. 73-85. ISBN 90-6196-460-1. (Full text available)
[img]
Preview
[img]
Preview

Boiten, Eerke Albert and Derrick, John and Smith, Graeme (2004) Doctoral Symposium Proceedings, Integrated Formal Methods 2004. Technical report. University of Kent, Great Britain (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Boiten, Eerke Albert and Möller, Bernhard (2004) Special Issue on MPC 2002: Foreword. Science of Computer Programming, 51 (1-2). pp. 1-2. ISSN 0167-6423. (doi:https://doi.org/10.1016/j.scico.2004.01.009) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Boiten, Eerke Albert 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 currently available from this repository. You may be able to access a copy if URLs are provided)

Bonnici, Eric and Welch, Peter H. (2009) Mobile Processes, Mobile Channels and Dynamic Systems. In: 2009 IEEE Congress on Evolutionary Computation (CEC 2009). IEEE Press pp. 232-239. ISBN 978-1-4244-2959-2. (Full text available)
[img]
Preview

Borba, Paulo H.M. and Sampaio, Augusto C.A. and Cavalcanti, Ana L. C. and Cornélioa, Márcio (2004) Algebraic Reasoning for Object-Oriented Programming. Science of Computer Programming, 52 (1-3). pp. 53-100. ISSN 0167-6423. (doi:https://doi.org/10.1016/j.scico.2004.03.003) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bordbar, Behzad (1998) Weakly almost period functions on N with a negative base. Journal of the London Mathematical Society, (57). pp. 706-720. ISSN 0024-6107. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bordbar, Behzad and Derrick, John and Waters, A. Gill (2003) A UML approach to the design of open distributed systems. In: George, Chris and Miao, Huaikou, eds. Formal Methods and Software Engineering. Lecture Notes in Computer Science, 2495. Springer pp. 561-572. ISBN 978-3-540-00029-7. (doi:https://doi.org/10.1007/3-540-36103-0_56) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bordbar, Behzad and Derrick, John and Waters, A. Gill (2002) Using UML to specify QoS constraints in ODP. Computer Networks, 40 (2). pp. 279-304. ISSN 1389-1286. (doi:https://doi.org/10.1016/S1389-1286(02)00255-4) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bordbar, Behzad and Giacomini, Luisa and Holding, David J. (2000) Design of Distributed Manufacturing Systems using UML and Petri Nets. In: Proceedings of 6th International Federation of Automatic Control (IFAC). Workshop on Algorithms and Architectures for Real-Time Control. Elsevier, Palma de Mallorca, Spain pp. 105-110. ISBN 0-08-043685-4. (Full text available)
[img]
Preview

Bordbar, Behzad and Giacomini, Luisa and Holding, David J. (2000) Hybrid Control Systems: a Design Case Study. In: IEEE CCA/CACSD. IEEE, Alaska, USA pp. 947-952. ISBN 0-7803-6562-3. (doi:https://doi.org/10.1109/CCA.2000.897592) (Full text available)
[img]
Preview

Bordbar, Behzad and Giacomini, Luisa and Holding, David J. (2000) UML and Petri Nets for Design and Analysis of Distributed Systems. In: IEEE CCA/CACSD. IEEE, Alaska, USA pp. 610-615. ISBN 0-7803-6562-3. (doi:https://doi.org/10.1109/CCA.2000.897497) (Full text available)
[img]
Preview

Bordbar, Behzad and Giacomini, Luisa and Holding, David 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. IEE Digest, London pp. 31-33. (doi:https://doi.org/10.1049/ic:20000237) (Full text available)
[img]
Preview

Bordbar, Behzad and Giacomini, Luisa and Holding, David 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. , Ghent, Belgium (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bordbar, Behzad and Pym, J.S. (2000) The Set of Idempotents in the Weakly Almost Periodic Compactification of the Integers is not Closed. Transactions of the American Mathematical Society, 352 (2). pp. 823-842. ISSN 0002-9947. (Full text available)
[img]
Preview

Bordbar, Behzad 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. (doi:https://doi.org/10.1017/S0305004198002540) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bowman, Howard (1998) A LOTOS Based Tutorial on Formal Methods for Object Oriented Distributed Systems. New Generation Computing, 16 (4). pp. 343-372. ISSN 0288-3635. (doi:https://doi.org/10.1007/BF03037429) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bowman, Howard and Blair, Lynne and Blair, Gordon S. and Chetwynd, Amanda G. (1994) A Formal Description Technique Supporting Expression of Quality of Service and Media Synchronisation. In: Hutchison, D. and Danthine, A. and Leopold, H. and Coulson, G., eds. Multimedia Transport and Teleservices, International COST 237 Workshop. Lecture Notes in Computer Science, 882. Springer-Verlag pp. 145-167. ISBN 3-540-58759-4. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bowman, Howard and Boiten, Eerke Albert and Derrick, John and Steen, Maarten (1999) Strategies for consistency checking based on unification. Science of Computer Programming, 33 (3). pp. 261-298. ISSN 0167-6423. (doi:https://doi.org/10.1016/S0167-6423(98)00017-3) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bowman, Howard and Boiten, Eerke Albert and Derrick, John and Steen, Maarten (1996) Viewpoint consistency in ODP, a general interpretation. In: Najm, Elie and Stefani, J.-B., eds. First IFIP International Workshop on Formal Methods for Open Object-Based Distributed Systems. First IFIP International Workshop on Formal Methods for Open Object-Based Distributed Systems. Chapman & Hall pp. 189-204. ISBN 0-412-79770-4. (Full text available)
[img]
Preview
[img]
Preview

Bowman, Howard and Briscoe-Smith, C. and Derrick, John and Strulo, B. (1997) On Behavioural Subtyping in LOTOS. In: Bowman, Howard and Derrick, John, eds. FMOODS'97, Second IFIP International Conference on Formal Methods for Open Object-based Distributed Systems. Chapman and Hall pp. 335-351. ISBN 0-412-82040-4. (Full text available)
[img] [img]
Preview

Bowman, Howard and Bryans, Jeremy W. and Derrick, John (2001) Analysis of a Multimedia Stream using Stochastic Process Algebra. Computer Journal, 44 (4). pp. 230-245. ISSN 0010-4620. (doi:https://doi.org/10.1093/comjnl/44.4.230) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bowman, Howard and Bryans, Jeremy W. and Derrick, John (1998) Analysis of a Multimedia Stream using Stochastic Process Algebra. In: Priami, C., ed. Sixth International Workshop on Process Algebras and Performance Modelling. , Nice pp. 51-69. (Full text available)
[img]
Preview

Bowman, Howard and Derrick, John (2001) Formal Methods for Distributed Processing, A Survey of Object-oriented Approaches. Cambridge University Press, Cambridge, UK, 480 pp. ISBN 0-521-77184-6. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bowman, Howard and Derrick, John (2001) Issues in Formal Methods (chapter 3). In: Bowman, Howard and Derrick, John, 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 currently available from this repository. You may be able to access a copy if URLs are provided)

Bowman, Howard and Derrick, John (1995) Modelling Distributed Systems using Z. In: UNSPECIFIED. (Full text available)
[img]
Preview
[img]
Preview

Bowman, Howard and Derrick, John (1994) Towards a Formal Model of Consistency in ODP. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, UK (Full text available)
[img]
Preview
[img]
Preview

Bowman, Howard and Derrick, John (1995) A True Concurrency Semantics for Quality of Service Specification and Validation. In: Sarikaya, Behcet and Saito, Senro, eds. MMNet'95, International Conference on Multimedia and Networking. IEEE Computer Society Press pp. 173-182. ISBN 0-8186-7090-8. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bowman, Howard and Derrick, John (2001) Viewpoints Modelling. In: Bowman, Howard and Derrick, John, 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 currently available from this repository. You may be able to access a copy if URLs are provided)

Bowman, Howard and Derrick, John 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 currently available from this repository. You may be able to access a copy if URLs are provided)

Bowman, Howard and Derrick, John and Jones, Richard E. (1994) Modelling Garbage Collection Algorithms --- Extend abstract. In: Proceedings of Principles of Distributed Computing'94. (Full text available)
[img]
Preview
[img]
Preview

Bowman, Howard and Derrick, John and Linington, Peter F. and Steen, Maarten (1995) FDTs for ODP. Computer Standards and Interfaces, 17 (5-6). pp. 457-479. ISSN 0920-5489. (doi:https://doi.org/10.1016/0920-5489(95)00021-L) (Full text available)
[img]
Preview
[img]
Preview

Bowman, Howard and Derrick, John and Steen, Maarten (1995) Some Results on Cross Viewpoint Consistency Checking. In: UNSPECIFIED. (Full text available)
[img]
Preview
[img]
Preview

Bowman, Howard and Faconti, Giorgio 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. (doi:https://doi.org/10.1007/s001650050032) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bowman, Howard and Faconti, Giorgio and Katoen, J-P. and Latella, D. and Massink, M. (1998) Automatic Verification of a Lip-Synchronisation Algorithm Using UPPAAL - Extended Version. In: Groote, J.F. and Luttik, B. and van Warnel, J., eds. FMICS'98, Third Internatinoal Workshop on Formal Methods for Industrial Crtical Systems. CWI pp. 97-124. ISBN 90-6196-480-6. (Full text available)
[img]
Preview

Bowman, Howard and Faconti, Giorgio 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. Eurographics Series. Springer-Verlag pp. 261-277. ISBN 3-211-83212-2. (Full text available)
[img]
Preview
[img]
Preview

Bowman, Howard and Steen, Maarten and Boiten, Eerke Albert and Derrick, John (1999) A Formal Framework for Viewpoint Consistency (full version). Technical report. , Canterbury, Kent, CT2 7NZ (Full text available)
[img]
Preview
[img]
Preview

Bowman, Howard and Steen, Maarten and Boiten, Eerke Albert and Derrick, John (2002) A Formal Framework for Viewpoint Consistency. Formal Methods in System Design, 21 (2). pp. 111-166. ISSN 0925-9856. (doi:https://doi.org/10.1023/A:1016000201864) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Brito, Patrick H. S. and de Lemos, Rogério and Martins, Eliane and Rubira, Cecilia 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). Workshop on Architecting Dependable Systems (WADS 2007). pp. 166-171. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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. (doi:https://doi.org/10.1002/spe.691) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Brown, Neil C.C. (2007) C++CSP2: A Many-to-Many Threading Model for Multicore Architectures. In: McEwan, Alistair A. and Schneider, S. and Ifill, W. and Welch, Peter H., eds. Communicating Process Architectures 2007: WoTUG-30. Concurrent Systems Engineering Vol 65. IOS Press, Netherlands pp. 183-205. ISBN 978-1-58603-767-3. (Full text available)
[img]
Preview

Brown, Neil C.C. (2008) Communicating Haskell Processes: Composable Explicit Concurrency Using Monads. In: Welch, Peter H. and Stepney, S. and Polack, Fiona A.C. and Barnes, Frederick R.M. and McEwan, Alistair A. and Stiles, Gardiner S. and Broenink, Jan F. and Sampson, Adam T., eds. Communicating Process Architectures 2008. Concurrent Systems Engineering, 66. IOS Press, Amsterdam, The Netherlands pp. 67-83. ISBN 978-1-58603-907-3. (Full text available)
[img]
Preview

Brown, Neil C.C. and Sampson, Adam T. (2008) Matching and Modifying with Generics. In: Achten, P. and Koopman, P. and Morazán, M.T., eds. Trends in Functional Programming (TFP) 2008. pp. 304-318. (Full text available)
[img]
Preview

Brown, Neil C.C. and Smith, Marc L. (2008) Representation and Implementation of CSP and VCR Traces. In: Welch, Peter H. and Stepney, S. and Polack, Fiona A.C. and Barnes, Frederick R.M. and McEwan, Alistair A. and Stiles, Gardiner S. and Broenink, Jan F. and Sampson, Adam T., eds. Communicating Process Architectures 2008. Concurrent Systems Engineering, 66. IOS Press, Amsterdam, The Netherlands pp. 329-345. ISBN 978-1-58603-907-3. (Full text available)
[img]
Preview

Brown, Neil C.C. and Welch, Peter H. (2003) An Introduction to the Kent C++CSP Library. In: Broenink, Jan F. and Hilderink, Gerald H., eds. Communicating Process Architectures 2003. Concurrent Systems Engineering Series, 61. IOS Press, Amsterdam, The Netherlands pp. 139-156. ISBN 1-58603-381-6. (Full text available)
[img]
Preview

Bryans, Jeremy W. and Blair, Lynne and Bowman, Howard and Derrick, John (2000) Specification and Analysis of Automata-based Designs. In: Grieskamp, Wolfgang and Stanten, Thomas and Stoddart, Bill, eds. Integrated Formal Methods (IFM 2000). Lecture Notes in Comuter Science, 1945. Springer pp. 176-193. ISBN 3-540-41196-8. (Full text available)
[img]
Preview
[img]
Preview

Bujorianu, Marius C. and Boiten, Eerke Albert (2004) Towards Correspondence Carrying Specifications. In: Rattray, Charles and Maharaj, Savitri and Shankland, Carron, eds. Algebraic Methodology and Software Technology, Proceedings of the 10th International Conference, AMAST 2004. LNCS, 3116. Springer pp. 57-71. ISBN 3-540-22381-9. (doi:https://doi.org/10.1007/b98770) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Burton, C.T. and Cook, Steve 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 currently available from this repository. You may be able to access a copy if URLs are provided)

Butterfield, Andrew and Woodcock, Jim (2002) Semantics of Prialt in Handel-C. In: Concurrent Systems Engineering, Proceedings of the Conference on Communicating Processing Architectures. IOS Press (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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. (doi:https://doi.org/10.1016/S1571-0661(04)80821-1) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

C

Carvalho, P. and Linington, Peter 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. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Caspersen, Michael E. and Kölling, Michael (2009) STREAM: A First Programming Process. Transactions of Computing Education, 9 (1). p. 1. ISSN 1946-6226. (doi:https://doi.org/10.1145/1513593.1513597) (Full text available)
[img]
Preview

Cavalcanti, Ana 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 currently available from this repository. You may be able to access a copy if URLs are provided)

Cavalcanti, Ana L. C. and Florissi, C. and Soares, Patricia G. and Melo, T.C.S (1987) Implementation of a Relational Language for Microcomputers. In: 7th Conference of the Brazilian Computer Society. pp. 441-451. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cavalcanti, Ana L. C. and Meira, Silvio Lemos (1989) Denotational Models of Software Systems. In: 9th Conference of the Brazilian Computer Society. pp. 187-204. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cavalcanti, Ana L. C. and Naumann, David 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 currently available from this repository. You may be able to access a copy if URLs are provided)

Cavalcanti, Ana L. C. and Naumann, David A. (2002) Forward Simulation for Data Refinement of Classes. In: Eriksson, Lars-Henrik and Lindsay, Peter A., eds. FME 2002: Formal Methods - Getting IT Right. Lecture Notes in Computer Science, 1. Springer-Verlag, Berlin pp. 471-490. ISBN 978-3-540-43928-8. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cavalcanti, Ana L. C. and Naumann, David A. (2002) On a Specification-oriented Model for Object-orientation. In: Proceedings of the 6th Brazilian Symposium on Programming Languages. pp. 114-127. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cavalcanti, Ana L. C. and Naumann, David A. (2000) Simulation and Class Refinement for Java. In: Drossopoulou, Sophia and Eisenback, S., eds. ECOOP 2000 Workshop on Formal Techniques for Java Programs. Technical Report 269. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cavalcanti, Ana L. C. and Naumann, David 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. (doi:https://doi.org/10.1007/3-540-48118-4_26) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cavalcanti, Ana L. C. and Naumann, David A. (1999) A Weakest Precondition Semantics for an Object-oriented Language of Refinement. In: FM'99: World Congress on Formal Methods in the Development of Computing Systems, Sep 20-24, 1999, Toulouse, France. (doi:https://doi.org/10.1007/3-540-48118-4_26) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cavalcanti, Ana L. C. and Sampaio, Augusto 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. IEEE CS Press, Contained in IPDPS collects proceedings CD-ROM (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cavalcanti, Ana L. C. and Sampaio, Augusto C.A. and Woodcock, Jim (1999) An Inconsistency in Procedures, Parameters and Substitution in the Refinement Calculus. Science of Computer Programming, 33 (1). pp. 87-96. ISSN 0167-6423. (doi:https://doi.org/10.1016/S0167-6423(97)00015-4) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cavalcanti, Ana L. C. and Sampaio, Augusto C.A. and Woodcock, Jim (1998) Procedures and Recursion in the Refinement Calculus. Journal of the Brazilian Computer Society, 5 (1). pp. 1-15. ISSN 0104-6500. (doi:https://doi.org/10.1590/S0104-65001998000200002) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cavalcanti, Ana L. C. and Sampaio, Augusto C.A. and Woodcock, Jim (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 currently available from this repository. You may be able to access a copy if URLs are provided)

Cavalcanti, Ana L. C. and Sampaio, Augusto C.A. and Woodcock, Jim (2002) Refinement of Actions in Circus. In: Proceedings of REFINE'2002. Electronic Notes in Theoretical Computer Science, 70. Elsevier B.V pp. 132-162. (doi:https://doi.org/10.1016/S1571-0661(05)80489-X) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cavalcanti, Ana L. C. and Sampaio, Augusto C.A. and Woodcock, Jim (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 currently available from this repository. You may be able to access a copy if URLs are provided)

Cavalcanti, Ana L. C. and Woodcock, Jim (2004) Angelic Nondeterminism and Unifying Theories of Programming. Technical report. University of Kent (Full text available)
[img]
Preview

Cavalcanti, Ana L. C. and Woodcock, Jim (2003) Predicate transformers in the semantics of Circus. IEE Proceedings: Software, 150 (1). ISSN 1462-5970. (doi:https://doi.org/10.1049/ip-sen:20030131) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cavalcanti, Ana L. C. and Woodcock, Jim (2002) A Weakest Precondition Semantics for Circus. In: Proceedings of the Communicating Processing Architectures 2002. IOS Press ISBN 4-274-90539-X. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cavalcanti, Ana L. C. and Woodcock, Jim (1998) A Weakest Precondition Semantics for Z. Computer Journal, 41 (1). pp. 1-15. ISSN 0010-4620. (doi:https://doi.org/10.1093/comjnl/41.1.1) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cavalcanti, Ana L. C. and Woodcock, Jim (1998) ZRC - A Refinement Calculus for Z. Formal Aspects of Computing, 10 (3). pp. 267-289. (doi:https://doi.org/10.1007/s001650050016) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cepin, M. and de Lemos, Rogério and Mavko, B. and Riddle, S. and Saeed, Amer (1997) An Object-Based Approach to Modelling and Analysis of Failure Properties. In: Daniel, P., ed. Proceedings of the 16th International Conference on Computer Safety, Reliability and Security (SAFECOMP'97). Springer-Verlag, Berlin, Germany, York, UK pp. 281-294. (Full text available)
[img]
Preview
[img]
Preview

Chadwick, David W. (2005) Authorisation in Grid Computing. Information Security Technical Report, 10 (1). pp. 33-40. ISSN 1363-4127. (Full text available)
[img]
Preview

Chadwick, David W. (2005) Delegation Issuing Service. In: NIST 4th Annual PKI Workshop. , Gaithersberg, USA pp. 62-73. (Full text available)
[img]
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 978-3-540-26042-4. (Full text available)
[img]
Preview

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 currently available from this repository. You may be able to access a copy if URLs are provided)

Chadwick, David W. (2004) The X.509 Privilege Management Infrastructure. In: Jerman-Blazic, B. and Schneider, W.S. 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 978-1-58603-430-6. (Full text available)
[img]
Preview

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 currently available from this repository. You may be able to access a copy if URLs are provided)

Chadwick, David W. and Beitis, George and Owen, Gareth (2008) Adding Authorisation to EduRoam. In: TERENA Networking Conference. , Brugge, Belgium (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Chilimbi, Trishul and Jones, Richard E. and Zorn., Benjamin (2000) Designing a Trace Format for Heap Allocation Events. In: Hosking, Tony, ed. ISMM2000 International Symposium on Memory Management. ACM Press., Minneapolis, MN pp. 35-49. ISBN 1-58113-263-8. (Full text available)
[img]
Preview
[img]
Preview

Clark, A. and Evans, Andy and Kent, Stuart (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 currently available from this repository. You may be able to access a copy if URLs are provided)

Clark, Anthony and Evans, Andy and Kent, Stuart (2003) Aspect-Oriented Metamodelling. Computer Journal, 46 (5). pp. 566-577. ISSN 0010-4620. (doi:https://doi.org/10.1093/comjnl/46.5.566) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Clark, Anthony and Evans, Andy and Kent, Stuart (2002) Engineering Modelling Languages: A Precise Metamodelling Approach. In: Weber, H., ed. Fundamental Approaches to Software Engineering. LNCS 2306, 2306. SPRINGER-VERLAG, Berlin, Germany pp. 159-173. ISBN 3-540-43353-8. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Clark, Anthony and Evans, Andy and Kent, Stuart (2001) The Meta-Modeling Language Calculus: Foundation Semantics for UML. In: Proceedings of ETAPS FASE Conference. Springer-Verlag (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Clark, Anthony and Evans, Andy and Kent, Stuart (2002) A Metamodel Facility for a Family of UML Constraint Languages. In: Clark, Anthony and Warmer, Jos, eds. Advances in Object Modelling with OCL. LNCS 2263, 2263/2. Springer-Verlag, Berlin pp. 440-443. ISBN 978-3-540-43169-5. (doi:https://doi.org/10.1007/3-540-45669-4) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Clark, Anthony and Evans, Andy and Kent, Stuart (2002) A Metamodel for Package Extension with Renaming. In: Jezequel, Jean-Marc and Hussmann, Heinrich and Cook, Stephen, eds. The Unified Modeling Language 5th International Conference. Lecture Notes in Computer Science, 2460. Springer, Dresden, Germany pp. 305-320. ISBN 978-3-540-44254-7. (doi:https://doi.org/10.1007/3-540-45800-X_24) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cleal, C. and Daniels, J. and Cook, S. (1996) Partitioning Dynamic Object Models. In: O'Callaghan, A.J. and Thornes, S., eds. Practical Experiences of Object Technology. Nelson Thomas Limited. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Conca, Piero and Timmis, Jon and de Lemos, Rogerio and Forrest, Simon and McCracken, Heather (2015) An Adaptive Classification Framework for Unsupervised Model Updating in Nonstationary Environments. In: International Workshop on Machine learning, Optimization and big Data, July 21 to 23, 2015, Taormina - Sicily, Italy. (Unpublished) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cook, Steve J. (1999) Architectural Standards, Processes and Patterns for Enterprise Systems. In: Barroca, Leonor and Hall, Jon and Hall, Patrick A.V., eds. Software Architectures - Advances and Applications. Springer-Verlag. (doi:https://doi.org/10.1007/978-1-4471-0367-7_10) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cook, Steve J. (1986) Languages and Object-oriented Programming. Software Engineering Journal, 1 (2). (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cook, Steve J. (1986) Modelling Generic User Interfaces with Functional Programs. In: Harrison, M.D. and Monk, A.F., eds. Proceedings of HCI'86, the Conference of the BCS Human Computer Interaction Specialist Group. Cambridge University Press (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cook, Steve 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 currently available from this repository. You may be able to access a copy if URLs are provided)

Cook, Steve J. (1983) Playing Cards on the PERQ - An Algorithm for Overlapping Rectangles. Software: Practice and Experience, 13 (11). pp. 1043-1053. ISSN 0038-0644. (doi:https://doi.org/10.1002/spe.4380131109) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cook, Steve J. (1991) Programming Languages based on Objects. In: Blair, Gordon S., ed. Object-oriented Languages, Systems and Applications. Pitmans. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cook, Steve J. (2000) The UML Family: Profiles, Prefaces and Packages. In: Evans, Andy and Kent, Stuart and Selic, Bran, eds. «UML» 2000 — The Unified Modeling Language. Lecture Notes in Computer Science, 1939. (doi:https://doi.org/10.1007/3-540-40011-7_18) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cook, Steve J. (1994) The World isn't Software. Journal of Object-Oriented Programming, 5 (9). ISSN 0896-8438. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cook, Steve J. and Abramsky, Samson (1981) Pascal-m in Office Information Systems. In: Naffah, N., ed. Proceedings of the Second International Workshop on office Information Systems. North-Holland, Couvent Royal de Saint-Maximin, France (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cook, Steve J. and Birch, Gary (1991) Modelling Groupware in the Electronic Office. International Journal of Man-Machine Studies, 34 (3). pp. 369-393. ISSN 0020-7373. (doi:https://doi.org/10.1016/0020-7373(91)90026-4) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cook, Steve J. and Coulouris, George F. and Dollimore, Jean and Drake, Kieron O. and Francis, John (1991) Interactive User Interfaces. In: Blair, Gordon S., ed. Object-oriented Languages, Systems and Applications. Pitmans. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cook, Steve J. and Daniels, J. (1994) Essential Techniques for Object-oriented Design. In: Carmichael, Andy J., ed. Object Development Methods. SIGS Books Inc.. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cook, Steve J. and Daniels, John (1994) Designing Object Systems. Journal of Object-Oriented Programming, . ISSN 0896-8438. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cook, Steve J. and Daniels, John (1994) Designing Object Systems: Object-oriented Modelling with Syntropy. Prentice-Hall (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cook, Steve J. and Kleppe, Anneke and Mitchell, Richard and Rumpe, Bernhard and Warmer, Jos and Wills, A. (1999) Defining UML Family Members using Prefaces. In: Technology of Object-Oriented Languages and Systems (TOOLS) 32. IEEE pp. 102-114. ISBN 0-7695-0462-0. (doi:https://doi.org/10.1109/TOOLS.1999.809418) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cook, Steve J. and Kleppe, Anneke and Mitchell, Richard and Warmer, Jos and Wills, Alan (1999) Defining the Context of OCL Expressions. In: 2nd International Conference on the Unified Modeling Language (UML 99), Oct 28-30, 1999, Ft Collins, Colorado. (doi:https://doi.org/10.1007/3-540-46852-8_27) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cook, Steve J. and Masnavi, S. (1989) Visual Programming of User Interfaces. In: Kilgour, Alistair and Earnshaw, Rae A., eds. Graphics Tools for Software Engineering. Cambridge University Press. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cook, Steve J. and Roberts, G.A. (1986) A Compile-time Type Checking System for Smalltalk-80. In: 3rd Study Sessions on Object-Oriented Languages. Bigre+Globule no. 48. , Paris, France (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cook, Steve J. and Selic, Bran (1997) OMG OA&D RFP Response V1.0. Technical report. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cooper, David and Stepney, Susan and Woodcock, Jim (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 currently available from this repository. You may be able to access a copy if URLs are provided)

Cornélioa, Márcio and Cavalcanti, Ana L. C. and Sampaio, Augusto C.A. (2002) Refactoring by Transformation. In: Proceedings of REFINE'2002. Electronic Notes in Theoretical Computer Science, 70. Elsevier Science B V pp. 311-330. (doi:https://doi.org/10.1016/S1571-0661(05)82564-2) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Coutinho, S.L. and Reis, T.P.C. and Cavalcanti, Ana L. C. (1999) A Tool for Teaching Refinement. In: 13th Brazilian Symposium on Software Engineering - Tools Session. pp. 61-64. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Crawford, John (1998) A Hybrid Approach to Quality of Service Multicast Routing in High Speed Networks. Doctor of Philosophy (PhD) thesis, University of Kent at Canterbury. (Full text available)
[img]
Preview
[img]
Preview

Crawford, John and Waters, A. Gill (1996) An Heuristic for Lower Cost Multicast Routing in the Internet. Technical report. UKC (Full text available)
[img]
Preview
[img]
Preview

Crawford, John and Waters, A. Gill (1998) Heuristics for ATM Multicast Routing. In: Kouvatsos, D.D., ed. ATM'98 Sixth IFIP Wokshop on Performance Modelling and Evaluation of ATM Networks. Participants Proceedings: Tutorial Papers. Performance Engineering Workshop, University of Bradford 5/1-5/18. (Full text available)
[img]
Preview
[img]
Preview

Crawford, John and Waters, A. Gill (1997) A Hybrid Approach to Quality of Service Multicast Routing. In: Kouvatsos, D.D., ed. ATM'97 Fifth IFIP Workshop on Performance Modelling and Evaluation of ATM Networks. Participants Proceedings: Research Papers. UK Performance Engineering Workshop, University of Bradford 61/1-61/9. ISBN 0-9524027-3-4. (Full text available)
[img]
Preview
[img]
Preview

Crawford, John and Waters, A. Gill (1997) Low Cost Quality of Service Multicast Routing in High Speed Networks. Technical report. University of Kent at Canterbury (Full text available)
[img]
Preview
[img]
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 currently available from this repository. You may be able to access a copy if URLs are provided)

Cámara, Javier and de Lemos, Rogerio and Laranjeiro, Nuno and Ventura, Rafael and Vieira, Marco (2015) Robustness-Driven Resilience Evaluation of Self-Adaptive Software Systems. IEEE Transactions on Dependable and Secure Computing, 6 (1). ISSN 1545-5971. E-ISSN 1545-5971. (doi:https://doi.org/10.1109/TDSC.2015.2429128) (Full text available)
[img]
Preview

D

Daniels, John and Cook, Steve J. (1993) Strategies for Sharing Objects in Distributed Systems. Journal of Object-Oriented Programming, . ISSN 0896-8438. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Day, Dominic and Shrimpton, David and Waters, A. Gill (2002) Supporting Groups in a Ubiquitous Environment. In: Proceedings of 3rd Annual PostGraduate Symposium on The Convergence of Telecommunications, Networking & Broadcasting. Liverpool John Moores University, Liverpool pp. 92-97. ISBN 1-902560-08-6. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Derrick, John and Boiten, Eerke Albert (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 currently available from this repository. You may be able to access a copy if URLs are provided)

Derrick, John and Boiten, Eerke Albert (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 currently available from this repository. You may be able to access a copy if URLs are provided)

Derrick, John and Boiten, Eerke Albert (1999) Separating component and context specification using Promotion. In: Araki, Keijiro and Galloway, Andrew and Taguchi, Kenji, eds. International Conference on Integrated Formal Methods 1999 (IFM'99). Springer pp. 293-312. ISBN 18523310710. (Full text available)
[img]
Preview
[img]
Preview

Derrick, John and Boiten, Eerke Albert (1999) Testing Refinements of State-based Formal Specifications. Software Testing, Verification and Reliability, 9 (1). pp. 27-50. (Full text available)
[img]
Preview
[img]
Preview

Derrick, John and Boiten, Eerke Albert and Bowman, Howard and Steen, Maarten (1996) Supporting ODP - Translating LOTOS into Z. In: Najm, Elie and Stefani, J.-B., eds. First IFIP International Workshop on Formal Methods for Open Object-Based Distributed Systems. Chapman & Hall, Paris pp. 399-406. ISBN 0-412-79770-4. (Full text available)
[img]
Preview
[img]
Preview

Derrick, John and Boiten, Eerke Albert and Bowman, Howard and Steen, Maarten (1997) Translating LOTOS to Object-Z. In: Duke, David J. and Evans, A.S., eds. 2nd BCS-FACS Northern Formal Methods Workshop. Workshops in Computing. Springer-Verlag ISBN 3-540-76215-9. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Derrick, John and Bowman, Howard and Steen, Maarten (1995) Maintaining Cross Viewpoint Consistency using Z. In: UNSPECIFIED. (Full text available)
[img]
Preview
[img]
Preview

Derrick, John and Bowman, Howard and Steen, Maarten (1995) Viewpoints and Objects. In: UNSPECIFIED. (Full text available)
[img]
Preview
[img]
Preview

Dimmich, Damian J. (2007) Channel Communications on the Cell Broadband Engine. In: Post Graduate Conference Proceedings. University of Kent, CT2 7NF, Canterbury, Kent (Full text available)
[img]
Preview

Dimmich, Damian J. and Jacobsen, Christian L. (2005) A Foreign Function Interface Generator for occam-pi. In: Broenink, Jan F. and Roebbers, H. and Sunter, J. and Welch, Peter H. and Wood, D., eds. Communicating Process Architectures 2005. IOS Press, Amsterdam, The Netherlands pp. 235-248. ISBN 1-58603-561-4. (Full text available)
[img]
Preview

Dimmich, Damian J. and Jacobsen, Christian L. and Jadud, Matthew C. (2006) A Cell Transterpreter. In: Welch, Peter H. and Kerridge, Jon M. and Barnes, Frederick R.M., eds. Communicating Process Architectures 2006: WoTUG-29. Concurrent Systems Engineering, 29. IOS Press, Amsterdam, The Netherlands pp. 215-224. ISBN 1-58603-671-8. (Full text available)
[img]
Preview

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. IASTED/ACTA Press pp. 94-99. ISBN 0-88986-271-0. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Duran, Adolfo and Cavalcanti, Ana L. C. and Sampaio, Augusto C.A. (2003) A Strategy for Compiling Classes, Inheritance, and Dynamic Binding. In: Araki, Keijiro and Gnesi, Stefania and Mandrioli, Dino, eds. FME 2003: Formal Methods - International Symposium of Formal Methods Europe. LNCS, 2805 (2805). Springer-Verlag, Pisa, Italy pp. 301-320. ISBN 3-540-40828-2. (doi:https://doi.org/10.1007/b13229) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Duran, Adolfo and Sampaio, Ana and Cavalcanti, Augusto (2002) Refinement Algebra for Formal Bytecode Generation. In: Proceedings of the 4th International Conference on Formal Engineering Methods - ICFEM 2002. Springer-Verlag pp. 347-358. ISBN 978-3-540-00029-7. (doi:https://doi.org/10.1007/3-540-36103-0_36) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Duran, Adolfo and Sampaio, Augusto C.A. and Cavalcanti, Ana 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 currently available from this repository. You may be able to access a copy if URLs are provided)

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 currently available from this repository. You may be able to access a copy if URLs are provided)

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 (Full text available)
[img]
Preview
[img]
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 (Full text available)
[img]
Preview
[img]
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 (Full text available)
[img]
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 currently available from this repository. You may be able to access a copy if URLs are provided)

da Cunha, Rudnei Dias and Hopkins, Tim (1993) Parallel Preconditioned Conjugate-Gradients Methods on Transputer Networks. Technical report. UKC, University of Kent, Canterbury, UK (Full text available)
[img]
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 (Full text available)
[img]
Preview
[img]
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 (Full text available)
[img]
Preview
[img]
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 currently available from this repository. You may be able to access a copy if URLs are provided)

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 (Full text available)
[img]
Preview

da Cunha, Rudnei Dias and Hopkins, Tim (1993) Using parallel programming environments on clusters of workstations. Technical report. UKC, University of Kent, Canterbury, UK (Full text available)
[img]
Preview
[img]
Preview

de C. Guerra, P.A. and Rubira, Cecilia M. F. and Romanovsky, A. and de Lemos, Rogério (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). ACM Press pp. 375-382. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

de C. Guerra, P.A. and Rubira, Cecilia M. F. and Romanovsky, A. and de Lemos, Rogério (2003) Integrating COTS Software Components into Dependable Software Architectures. In: Puschner, P. and Nakajima, T. and Ghafoor, A., eds. Proceedings of the 6th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC-03). IEEE Computer Society Press ISBN 0-7695-1928-8. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

de C. Guerra, P.A. and Rubira, Cecilia M. F. and Romanovsky, Alexander and de Lemos, Rogério (2004) A Dependable Architecture for COTS-Based Software Systems using Protective Wrappers. In: de Lemos, Rogério and Gacek, Cristina and Romanovsky, Alexander, eds. Architecting Dependable Systems II. Lecture Notes in Computer Science, 3069 . Springer, pp. 144-166. (doi:Lecture notes in computer science) (Full text available)
[img]
Preview

de C. Guerra, P.A. and Rubira, Cecilia M. F. and de Lemos, Rogério (2003) A Fault-Tolerant Software Architecture for Component-Based Systems. In: de Lemos, Rogério and Gacek, Cristina and Romanovsky, Alexander, eds. Architecting Dependable Systems. Lecture Notes in Computer Science . Springer, pp. 129-149. ISBN 3-540-40727-8. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

de Lemos, Rogério (2004) Analysing Failure Behaviours in Component Interaction. Journal of Systems and Software, 71 (1-2). pp. 97-115. ISSN 0164-1212. (doi:https://doi.org/10.1016/S0164-1212(02)00152-8) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

de Lemos, Rogério (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 pp. 35-48. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

de Lemos, Rogério (2005) Architecting Web services applications for improving availability. In: de Lemos, Rogério and Gacek, Cristina and Romanovsky, Alexander, eds. Architecting Dependable Systems III. Lecture Notes in Computer Science . Springer, Berlin, pp. 69-91. ISBN 978-3-540-28968-5. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

de Lemos, Rogério (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 currently available from this repository. You may be able to access a copy if URLs are provided)

de Lemos, Rogério (2001) Describing Evolving Dependable Systems using Co-operative Software Architectures. In: Proceedings of the IEEE International Conference on Software Maintenance (ICSM). IEEE Computer Society pp. 320-329. ISBN 0-7695-1190-2. (doi:https://doi.org/10.1109/ICSM.2001.972745) (Full text available)
[img]
Preview

de Lemos, Rogério (2006) Idealised Fault Tolerant Architectural Element. In: Supplemental Proceedings of the 36th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN-2006). pp. 76-81. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

de Lemos, Rogério (2002) Novel Approaches in Dependable Computing. In: Bondavalli, A. and Thevenod-Fosse, P., eds. Proc of the 4th European Dependable Computing Conference (EDCC-4). Lecture Notes in Computer Science 2485, 1. Springer-Verlag, Berlin pp. 704-708. ISBN 3-540-00012-7. (Full text available)
[img]
Preview

de Lemos, Rogério (2000) Safety Analysis of an Evolving Software Architecture. In: Proceedings of the 5th IEEE International High-Assurance Systems Engineering Symposium (HASE 2000). IEEE Computer Society pp. 159-167. ISBN 0-7695-0927-4. (Full text available)
[img]
Preview

de Lemos, Rogério and Fiadeiro, J. (2002) An Architectural Support for Self-Adaptive Software for Treating Faults. In: Garlan, D. and Kramer, J. and Wolf, A., eds. Proceedings of the 1st ACM SIGSOFT Workshop on Self-Healing Systems (WOSS'02). Association for Computing Machinery, Charleston, SC, USA pp. 39-42. ISBN 978-1-58113-609-8. (doi:https://doi.org/10.1145/582128.582136) (Full text available)
[img]
Preview

de Lemos, Rogério and Gacek, Cristina and Romanovsky, Alexander (2006) Architecting Dependable Systems. Journal of Systems and Software, 79 (10). pp. 1359-1360. ISSN 0164-1212. (doi:https://doi.org/10.1016/j.jss.2006.04.008) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

de Lemos, Rogério and Hall, Jon G. (1996) Extended RTL in the Specification and Verification of an Industrial Press. In: Alur, Rajeev and Henzinger, Y.A. and Sontag, E., eds. Hybrid Systems III. Lecture Notes in Computer Science 1066. Springer-Verlag, Berlin, Germany pp. 114-125. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

de Lemos, Rogério 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). , Kyoto, Japan pp. 152-160. (doi:https://doi.org/10.1109/ISORC.1998.666785) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

de Lemos, Rogério 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). , Saint Malo, France pp. 3-13. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

de Lemos, Rogério 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 currently available from this repository. You may be able to access a copy if URLs are provided)

de Lemos, Rogério and Saeed, Amer (1999) Validating Formal Verification using Safety Analysis Techniques. In: Proceedings of the 18th International Conference on Computer Safety, Reliability and Security (SAFECOMP'99) / Lecture Notes in Artificial Intelligence. Springer pp. 58-66. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

de Lemos, Rogério and Saeed, Amer and Anderson, Tom (1996) Analysis of Safety Requirements for a Chemical Batch Processing System. In: Hilburn, T. and Suski, Gregory J. and Zalewski, Janusz, eds. Proceedings of the 2nd IFAC Workshop on Safety and Reliability in Emerging Control Technologies. Pergamon/Elsevier Science, Oxford UK, Daytona Beach, Florida, USA pp. 205-210. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

de Lemos, Rogerio and Weber, Taisy Silva and Camargo Jr., João Batista, eds. (2003) Dependable Computing: First Latin-American Symposium, LADC 2003, São Paulo, Brazil, October 21-24, 2003. Proceedings. Lecture Notes in Computer Science, 2847 . Springer, 371 pp. ISBN 3-540-20224-2. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

de Lemos, Rogério and de C. Guerra, P.A. and Rubira, Cecilia M. F. (2006) A Fault-Tolerant Architectural Approach for Dependable Systems. IEEE Software, 23 (2). pp. 80-87. ISSN 0740-7459. (doi:https://doi.org/10.1109/MS.2006.35) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

E

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 currently available from this repository. You may be able to access a copy if URLs are provided)

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 currently available from this repository. You may be able to access a copy if URLs are provided)

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 (Full text available)
[img]
Preview
[img]
Preview

Evans, Andy and Kent, Stuart (1999) Core Meta-Modelling Semantics of UML: The pUML Approach. In: Proceedings of UML'99. IEE Computer Society Press (Full text available)
[img]
Preview

Evans, Andy and Kent, Stuart and Selic, Bran (2000) Proceedings of UML 2000. In: LNCS. Lecture Notes in Computer Science, 1939. Springer Verlag (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

F

Fabris, Fabio and Freitas, Alex A. and Tullet, Jennifer M.A. (2015) An Extensive Empirical Comparison of Probabilistic Hierarchical Classifiers in Datasets of Ageing-Related Genes. IEEE/ACM Transactions on Computational Biology and Bioinformatics, 13 (6). pp. 1045-1058. ISSN 1545-5963. E-ISSN 1557-9964. (doi:https://doi.org/10.1109/TCBB.2015.2505288) (Full text available)
[img]
Preview

Fernandes, G.P.A. and Utting, Ian (1996) An Architecture for Scheduling of Services in a Distributed System. In: DSOM'96 - Seventh IFIP/IEEE International Workshop on Distributed Systems: Operations & Management. , L'Aquila, Italy (Full text available)
[img]
Preview
[img]
Preview

Fernandes, G.P.A. and Utting, Ian (1996) An Object-Oriented Model for Management of Services in a Distributed System. In: Mühlhäuser, M., ed. Special Issues in Object-Oriented Programming - Workshop Reader of the 10th European Conference on Object-Oriented Programing ECOOP'96. dpunkt.verlag, Linz, Austria pp. 262-266. ISBN 3-920993-67-5. (Full text available)
[img]
Preview
[img]
Preview

Ferreira, G.R.M. and Rubira, Cecilia M. F. and de Lemos, Rogério (2001) Explicit Representation of Exception Handling in the Development of Dependable Component-Based Systems. In: 6th IEEE International Symposium on High Assurance Systems Engineering. IEEE Conference Proceedings, 6. IEEE Press, USA pp. 182-193. ISBN 0-7695-1275-5. (doi:https://doi.org/10.1109/HASE.2001.966819) (Full text available)
[img]
Preview

Fiadeiro, J. and Goldsack, Stephen J. and Kent, Stuart 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 currently available from this repository. You may be able to access a copy if URLs are provided)

Fisker, Kasper and McCall, Davin and Kölling, Michael and Quig, Bruce (2008) Group work support for the BlueJ IDE. In: Proceedings of the 13th Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE '08). ACM, Madrid, Spain ISBN 978-1-60558-078-4. (Full text available)
[img]
Preview

Flower, Jean and Howse, John and Kent, Stuart and Taylor, John (2002) A Visual Framework for Modelling with Heterogeneous Notations. In: IEE Symposium on Human Centric Computing Languages and Environments. Technical Note HCC02. ISBN 0-7695-1644-0. (doi:https://doi.org/10.1109/HCC.2002.1046350) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Freitas, Angela and Nascimento, Carla M. and Cavalcanti, Ana L. C. (2003) A Refinement Tool for Z. In: Dong, Jin Song and Woodcock, Jim, eds. Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003. Lecture Notes in Computer Science, 2885. Springer-Verlag pp. 396-415. ISBN 978-3-540-20461-9. (doi:https://doi.org/10.1007/b94115) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Freitas, Leonardo (2002) JACK: A process algebra implementation in Java. Other masters thesis, Centro de Informatica, Universidade Federal de Pernambuco. (Full text available)
[img]
Preview

Freitas, Leonardo and Cavalcanti, Ana L. C. and Moura, Hermano (2001) Animating CSP(M) Using Action Semantics. In: 4th Brazilian Workshop on Formal Methods. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Freitas, Leonardo and Cavalcanti, Ana L. C. and Moura, Hermano (2001) Animating CSPm using Action Semantics. In: Proceedings of IV Workshop em Metodos Formais. Sociedade Brasileira de Computacao (Full text available)
[img]
Preview
[img]
Preview

Freitas, Leonardo and Cavalcanti, Ana L. C. and Sampaio, Augusto C.A. (2002) JACK: A Framework for Process Algebra Implementation in Java. In: Proceedings of XVI Simpósio Brasileiro de Engenharia de Software. Sociedade Brasileira de Computacao, http://www.sbc.org.br/sbes pp. 1-16. (Full text available)
[img]
Preview

G

Gacek, Cristina and de Lemos, Rogério (2005) Architectural Description of Dependable Software Systems. Technical report. UKC (Full text available)
[img]
Preview

Gacek, Cristina and de Lemos, Rogério (2006) Architectural Description of Dependable Software Systems. In: Besnard, Denis and Gacek, Cristina and Jones, Cliff B., eds. Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective. Springer London, pp. 127-142. ISBN 978-1-84628-110-5. (doi:https://doi.org/10.1007/1-84628-111-3_7) (Full text available)
[img]
Preview

Ghosh, Siddhartha and Marshall, Ian W. (2005) Simple Model of Learning and Collective Decision Making during Nectar Source Selection by Honey Bees. In: Simple Model of Learning and Collective Decision Making during Nectar Source Selection by Honey Bees. University of Kent (Full text available)
[img]
Preview

Ghosh, Siddhartha and Marshall, Ian W. and Freitas, Alex A. (2007) Robust Autonomous Detection of the Faulty Sensors of a Sensor Array. In: 2nd IEEE International Workshop on Computational Advances in Multi-Sensor Adaptive Processing, 2007, CAMPSAP 2007. IEEE Signal Processing Society pp. 233-236. ISBN 978-1-4244-1713-1. (Full text available)
[img]
Preview

Giacomini, Luisa and Bordbar, Behzad and Holding, David J. (2000) Hybrid Sliding Mode Control for a Set of Interconnected Nonlinear. In: Proceedings of the 39th IEEE Conference on Decision and Control. IEEE Conference on Decision and Control - Proceedings, 1-5. , Sydney Convention and Exhibition Centre pp. 2180-2185. ISBN 0-7803-6638-7. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Gil, Joseph and Howse, John and Kent, Stuart (1999) Constraint Diagrams: A Step Beyond UML. In: Proceedings of TOOLS USA'99. IEEE Computer Society Press (doi:https://doi.org/10.1109/TOOLS.1999.10066) (Full text available)
[img]
Preview

Gil, Joseph and Howse, John and Kent, Stuart (1999) Formalizing Spider Diagrams. In: Proceedings of IEEE Symposium on Visual Languages (VL99), Sep 13-16, 1999, Tokyo, Japan. (doi:https://doi.org/10.1109/VL.1999.795884) (Full text available)
[img]
Preview

Gil, Joseph and Howse, John and Kent, Stuart (2001) Towards a Formalization of Constraint Diagrams. In: Proceedings of IEEE Symposia on Human-Centric Computing. IEEE Computer Society Press, Stresa, Italy pp. 72-79. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Gil, Y. and Kent, Stuart (1998) Three Dimensional Software Modelling. In: International Conference on Software Engineering. IEEE Press pp. 105-114. ISBN 0-8186-8368-6. (Full text available)
[img]
Preview

Gill, Jas and Howse, John and Kent, Stuart and Taylor, John (2000) Projections in Venn-Euler Diagrams. In: Proc. IEEE Symposium on Visual Languages (VL2000). IEEE Computer Society Press, Seattle pp. 119-126. ISBN 0-7695-0840-5. (doi:https://doi.org/10.1109/VL.2000.874375) (Full text available)
[img]
Preview

Goldsack, Stephen J. and Kent, Stuart (1996) Formal Methods and Object Technology. FACIT Series . Springer-Verlag, 368 pp. ISBN 978-3-540-19977-9. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

H

Haboush, W.S. (2008) Adaptive Task Selection using Threshold-based Techniques in Dynamic Sensor Networks. Doctor of Philosophy (PhD) thesis, Computing Laboratory. (Full text available)
[img]
Preview

Haboush, W.S. and Shrimpton, David (2005) Fixed Response-Threshold Model for Task Allocation in Sensor Networks. In: London Communications Symposium, 7-9 September 2005, London, United Kingdom. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hall, Jon G. and de Lemos, Rogério (1996) ERTL: an Extension to RTL for the Specification, Analysis and Verification of Hybrid Systems. In: Proceedings of the 8th EUROMICRO Workshop on Real-Time Systems. IEEE Computer Press, L'Aquila, Italy pp. 3-8. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hamie, Ali and Civello, Franco and Howse, John and Kent, Stuart and Mitchell, Richard (1998) Reflections on the Object Constraint Language. In: Post Workshop Proceedings of UML98. Lecture Notes in Computer Science, 1618. Springer Verlag pp. 162-172. ISBN 3-540-66252-9. (Full text available)
[img]
Preview

Hamie, Ali and Howse, John and Kent, Stuart (1998) Interpreting the Object Constraint Language. In: Proceedings of Asia Pacific Conference in Software Engineering. IEEE Press pp. 288-295. ISBN 0-8186-9183-2. (doi:https://doi.org/10.1109/APSEC.1998.733731) (Full text available)
[img]
Preview

Hamie, Ali and Howse, John and Kent, Stuart (1998) Modular Semantics for Object-Oriented Models. In: Proceedings of Northern Formal Methods Workshop. eWics Series. Springer Verlag (Full text available)
[img]
Preview

Hamie, Ali and Howse, John and Kent, Stuart (1998) Navigation Expressions in OO Modelling. In: Proceedings of FASE98 at ETAPS98. Springer Verlag pp. 123-137. (Full text available)
[img]
Preview

Hanson, Richard J. and Hopkins, Tim (2004) Algorithm 830: Another Visit With Standard and Modified Givens Transformations and A Remark on Algorithm 539. ACM Transactions on Mathematical Software, 30 (1). pp. 86-94. ISSN 0098-3500. (doi:https://doi.org/10.1145/974781.974786) (Full text available)
[img]
Preview

Hartel, Pieter H. and Feeley, Marc and Alt, Martin and Augustsson, Lennart and Baumann, Peter and Beemster, Marcel and Chailloux, Emmanuel and Flood, Christine H. and Grieskamp, Wolfgang and van Groningen, John H.G. (1996) The Pseudoknot Functional Benchmark. Research Journal, . (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hartel, Pieter H. and Feeley, Marc and Jones, Richard E. and Thomas, Stephen P. (1996) Benchmarking Implementations of Functional Languages with `Pseudoknot', a Float-Intensive Benchmark. Journal of Functional Programming, 6 (4). pp. 621-655. ISSN 0956--7968. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hatton, Leslie (1999) Ariane 5: A Smashing Success. Software Testing and Quality Engineering, 1 (2). pp. 14-16. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hatton, Leslie (2000) Balancing static and dynamic testing: some observations from measurement. UNSPECIFIED. (Full text available)
[img]
Preview

Hatton, Leslie (1994) A Case History of Automated Improvement of Software Product Quality. Software Quality Assurance and Measurement, Fenton . (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hatton, Leslie (1995) Computer Programming Languages and Safety-Related Systems. In: Redmill, F. and Anderson, Tom, eds. Proceedings of 3rd Safety-Critical Systems Symposium. Springer-Verlag (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hatton, Leslie (1998) Does OO sync with the way we think? IEEE Software, 15 (3). pp. 46-54. ISSN 0740-7459. (Full text available)
[img]
Preview

Hatton, Leslie (2000) Embedded control systems: risks and challenges. UNSPECIFIED. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hatton, Leslie (2000) Embedded software testing. In: The European Software Testing (TEST) Congress 2000, London. , London (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hatton, Leslie (2001) Exploring the role of diagnosis in software failure. IEEE Software, 18 (4). pp. 34-39. ISSN 0740-7459. (doi:https://doi.org/10.1109/MS.2001.936215) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hatton, Leslie (1998) Improvisation and ear-training for guitarists. In preparation (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hatton, Leslie (1996) Is modularisation always a good idea. International Software Technology, 38 . (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hatton, Leslie (2001) Keynote Paper in ESCOM 2001. In: Software defects: how do we satisfy customers in the long term? , London (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hatton, Leslie (2001) Keynote Paper in ITiCSE Conference. In: Computer Science Education or Computer Fashion Awareness? (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hatton, Leslie (1996) Keynote paper at WoCo7. In: UNSPECIFIED. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hatton, Leslie (1997) Keynote paper in COMPASS'97. In: Conference on Computer Software Assurance and Safety. , Washington, DC. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hatton, Leslie (1997) Keynote paper in ESSE-SCOPE'97. In: European Conference on Software Process Improvement. , Dublin (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hatton, Leslie (1996) Keynote paper in EUROSTAR'96. In: Conference on Software Testing, Analysis and Review. , Amsterdam (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hatton, Leslie (1998) Keynote paper in ISTCS'98. In: Conference on Computer Software Testing. , Washington, DC. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hatton, Leslie (1996) Keynote paper in STAR'96. In: Conference on Software Testing, Analysis and Review. , Orlando, Florida (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hatton, Leslie (2002) Memorability and Invisibility: A tale of two alarm clocks and other stories from the front line. In: Memorability and Invisibility: a tale of two alarm clocks and other stories from the front line. , London (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hatton, Leslie (1997) N-version Design vs. One Good Version. IEEE Software, 14 (6). pp. 71-76. ISSN 0740-7459. (doi:https://doi.org/10.1109/52.636672) (Full text available)
[img]
Preview

Hatton, Leslie (1999) Paradigm Shift or Measurement Based Feedback? In: JACC'99, Annual Conference of Joint Association of C and C++ users. , Oxford, UK (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hatton, Leslie (2002) The Power of Modern Testing: but do we use it ? In: The Power of Modern Testing. , Anaheim, USA (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hatton, Leslie (1998) Programming technology, reliability, safety and measurement. IEE Computing and Control Engineering Journal, 9 (1). pp. 23-27. ISSN 0956-3385. (doi:https://doi.org/10.1049/cce:19980105) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hatton, Leslie (1997) Re-examining the fault density - component size connection. IEE Software, 14 (2). pp. 89-97. ISSN 0740-7459. (doi:https://doi.org/10.1109/52.582978) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hatton, Leslie (1999) Repetitive failure, feedback and diagnosis. In: JUSE'99, Conference of Japanese Union of Scientists and Engineers. , City University, UK (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hatton, Leslie (1999) Repetitive failure, feedback and the lost art of diagnosis. Journal of Systems and Software, 47 (2-3). pp. 183-188. ISSN 0164-1212. (doi:https://doi.org/10.1016/S0164-1212(99)00038-2) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hatton, Leslie (1999) Repetitive failure, feedback and the lost art of diagnosis. In: European Conference on Optimising Software Development and Maintenance (ESCOM'99). , Herstmonceux, UK (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hatton, Leslie (1995) Safer C: Developing for High-Integrity and Safety-Critical Systems. McGraw-Hill ISBN 0-07-707640-0. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hatton, Leslie (2000) Safer language subsets: issues in developing reliable and fast software. UNSPECIFIED. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hatton, Leslie (1998) Software Failure: avoiding the avoidable and living with the rest. Addison Wesley ISBN 978-0-201-39838-0. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hatton, Leslie (1996) Software Faults: the avoidable and the unavoidable: lessons from real systems. In: Proceedings of Product Assurance Workshop, ESA SP-377. European Space Agency, Noordwijk, The Netherlands (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hatton, Leslie (2000) Software failure: living with a wobbly technology. University of Kent. (Full text available)
[img]
Preview

Hatton, Leslie (1997) Software failures - follies and fallacies. IEE Review, 43 (2). pp. 49-54. ISSN 0013-5127. (doi:https://doi.org/10.1049/ir:19970201) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hatton, Leslie (2002) Static Analysis. In: van Veenendaal, Erik, ed. The Testing Practitioner. UTN Publishers. ISBN 90-72194-65-9. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hatton, Leslie (1997) The T experiments: errors in scientific software. IEE Computational Science & Engineering (doi:https://doi.org/10.1109/99.609829) (Full text available)
[img]
Preview

Hatton, Leslie (1997) The T-experiments in Quality of Numerical Software, Assessment and Enhancement. In: Boisvert, R.F, ed. Quality of numerical software, assessment and enhancement. Chapman and Hall, London, pp. 12-31. ISBN 0-412-80530-8, 978-0-412-80530-1. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hatton, Leslie (2000) Testing Embedded C Programs. UNSPECIFIED. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hatton, Leslie (1999) Testing is not a phase. In: STAR'99: US Conference on Software Testing, Analysis and Review. , Orlando, Florida, USA (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hatton, Leslie (1999) Testing: the influence of complexity, coupling, diagnosis and repetitive failure. In: EuroStar'99, European Conference on Software Testing, Analysis and Review. , Barcelona, Spain (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hatton, Leslie (1999) Towards a consistent legal framework for understanding software systems behaviour. Other masters thesis, UNSPECIFIED. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hatton, Leslie (1997) Unexpected (and sometimes unpleasant) lessons from data in real software systems. In: Proceedings of 12th annual CSR workshop, Bruges,. Springer-Verlag. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hatton, Leslie (2000) Why is Linux so reliable? In: UNSPECIFIED, San Jose, 2000, ASM 2000 Software Metrics Conference. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hatton, Leslie (1997) The Year 2000: How much should we worry? Eurostar'97, Edinburgh, . (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hatton, Leslie (2002) eRisk and eBenefit: the eConomics of software testing. In: Quantifying Test Value. , Edinburgh (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hatton, Leslie (2001) A long hard look at the influence of software defects on scientific software. In: Los Alamos National Laboratory, 15 February 2001, USA. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hatton, Leslie and Hennell, M. (2000) Balancing static and dynamic testing for embedded control systems. In: Proceedings of 2nd World Congress on software quality. , Yokohama (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hatton, Leslie and Hewlett, C.J.M. (1995) The Tardis Project: Seismic Data Compression with CD Archival: Phase 1 - Feasibility. UNSPECIFIED. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hatton, Leslie and Roberts, Andy (1994) How Accurate is Scientific Software? IEEE Transactions on Software Engineering, 20 (10). pp. 785-797. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hausmann, J.H. and Kent, Stuart (2003) Visualizing Model Mappings in UML. In: Proceedings of the ACM Symposium on Software Visualization. pp. 169-178. ISBN 1-58113-642-0. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hopkins, Tim (2008) The Collected Algorithms of the ACM. Technical report. UKC, Canterbury, Kent, UK (Full text available)
[img]
Preview

Hopkins, Tim (2002) A Comment on the Presentation and Testing of CALGO Codes and a Remark on Algorithm 639: To Integrate Some Infinite Oscillating Tails. ACM Transactions on Mathematical Software, 28 (3). pp. 285-300. ISSN 0098-3500. (doi:https://doi.org/10.1145/569147.569148) (Full text available)
[img]
Preview
[img]
Preview

Hopkins, Tim (1997) Is the Quality of Numerical Subroutine Code Improving? Technical report. University of Kent, University of Kent, Canterbury, UK (Full text available)
[img]
Preview
[img]
Preview

Hopkins, Tim (1990) NAG Spline Fitting Routines on a Graphics Workstation -- The Story so far. Technical report. UKC, University of Kent, Canterbury, UK (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hopkins, Tim (1997) New Implementations of the Spectral Test. Technical report. University of Kent (Full text available)
[img] [img]
Preview

Hopkins, Tim (2003) Remark on Algorithm 769: Fortran Subroutines for Approximate Solution of Sparse Quadratic Assignment Problems using GRASP. ACM Transactions on Mathematical Software, 29 (3). pp. 349-351. ISSN 0098-3500. (doi:https://doi.org/10.1145/838250.838258) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hopkins, Tim (2002) Remark on algorithm 705: A Fortran-77 software package for solving the Sylvester matrix equation AXBT + CXDT = E. ACM Transactions on Mathematical Software, 28 (3). pp. 372-375. ISSN 0098-3500. (doi:https://doi.org/10.1145/569147.569153) (Full text available)
[img]
Preview
[img]
Preview

Hopkins, Tim (2002) Renovating the Collected Algorithms from ACM. ACM Transactions on Mathematical Software, 28 (1). pp. 59-74. ISSN 0098-3500. (doi:https://doi.org/10.1145/513001.513005) (Full text available)
[img]
Preview
[img]
Preview

Hopkins, Tim (1998) Restructuring the BLAS Level 1 Routine for Computing the Modified Givens Transformation. Technical report. , Canterbury, Kent, UK. (Full text available)
[img]
Preview
[img]
Preview

Hopkins, Tim (1997) Restructuring the BLAS Level-1 Routine for Computing the Modified Givens Transformation. ACM SIGNUM, 32 (4). pp. 2-14. ISSN 0163-5778. (doi:https://doi.org/10.1145/289251.289253) (Full text available)
[img]
Preview

Hopkins, Tim and Barnes, David J. (2003) Testing a Medium Sized Numerical Package: A Case Study. In: UNSPECIFIED. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hopkins, Tim and Hatton, Leslie (2008) Defect patterns and structural properties in a mature well-specified software system. Technical report. UKC, Canterbury, Kent, UK (Full text available)
[img]
Preview

Hopkins, Tim and Kollerstrom, J. and Welch, Peter H. (1983) Estimation of the Order of Dependence in Sequences. Applied Statistics-Journal of the Royal Statistical Society Series C, 32 (2). pp. 185-196. ISSN 0035-9254. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hopkins, Tim and Morse, David R. (1992) Cumulative Index to the ACM Algorithms. Technical report. , University of Kent, Canterbury, UK (Full text available)
[img]
Preview
[img]
Preview

Hopkins, Tim and Morse, David R. (1992) Cumulative Index to the Applied Statistics Algorithms. Technical report. , University of Kent, Canterbury, UK (Full text available)
[img]
Preview
[img]
Preview

Hopkins, Tim and Morse, David R. (1996) The Implementation and Visualisation of a Large Spatial Individual-Based Model using Fortran 90. Technical report. UKC, University of Kent, Canterbury, UK (Full text available)
[img]
Preview
[img]
Preview

Hopkins, Tim and Morse, David R. (1994) Remark on Applied Statistics Algorithm AS030 Half-Normal Plotting. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, UK (Full text available)
[img]
Preview
[img]
Preview

Hopkins, Tim and Morse, David R. (1994) Remark on Applied Statistics Algorithm AS057 Printing Multidimensional Tables. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, UK (Full text available)
[img]
Preview
[img]
Preview

Hopkins, Tim and Morse, David R. (1997) The implementation and visualization of a large spatial individual-based model using Fortran 90. In: Denzer, Ralf and Swayne, David A. and Schimak, Gerald, eds. Environmental Software Systems, Volume 2. Chapman & Hall, London (Full text available)
[img]
Preview

Hopkins, Tim and Slater, John (1994) A Comment on the Eispack Machine Epsilon Routine. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, UK (Full text available)
[img]
Preview
[img]
Preview

Hopkins, Tim and Vowden, Barry J. (1990) Distributing Matrix Eigenvalue Calculations over Transputer Arrays. Technical report. UKC, University of Kent, Canterbury, UK (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hopkins, Tim and Welch, Peter H. (1989) Transputer Data-flow Solution for Systems of Linear Equations. Technical report. UKC, University of Kent, Canterbury, UK (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hopkins, Tim and da Cunha, Rudnei Dias (1994) The Parallel Iterative Methods (PIM) package for the solution of systems of linear equations on parallel computers. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, UK (Full text available)
[img]
Preview
[img]
Preview

Howse, John and Molina, Fernando and Taylor, John and Kent, Stuart (1999) Reasoning with Spider Diagrams. In: Proceedings of IEEE Symposium on Visual Languages (VL99). IEEE Computer Society Press pp. 138-145. (doi:https://doi.org/10.1109/VL.1999.795885) (Full text available)
[img]
Preview

Howse, John and Molina, Fernando and Taylor, John and Kent, Stuart and Gil, Joseph (2001) Spider Diagrams: A Diagrammatic Reasoning System. Journal of Visual Languages and Computing, 12 (3). pp. 299-324. ISSN 1045-926X. (doi:https://doi.org/10.1006/jvlc.2000.0210) (Full text available)
[img]
Preview

I

Ibbetson, Alan L. and Linington, Peter F. and Penny, Ian and Smith, Abraham B. and Tripp, Gerald (1995) A Parallel Implementation of the ANSA REX Protocol. In: Cook, Barry M. and Jane, M.R. and Nixon, Paddy and Welch, Peter H., eds. Transputer Applications and Systems '95 - Proceedings of World Transputer Congress 1995. Concurrent Systems Engineering Series, 46. IOS Press pp. 29-41. ISBN 90-5199-235-1. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Induruwa, A.S. and Linington, Peter F. and Slater, John (1999) Quality of Service Measurements on SuperJANET - The UK Academic Information Highway. In: Proceedings of INET'99. ISBN 1-891562-06-1. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

J

Jacobsen, Christian L. and Dimmich, Damian J. and Jadud, Matthew C. (2006) Native Code Generation Using the Transterpreter. In: Welch, Peter H. and Kerridge, Jon M. and Barnes, Frederick R.M., eds. Communicating Process Architectures 2006: WoTUG-29. Concurrent Systems Engineering Series, 29. IOS Press, Amsterdam, The Netherlands pp. 269-281. ISBN 1-58603-671-8. (Full text available)
[img]
Preview

Jacobsen, Christian L. and Jadud, Matthew C. (2007) Concurrency, Robotics, and RoboDeb. In: Proceedings of AAAI Robotics and Education. American Association for Artificial Intelligence, Palo Alto, CA, USA (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Jacobsen, Christian L. and Jadud, Matthew C. (2005) Torwards Concrete Concurrency: occam-pi on the LEGO Mindstorms. In: SIGCSE '05: Proceedings of the 36th SIGCSE technical symposium on Computer science education. ACM, New York, NY, USA pp. 431-435. ISBN 1-58113-997-7. (doi:https://doi.org/10.1145/1047344.1047485) (Full text available)
[img]
Preview

Jadud, Matthew C. and Jacobsen, Christian L. and Ritson, Carl G. and Simpson, Jonathan (2008) Safe Parallelism for Behavioral Control. In: 2008 IEEE International Conference on Technologies for Practical Robot Applications (TePRA). IEEE pp. 137-142. ISBN 978-1-4244-2791-8. (Full text available)
[img]
Preview

Jadud, Matthew C. and Simpson, Jonathan and Jacobsen, Christian L. (2008) Patterns for programming in parallel, pedagogically. In: SIGCSE '08: Proceedings of the 39th SIGCSE technical symposium on Computer science education. ACM, New York, NY, USA pp. 231-235. ISBN 978-1-59593-799-5. (doi:https://doi.org/10.1145/1352135.1352219) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Jittamas, Vorapol (2007) Using Policy to Control Data Synchronisation in Middleware for an Ad-hoc Mobile Network. Doctor of Philosophy (PhD) thesis, Computing Laboratory. (Full text available)
[img]
Preview

Jittamas, Vorapol and Linington, Peter F. (2006) Using a Policy Language to Control Tuple-space Synchronization in a Mobile Environment. In: Burgess, M. and Wijesekera, D., eds. Proceedings of the Seventh IEEE International Workshop on Policies for Distributed Systems and Networks. IEE Computer Society, Washington, DC (USA) pp. 239-242. ISBN 0-7695-2598-9. (doi:https://doi.org/10.1109/POLICY.2006.38) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Johnson, Peter and Cook, Steve J. (1985) People and Computers: Designing the Interface. In: Proceedings of HCI85: the Conference of the BCS Human Computer Interaction Specialist Group. Cambridge University Press (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Jones, Richard E. (2006) Editorial: Five Perspectives on Modern Memory Management: Systems, Hardware and Theory. Science of Computer Programming, 62 (2). pp. 95-97. ISSN 0167-6423. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Jones, Richard E. (1996) Garbage Collection: Algorithms for Automatic Dynamic Memory Management. John Wiley and Sons, 403 pp. ISBN 0-471-94148-4. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Jones, Richard E. (2000) Memory Management Session Overview. In: Kirby, G.N.C. and Dearle, A. and Sjoberg, D.I.K., eds. Persistent Object Systems: Design, Implementation, and Use. Lecture Notes in Computer Science, 2135. Springer, Lillehammer, Norway pp. 84-86. ISBN 3-540-42735-X. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Jones, Richard E. (1989) On the Implementation of Functional Programming Languages. Other masters thesis, UKC Computing Laboratory. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Jones, Richard E. (1990) Tail Recursion Without Space Leaks. Technical report. UKC, University of Kent, Canterbury, UK 72*. (doi:72*) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Jones, Richard E. (1992) Tail recursion without Space Leaks. Journal of Functional Programming, 2 (1). pp. 73-79. ISSN 0956--7968. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Jones, Richard E. (1993) Zed --- a Z specification language Type 1 font. UNSPECIFIED. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Jones, Richard E. (1995) Zed --- a Z specification language font for PostScript Type 1 and TrueType. UNSPECIFIED. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Jones, Richard E. and Blackburn, Steve (2008) International Symposium on Memory Management (ISMM 2008) summary. ACM SIGPLAN Notices, 43 (8). pp. 12-14. ISSN 0362-1340. (doi:https://doi.org/10.1145/1416216.1416220) (Full text available)
[img]
Preview

Jones, Richard E. and Jul, Eric (1999) Garbage Collection. UNSPECIFIED. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Jones, Richard E. and Jul, Eric (2000) Introduction to Memory Management and Garbage Collection. ACM SIGPLAN. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Jones, Richard E. and King, A.C. (2005) A fast analysis for thread-local garbage collection with dynamic class loading. In: Fifth IEEE International Workshop on Source Code Analysis and Manipulation, SCAM 2005. IEEE Computer Society pp. 129-138. ISBN 978-0-7695-2292-0. (doi:https://doi.org/10.1109/SCAM.2005.1) (Full text available)
[img]
Preview

Jones, Richard E. and King, Andy C. (2004) Collecting the garbage without blocking the traffic. Technical report. University of Kent (Full text available)
[img]
Preview

Jones, Richard E. and Lins, Rafael D. (1992) Cyclic Weighted Reference Counting without Delay. Technical report. UKC, University of Kent, Canterbury, UK 28-92*. (doi:28-92*) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Jones, Richard E. and Lins, Rafael D. (1993) Cyclic Weighted Reference Counting without Delay. In: Proceedings of PARLE'93. pp. 712-715. ISBN 0-387-56891-3. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Jones, Richard E. and Ryder, Chris (2006) Garbage Collection Should Be Lifetime Aware. In: Zendra, Olivier, ed. Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS'2006). (Full text available)
[img]
Preview

Jones, Richard E. and Ryder, Chris (2008) A Study of Java Demographics. In: Blackburn, Steve, ed. Proceedings of the 2008 International Symposium on Memory Management (ISMM'08). ACM Press, Tucson, AZ pp. 121-130. ISBN 978-1-60558-134-7. (Full text available)
[img]
Preview

K

Kelner, J. and Cavalcanti, Ana L. C. and Pardo, A. (1989) LindA: A Language for Automated Authoring of Hypertexts. In: 3rd Brazilian Symposium on Sofrware Engineering. pp. 124-136. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kent, Stuart (1993) An Axiomatic Semantics for VDM++: OO Aspects. Technical report. Imperial College of Science, Technology and Medicine, London (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kent, Stuart (1997) Constraint Diagrams: Visualizing Assertions in OO Modelling. Technical report. University of Brighton (Full text available)
[img]
Preview

Kent, Stuart (1997) Constraint Diagrams: Visualizing Invariants in OO Modelling. In: Proceedings of OOPSLA97. ACM SIGPLAN Notices, 32. ACM Press pp. 327-341. (Full text available)
[img]
Preview

Kent, Stuart (1991) A Deduction Calculus for Modal Action Logic with Action Combinators. In: FOREST Research Deliverable Report WP3.R2. Not known, Department of Computing, Imperial College of Science, Technology and Medicine, London. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kent, Stuart (2002) Model Driven Engineering. In: Michael, J.Butler and Kaisa, Sere and Luigia, Petre, eds. Proceedings of IFM 2002. LNCS 2335, 2335. Springer-Verlag pp. 286-298. ISBN 3-540-43703-7. (doi:https://doi.org/10.1007/3-540-47884-1_16) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kent, Stuart (1993) Modelling Events from Natural Language. Doctor of Philosophy (PhD) thesis, Department of Computing, Imperial College of Science, Technology and Medicine. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kent, Stuart (1993) Towards a Modal Logic of Durative Actions. In: Proceedings of the first Imperial College Dept. of Computing Theory & Formal Methods Section Workshop. Springer Verlag pp. 183-194. (Full text available)
[img]
Preview

Kent, Stuart (2001) The Unified Modeling Language. In: Bowman, Howard and Derrick, John, eds. Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches. Cambridge University Press, p. 126. ISBN 978-0-521-77184-9. (Full text available)
[img]
Preview

Kent, Stuart and Evans, Andy and Rumpe, Bernhard (1999) UML Semantics FAQ. In: ECOOP'99 Workshop Reader. (doi:https://doi.org/10.1007/3-540-46589-8_3) (Full text available)
[img]
Preview

Kent, Stuart and Gaito, S. and Ross, N. (1999) A Meta-model Semantics for Structural Constraints in UML. In: Kilov, Haim and Rumpe, Bernhard and Simmonds, Ian, eds. Behavioral specifications for businesses and systems. Kluwer Academic Publishers, Norwell, MA, pp. 123-141. (Full text available)
[img]
Preview

Kent, Stuart and Gil, Y. (1998) Visualising Action Contracts in OO Modelling. In: IEE Proceedings: Software. 145, 145 (2-3). pp. 70-78. (Full text available)
[img]
Preview

Kent, Stuart and Hamie, Ali and Howse, John and Civello, Franco and Mitchell, Richard (1997) Semantics Through Pictures: towards a diagrammatic semantics for object-oriented modelling notations. In: Proceedings of ECOOP'97 Workshop on Precise Semantics for Object-Oriented Modelling Techniques. Technical Report TUM-I9725. University of Munich (Full text available)
[img]
Preview

Kent, Stuart and Hamie, Ali and Howse, John and Civello, Franco and Mitchell, Richard (1997) Semantics through Pictures. In: ECOOP'97 Workshop Reader. LNCS, 1357. Springer Verlag pp. 182-187. ISBN 3-540-64039-8. (Full text available)
[img]
Preview

Kent, Stuart and Howse, John (2002) Constraing Trees. In: Clark, Anthony and Warmer, Jos, eds. Advances in Object Modelling with OCL. LNCS 2263, 2263/2. Springer-Verlag, Berlin pp. 427-430. ISBN 978-3-540-43169-5. (doi:https://doi.org/10.1007/3-540-45669-4_12) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kent, Stuart and Howse, John (1999) Mixing Visual and Textual Constraint Languages. In: Proceedings of UML'99. IEEE Computer Society Press (Full text available)
[img]
Preview

Kent, Stuart and Howse, John (1996) Value Types in Eiffel. In: Proceedings of TOOLS Europe'96 (TOOLS 19). Prentice Hall pp. 145-160. (Full text available)
[img]
Preview

Kent, Stuart and Howse, John and Lauder, Anthony (1998) Modelling Components. In: Proceedings: International Workshop on Large-Scale Software Composition at DEXA98. IEEE Press (Full text available)
[img]
Preview

Kent, Stuart and Lano, Kevin and Bicarregui, Juan and Hamie, Ali and Howse, John (1997) Component Composition in Business and System Modelling. In: Proceedings of OOPSLA97 Workshop on Object-Oriented Behavioural Semantics. Technical Report TUM-I9737. University of Munich (Full text available)
[img]
Preview

Kent, Stuart and Lauder, Anthony (2001) Statecharts for Business Process Modeling. In: Sharp, Bernadette and Filipe, Joaquim and Cordeiro, Jose, eds. Enterprise Information Systems II: 2nd International Conference on Enterprise Information Systems (ICEIS). Kluwer Academic Publishers, Dordrecht, p. 121. ISBN 978-0-7923-7177-9. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kent, Stuart and Mailbaum, T. and Quirk, W. (1992) Specifying Deontic Behaviour in Modal Action Logic. In: FOREST Research Deliverable Report WP1.R2. Imperial College, Department of Computing, Imperial College of Science, Technology and Medicine, London. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kent, Stuart and Mailbaum, T.S.E. and Quirk, W. (1993) Formally Specifying Temporal Constraints and Error Recovery. In: Proceedings of IEEE First International Symposium on Requirements Engineering (RE93). IEEE Xplore, San Diego pp. 208-215. ISBN 0-8186-3120-1. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kent, Stuart and Maung, Ian (1995) Encapsulation and Aggregation. In: Proceedings of TOOLS PACIFIC 95 (TOOLS 18). Prentice Hall pp. 227-238. (Full text available)
[img]
Preview

Kent, Stuart and Maung, Ian (1995) Quantified Assertions in Eiffel. In: Proceedings of TOOLS PACIFIC 95 (TOOLS 18). Prentice Hall pp. 349-364. (Full text available)
[img]
Preview

Kent, Stuart and Pitt, J.V. (1996) Feature-based and Model-based Semantics for English, French and German Verb Phrases. Language Sciences, 18 (1-2). pp. 339-362. ISSN 0388-0001. (Full text available)
[img]
Preview

Kent, Stuart and Smith, Robert P. (2003) The Bidirectional Mapping Problem. Electronic Notes in Theoretical Computer Science, 82 (7). pp. 1-15. ISSN 1571-0661. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kilov, H. and Linington, Peter F. and Miller, J. and Raymond, Kerry and Wood, B. (1997) Types, invariants, and epochs: specifying changes in RM-ODP and ODP information language. In: Kilov, Haim and Rumpe, Bernhard and Simmonds, Ian, eds. Proceedings of the OOPSLA'97 Workshop on object-oriented behavioral semantics. TUM-I9737. pp. 115-118. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

King, Andrew C. (2002) Removing GC Synchronisation. In: OOPSLA'02 ACM Conference on Object-Oriented Systems, Languages and Applications (Companion)R. SIGPLAN. ACM, Seattle, WA pp. 112-113. ISBN 1-58113-626-9. (Full text available)
[img]
Preview

King, Andrew C. (2003) Removing GC Synchronisation (extended version). Technical report. University of Kent (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

King, Andrew C. (2004) Removing Garbage Collector Synchronisation. Doctor of Philosophy (PhD) thesis, University of Kent at Canterbury. (Full text available)
[img]
Preview

Kleppe, Anneke and Warmer, Jos and Cook, Steve J. (1998) Formality: The Object Constraint Language and its Application in the UML Metamodel. In: Bezivin, Jean and Muller, Pierre-Alain, eds. UML98 Conference Proceedings. Lecture Notes in Computer Science, 1618. Springer-Verlag pp. 148-161. ISBN 3-540-66252-9. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Köllmann, Carsten and Kutvonen, Lea and Linington, Peter F. and Solberg, Arnor (2007) An Aspect-oriented Approach to Manage QoS Dependability Dimensions in Model Driven Development. In: Pires, L.Ferreira and Hammoudi, S., eds. Model-Driven Enterprise Information Systems Proceedings of the 3rd International Workshop on Model-Driven Enterprise Information Systems - MDEIS 2007 Funchal, Portugal. INSTICC Press, Portugal pp. 85-94. ISBN 978-989-8111-00-5. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

L

Lahoz, C.H.N. and Abdala, M.A.D. and Moura, C.A.T. and de Lemos, Rogério (2000) Evaluation of Co-operative Actions in the Safety Analysis of the Destruction System of the Sounding Rocket VS-40X (in Portuguese). In: Proceedings of the Symposium on Safety and Security of Information Systems. pp. 49-58. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Lano, Kevin and Bicarregui, Juan and Kent, Stuart (1996) A Real-time Action Logic of Objects. In: Proceedings of ECOOP'96 Workshop on Proof Theory of Concurrent Object-oriented Programming. Linz, Austria (Full text available)
[img]
Preview
[img]
Preview

Lano, Kevin and Goldsack, Stephen J. and Bicarregui, Juan and Kent, Stuart (1997) Integrating VDM++ and Real-time System Design. In: Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation. Lecture Notes In Computer Science, 1212. LNCS, Springer-Verlag pp. 188-219. ISBN 3-540-62717-0. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Lauder, Anthony (2001) A Productive Response to Legacy Systems. Doctor of Philosophy (PhD) thesis, University of Kent, Canterbury. (Full text available)
[img]
Preview

Lauder, Anthony and Kent, Stuart (1999) EventPorts: Preventing Legacy Componentware. In: Proceedings of Third International Enterprise Distributed Object Computing Conference (EDOC 99). IEEE Press pp. 224-232. ISBN 0-7803-5784-1. (doi:https://doi.org/10.1109/EDOC.1999.792066) (Full text available)
[img]
Preview

Lauder, Anthony and Kent, Stuart (2000) Legacy System Anti-Patterns and a Pattern-Oriented Migration Response. In: Henderson, Philip J., ed. Systems Engineering for Business Process Change. Springer Verlag. (Full text available)
[img]
Preview

Lauder, Anthony and Kent, Stuart (2003) More Legacy System Patterns. In: Henderson, Philip J., ed. Systems Engineering for Business Process Change - New Directions. Springer-Verlag, England pp. 225-240. ISBN 978-1-85233-399-7. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Lauder, Anthony and Kent, Stuart (1998) Precise Visual Specification of Design Patterms. In: Proceedings of ECOOP98. Springer Verlag pp. 114-134. ISBN 3-540-64737-6. (Full text available)
[img]
Preview

Lauder, Anthony and Kent, Stuart (2000) Statecharts for Business Process Modeling. In: Proceedings of the 2nd International Conference on Enterprise Information Systems (ICEIS 2000). (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Lauder, Anthony and Kent, Stuart (1999) Two-Level Modeling. In: Proceedings of TOOLS Asia 99. IEEE Computer Society Press p. 108. (doi:https://doi.org/10.1109/TOOLS.1999.796473) (Full text available)
[img]
Preview

Lehane, Andrew and Tripp, Gerald (2007) Detecting Suspicious Intrusions into Next-Generation Networks. Agilent Measurement Journal, (Issue). pp. 58-63. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Lindsey, Donna and Linington, Peter F. (1996) RIVUS: A Stream Template Language for Capturing Multimedia Requirements. In: Hutchison, D. and Christiansen, H. and Coulson, G. and Danthine, A., eds. Teleservices and Multimedia Communications (Proc. 2nd COST 237 Int. Workshop). Lecture Notes in Computer Science, 1052. Springer-Verlag pp. 259-277. ISBN 3-540-61028-6. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Linington, Peter F. (2005) Automating Support for E-Business Contracts. International Journal of Cooperative Information Systems, 14 (2/3). pp. 77-98. ISSN 0218-8430. (Full text available)
[img]
Preview

Linington, Peter F. (2004) Automating Support for e-Business Contracts. In: Milosevic, Zoran and Governatori, Guido, eds. Contract Architectures and Languages workshop (CoALa2004). IEEE Digital Library, Monterey, California, USA (Full text available)
[img]
Preview

Linington, Peter F. (2007) Black Cats and Yellow Birds - What do Viewpoint Correspondences Do? In: Almeida, J.P.A. and Linington, Peter F. and Vallecillo, Antonio and Wood, B., eds. Workshop on ODP for Enterprise Computing (WODPEC2007). IEEE Digital Library (Full text available)
[img]
Preview

Linington, Peter F. (2001) Distributed Systems, an ODP Perspective. In: Bowman, Howard and Derrick, John, eds. Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches. Cambridge University Press, pp. 18-35. ISBN 0-521-77184-6. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Linington, Peter F. (2001) Issues in Distributed Systems. In: Bowman, Howard and Derrick, John, eds. Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches. Cambridge University Press, pp. 3-17. ISBN 0-521-77184-6. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Linington, Peter F. (2004) Model Driven Development and Non-functional Aspects. In: WMDD 2004 Workshop, ECOOP 2004. , Oslo, Norway (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Linington, Peter F. (1999) An ODP approach to the development of large middleware systems. In: IFIP TC6 WG6 1 2nd International Working Conference on Distributed Applications and Interoperable Systems (DAIS 99), Jun 28-JUL 01, 1999, Helsinki, Finland. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Linington, Peter F. (1999) Options for expressing ODP Enterprise Communities and their Policies by using UML. In: Proceedings of the Third International Enterprise Distributed Object Computing Confererence. IEEE pp. 72-82. ISBN 0-7803-5784-1. (doi:https://doi.org/10.1109/EDOC.1999.792051) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Linington, Peter F. (2006) Policy Specification: Meeting Changing Requirements without Breaking the System Design Contract. In: Almeida, J.P.A. and Linington, Peter F. and Tanaka, Akira and Wood, B., eds. Enterprise Distributed Object Computing Conference Workshops, 2006 (IEEE Xplore Release 2.5). IEEE Digital Library p. 37. ISBN 0-7695-2743-4. (doi:https://doi.org/10.1109/EDOCW.2006.56) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Linington, Peter F. (1999) RISCSIM - A Simulator for Object-based Systems. In: Proceedings of the UKSIM'99 Conference of the UK Simulation Society. UK Simulation Society pp. 141-147. ISBN 0-905488-38-5. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Linington, Peter F. (1995) RM-ODP: The Architecture. In: Raymond, Kerry and Armstrong, Elizabeth, eds. Open Distributed Processing: Experience with Distributed Environments. Chapman and Hall pp. 15-33. ISBN 0-412-71150-8. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Linington, Peter F. (2004) The Role of Contracts in Establishing Interoperability of Enterprise Systems. In: INTEREST 2004 Workshop, ECOOP 2004. , Oslo, Norway (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Linington, Peter F. (2004) What Foundations does the RM-ODP need? In: Vallecillo, Antonio and Linington, Peter F. and Wood, B.M., eds. Workshop on ODP for Enterprise Computing (WODPEC 2004). IEEE Digital Library, Monterey, California, USA pp. 15-22. (Full text available)
[img]
Preview

Linington, Peter F. (2003) A policy-based model-driven security framework. In: Ururahy, C. and Sztajnberg, A. and Cerqueira, R., eds. Middleware 2003 Companion:Workshop Proceedings. Pontificia Universidade Caolica do Rio de Janeiro pp. 273-276. ISBN 85-87926-03-9. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Linington, Peter F. and Derrick, John and Bowman, Howard (1996) The specification and conformance of ODP systems. In: 9th International Workshop on Testing of Communicating Systems. Chapman & Hall, Darmstadt, Germany pp. 93-114. (Full text available)
[img]
Preview
[img]
Preview

Linington, Peter F. and Frank, W.F. (2001) Specification and Implementation in ODP. In: Cordeiro, Jose and Kilov, Haim, eds. Proceedings of the 1st Workshop on Open Distributed Processing: Enterprise, Computation, Knowledge, Engineering and Realisation. ICEIS Press, Setubal, Portugal pp. 69-80. ISBN 972-98050-5-9. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Linington, Peter F. and Liyanagama, Pulitha (2007) Incorporating Security Behaviour into Business Models Using a Model Driven Approach. In: 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007). IEEE Press pp. 405-415. ISBN 978-0-7695-2891-5. (doi:https://doi.org/10.1109/EDOC.2007.16) (Full text available)
[img]
Preview

Linington, Peter F. and Milosevic, Zoran and Cole, James and Gibson, Simon and Kulkarni, Sachin and Neal, Stephen (2004) A unified behavioural model and a contract language for extended enterprise. Data and Knowledge Engineering, 51 (1). pp. 5-29. ISSN 0169-023X. (doi:https://doi.org/10.1016/j.datak.2004.03.005) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Linington, Peter F. and Milosevic, Zoran and Raymond, Kerry (1998) Policies in Communities: Extending the Enterprise Viewpoint. In: Proc. 2nd International Workshop on Enterprise Distributed Object Computing (EDOC'98), San Diego, USA. New York; Institute of Electrical and Electronics Engineers; 1998 pp. 14-24. ISBN 0-7803-5158-4. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Linington, Peter F. and Neal, Stephen (2003) Using Policies in the Checking of Business to Business Contracts. In: Lutfiyya, H. and Moffat, J. and Garcia, F., eds. Fourth IEEE International Workshop on Policies for Distributed Systems and Networks. IEEE Computer Society, Lake Como, Italy pp. 207-218. ISBN 0-7695-1933-4. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Linington, Peter F. and Tripp, Gerald (2000) Two-point ATM Switching System Measurements. In: Kouvatsos, D.D., ed. Technical Proceedings, Eighth IFIP Workshop on Performance Modelling and Evaluation of ATM and IP Networks (ATM and IP 2000). Networks UK ISBN 0-9540151-1-8. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Lins, Rafael D. and Jones, Richard E. (1991) Cyclic Weighted Reference Counting. Technical report. UKC, University of Kent, Canterbury, UK (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Lins, Rafael D. and Jones, Richard E. (1993) Cyclic Weighted Reference Counting. In: WP & FP'93 Workshop on Parallel and Distributed Processing, Sofia, Bulgaria. pp. 369-382. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Lins, Rafael D. and Thompson, Simon and Jones, Simon L. Peyton (1994) On the Equivalence Between CMC and TIM. Journal of Functional Programming, 1 (4). (doi:https://doi.org/10.1017/S0956796800000939) (Full text available)
[img]
Preview
[img]
Preview

Lopez, Gabriel and Canovas, Oscar and Gomez-Skarmeta, Antonio F. and Otenko, Sassa and Chadwick, David W. (2005) A Heterogeneous Network Access Service based on PERMIS and SAML. In: 2nd EuroPKI Workshop, 30 June - 1 July 2005, Canterbury, United Kingdom. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

M

Mander, Keith C. (2001) The Decline and Fall of the American Programmer? Communications of the ACM, 44 (7). pp. 43-44. ISSN 0001-0782. (doi:https://doi.org/10.1145/379300.379309) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Mander, Keith C. and Polack, Fiona A.C. (1995) Rigorous Specification using Structured Systems Analysis and Z. Information and Software Technology, 37 (5-6). pp. 285-291. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Mander, Keith C. and Polack, Fiona A.C. and Whiston, Mark (1992) Introduction to the SAZ Method: the State Specification. In: Proceedings International SSADM Conference. , Warwick (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Mander, Keith C. and Polack, Fiona A.C. and Whiston, Mark (1993) The SAZ Method: Version 1.0. In: YCS 207. , University of York (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Mander, Keith C. and Polack, Fiona A.C. and Whiston, Mark (1993) The SAZ Project: Integrating SSADM and Z. In: Proceedings JFIT conference. pp. 355-362. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Mander, Keith C. and Powell, Anthony L. and Brown, Duncan S. (1998) Strategies for Lifecycle and Concurrency and Iteration: A Systems Dynamics Approach. In: Proceedings Process Modelling and Simulation 98 (ProSim'98). , Silver Falls, Oregon (doi:https://doi.org/10.1016/S0164-1212(99)00008-4) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Marion, Sebastien and Jones, Richard E. and Ryder, Chris (2007) Decrypting The Java Gene Pool: Predicting Objects' Lifetimes with Micro-patterns. In: ISMM'07: Proceedings of the 2007 International Symposium on Memory Management. Proceedings of the 2007 International Symposium on Memory Management (ISMM'07). ACM, Montreal, Canada pp. 67-78. ISBN 978-1-59593-893-0. (doi:https://doi.org/10.1145/1296907.1296918) (Full text available)
[img]
Preview

McCann, Julie A. and de Lemos, Rogério and Huebscher, Markus and Rana, Omer F. and Wombacher, Andreas (2006) Can Self-Managed Systems be Trusted? Some Views and Trends. Knowledge Engineering Review, 21 (3). pp. 239-248. ISSN 0269-8889. (doi:https://doi.org/10.1017/S0269888906000853) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Meira, SRL and Cavalcanti, Ana L. C. (1992) MooZ Case Studies. In: Barden, Rosalind and Stepney, Susan and Cooper, David, eds. Object Orientation in Z, Workshops in Computing. Springer-Verlag, pp. 37-58. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Meira, Silvio Lemos and Cavalcanti, Ana L. C. (1990) Modular Object-Oriented Z Specifications. In: Nicholls, JE, ed. Z User Workshop. Springer-Verlag, Oxford, UK pp. 173-192. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Meira, Silvio Lemos and Cavalcanti, Ana L. C. and Santos, Cåssio Souza (1994) The Unix Filing System: A MooZ Specification. In: Lano, Kevin and Haughton, Howard, eds. Object Oriented Specification Case Studies. Prentice-Hall, pp. 80-109. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Meneses, L.C.S. and Soares, S. and Meneses, J.B. and Moura, Hermano and Cavalcanti, Ana L. C. (2000) A Framework for Defining Object-oriented Languages using Action Semantics. In: 4th Brazilian Symposium on Programming Languages. pp. 172-185. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Miarka, Ralph and Boiten, Eerke Albert and Derrick, John (2000) Guards, Preconditions, and Refinement in Z. In: Bowen, Jonathan P. and Dunne, Steve and Galloway, Andy and King, Steve, eds. ZB2000: Formal Specification and Development in Z and B / First International Conference of B and Z Users. Lecture Notes in Computer Science, 1878. Springer-Verlag Berlin pp. 286-303. ISBN 354067948. (doi:https://doi.org/10.1007/3-540-44525-0_17) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Milosevic, Zoran and Gibson, Simon and Linington, Peter F. and Cole, James and Kulkarni, Sachin (2004) On design and implementation of a contract monitoring facility. In: Benatallah, Boualem and Godart, Claude and Shan, Ming-Chien, eds. Proceedings of WEC, First IEEE International Workshop on Electronic. IEEE Computer Society, Washington, DC, USA pp. 62-70. ISBN 0-7695-2184-3. (doi:https://doi.org/10.1109/WEC.2004.13) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Milosevic, Zoran and Linington, Peter F. and Gibson, Simon and Kulkarni, Sachin and Cole, James (2004) Inter-Organisational Collaborations Supported by E-Contracts. In: Lamersdorf, Winfried and Tschammer, Volker and Amarger, Stephane, eds. Building the E-Service Society: E-Commerce, E-Business, and E-Government. IFIP 18th World Computer Congress, 146. Springer, Toulouse, France pp. 413-429. ISBN 1-4020-8154-5. (doi:https://doi.org/10.1007/1-4020-8155-3_23) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Moreau, Luc and Dickman, Peter and Jones, Richard E. (2005) Birrell's Distributed Reference Listing Revisited. ACM Transactions on Programming Languages and Systems (TOPLAS), 27 (6). pp. 1-52. ISSN 0164-0925. (Full text available)
[img]
Preview

N

Neal, Stephen and Cole, James and Linington, Peter F. and Milosevic, Zoran and Gibson, Simon and Kulkarni, Sachin (2003) Identifying requirements for Business Contract language: A monitoring perspective. In: Steen, Maarten and Bryant, B.R., eds. Proceedings of the seventh International Enterprise Distributed Object Computng Conference. IEEE Computer Society, Brisbane, Australia pp. 50-61. ISBN 0-7695-1994-6. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Neal, Stephen and Linington, Peter F. (2001) Tool Support for Development Using Patterns. In: Lupu, Emil C. and Wegmann, A., eds. Proceedings of the fifth International Enterprise Distributed Object Computng Conference. IEEE Computer Society, Seattle, Washingto, USA pp. 237-248. ISBN 0-7695-1345-X. (doi:https://doi.org/10.1109/EDOC.2001.950443) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Nuka, Gift and Woodcock, Jim (2004) Mechanising the alphabetised relational calculus. In: WMF2003: 6th Braziliam Workshop on Formal Methods. Electronic Notes in Theoretical Computer Science, 95. Elsevier, Campina Grande, Brazil pp. 209-225. (doi:https://doi.org/10.1016/j.entcs.2004.04.013) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

O

Octavian, Patrascoiu and Nicolae, Mitroi and Gheorghe, Marian (1994) C Language. Microcomputer Service Press (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Oliveira, B. and Cavalcanti, Ana L. C. and Sampaio, Augusto C.A. (2002) Automation of a Normal Form Reduction Strategy for Object-oriented Programming. In: Proceedings of the 5th Brazilian Workshop on Formal Methods. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Oliveira, Marcel V. M. (2004) A Refinement Calculus for Circus - Mini-thesis. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, Kent, CT2 7NF, UK (Full text available)
[img]
Preview

Oliveira, Marcel V. M. and Cavalcanti, Ana L. C. and Woodcock, Jim (2003) ArcAngel: a tactic language for refinement. Formal Aspects of Computing, 15 (1). pp. 28-47. ISSN 0934-5043. (doi:https://doi.org/10.1007/s00165-003-0003-8) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Oliveira, Marcel V. M. and Cavalcanti, Ana L. C. and Woodcock, Jim (2004) From Circus to JCSP. In: Sixth International Conference on Formal Engineering Methods. Lecture Notes in Computer Science series, 3308. Springer, Microsoft Res; Univ Oxford; UN Univ; Formal Methods Europe; NASA; ORA Canada pp. 320-340. ISBN 3-540-23841-7. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Oliveira, Marcel V. M. and Cavalcanti, Ana L. C. and Woodcock, Jim (2004) Refining Industrial Scale Systems in Circus. In: East, Ian R. and Martin, Jeremy and Welch, Peter H. and Duce, David and Green, Mark, eds. Communicating Process Architectures 2004. Concurrent Systems Engineering Series, 62. IOS Press pp. 281-309. ISBN 1-58603-458-8. (Full text available)
[img]
Preview

Oliveira, Marcel V. M. and Xavier, Manuela A. and Cavalcanti, Ana L. C. (2004) Refine and Gabriel: Support for Refinement and Tactics. In: 2nd IEEE International Conference on Software Engineering and Formal Methods. IEEE Computer Society Press pp. 310-319. ISBN 0-7695-2222-X. (doi:https://doi.org/10.1109/SEFM.2004.1347535) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Oliver, Ian (1999) ``Executing'' the OCL. In: Rashid, Awais and Parsons, David and Telea, Alexandru, eds. Proceedings of the ECOOP'99 Workshop for PhD Students in OO Systems (PhDOOS '99). (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Oliver, Ian and Kent, Stuart (1999) Validation of Object-Oriented Models using Animation. In: Proceedings of EuroMicro'99. pp. 237-242. ISBN 0-7695-0321-7. (doi:https://doi.org/10.1109/EURMIC.1999.794786) (Full text available)
[img]
Preview

Osbakk, Patrik (2007) A Privacy Enhancing Infrastructure for Context-Awareness. Doctor of Philosophy (PhD) thesis, University of Kent. (Full text available)
[img]
Preview

Owen, Gareth and Adda, Mo (2009) SOLS: Self Organising Distributed Location Server for Wireless Ad Hoc Networks. In: 9th International Symposium on Autonomous Decentralized Systems. , Athens, Greece (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Owen, Gareth and Adda, Mo (2009) SOLS: Self Organising Distributed Location Server for Wireless Ad Hoc Networks. International Journal of Computer Networks & Communications (IJCNC), 1 (1). pp. 17-30. ISSN 0974 9322. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Owen, Gareth and Adda, Mo (2008) Storing Data in Ad Hoc Networks. In: International Conference on Challenges in Higher Education and Research in the 21st Century. Heron Press Sofia, Bulgaria ISBN 978-954-580-247-8. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

P

Parish, D.J and Phillips, I.W and Coventry, P. and Chia, L.T and Griffiths, J.W.R and Tagg, A.G and Shrimpton, David (1997) An architecture for a modular videoconferencing terminal supporting video cell loss. Electronics & Communication Engineering Journal, 9 (3). pp. 137-142. ISSN 0954-0695. (doi:https://doi.org/10.1049/ecej:19970308) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Parker, H.E.D and Polack, Fiona A.C. and Mander, Keith C. (1995) The Industrial Trial of SAZ: reflections on the use of an integrated specification method. In: Proceedings 7th International Conference on ''Putting into practice methods and tools for information systems design''. , Universite de Nantes (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Partsch, H.A. and Boiten, Eerke Albert (1991) A Note on Similarity of Specifications and Reusability of Transformational Developments. In: Möller, Bernhard, ed. Constructing Programs from Specifications : Proceedings of the IFIP TC2/WG 2.1 Working Conference. North-Holland, Amsterdam pp. 71-89. ISBN 0-444-89184-6. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Patrascoiu, Octavian (2000) DCGToProlog: A DCG to Prolog Translator. In: Proceedings of the International Symposium on System Theory (ISST-00). , Craiova, Romania (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Patrascoiu, Octavian (1998) An Extension of Prolog for UBG. In: Proceedings of the International Symposium on System Theory (ISST-98). , Craiova, Romania (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Patrascoiu, Octavian (1998) Implementing English Inflection. In: Proceedings of the International Symposium on System Theory (ISST-98). , Craiova, Romania (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Patrascoiu, Octavian (2001) Introduction to Programming Language Theory. Editura Rom TPT (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Patrascoiu, Octavian (2004) Mapping EDOC to Web Services using YATL. In: 8th IEEE International Enterprise Distributed Object Computing Conference. I.E.E.E, Computer Soc Press pp. 286-297. ISBN 0-7695-2214-9. (doi:https://doi.org/10.1109/EDOC.2004.10022) (Full text available)
[img]
Preview

Patrascoiu, Octavian (2004) Model Transformations in YATL. Studies and Experiments. Technical report. University of Kent, Great Britain (Full text available)
[img]
Preview

Patrascoiu, Octavian (2000) Object Oriented Metrics. In: Proceedings of the International Symposium on System Theory (ISST-00). , Craiova, Romania (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Patrascoiu, Octavian (2004) YATL: Yet Another Transformation Language - Reference Manual Version 1.0. Technical report. University of Kent, Great Britain (Full text available)
[img]
Preview

Patrascoiu, Octavian (2004) YATL:Yet Another Transformation Language. In: Thechnical Report- University of Kent at Canterbury Computing Labratory. pp. 83-90. (Full text available)
[img]
Preview

Patrascoiu, Octavian and Marian, Gheorghe (2000) Compiler Construction. Editura Rom TPT (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Patrascoiu, Octavian and Mitroi, Nicolae and Marian, Gheorghe (1995) Graphs and Combinatorics. Algorithms and Programs. All Press (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Patrascoiu, Octavian and Rodgers, Peter (2004) Embedding OCL Expressions in YATL. In: Proceedings of the "OCL and Model Driven Engineering" wokshop, UML'04. (Full text available)
[img]
Preview

Pediaditakis, Michael and Shrimpton, David (2003) Device neutral pipelined processing of XML documents. In: Proceedings of the Twelfth International World Wide Web Conference. Conference Series of the International World Wide Web Conference Committee. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Pediaditakis, Michael and Shrimpton, David (2003) Device-neutral pipelined processing of XML documents. InterChange, 9 (4). pp. 33-36. ISSN 1463-662X. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Pediaditakis, Michael and Shrimpton, David (2004) Towards a Generic XML Content Presentation Model. In: W3C Workshop on Web Applications and Compound Documents. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Pfleeger, S. and Hatton, Leslie (1997) Do Formal Methods Really Work. In: IEE Computer. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Pfleeger, S. and Hatton, Leslie and Howell, C. (2001) Solid Software. Software Quality Institute . Prentice-Hall, New Jersey, 336 pp. ISBN 0-13-091298-0. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Polack, Fiona A.C. and Andrews, Paul S. and Sampson, Adam T. (2009) The engineering of concurrent simulations of complex systems. In: 2009 IEEE Congress on Evolutionary Computation (CEC 2009). IEEE Press pp. 217-224. ISBN 978-1-4244-2959-2. (Full text available)
[img]
Preview

Polack, Fiona A.C. and Hoverd, Tim and Sampson, Adam T. and Stepney, Susan and Timmis, Jon (2008) Complex systems models: engineering simulations. In: Bullock, S. and Noble, J. and Watson, R. and Bedau, Mark A., eds. Artificial Life XI: Proceedings of the Eleventh International Conference on the Simulation and Synthesis of Living Systems. MIT Press, Cambridge, MA, USA pp. 482-489. ISBN 978-0-262-75017-2. (Full text available)
[img]
Preview

Polack, Fiona A.C. and Mander, Keith C. (1994) Software Quality Assurance using the SAZ Method. In: Proceedings of Z User Meeting. Springer-Verlag pp. 230-249. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Polack, Fiona A.C. and Stepney, Susan and Turner, Heather and Welch, Peter H. and Barnes, Frederick R.M. (2005) An Architecture for Modelling Emergence in CA-Like Systems. In: Capcarrere, Mathieu S. and Freitas, Alex A. and Bentley, Peter J. and Johnson, Colin G. and Timmis, Jon, eds. Advances in Artificial Life, 8th European Conference on Artificial Life (ECAL 2005). Lecture Notes in Computer Science, 3630. Springer, Canterbury, UK pp. 427-436. ISBN 3-540-28848-1. (Full text available)
[img]
Preview

Powell, Anthony L. and Mander, Keith C. and Brown, Duncan S. (1999) Strategies for Lifecycle and Concurrency and Iteration: A Systems Dynamics Approach. Journal of Systems and Software, 46 . pp. 151-161. (doi:https://doi.org/10.1016/S0164-1212(99)00008-4) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Printezis, Tony and Jones, Richard E. (2002) GCspy: An Adaptable Heap Visualisation Framework. In: Proceedings of OOPSLA'02 ACM Conference on Object-Oriented Systems, Languages and Applications. SIGPLAN Notices. ACM Press, Seattle, WA. pp. 343-358. ISBN 1581124711. (doi:https://doi.org/10.1145/582419.582451) (Full text available)
[img]
Preview

Printezis, Tony and Jones, Richard E. (2002) GCspy: An Adaptable Heap Visualisation Framework. Technical report. Computing Laboratory, UKC, Canterbury 1426. (doi:1426) (Full text available)
[img]
Preview
[img]
Preview

Q

Quig, Bruce and Kölling, Michael and Rosenberg, John and Steele, Phillip (2005) Interactive Visualisation and Testing of Jini Services. In: Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), Melbourne, Australia. IEEE Computer Society Press pp. 458-463. ISBN 0-7695-2472-9. (Full text available)
[img]
Preview

Quig, Bruce and Rosenberg, John and Kölling, Michael (2003) Supporting Interactive Invocation of Remote Services within an Integrated Programming Environment. In: Proceedings of the 2nd international conference on Principles and practice of programming in Java. ACM, Kilkenny City, Ireland pp. 195-200. ISBN 0-9544145-1-9. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

R

Ramalho, Geber L. and Barros, Flavia and Cavalcante, Sergio and Cavalcanti, Ana L. C. (1999) Cyber Rally: An Experience of Democratic Use of the Internet. In: 8th International Conference on Human-Computer Interaction: Communication, Cooperation, and Application Design, 22-26 August 1999, Munich, Germany. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Ritson, Carl G. and Barnes, Frederick R.M. (2007) A Process Oriented Approach to USB Driver Development. In: McEwan, Alistair A. and Schneider, S.A. and Ifill, W. and Welch, Peter H., eds. Communicating Process Architectures 2007: WoTUG-30. Concurrent Systems Engineering Volume 65, 65. IOS Press, Amsterdam, The Netherlands pp. 323-338. ISBN 978-1-58603-767-3. (Full text available)
[img]
Preview

Ritson, Carl G. and Sampson, Adam T. and Barnes, Frederick R.M. (2009) Multicore Scheduling for Lightweight Communicating Processes. In: Field, John and Vasconcelos, Vasco Thudichum, eds. Coordination Models and Languages, 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings. Lecture Notes in Computer Science, 5521. Springer, Berlin, Germany pp. 163-183. ISBN 978-3-642-02052-0. (Full text available)
[img]
Preview

Ritson, Carl G. and Sampson, Adam T. and Barnes, Frederick R.M. (2006) Video Processing in occam-pi. In: Welch, Peter H. and Kerridge, Jon M. and Barnes, Frederick R.M., eds. Communicating Process Architectures 2006. Concurrent Systems Engineering Series, 64. IOS Press, Amsterdam, The Netherlands pp. 311-329. ISBN 1-58603-671-8. (Full text available)
[img]
Preview

Ritson, Carl G. and Simpson, Jonathan (2008) Virtual Machine Based Debugging for occam-pi. In: Welch, Peter H. and Stepney, Susan and Polack, Fiona A.C. and Barnes, Frederick R.M. and McEwan, Alistair A. and Stiles, Gardner S. and Broenink, Jan F. and Sampson, Adam T., eds. Communicating Process Architectures 2008. Concurrent Systems Engineering Series, 66. IOS Press, Amsterdam, The Netherlands pp. 293-307. ISBN 978-1-58603-907-3. (Full text available)
[img]
Preview

Ritson, Carl G. and Welch, Peter H. (2007) A Process-Oriented Architecture for Complex System Modelling. In: McEwan, Alistair A. and Schneider, S.A. and Ifill, W. and Welch, Peter H., eds. Communicating Process Architectures 2007. Concurrent Systems Engineering Series, 65. IOS Press, Amsterdam, The Netherlands pp. 249-266. ISBN 978-1-58603-767-3. (Full text available)
[img]
Preview

Rizzo, Mike and Linington, Peter F. and Utting, Ian (1994) Call Management in the Open Distributed Office. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, UK (Full text available)
[img]
Preview
[img]
Preview

Rizzo, Mike and Linington, Peter F. and Utting, Ian (1994) Integration of location services in the Open Distributed Office. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, UK (Full text available)
[img]
Preview
[img]
Preview

Rizzo, Mike and Linington, Peter F. and Utting, Ian (1994) The ODO project: a Case Study in Integration of Multimedia Services. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, UK (Full text available)
[img]
Preview
[img]
Preview

Rizzo, Mike and Linington, Peter F. and Utting, Ian (1994) VitKit: a Voice Interaction Toolkit. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, UK (Full text available)
[img]
Preview
[img]
Preview

Rizzo, Mike and Utting, Ian (1994) An Agent-based Model for the Provision of Advanced Telecommunications Services. Technical report. University of Kent, Canterbury, UK, University of Kent, Canterbury, UK (Full text available)
[img]
Preview
[img]
Preview

Rizzo, Mike and Utting, Ian (1997) A Negotiating Agents Model for the Provision of Flexible Telephony Services. In: Proceedings ISADS 97 - Third International Symposium on Autonomous Decentralized Systems. IEEE Computer Society Press pp. 351-358. ISBN 0-8186-7783-X. (Full text available)
[img]
Preview
[img]
Preview

Rizzo, Mike and Utting, Ian and Linington, Peter F. (1997) Call management in the open distributed office. Electronics & Communication Engineering Journal, 9 (3). pp. 107-116. ISSN 0954-0695. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Rodrigues, Helena C.C.D. and Jones, Richard E. (1997) Cyclic Distributed Garbage Collection with Group Merger. Technical report. University of Kent at Canterbury 17-97. (doi:17-97) (Full text available)
[img]
Preview
[img]
Preview

Rodrigues, Helena C.C.D. and Jones, Richard E. (1998) Cyclic Distributed Garbage Collection with Group Merger. In: Jul, Eric, ed. Proceedings of 12th European Conference on Object-Oriented Programming, ECOOP98. Lecture Notes in Computer Science, 1445. Springer, Brussels pp. 249-273. ISBN 3-540-64737-6. (Full text available)
[img]
Preview
[img]
Preview

Rodrigues, Helena C.C.D. and Jones, Richard E. (1996) A Cyclic Distributed Garbage Collector for Network Objects. In: Babaoglu, Ö. and Marzullo, K., eds. Tenth International Workshop on Distributed Algorithms WDAG'96. Lecture Notes in Computer Science (1151). Springer, Bologna, Italy pp. 123-140. ISBN 3-540-61769-8. (Full text available)
[img]
Preview
[img]
Preview

Rothwell, Kneale J and Linington, Peter F. and Waters, A. Gill (1996) Experiences in implementing a real-time video filestore. In: UNSPECIFIED. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Rubira, Cecilia M. F. and de Lemos, Rogério and Ferreira, G.R.M. and Filho, F. Castor (2005) Exception Handling in the Development of Dependable Component-Based Systems. Software: Practice and Experience, 35 (3). pp. 195-236. ISSN 0038-0644. (doi:https://doi.org/10.1002/spe.632) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Ryan, Nick S. (2005) Smart environments for cultural heritage. In: Uno, Takao, ed. Reading Historical Spatial Information from around the World: studies of culture and civilization based on geographic information systems data. International Research Center for Japanese Studies, Kyoto, Japan. (Full text available)
[img]
Preview

Ryder, Chris and Thompson, Simon (2005) Porting HaRe to the GHC API. Technical report. Computing Laboratory, University of Kent, University of Kent, Canterbury, Kent, UK (Full text available)
[img]
Preview

S

Sampaio, Augusto C.A. and Woodcock, Jim and Cavalcanti, Ana L. C. (2002) Refinement in Circus. In: Eriksson, Lars-Henrik and Lindsay, Peter A., eds. FME 2002: Formal Methods - Getting IT Right. Lecture Notes in Computer Science, 1. Springer-Verlag, Berlin pp. 451-470. ISBN 978-3-540-43928-8. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Sampson, Adam T. (2008) Two-Way Protocols for occam-pi. In: Welch, Peter H. and Stepney, Susan and Polack, Fiona A.C. and Barnes, Frederick R.M. and McEwan, Alistair A. and Stiles, Gardner S. and Broenink, Jan F. and Sampson, Adam T., eds. Communicating Process Architectures 2008. Concurrent Systems Engineering, 66. IOS Press, Amsterdam, The Netherlands pp. 85-97. ISBN 978-1-58603-907-3. (Full text available)
[img]
Preview

Sampson, Adam T. and Bjørndalen, John Markus and Andrews, Paul S. (2009) Birds on the Wall: Distributing a Process-Oriented Simulation. In: 2009 IEEE Congress on Evolutionary Computation (CEC 2009). IEEE Press pp. 225-231. ISBN 978-1-4244-2959-2. (Full text available)
[img]
Preview

Sampson, Adam T. and Welch, Peter H. and Barnes, Frederick R.M. (2005) Lazy Cellular Automata with Communicating Processes. In: Broenink, Jan F. and Roebbers, Herman W. and Sunter, J.P.E. and Welch, Peter H. and Wood, David C., eds. Communicating Process Architectures 2005. Concurrent Systems Engineering Series, 63. IOS Press, IOS Press, The Netherlands pp. 165-175. ISBN 1-58603-561-4. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Sampson, Adam T. and Welch, Peter H. and Warren, Douglas N. and Andrews, Paul S. and Bjørndalen, John Markus and Stepney, Susan and Timmis, Jon (2008) Investigating Patterns for the Process-Oriented Modelling and Simulation of Space in Complex Systems. In: Bullock, S. and Noble, J. and Watson, R. and Bedau, Mark A., eds. Artificial Life XI: Proceedings of the Eleventh International Conference on the Simulation and Synthesis of Living Systems. MIT Press, Cambridge, MA, USA. pp. 17-24. ISBN 978-0-262-75017-2. (Full text available)
[img]
Preview

Sanches, R. and Sette, S.S. and Cavalcanti, Ana L. C. and Florissi, C. and Soares, Patricia G. and Melo, T.C.S (1987) A Language for a Relational Database Management System. In: 2nd Brazilian Symposium on Databases. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Schweigler, Mario (2004) Adding Mobility to Networked Channel-Types. In: East, Ian R. and Martin, Jeremy and Welch, Peter H. and Duce, David and Green, Mark, eds. Communicating Process Architectures 2004. Concurrent Systems Engineering Series, 62. IOS Press, Amsterdam, The Netherlands pp. 107-125. ISBN 1-58603-458-8. (Full text available)
[img]
Preview

Schweigler, Mario (2001) The Distributed occam Protocol - A New Layer on Top of TCP/IP to Serve occam Channels Over the Internet. Other masters thesis, Computing Laboratory, University of Kent, Canterbury, UK. (Full text available)
[img]
Preview

Schweigler, Mario (2006) A Unified Model for Inter- and Intra-processor Concurrency. Doctor of Philosophy (PhD) thesis, University of Kent. (Full text available)
[img]
Preview

Schweigler, Mario and Barnes, Frederick R.M. and Welch, Peter H. (2003) Flexible, Transparent and Dynamic occam Networking with KRoC.net. In: Broenink, Jan F. and Hilderink, Gerald H., eds. Communicating Process Architectures 2003. Concurrent Systems Engineering Series, 61. IOS Press, Amsterdam, The Netherlands pp. 199-224. ISBN 1-58603-381-6. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Schweigler, Mario and Sampson, Adam T. (2006) pony - The occam-pi Network Environment. In: Welch, Peter H. and Kerridge, Jon M. and Barnes, Frederick R.M., eds. Communicating Process Architectures 2006. Concurrent Systems Engineering Series, 64. IOS Press, Amsterdam, The Netherlands pp. 77-108. ISBN 1-58603-671-8. (Full text available)
[img]
Preview

Senivongse, Twittie and Utting, Ian (1996) A Model for Evolution of Services in Distributed Systems. In: Schill, Spaniol and Popien, Popien, eds. Distributed Platforms. Chapman and Hall pp. 373-385. ISBN 0-412-73280-7. (Full text available)
[img]
Preview
[img]
Preview

Shandal, Anil Kumar and Waters, A. Gill (1996) Congestion control of AAL3/4 and AAL5 traffic over ATM networks. In: UNSPECIFIED. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Sheriff, A. and Cavalcanti, Ana L. C. and Moura, Hermano (2002) An Action Semantics for Timed CSPm. In: Proceedings of the 6th Brazilian Symposium on Programming Languages. pp. 100-113. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Shrimpton, David and Balfanz, Dirk (2004) Editorial video technology and interactive broadcasting. Computers and Graphics, 28 (2). pp. 137-138. ISSN 0097-8493. (doi:https://doi.org/10.1016/j.cag.2004.01.001) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Shrimpton, David and Dobbyn, Chris and Casey, Tom (1999) Towards the convergence of interactive television and WWW. In: Colloqium on Multimedia Services and Digital Television by Satellite. IEE, Savoy Place, London 6/1-6/6. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Simpson, Jonathan and Jacobsen, Christian L. (2008) Visual Process-oriented Programming for Robotics. In: Welch, Peter H. and Stepney, Susan and Polack, Fiona A.C. and Barnes, Frederick R.M. and McEwan, Alistair A. and Stiles, Gardner S. and Broenink, Jan F. and Sampson, Adam T., eds. Communicating Process Architectures 2008. Concurrent Systems Engineering, 66. IOS Press, Amsterdam, The Netherlands pp. 365-380. ISBN 978-1-58603-907-3. (Full text available)
[img]
Preview

Simpson, Jonathan and Jacobsen, Christian L. and Jadud, Matthew C. (2006) Mobile Robot Control: The Subsumption Architecture and occam-pi. In: Welch, Peter H. and Kerridge, Jon M. and Barnes, Frederick R.M., eds. Communicating Process Architectures 2006. Concurrent Systems Engineering Series, 64. IOS Press, Amsterdam, The Netherlands pp. 225-236. ISBN 1-58603-671-8. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Simpson, Jonathan and Jacobsen, Christian L. and Jadud, Matthew C. (2007) A Native Transterpreter for the LEGO Mindstorms RCX. In: McEwan, Alistair A. and Schneider, S.A. and Ifill, W. and Welch, Peter H., eds. Communicating Process Architectures 2007. Concurrent Systems Engineering Series, 65. IOS Press, Amsterdam, The Netherlands pp. 339-348. ISBN 978-1-58603-767-3. (Full text available)
[img]
Preview

Singer, Jeremy and Marion, Sebastien and Brown, Gavin D. and Jones, Richard E. and Lujan, Mikel and Ryder, Chris and Watson, Ian (2008) An Information Theoretic Evaluation of Software Metrics for Object Lifetime Prediction. In: 2nd Workshop on Statistical and Machine learning approaches to ARchitectures and compilaTion (SMART'08). , Goteborg, Sweden (Full text available)
[img]
Preview

Sinnott, Richard O. and Stell, A.J. and Chadwick, David W. and Otenko, O. (2005) Experiences of Applying Advanced Grid Authorisation Infrastructures. In: Proceedings of European Grid Conference (EGC). Springer, Amsterdam, Holland pp. 265-274. ISBN 3-540-26918-5. (Full text available)
[img]
Preview

Sklenar, Lukas and Utting, Ian (2005) Growing a Tourist Guide. In: Ryan, Nick S. and Cinotti, Tullio Salmon and Raffa, Guiseppe, eds. Smart Environments and their Applications to Cultural Heritage. Proceedings of a workshop held in conjunction with UbiComp'05. Epoch publications. Archaeolingua, Budapest, Hungary pp. 15-18. ISBN 963-8046-61-9. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Smith, R.P. and Shrimpton, David (2004) Towards a PIM for the Model-Driven Development of Web-Based Systems. In: Workshop on Model Driven Development (WMDD 2004), at ECOOP 2004. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Smith, Robert P. and Kent, Stuart (2002) An Experiment in Model Driven Architecture for e-Enterprise Systems. Technical report. Computing Laboratory, University of Kent at Canterbury (Full text available)
[img]
Preview

Steen, Maarten and Bowman, Howard and Derrick, John (1995) Composition of LOTOS specifications. In: UNSPECIFIED. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Stepney, Susan and Cooper, David and Woodcock, Jim (2000) An Electronic Purse: Specification, Refinement and Proof. Technical report. Oxford University (Full text available)
[img]
Preview

Su, Linying and Chadwick, David W. and Basden, Andrew and Cunningham, James (2005) Automated Decomposition of Access Control Policies. In: IEEE 6th International Workshop on Policies for Distributed Systems and Networks, 6-8 June 2005, Stockholm, Sweden. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

T

Tan, Su-Wei (2005) Constructing Efficient Self-Organising Application Layer Multicast Overlays. Doctor of Philosophy (PhD) thesis, Computing Laboratory. (Full text available)
[img]
Preview

Tan, Su-Wei and Waters, A. Gill (2003) Building Low Delay Application Layer Multicast Trees. In: Merabti, Madjid and Pereira, Rubem, eds. Proceeding of 4th Annual PostGraduate Symposium: The Convergence of Telecommunications, Networking & Broadcasting. Liverpool John Moore University pp. 27-32. ISBN 1-902560-09-4. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Tan, Su-Wei and Waters, A. Gill and Crawford, John (2005) MeshTree: A Delay optimised Overlay Multicast Tree Building Protocol. Technical report. IEEE Computer Society, Washington, DC, USA, University of Kent (Full text available)
[img]
Preview

Tan, Su-Wei and Waters, A. Gill and Crawford, John (2005) MeshTree: Reliable Low Delay Degree-bounded Multicast Overlays. In: First International Workshop on Distributed, Parallel and Network Applications (DPNA-2005), 20-22 July 2005, Fukuoka, Japan. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Tan, Su-Wei and Waters, A. Gill and Crawford, John (2004) A Multiple Shared Trees Approach for Application Layer Multicasting. In: IEEE International Conference on Communications (ICC'04). IEEE, Paris, France pp. 1456-1460. ISBN 0-7803-8533-0. (doi:https://doi.org/10.1109/ICC.2004.1312753) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Tan, Su-Wei and Waters, A. Gill and Crawford, John (2003) A Survey and Performance Evaluation of Scalable Tree-based Application Layer Multicast Protocols. Technical report. University of Kent (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Tan, Su-Wei and Waters, A. Gill and Crawford, John (2006) A performance comparison of self-organising application layer multicast overlay construction techniques. Computer Communications, 29 (12). pp. 2322-2347. ISSN 0140-3664. (doi:https://doi.org/10.1016/j.comcom.2006.02.020) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Tang, Xinbei (2004) Mobile Process in Unifying Theories. Technical report. University of Kent, Canterbury, Kent CT2 7NF (Full text available)
[img]
Preview

Tang, Xinbei. and Woodcock, Jim (2004) Travelling Processes. In: Kozen, Dexter, ed. MPC2004: The 7th International Conference on Mathematics of Program Construction. Lecture Notes in Computer Science, 3125. Springer-Verlag,, Stirling, Scotland, UK pp. 381-399. ISBN 3-540-22380-0. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Tang, Xinbei and Woodcock, Jim (2004) Towards Mobile Processes in Unifying Theories. In: Cuellar, Jorge and Liu, Zhiming, eds. SEFM2004: the 2nd IEEE International Conference on Software Engineering and Formal Methods. IEEE Computer Society Press., Beijing, China pp. 44-53. ISBN 0-7695-2222-X. (doi:https://doi.org/10.1109/SEFM.2004.1347502) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Thomas, Stephen P. and Jones, Richard E. (1994) Garbage Collecting Shared Environment Closure Reducers. Technical report. Computing Laboratory, University of Kent at Canterbury https://doi.org/10.1016/0020-0190(95)00131-U. (doi:https://doi.org/10.1016/0020-0190(95)00131-U) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Tracey, Nigel J. and Clark, John A. and Mander, Keith C. (1998) Automated Programme Flaw Finding using Simulated Annealing. In: ACM SOGSOFT Symposium on Software Testing and Analysis (ISSTA 98). , Florida (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Tracey, Nigel J. and Clark, John A. and Mander, Keith C. (1998) The Way Forward for Unifying Dynamic Test Case Generation: The Optimisation-based Approach. In: IFIP International Workshop on Dependable Computing and its Applications (DCIA 98). , Johannesburg (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Tracey, Nigel J. and Clark, John A. and Mander, Keith C. and McDermid, John A. (1998) An Automated Framework for Structural Test-data Generation. In: Proceedings 13th IEEE Conference in Automated Software Engineering. , Hawaii pp. 285-288. ISBN 0-8186-8750-9. (doi:https://doi.org/10.1109/ASE.1998.732680) (Full text available)
[img]
Preview

Tracey, Nigel J. and Clark, John A. and Mander, Keith C. and McDermid, John A. (2000) Automated Test-Data Generation for Exception Conditions. Software Practice and Experience, 30 (1). pp. 61-79. ISSN 0038-0644. (doi:https://doi.org/10.1002/(SICI)1097-024X(200001)30:1<61::AID-SPE292>3.0.CO;2-9) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Tripp, Gerald (1995) An ATM Interface with Facilities for Traffic Generation and Monitoring. Technical report. UKC, University of Kent, Canterbury, UK (Full text available)
[img]
Preview
[img]
Preview

Tripp, Gerald (2000) The Design of an Associative Processing system for Network Monitoring. Technical report. University of Kent (Full text available)
[img]
Preview
[img]
Preview

Tripp, Gerald (2005) A Finite-State-Machine based string matching system for Intrusion Detection on High-Speed Networks. In: Turner, Paul and Broucek, Vlasti, eds. EICAR 2005 Conference Proceedings. pp. 26-40. ISBN 87-987271-7-6. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Tripp, Gerald (2001) Interception of Communications. Information and Communications Technology Law, 10 (3). pp. 285-292. ISSN 1360-0834. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Tripp, Gerald (2004) An Intrusion Detection System for Gigabit Networks -Architecture and an example system. Technical report. University of Kent (Full text available)
[img]
Preview

Tripp, Gerald (1999) Network Traffic Monitoring - an architecture using associative processing. Technical report. (Full text available)
[img]
Preview
[img]
Preview

Tripp, Gerald (1997) On the design of an ATM interface with facilities for traffic monitoring and generation. Journal of Network and Computer Applications, 20 (2). pp. 105-121. ISSN 1084-8045. (doi:https://doi.org/10.1006/jnca.1996.0033) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Tripp, Gerald (1999) Real Time Network Traffic Monitoring. Technical report. (Full text available)
[img]
Preview
[img]
Preview

Tripp, Gerald (2008) Regular expression matching with input compression and next state prediction. Technical report. UKC (Full text available)
[img]
Preview

Tripp, Gerald (2007) Regular expression matching with input compression: a hardware design for use within network intrusion detection systems. Journal in Computer Virology, 3 (2). pp. 125-134. ISSN 1772-9890. (doi:https://doi.org/10.1007/s11416-007-0047-z) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Tripp, Gerald (1992) A Video Control Processor. Technical report. University of Kent, Canterbury, UK (Full text available)
[img]
Preview
[img]
Preview

Tripp, Gerald (2006) A parallel 'String Matching Engine' for use in high speed network intrusion detection systems. Journal in Computer Virology, 2 (1). pp. 21-34. ISSN 1772-9890. (doi:https://doi.org/10.1007/s11416-006-0010-4) (Full text available)
[img]
Preview

U

Utton, Peter and Martin, Gino and Akehurst, David H. and Waters, A. Gill (1999) Performance analysis of object-oriented designs for distributed systems. Technical report. n/a (Full text available)
[img]
Preview

V

Valliapan, Vedhagiri and Shrimpton, David and Dobbyn, Chris (2001) Integrating Interactive TV with the Web using XSL. In: Poster Proceedings of The Tenth International World Wide Web Conference. Conference Series of the International World Wide Web Conference Committee. pp. 72-73. ISBN 962-85361-3-3. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Valliapan, Vedhagiri and Shrimpton, David and Dobbyn, Chris and Casey, Tom (2001) Transforming Web Pages for Interactive TV Using XSL. In: Proceedings of IEEE International Conference on Multimedia and Expo. pp. 1008-1011. ISBN 0-7695-1198-8. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

W

Wang, J. and Saeed, Amer and de Lemos, Rogério (1997) Subjective Safety Analysis for Software Development. In: Soares, C. Guedes, ed. Proceedings of the International Conference on Safety and Reliability (ESREL 97). Elsevier Science Ltd, Oxford, UK, Lisbon, Portugal pp. 389-396. (Full text available)
[img]
Preview

Warmer, Jos and Hogg, John and Cook, Steve J. and Selic, Bran (1997) Experience with Formal Specification of CMM and UML. In: Bosch, Jan and Mitchell, Stuart, eds. ECOOP'97: Workshop on Precise Semantics for Object-oriented Modeling Techniques. Lecture Notes In Computer Science, 1357. Springer-Verlag, Munchen pp. 216-220. ISBN 3-540-64039-8. (doi:https://doi.org/10.1007/3-540-69687-3) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Waters, A. Gill (2000) Hierarchies for Network Evolution. In: 16th UK Teletraffic Symposium on Management of Quality of Service - the New Challenge. IEE 5/1-5/6. (Full text available)
[img]
Preview
[img]
Preview

Waters, A. Gill (1996) Multi-party communication over packet networks. Doctor of Philosophy (PhD) thesis, University of Essex, School of Science and Engineering. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Waters, A. Gill (1992) Multicast provision for high speed networks. In: UNSPECIFIED. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Waters, A. Gill (1994) A new heuristic for ATM multicast routing. In: UNSPECIFIED. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Waters, A. Gill and Bishop, T.L.J. (1993) Delay Considerations in Multicast Routing for ATM Networks. In: 10th UK Teletraffic Symposium. IEE 12/1-12/6. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Waters, A. Gill and Crawford, John (2000) ATM Multicast Routing. In: Kouvatsos, D.D., ed. Performance Evaluation and Application of ATM Networks. Kluwer, pp. 229-248. ISBN 0-7923-7851-2. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Waters, A. Gill and Crawford, John (1996) Low-cost ATM Multicast Routing with Constrained Delays. In: Pascual, J. and Danthine, A., eds. Multimedia Telecommunications and Applications. Lecture Notes in Computer Science, 1185. Springer, Heidelberg, Barcelona, Spain pp. 23-40. ISBN 3-540-62096-6. (Full text available)
[img]
Preview
[img]
Preview

Waters, A. Gill and Crawford, John and Lim, Sei Guan (2004) Optimising multicast structures for grid computing. Computer Communications, 27 (14). pp. 1389-1400. (doi:https://doi.org/10.1016/j.comcom.2004.02.015) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Waters, A. Gill and Lim, Sei Guan (2003) Applying clustering algorithms to multicast group hierarchies. Technical report. University of Kent (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Waters, A. Gill and Linington, Peter F. and Akehurst, David H. and Symes, A. (1997) Communications software performance prediction. In: UNSPECIFIED. (Full text available)
[img]
Preview
[img]
Preview

Waters, A. Gill and Linington, Peter F. and Akehurst, David H. and Utton, Peter and Martin, Gino (2001) Permabase: predicting the performance of distributed systems at the design stage. IEE Proceedings: Software, 148 (4). pp. 113-121. ISSN 1462-5970. (doi:https://doi.org/10.1049/ip-sen:20010553) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Welch, Peter H. (2008) Proceedings of the 2008 Workshop on Complex Systems Modelling and Simulation, York, UK, September 2008. In: UNSPECIFIED. (Full text available)
[img]
Preview

Welch, Peter H. (2004) Through the Concurrency Gateway: a Challenge from the Near Future of Graphics Hardware. In: Bartz, Dirk and Raffin, Bruno and Shen, Han-Wei, eds. Eurographics/ACM SIGGRAPH Symposium Proceedings: Parallel Graphics and Visualization 2004. The Eurographics Association pp. 17-22. ISBN 3-905673-11-8. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Welch, Peter H. and Barnes, Frederick R.M. (2008) A CSP Model for Mobile Channels. In: Welch, Peter H. and Stepney, Susan and Polack, Fiona A.C. and Barnes, Frederick R.M. and McEwan, Alistair A. and Stiles, Gardner S. and Broenink, Jan F. and Sampson, Adam T., eds. Communicating Process Architectures 2008. Concurrent Systems Engineering, 66. IOS Press, Amsterdam, The Netherlands pp. 17-33. ISBN 978-1-58603-907-3. (Full text available)
[img]
Preview

Welch, Peter H. and Barnes, Frederick R.M. (2005) Communicating Mobile Processes: introducing occam-pi. In: Abdallah, Ali E. and Jones, Cliff B. and Sanders, Jeff W., eds. 25 Years of CSP. Lecture Notes in Computer Science, 3525. Springer Verlag pp. 175-210. ISBN 3-540-25813-2. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Welch, Peter H. and Barnes, Frederick R.M. (2005) Mobile Barriers for occam-pi: Semantics, Implementation and Application. In: Broenink, Jan F. and Roebbers, Herman W. and Sunter, J.P.E. and Welch, Peter H. and Wood, David C., eds. Communicating Process Architectures 2005. Concurrent Systems Engineering Series . IOS Press, Amsterdam, pp. 289-316. ISBN 978-1-58603-561-7. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Welch, Peter H. and Barnes, Frederick R.M. and Polack, Fiona A.C. (2006) Communicating Complex Systems. In: Hinchey, Michael G., ed. Engineering of complex computer systems; ICECCS 2006; proceedings. IEEE Computer Society pp. 107-117. ISBN 0-7695-2530-X. (Full text available)
[img]
Preview

Welch, Peter H. and Brown, Neil C.C. and Moores, James and Chalmers, Kevin and Sputh, Bernhard H. C. (2007) Integrating and Extending JCSP. In: Schneider, S.A. and McEwan, Alistair A. and Ifill, W. and Welch, Peter H., eds. Communicating Process Architectures 2007. Concurrent Systems Engineering, 65. IOS, Amsterdam, The Netherlands pp. 349-370. ISBN 978-1-58603-767-3. (Full text available)
[img]
Preview

Welch, Peter H. and Hopkins, Tim (1989) Transputer Data-Flow Solutions for Systems of Linear Equations. In: Parallel Computing 1989, Proceedings of the International Conference. Elsevier, Netherlands, Leiden, Netherlands (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Welch, Peter H. and Linington, Peter F. (1993) An Enabling Infrastructure for a Distributed Multimedia Industry. In: Welch, Peter H. and May, M.D. and Thompson, P.W., eds. Networks, Routers and Transputers: Function, Performance and Application. IOS Press, Netherlands, pp. 183-200. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Welch, Peter H. and Pedersen, Jan B. (2008) Santa Claus - with Mobile Reindeer and Elves. In: Welch, Peter H. and Stepney, Susan and Polack, Fiona A.C. and Barnes, Frederick R.M. and McEwan, Alistair A. and Stiles, Gardner S. and Broenink, Jan F. and Sampson, Adam T., eds. Communicating Process Architectures 2008. Concurrent Systems Engineering, 66. IOS Press, Amsterdam, The Netherlands pp. 455-456. ISBN 978-1-58603-907-3. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Welch, Peter H. and Vinter, Brian and Barnes, Frederick R.M. (2005) Initial Experiences with occam-pi Simulations of Blood Clotting on the Minimum Intrusion Grid. In: International Conference on Parallel and Distributed Processing Techniques and Applications 2005, 27-29 June 2005, Las Vegas, United States. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Wills, A.C (1998) Modeling for Component Based Development. In: Proceedings of the 1998 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages & Applications (OOPSLA '98),. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Wills, A.C. (1999) Catalysis: object and component based development. In: UNSPECIFIED. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Wills, A.C. (2001) Coherence in UML. In: Coupling the UML diagrams. , Mont St Michel (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Wills, A.C. (2000) Component Architecture: Catalysis Techniques for Defining Interfaces. In: Councill, B. and Heinemann, G., eds. Component Based Software Engineering. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Wills, A.C. (2000) Component Design is Language Design. In: ISSUG 2000 (International Sterling Software User Group). , Paris (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Wills, A.C. (1999) Designing Component Kits and Architectures. In: Barroca, Leonor and Hall, Jon and Hall, Patrick A.V., eds. Software architectures: advances and applications. Springer. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Wills, A.C. (2000) Modeling Traits of Component Based Systems. In: OOPSLA 2000, Conference on Object-Oriented Programming, Systems, Languages, and Applications. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Wills, A.C. and Cook, S. and Kleppe, Anneke and Mitchell, Richard and Warmer, Jos (1999) Object Constraint Language. In: 14th Annual ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 99), Nov 1-5, 1999, Denver, Colorado, USA. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Wing, Jeanette M. and Woodcock, Jim (2000) Introduction: Special Issues for FM'99: the First World Congress on Formal Methods in the Development of Computing Systems. Formal Methods in System Design, 17 (3). pp. 199-200. ISSN 0925-9856. (doi:https://doi.org/10.1023/A:1026521916117) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Wing, Jeanette M. and Woodcock, Jim (2000) Introduction: Special Issues for FM'99: the First World Congress on Formal Methods in the Development of Computing Systems. IEEE Transactions on Software Engineering, 26 (8). pp. 673-674. ISSN 0098-5589. (doi:https://doi.org/10.1109/TSE.2000.879806) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Woodcock, Jim (2002) An Introduction to the Alphabetised Relational Calculus. In: Logic and Algebra for Engineering Software. IOS Press (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Woodcock, Jim (2002) Semantics of Parallel Programming Languages in the Unifying Theory. In: Logic and Algebra for Engineering Software. IOS Press (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Woodcock, Jim (2002) Unifying Theories of Parallel Programming. In: ICFEM 2002: 4th International Conference on Formal Engineering Methods. IEE Computer Society Press., Shanghai (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Woodcock, Jim (2004) Using Circus for critical industrial applications. In: WMF2003: 6th Braziliam Workshop on Formal Methods. Electronic Notes in Theoretical Computer Science, 95. Elsevier Science, Campina Grande, Brazil pp. 3-22. (doi:https://doi.org/10.1016/j.entcs.2004.04.003) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Woodcock, Jim and Cavalcanti, Ana L. C. (2001) A Concurrent Language for Refinement. In: 5th Irish Workshop on Formal Methods. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Woodcock, Jim and Cavalcanti, Ana L. C. (2002) The Semantics of Circus. In: ZB 2002: Formal Specification and Development in Z and B. Lecture Notes in Computer Science, 1. Springer-Verlag, Berlin pp. 184-203. ISBN 978-3-540-43166-4. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Woodcock, Jim and Cavalcanti, Ana L. C. (2001) The Steam Boiler in a Unified Theory of Z and CSP. In: 8th Asia-Pacific Software Engineering Conference. IEEE Press pp. 291-298. ISBN 0-7695-1408-1. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Woodcock, Jim and Cavalcanti, Ana L. C. (2004) A tutorial introduction to unifying theories of programming. In: IFM2004: Integrating Formal Methods. Lecture Notes in Computer Science series, 2999. Springer-Verlag, Canterbury pp. 40-66. ISBN 3-540-21377-5. (doi:https://doi.org/10.1007/b96106) (Full text available)
[img]
Preview

Woodcock, Jim and Davies, Jim and Bolton, Christie (2000) Abstract Data Types and Processes. In: Roscoe, A.W. and Davies, Jim and Woodcock, Jim, eds. Proceedings of the Symposium in Honour of CAR Hoare. pp. 391-405. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Woodcock, Jim and Hughes, Arthur (2002) Unifying Theories of Parallel Programming. In: Formal Methods and Software Engineering. Lecture Notes in Computer Science, 0302-9 . Springer Berlin / Heidelberg, pp. 24-37. ISBN 978-3-540-00029-7. (doi:https://doi.org/10.1007/3-540-36103-0) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Woodcock, Jim and McEwan, Alistair A. (2000) An Overview of the Verification of a Handel-C Program. In: International Conference on Parallel and Distributed Processing Techniques and Applications, Jun 26-29, 2000, Las Vegas, NV,. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Woodcock, Jim and McEwan, Alistair A. (2002) Verifying the Properties of a Railway Signalling Device. In: Proceedings of the International Conference on Integrated Design and Process Technology. IDPT Press, Passadena (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

X

Xu, Wensheng and Chadwick, David W. and Otenko, Sassa (2005) Development of a Flexible PERMIS Authorisation Module for Shibboleth and Apache Server. In: 2nd EuroPKI Workshop, 30 June - 1 July 2005, Canterbury, United Kingdom. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Xu, Wensheng and Chadwick, David W. and Otenko, Sassa (2005) A PKI Based Secure Audit Web Server. In: IASTED Communications, Network and Information and CNIS. , Phoenix, USA (Full text available)
[img]
Preview

This list was generated on Tue Feb 19 03:08:09 2019 GMT.