Items where division is "Faculties > Science Technology and Medical Studies > 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. (The full text of this publication is not available from this repository)

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: UNSPECIFIED. (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: Unified Modeling Language: modeling languages, concepts, and toolsools'', October 1-5, 2001, Toronto, Canada. (The full text of this publication is not available from this repository)

Akehurst, David H. and Bordbar, Behzad and Derrick, John and Waters, A. Gill (2002) Design Support for Distributed Systems: DSE4DS. In: Procedings of the 7th Cabernet Radicals Workshop, 13-16 October 2002, Bertinoro, Italy. (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, September 2002. (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, Sep 16-19, 2003, Brisbane, Australia, . (The full text of this publication is not available from this repository)

Akehurst, David H. and Derrick, John and Waters, A. Gill (2003) Design and Verification of Distributed Multi-media Systems. Technical report. University of Kent 10.1007/978-3-540-39958-2_19. (The full text of this publication is not available from this repository)

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

Akehurst, 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. (The full text of this publication is not available from this repository)

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 available from this repository)

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. (The full text of this publication is not available from this repository)

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 available from this repository)

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, Nov 2, 1999, Denver, Colorado. (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: Design, Analysis and Simulation of Distributed Systems 2004, April 2004. , Arlington, Virginia. (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. (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: Proceedings of the 2008 Workshop on Complex Systems Modelling and Simulation, York, UK, September 2008. (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. LECTURE NOTES IN COMPUTER SCIENCE. SPRINGER-VERLAG BERLIN, HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY pp. 617-635. ISBN 3-540-40828-2. (The full text of this publication is not available from this repository)

Atkinson, 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 available from this repository)

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

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

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

Barnes, David J. (1992) Observations and Recommendations on the Internationalisation of Software. Technical report. , University of Kent, Canterbury, UK (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: State of the Art in Scientific Computing. Lecture Notes in Computer Science, 3732. Springer, Berlin pp. 228-236. ISBN 9783540290674. (The full text of this publication is not available from this repository)

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

Barnes, David J. and Hopkins, Tim (2000) The Evolution and Testing of a Medium Sized Numerical Package. In: Langtangen, 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 (2003) The impact of programming paradigms on the efficiency of an individual-based simulation model. Simulation Modelling Practice and Theory, 11 (7-8). pp. 557-569. ISSN 1569-190X. (The full text of this publication is not available from this repository)

Barnes, David J. and 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]
Preview
[img]
Preview

Barnes, Frederick R.M. (2006) Compiling CSP. In: Proceedings of Communicating Process Architectures 2006 (CPA-2006), Edinburgh, Scotland. (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 9781586035617. (The full text of this publication is not available from this repository)

Barnes, Frederick R.M. and Welch, Peter H. (2004) Communicating Mobile Processes. In: Communicating Process Architectures 2004, Sep 05-08, 2004 , Oxford Brooks Univ, Oxford, England, . (Full text available)
[img]
Preview

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: Communicating Process Architectures 2008. (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. Conference on Programming Language Design and Implementation archive. 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 PB. (The full text of this publication is not available from this repository)

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 available from this repository)

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. (The full text of this publication is not available from this repository)

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

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

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. (The full text of this publication is not available from this repository)

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

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

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

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

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

Boiten, Eerke 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 . (The full text of this publication is not available from this repository)

Boiten, Eerke 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 and Bowman, Howard and Derrick, John and Steen, Maarten (1996) Issues in multiparadigm viewpoint specification. In: UNSPECIFIED. (Full text available)
[img]
Preview
[img]
Preview

Boiten, Eerke and Bowman, Howard and Derrick, John and Steen, Maarten (1997) Viewpoint consistency in Z and LOTOS: A case study. In: UNSPECIFIED. (Full text available)
[img] [img]
Preview

Boiten, Eerke 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. Lecture Notes in Computer Science (TUM-I0323). Technische Universitat Munchen pp. 47-62. (The full text of this publication is not available from this repository)

Boiten, Eerke 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 available from this repository)

Boiten, Eerke 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. (The full text of this publication is not available from this repository)

Boiten, Eerke and Derrick, John (1998) Grey Box Data Refinement. In: International Refinement Workshop & Formal Methods Pacific '98, 1998; Sep, Canberra, Australia. (Full text available)
[img]
Preview

Boiten, Eerke and Derrick, John (1998) IO - refinement in Z. In: Evans, Andy and Duke, David J. and Clark, Tony, eds. 3rd Northern Formal MethodsWorkshop, 1998. Electronic Workshops in Computing. Springer Verlag ISBN 1-902505-14-X. (Full text available)
[img]
Preview

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

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

Boiten, Eerke and Derrick, John (2002) Unifying concurrent and relational refinement. Electronic Notes in Theoretical Computer Science, 70 (3). pp. 94-131. ISSN 1571-0661. (The full text of this publication is not available from this repository)

Boiten, Eerke 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 and Derrick, John and Bowman, Howard and Steen, Maarten (1997) Coupling schemas: data refinement and view(point)composition. In: Northern formal methods, 1997; Jul, Ilkley. (The full text of this publication is not available from this repository)

Boiten, Eerke and Derrick, John and Bowman, Howard and Steen, Maarten (1995) Unification and multiple views of data in Z. In: UNSPECIFIED. (Full text available)
[img]
Preview
[img]
Preview

Boiten, Eerke 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 available from this repository)

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

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

Bonnici, Eric and Welch, Peter H. (2009) Mobile Processes, Mobile Channels and Dynamic Systems. In: 2009 IEEE Congress on Evolutionary Computation (CEC 2009). (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 . (The full text of this publication is not available from this repository)

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 available from this repository)

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

Bordbar, 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 . (The full text of this publication is not available from this repository)

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, 28 March 2000, London, UK, . (Full text available)
[img]
Preview

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

Bordbar, Behzad and Giacomini, Luisa and Holding, David J. (2000) Hybrid Control Systems: a Design Case Study. In: Control Applications, 2000. Proceedings of the 2000 IEEE International Conference on. IEEE, Alaska, USA pp. 947-952. ISBN 0-7803-6562-3. (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: Control Applications, 2000. Proceedings of the 2000 IEEE International Conference on. IEEE, Alaska, USA pp. 610-615. ISBN 0-7803-6562-3. (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. (The full text of this publication is not available from this repository)

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. (The full text of this publication is not available from this repository)

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 . (The full text of this publication is not available from this repository)

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: Multimedia Transport and Teleservices, International COST 237 Workshop. (The full text of this publication is not available from this repository)

Bowman, Howard and Boiten, Eerke 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. (The full text of this publication is not available from this repository)

Bowman, Howard and Boiten, Eerke and Derrick, John and Steen, Maarten (1996) Viewpoint consistency in ODP, a general interpretation. In: UNSPECIFIED. (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. Proceedings of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems. Chapman and Hall pp. 335-351. ISBN 0-412-82040-4 . (Full text available)
[img] [img]
Preview

Bowman, Howard and Bryans, Jeremy W. and Derrick, John (1998) Analysis of a Multimedia Stream using Stochastic Process Algebra. In: Sixth International Workshop on Process Algebras and Performance Modelling, 1998. (Full text available)
[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 . (The full text of this publication is not available from this repository)

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

Bowman, 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 available from this repository)

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 available from this repository)

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 (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 available from this repository)

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 available from this repository)

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. (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 . (The full text of this publication is not available from this repository)

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: FMICS'98, Third Internatinoal Workshop on Formal Methods for Industrial Crtical Systems. (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, Jun 03-05, 1998, Abington, England, . (Full text available)
[img]
Preview
[img]
Preview

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

Bowman, Howard and Steen, Maarten and Boiten, Eerke 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

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), June 2007, Edinburgh, Scotland. (The full text of this publication is not available from this repository)

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

Brown, Neil C.C. (2007) C++CSP2: A Many-to-Many Threading Model for Multicore Architectures. In: Communicating Process Architectures 2007, 2007. (Full text available)
[img]
Preview

Brown, Neil C.C. (2008) Communicating Haskell Processes: Composable Explicit Concurrency Using Monads. In: Communicating Process Architectures 2008. (Full text available)
[img]
Preview

Brown, Neil C.C. and Sampson, Adam T. (2008) Matching and Modifying with Generics. In: Trends in Functional Programming (TFP) 2008. (Full text available)
[img]
Preview

Brown, Neil C.C. and Smith, Marc L. (2008) Representation and Implementation of CSP and VCR Traces. In: Communicating Process Architectures 2008, Sep 07-10, 2008, York, England. (Full text available)
[img]
Preview

Brown, Neil C.C. and Welch, Peter H. (2003) An Introduction to the Kent C++CSP Library. In: Communicating Process Architectures 2003, SEP 07-10, 2003 , UNIV Twente, Enschde, Nederlands. (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: Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 2000. Proceedings. Lecture Notes in Comuter Science, 1945. Springer pp. 176-193. ISBN 3-540-41196-8. (Full text available)
[img]
Preview
[img]
Preview

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

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 available from this repository)

Butterfield, Andrew and Woodcock, Jim (2003) An operational semantics for Handel-C. Electronic Notes in Theoretical Computer Science, 80 . pp. 1-16. ISSN 1571-0661. (The full text of this publication is not available from this repository)

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

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, Garmisch-Partenkirchen, Germany. (The full text of this publication is not available from this repository)

Caspersen, Michael E. and Kölling, Michael (2009) STREAM: A First Programming Process. Transactions of Computing Education, 9 (1). p. 1. ISSN 1946-6226. (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 available from this repository)

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. (The full text of this publication is not available from this repository)

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

Cavalcanti, 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 . (The full text of this publication is not available from this repository)

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

Cavalcanti, 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 available from this repository)

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 9783540439288. (The full text of this publication is not available from this repository)

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, June 5-7, 2002, Rio de Janeiro. (The full text of this publication is not available from this repository)

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

Cavalcanti, 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. (The full text of this publication is not available from this repository)

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 available from this repository)

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 available from this repository)

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 . (The full text of this publication is not available from this repository)

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. (The full text of this publication is not available from this repository)

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

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

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

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. (The full text of this publication is not available from this repository)

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

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: Proceedings of the 16th International Conference on Computer Safety, Reliability and Security (SAFECOMP'97). (Full text available)
[img]
Preview
[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 available from this repository)

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

Chadwick, David W. (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 9783540260424. (Full text available)
[img]
Preview

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

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

Chilimbi, Trishul and Jones, Richard E. and Zorn., Benjamin (2000) Designing a Trace Format for Heap Allocation Events. In: ISMM2000 International Symposium on Memory Management, Oct 15-16, 2000, Minneapolis, Minnesota, . (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 available from this repository)

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. Object Modeling with the OCL. LNCS 2263, 2263/2002. Springer-Verlag, Berlin pp. 440-443. ISBN 978-3-540-43169-5. (The full text of this publication is not available from this repository)

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

Clark, Anthony and Evans, Andy and Kent, Stuart (2003) Aspect-Oriented Metamodelling. Computer Journal, 46 (5). pp. 566-577. ISSN 0010-4620 . (The full text of this publication is not available from this repository)

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

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

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

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. (The full text of this publication is not available from this repository)

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

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

Cook, 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 available from this repository)

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. (The full text of this publication is not available from this repository)

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 available from this repository)

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

Cook, 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 available from this repository)

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

Cook, 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. (The full text of this publication is not available from this repository)

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 available from this repository)

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 available from this repository)

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 available from this repository)

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 available from this repository)

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: TOOLS Pacific 99 Conference Proceedings, Nov 22-25, 1999, Melbourne, Vic., Australia. (The full text of this publication is not available from this repository)

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

Cook, 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 available from this repository)

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

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

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 available from this repository)

Cornélioa, Márcio and Cavalcanti, Ana L. C. and Sampaio, Augusto C.A. (2002) Refactoring by Transformation. In: Proceedings of REFINE'2002, 20th-21st July 2002, Copenhagen, Denmark. (The full text of this publication is not available from this repository)

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. (The full text of this publication is not available from this repository)

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 (1997) A Hybrid Approach to Quality of Service Multicast Routing. In: ATM'97 Fifth IFIP Workshop on Performance Modelling and Evaluation of ATM Networks. Participants Proceedings: Research Papers.. (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: ATM'98 Sixth IFIP Wokshop on Performance Modelling and Evaluation of ATM Networks. Participants Proceedings: Tutorial Papers. (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 available from this repository)

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 available from this repository)

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

Derrick, John and Boiten, Eerke (2001) Refinement in Z and Object-Z: Foundations and Advanced Applications. Formal Approaches to Computing and Information Technology . Springer ISBN 1-85233-245-X. (The full text of this publication is not available from this repository)

Derrick, John and Boiten, Eerke (2003) Relational Concurrent Refinement. Formal Aspects of Computing, 15 (2-3). pp. 182-214. ISSN 0934-5043. (The full text of this publication is not available from this repository)

Derrick, John and Boiten, Eerke (1999) Separating component and context specification using Promotion. In: International conference on Integrated Formal Methods 1999 (IFM'99), June 28-29, 1999, York, UK. (Full text available)
[img]
Preview
[img]
Preview

Derrick, John and Boiten, Eerke (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 and Bowman, Howard and Steen, Maarten (1996) Supporting ODP - Translating LOTOS into Z. In: UNSPECIFIED. (Full text available)
[img]
Preview
[img]
Preview

Derrick, John and Boiten, Eerke and Bowman, Howard and Steen, Maarten (1997) Translating LOTOS to Object-Z. In: 2nd BCS-FACS Northern Formal Methods Workshop : Proceedings of the 2nd BCS-FACS Northern Formal Methods Workshop, 14-15 July, 1997, Ilkley, U. K.. (The full text of this publication is not available from this repository)

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

Dimmich, Damian J. and Jacobsen, Christian L. (2005) A Foreign Function Interface Generator for occam-pi. In: Communicating Process Architectures 2005. (Full text available)
[img]
Preview

Dimmich, Damian J. and Jacobsen, Christian L. and Jadud, Matthew C. (2006) A Cell Transterpreter. In: Communicating Process Architectures 2006: WoTUG-29. (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 (IMSA '99), Oct 18 – 21, 1999, Nassau, Bahamas. (The full text of this publication is not available from this repository)

Duran, Adolfo and Cavalcanti, Ana L. C. and Sampaio, Augusto C.A. (2003) A Strategy for Compiling Classes, Inheritance, and Dynamic Binding. In: FME 2003: Formal Methods - International Symposium of Formal Methods Europe, SEP 08-14, 2003, Pisa Italy . (The full text of this publication is not available from this repository)

Duran, Adolfo and Sampaio, Ana and Cavalcanti, Augusto (2002) Refinement Algebra for Formal Bytecode Generation. In: Lecture Notes in Computer Science. Springer-Verlag pp. 347-358. ISBN 978-3-540-00029-7. (The full text of this publication is not available from this repository)

Duran, 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 available from this repository)

da Cunha, Rudnei Dias and Hopkins, Tim (1991) A Comparative Study of Iterative Methods to Solve Systems of Linear Equations using Transputer Networks. Technical report. UKC, University of Kent, Canterbury, UK (The full text of this publication is not available from this repository)

da Cunha, Rudnei Dias and Hopkins, Tim (1994) A Comparison of Acceleration Techniques Applied to the SOR Method. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, UK (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 (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 (1991) Parallel Overrelaxation Algorithms for Systems of Linear Equations. Technical report. UKC, University of Kent, Canterbury, UK (The full text of this publication is not available from this repository)

da Cunha, Rudnei Dias and Hopkins, Tim (1993) Parallel Preconditioned Conjugate-Gradients Methods on Transputer Networks. Technical report. UKC, University of Kent, Canterbury, UK (Full text available)
[img]
Preview

da Cunha, Rudnei Dias and Hopkins, Tim (1993) Porting Linear Algebra Subroutines from Transputers to Clusters of Workstations. Technical report. University of Kent, Canterbury, UK, University of Kent, Canterbury, UK (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 available from this repository)

da Cunha, Rudnei Dias and Hopkins, Tim (1993) Using parallel programming environments on clusters of workstations. Technical report. UKC, University of Kent, Canterbury, UK (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).. (The full text of this publication is not available from this repository)

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: Proceedings of the 6th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC-03), May 14-16, 2003, Hakodate, Japan . (The full text of this publication is not available from this repository)

de C. Guerra, P.A. and Rubira, Cecilia M. F. and Romanovsky, Alexander and de Lemos, Rogério (2004) A Dependable Architecture for COTS-Based Software Systems using Protective Wrappers. Architecting Dependable System II , 3069 . pp. 144-166. ISSN 0302-9743 . (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. Architectecting Dependable Systems, 2677 . pp. 129-149. ISSN 0302-9743. (The full text of this publication is not available from this repository)

de Lemos, Rogério (2000) A Co-operative Object-Oriented Architecture for Adaptive Systems. In: UNSPECIFIED, 04/03/2000 - 04/07/2000, Edinburgh, UK. (Full text available)
[img]
Preview
[img]
Preview

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 . (The full text of this publication is not available from this repository)

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. (The full text of this publication is not available from this repository)

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 9783540289685. (The full text of this publication is not available from this repository)

de Lemos, Rogério (2001) Describing Evolving Dependable Systems using Co-operative Software Architectures. In: IEEE International Conference on Software Maintenance (ICSM 2001), 7-9 Nov. 2001. (Full text available)
[img]
Preview

de Lemos, Rogério (2006) Idealised Fault Tolerant Architectural Element. In: The International Conference on Dependable Systems and Networks (DSN-2006), 25-28 June 2006, Philadelphia, Pennsylvania (USA). (The full text of this publication is not available from this repository)

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

de Lemos, Rogério (2001) Representing Exceptional Behaviour at the earlier Phases of Software Development. In: Proceedings of the 9th Brazilian Symposium of Fault-Tolerant Computing (SCTF). (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), 11/15/2000 - 11/17/2000, Albuquerque, NM, USA. (Full text available)
[img]
Preview

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 available from this repository)

de Lemos, Rogério and Fiadeiro, J. (2002) An Architectural Support for Self-Adaptive Software for Treating Faults. In: Proceedings of the 1st ACM SIGSOFT Workshop on Self-Healing Systems (WOSS'02), Nov 18-19, 2002, Charleston, SC, USA. (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. (The full text of this publication is not available from this repository)

de Lemos, Rogério and Gacek, Cristina and Romanovsky, Alexander (2004) Architecting Dependable Systems II. Lecture Notes in Computer Science, 3069 . Springer, 363 pp. ISBN 978-3540231684. (The full text of this publication is not available from this repository)

de Lemos, Rogério and Gacek, Cristina and Romanovsky, Alexander (2003) Architectural Mismatch Tolerance. Artchiteching Dependable Systems, 2677 . pp. 175-196. ISSN 0302-9743. (The full text of this publication is not available from this repository)

de Lemos, Rogério and Hall, Jon G. (1996) Extended RTL in the Specification and Verification of an Industrial Press. In: Hybrid Systems III. (The full text of this publication is not available from this repository)

de Lemos, 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). (The full text of this publication is not available from this repository)

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), May 02-05, 1999, Saint Malo, France. (The full text of this publication is not available from this repository)

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 available from this repository)

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), Sep 28-29, 1999, Toulouse, France. (The full text of this publication is not available from this repository)

de Lemos, Rogério and Saeed, Amer and Anderson, Tom (1996) Analysis of Safety Requirements for a Chemical Batch Processing System. In: Proceedings of the 2nd IFAC Workshop on Safety and Reliability in Emerging Control Technologies. (The full text of this publication is not available from this repository)

de Lemos, Rogério and da S Weber, T. and Camargo Jr, J.B. (2003) Dependable Computing. In: Proceedings of the First Latin American Symposium on Dependable Computing. (The full text of this publication is not available from this repository)

de 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. (The full text of this publication is not available from this repository)

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 available from this repository)

El-Giar, Mohamed Osama and Hopkins, Tim (1989) The Parallel Solution of Linear Elliptic Equations using Hopscotch Algorithms. Technical report. UKC, University of Kent, Canterbury, UK (The full text of this publication is not available from this repository)

El-Giar, Osama and Hopkins, Tim (1992) A Generally Configurable Multigrid Implementation for Transputer Networks. Technical report. I O S Press, University of Kent, Canterbury, UK (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, October 28-30, 1999, Ft Collins, Colorado, USA. (Full text available)
[img]
Preview

Evans, Andy and Kent, Stuart and Selic, Bran (2000) Proceedings of UML 2000. In: LNCS, October 2-6, 2000, York, England. (The full text of this publication is not available from this repository)

F

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. (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: Special Issues in Object-Oriented Programming - Workshop Reader of the 10th European Conference on Object-Oriented Programing ECOOP'96. (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 . (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 available from this repository)

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), JUN 30-JUL 02, 2008, Madrid, SPAIN. (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, Sept. 3-6, 2002, Arlington, VA, . (The full text of this publication is not available from this repository)

Freitas, Angela and Nascimento, Carla M. and Cavalcanti, Ana L. C. (2003) A Refinement Tool for Z. In: Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003. (The full text of this publication is not available from this repository)

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 available from this repository)

Freitas, Leonardo and Cavalcanti, Ana L. C. and Moura, Hermano (2001) Animating CSPm using Action Semantics. In: Proceedings of IV Workshop em Metodos Formais. (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, October 2002, Brazil. (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. (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: Workshop on Memory and Learning Mechanisms in Autonomous Robots, August 2005, Canterbury, United Kingdom. (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: Computational Advances in Multi-Sensor Adaptive Processing, 2007. CAMPSAP 2007. 2nd IEEE International Workshop on. 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: 39th IEEE Conference on Decision and Control, Dec 12-15, 2000, Sydney, Australia. (The full text of this publication is not available from this repository)

Gil, Joseph and Howse, John and Kent, Stuart (1999) Constraint Diagrams: A Step Beyond UML. In: Technology of Object-Oriented Languages and Systems (TOOLS USA'99), August 01-05, 1999, Santa Barbara, California , USA. (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). IEEE Computer Society Press pp. 130-137. ISBN 0-7695-0216-4. (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. (The full text of this publication is not available from this repository)

Gil, Y. and Kent, Stuart (1998) Three Dimensional Software Modelling. In: Proceedings of the 20th 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), 09/10/2000 - 09/13/2000, Seattle, WA, USA. (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-3540199779 . (The full text of this publication is not available from this repository)

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 available from this repository)

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. (The full text of this publication is not available from this repository)

Hamie, Ali and Civello, Franco and Howse, John and Kent, Stuart and Mitchell, Richard (1998) Reflections on the Object Constraint Language. In: Selected papers from the First International Workshop on The Unified Modeling Language «UML»'98: Beyond the Notation. 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: Software Engineering Conference, 1998. Proceedings. 1998 Asia Pacific. IEEE Press pp. 288-295. ISBN 0-8186-9183-2. (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. (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. (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. (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 available from this repository)

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 available from this repository)

Hatton, Leslie (1998) Improvisation and ear-training for guitarists. In preparation (The full text of this publication is not available from this repository)

Hatton, Leslie (1996) Is modularisation always a good idea. International Software Technology, 38 . (The full text of this publication is not available from this repository)

Hatton, Leslie (1996) Keynote paper at WoCo7. In: UNSPECIFIED. (The full text of this publication is not available from this repository)

Hatton, Leslie (1997) Keynote paper in COMPASS'97. In: Conference on Computer Software Assurance and Safety. (The full text of this publication is not available from this repository)

Hatton, Leslie (1997) Keynote paper in ESSE-SCOPE'97. In: European Conference on Software Process Improvement. (The full text of this publication is not available from this repository)

Hatton, Leslie (1996) Keynote paper in EUROSTAR'96. In: Conference on Software Testing, Analysis and Review. (The full text of this publication is not available from this repository)

Hatton, Leslie (1998) Keynote paper in ISTCS'98. In: Conference on Computer Software Testing. (The full text of this publication is not available from this repository)

Hatton, Leslie (1996) Keynote paper in STAR'96. In: Conference on Software Testing, Analysis and Review. (The full text of this publication is not available from this repository)

Hatton, Leslie (1998) Programming technology, reliability, safety and measurement. IEE Computing and Control Engineering Journal, 9 (1). pp. 23-27. ISSN 0956-3385. (The full text of this publication is not available from this repository)

Hatton, Leslie (1997) Re-examining the fault density - component size connection. IEE Software, 14 (2). pp. 89-97. ISSN 0740-7459 . (The full text of this publication is not available from this repository)

Hatton, Leslie (1998) Software Failure: avoiding the avoidable and living with the rest. Addison Wesley ISBN 978-0201398380 . (The full text of this publication is not available from this repository)

Hatton, Leslie (1996) Software Faults: the avoidable and the unavoidable: lessons from real systems. In: Proceedings of Product Assurance Workshop, ESA SP-377. (The full text of this publication is not available from this repository)

Hatton, Leslie (1997) Software failures - follies and fallacies. IEE Review, 43 (2). pp. 49-54. ISSN 0013-5127 . (The full text of this publication is not available from this repository)

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 available from this repository)

Hatton, Leslie (1997) The Year 2000: How much should we worry? Eurostar'97, Edinburgh . (The full text of this publication is not available from this repository)

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 available from this repository)

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 available from this repository)

Hatton, Leslie (1994) A Case History of Automated Improvement of Software Product Quality. Software Quality Assurance and Measurement, Fenton N (ed) . (The full text of this publication is not available from this repository)

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 available from this repository)

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 available from this repository)

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

Hatton, Leslie (1995) Computer Programming Languages and Safety-Related Systems. In: Proceedings of 3rd Safety-Critical Systems Symposium. (The full text of this publication is not available from this repository)

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 available from this repository)

Hatton, Leslie (2000) Embedded software testing. In: The European Software Testing (TEST) Congress 2000, London. (The full text of this publication is not available from this repository)

Hatton, Leslie (2001) Exploring the role of diagnosis in software failure. IEEE Software, 18 (4). pp. 34-39. ISSN 0740-7459 . (The full text of this publication is not available from this repository)

Hatton, Leslie (2001) Keynote Paper in ESCOM 2001. In: Software defects: how do we satisfy customers in the long term?. (The full text of this publication is not available from this repository)

Hatton, Leslie (2001) Keynote Paper in ITiCSE Conference. In: Computer Science Education or Computer Fashion Awareness?, September 2001, UKC. (The full text of this publication is not available from this repository)

Hatton, Leslie (2002) Memorability and Invisibility: A tale of two alarm clocks and other stories from the front line. In: HCI Conference, 2002, London. (The full text of this publication is not available from this repository)

Hatton, Leslie (1997) N-version Design vs. One Good Version. IEEE Software, 14 (6). pp. 71-76. ISSN 0740-7459. (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, 18th Sept, 1999, Oxford, UK. (The full text of this publication is not available from this repository)

Hatton, Leslie (1999) Repetitive failure, feedback and diagnosis. In: JUSE'99, Conference of Japanese Union of Scientists and Engineers. (The full text of this publication is not available from this repository)

Hatton, Leslie (1999) Repetitive failure, feedback and the lost art of diagnosis. In: European Conference on Optimising Software Development and Maintenance (ESCOM'99), 27-29 April 1999, Herstmonceux, UK. (The full text of this publication is not available from this repository)

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. (The full text of this publication is not available from this repository)

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 available from this repository)

Hatton, Leslie (2000) Safer language subsets: issues in developing reliable and fast software. UNSPECIFIED. (The full text of this publication is not available from this repository)

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

Hatton, Leslie (2002) Static Analysis. In: van Veenendaal, Erik, ed. The Testing Practitioner. UTN Publishers. ISBN 9072194659. (The full text of this publication is not available from this repository)

Hatton, Leslie (2000) Testing Embedded C Programs. UNSPECIFIED. (The full text of this publication is not available from this repository)

Hatton, Leslie (1999) Testing is not a phase. In: The 1999 US Conference on Software Testing, Analysis and Review (STAR'99). (The full text of this publication is not available from this repository)

Hatton, Leslie (1999) Testing: the influence of complexity, coupling, diagnosis and repetitive failure. In: EuroStar'99, European Conference on Software Testing, Analysis and Review, Nov 8 - 12, 1999, Barcelona, Spain. (The full text of this publication is not available from this repository)

Hatton, Leslie (2002) The Power of Modern Testing: but do we use it ? In: The Power of Modern Testing, September 2002, Anaheim. (The full text of this publication is not available from this repository)

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

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 available from this repository)

Hatton, Leslie (2002) eRisk and eBenefit: the eConomics of software testing. In: Quantifying Test Value: some examples and a case study, 12 October 2000, Edinbrugh. (The full text of this publication is not available from this repository)

Hatton, Leslie and Hennell, M. (2000) Balancing static and dynamic testing for embedded control systems. In: Proceedings of 2nd World Congress on software quality. (The full text of this publication is not available from this repository)

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 available from this repository)

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 available from this repository)

Hausmann, J.H. and Kent, Stuart (2003) Visualizing Model Mappings in UML. In: Proceedings of the ACM Symposium on Software Visualization, 2003; Jun, San Diego, CA. (The full text of this publication is not available from this repository)

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 available from this repository)

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. (The full text of this publication is not available from this repository)

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. (Full text available)
[img]
Preview
[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. Technical report. CL, Canterbury, UK (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 (1997) New Implementations of the Spectral Test. Technical report. University of Kent (Full text available)
[img] [img]
Preview

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

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

Hopkins, Tim and Barnes, David J. (2003) Testing a Medium Sized Numerical Package: A Case Study. In: Psihoyios, G., ed. NaCoM-2003 Extended Abstracts. Wiley ISBN 3-527-40462-7. (The full text of this publication is not available from this repository)

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 available from this repository)

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. (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. (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. (1997) The implementation and visualization of a large spatial individual-based model using Fortran 90. In: Environmental Software Systems, Volume 2. (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 available from this repository)

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 available from this repository)

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), Sep 13-16, 1999, Tokyo, Japan. (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 . (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: Transputer Applications and Systems '95 - Proceedings of World Transputer Congress 1995., SEP 04-06, 1995, Harrogate, England. (The full text of this publication is not available from this repository)

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, June 22-25, 1999, San Jose, California, USA. (The full text of this publication is not available from this repository)

J

Jacobsen, Christian L. and Jadud, Matthew C. (2007) Concurrency, Robotics, and RoboDeb. In: Proceedings of AAAI Robotics and Education. (The full text of this publication is not available from this repository)

Jacobsen, Christian L. and Dimmich, Damian J. and Jadud, Matthew C. (2006) Native Code Generation Using the Transterpreter. In: Communicating Process Architectures 2006: WoTUG-29. (Full text available)
[img]
Preview

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. (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. (The full text of this publication is not available from this repository)

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), NOV 10-11, 2008, Woburn, MA. (Full text available)
[img]
Preview

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. Seventh IEEE International Workshop on Policies for Distributed Systems and Networks, Proceedings. IEE Computer Society, Washington, DC (USA) pp. 239-242. ISBN 0-7695-2598-9. (The full text of this publication is not available from this repository)

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. (The full text of this publication is not available from this repository)

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 available from this repository)

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 available from this repository)

Jones, Richard E. (2000) Memeory Management Session Overview. In: Persistent Object Systems: Design, Implementation, and Use. (The full text of this publication is not available from this repository)

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 available from this repository)

Jones, Richard E. (1990) Tail Recursion Without Space Leaks. Technical report. UKC, University of Kent, Canterbury, UK 72*. (The full text of this publication is not available from this repository)

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 available from this repository)

Jones, Richard E. (1993) Zed --- a Z specification language Type 1 font. UNSPECIFIED. (The full text of this publication is not available from this repository)

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 available from this repository)

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

Jones, Richard E. and Jul, Eric (1999) Garbage Collection. In: OOPSLA'99 Conference on Object-Oriented Programming, Systems, Languages and Applications, November 1-5, 1999, Denver, Colorado, USA. (The full text of this publication is not available from this repository)

Jones, Richard E. and Jul, Eric (2000) Introduction to Memory Management and Garbage Collection. ACM SIGPLAN. (The full text of this publication is not available from this repository)

Jones, Richard E. and Lins, Rafael D. (1993) Cyclic Weighted Reference Counting without Delay. In: Proceedings of PARLE'93. (The full text of this publication is not available from this repository)

Jones, Richard E. and Lins, Rafael D. (1992) Cyclic Weighted Reference Counting without Delay. Technical report. UKC, University of Kent, Canterbury, UK 28-92*. (The full text of this publication is not available from this repository)

Jones, Richard E. and Ryder, Chris (2008) A Study of Java Demographics. In: Proceedings of the 2008 International Symposium on Memory Management (ISMM'08), Jun 07-08, 2008, Tucson, AZ. (Full text available)
[img]
Preview

Jones, Richard E. and Ryder, Chris (2006) Garbage Collection Should Be Lifetime Aware. In: International Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS'2006), 3 July 2006, Nantes, France. (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. (The full text of this publication is not available from this repository)

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 available from this repository)

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 available from this repository)

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

Kent, Stuart (2002) Model Driven Engineering. In: Michael, J.Butler and Kaisa, Sere and Luigia, Petre, eds. Lecture Notes In Computer Science. LNCS 2335, 2335. Springer-Verlag pp. 286-298. ISBN 3-540-43703-7 . (The full text of this publication is not available from this repository)

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 available from this repository)

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

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

Kent, Stuart and Evans, Andy and Rumpe, Bernhard (1999) UML Semantics FAQ. In: Moreira, Ana, ed. Object-Oriented Technology ECOOP’99 Workshop Reader. Lecture Notes in Computer Science, 1743. Springer Verlag, LNCS pp. 33-56. ISBN 978-3-540-66954-8. (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. (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. (Full text available)
[img]
Preview

Kent, Stuart and Hamie, Ali and Howse, John and Civello, Franco and Mitchell, Richard (1997) Semantics through Pictures. In: Proceedings of the Workshops on Object-Oriented Technology. 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. Object Modeling with the OCL. LNCS 2263, 2263/2002. Springer-Verlag, Berlin pp. 427-430. ISBN 978-3-540-43169-5. (The full text of this publication is not available from this repository)

Kent, Stuart and Howse, John (1999) Mixing Visual and Textual Constraint Languages. In: 2nd International Conference on the Unified Modeling Language (UML 99), Oct 28-30, 1999, Ft Collins, Colorado. (Full text available)
[img]
Preview

Kent, Stuart and Howse, John (1996) Value Types in Eiffel. In: Proceedings of TOOLS Europe'96 (TOOLS 19). (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. (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. (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 9780792371779. (The full text of this publication is not available from this repository)

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 available from this repository)

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), 4-6 Jan 1993 , San Diego, CA. (The full text of this publication is not available from this repository)

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

Kent, Stuart and Maung, Ian (1995) Quantified Assertions in Eiffel. In: Proceedings of TOOLS PACIFIC 95 (TOOLS 18). (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 available from this repository)

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: Proceedings of the OOPSLA'97 Workshop on object-oriented behavioral semantics. (The full text of this publication is not available from this repository)

King, Andrew C. (2002) Removing GC Synchronisation. In: Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications. 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 available from this repository)

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. Selected papers from the First International Workshop on The Unified Modeling Language «UML»'98: Beyond the Notation. Lecture Notes in Computer Science, 1618. Springer-Verlag pp. 148-161. ISBN 3-540-66252-9 . (The full text of this publication is not available from this repository)

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 available from this repository)

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, Oct 2000. (The full text of this publication is not available from this repository)

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. (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 available from this repository)

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 3rd International Enterprise Distributed Object Computing Conference (EDOC 99), Sep 27-30, 1999, Mannheim, Germany. (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 - Collected Papers from the EPSRC Research Programme. Springer-Verlag, England pp. 225-240. ISBN 978-1852333997. (The full text of this publication is not available from this repository)

Lauder, Anthony and Kent, Stuart (1998) Precise Visual Specification of Design Patterms. In: Proceedings of the 12th European Conference on Object-Oriented Programming. 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), 4-7 July 2000, Stafford, UK. (The full text of this publication is not available from this repository)

Lauder, Anthony and Kent, Stuart (1999) Two-Level Modeling. In: 31st International Conference on Technology of Object-Oriented Language and Systems, 1999, (TOOLS Asia 99), Sep 22-25, 1999, Nanjing, China. (Full text available)
[img]
Preview

Lehane, Andrew and Tripp, Gerald (2007) Detecting Suspicious Intrusions into Next-Generation Networks. Agilent Measurement Journal (Issue 2. Second Quarter 2007). pp. 58-63. (The full text of this publication is not available from this repository)

Lindsey, Donna and Linington, Peter F. (1996) RIVUS: A Stream Template Language for Capturing Multimedia Requirements. In: Teleservices and Multimedia Communications (Proc. 2nd COST 237 Int. Workshop). (The full text of this publication is not available from this repository)

Linington, Peter F. (2003) A policy-based model-driven security framework. In: Middleware 2003 Companion:Workshop Proceedings, June 2003. (The full text of this publication is not available from this repository)

Linington, Peter F. (1999) An ODP approach to the development of large middleware systems. In: Kutvonen, Lea and Konig, H. and Tienari, M., eds. Distributed Applications and Interoperable Systems II, Helsinki. Kluwer Academic Publishers, USA pp. 61-74. ISBN 0-7923-8527-6. (The full text of this publication is not available from this repository)

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: Contract Architectures and Languages workshop (CoALa2004), September 2004, Monterey, California, USA. (Full text available)
[img]
Preview

Linington, Peter F. (2007) Black Cats and Yellow Birds - What do Viewpoint Correspondences Do? In: Workshop on ODP for Enterprise Computing (WODPEC2007), 2007. (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 0521771846. (The full text of this publication is not available from this repository)

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 0521771846. (The full text of this publication is not available from this repository)

Linington, Peter F. (2004) Model Driven Development and Non-functional Aspects. In: WMDD 2004 Workshop, ECOOP 2004, June 2004. , Oslo, Norway,. (The full text of this publication is not available from this repository)

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 (EDOC '99), 27-30 Sept. 1999, Mannheim, Germany. (The full text of this publication is not available from this repository)

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. EDOCW. IEEE Digital Library p. 37. ISBN 0-7695-2743-4. (The full text of this publication is not available from this repository)

Linington, Peter F. (1999) RISCSIM - A Simulator for Object-based Systems. In: Proceedings of the UKSIM'99 Conference of the UK Simulation Society. (The full text of this publication is not available from this repository)

Linington, Peter F. (1995) RM-ODP: The Architecture. In: Open Distributed Processing: Experience with Distributed Environments. (The full text of this publication is not available from this repository)

Linington, Peter F. (2004) The Role of Contracts in Establishing Interoperability of Enterprise Systems. In: INTEREST 2004 Workshop, ECOOP 2004, June 2004. , Oslo, Norway, June 2004. . (The full text of this publication is not available from this repository)

Linington, Peter F. (2004) What Foundations does the RM-ODP need? In: Workshop on ODP for Enterprise Computing (WODPEC 2004). (Full text available)
[img]
Preview

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

Linington, Peter F. and Frank, W.F. (2001) Specification and Implementation in ODP. In: Proceedings of the 1st Workshop on Open Distributed Processing: Enterprise, Computation, Knowledge, Engineering and Realisation. (The full text of this publication is not available from this repository)

Linington, Peter F. and Liyanagama, Pulitha (2007) Incorporating Security Behaviour into Business Models Using a Model Driven Approach. In: Enterprise Distributed Object Computing Conference, 2007. EDOC 2007. 11th IEEE International. IEEE Press pp. 405-415. ISBN 978-0-7695-2891-5 . (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. (The full text of this publication is not available from this repository)

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. (The full text of this publication is not available from this repository)

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. IEEE Computer Society. IEEE Computer Society, Lake Como, Italy pp. 207-218. ISBN 0 7695 1933 4. (The full text of this publication is not available from this repository)

Linington, Peter F. and Tripp, Gerald (2000) Two-point ATM Switching System Measurements. In: Technical Proceedings, Eighth IFIP Workshop on Performance Modelling and Evaluation of ATM and IP Networks (ATM and IP 2000). (The full text of this publication is not available from this repository)

Lins, Rafael D. and Jones, Richard E. (1993) Cyclic Weighted Reference Counting. In: WP & FP'93 Workshop on Parallel and Distributed Processing, Sofia, Bulgaria. (The full text of this publication is not available from this repository)

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 available from this repository)

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). (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 available from this repository)

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. (The full text of this publication is not available from this repository)

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 available from this repository)

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. (The full text of this publication is not available from this repository)

Mander, Keith C. and Polack, Fiona A.C. and Whiston, Mark (1993) The SAZ Method: Version 1.0. In: YCS 207. (The full text of this publication is not available from this repository)

Mander, Keith C. and Polack, Fiona A.C. and Whiston, Mark (1993) The SAZ Project: Integrating SSADM and Z. In: Proceedings JFIT conference. (The full text of this publication is not available from this repository)

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). (The full text of this publication is not available from this repository)

Marion, Sebastien and Jones, Richard E. and Ryder, Chris (2007) Decrypting The Java Gene Pool: Predicting Objects' Lifetimes with Micro-patterns. In: International Symposium on Memory Management (ISMM07). ACM, Montreal, Canada pp. 67-78. ISBN 978-1-59593-893-0 . (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. (The full text of this publication is not available from this repository)

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 available from this repository)

Meira, Silvio Lemos and Cavalcanti, Ana L. C. (1990) Modular Object-Oriented Z Specifications. In: Z User Workshop. (The full text of this publication is not available from this repository)

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 available from this repository)

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. (The full text of this publication is not available from this repository)

Miarka, Ralph and Boiten, Eerke and Derrick, John (2000) Guards, Preconditions, and Refinement in Z. In: ZB2000: Formal Specification and Development in Z and B / First International Conference of B and Z Users. (The full text of this publication is not available from this repository)

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. WEC. IEEE Computer Society, Washington, DC, USA pp. 62-70. ISBN ISBN 0-7695-2184-3. (The full text of this publication is not available from this repository)

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. IFIP 18th World Computer Congress, 146. Springer, Toulouse, France pp. 413-429. ISBN 1-4020-8154-5. (The full text of this publication is not available from this repository)

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: Proceedings of the seventh International Enterprise Distributed Object Computng Conference, SEP 16-19, 2003, Brisbane, Australia. (The full text of this publication is not available from this repository)

Neal, Stephen and Linington, Peter F. (2001) Tool Support for Development Using Patterns. In: Proceedings of the fifth International Enterprise Distributed Object Computng Conference. (The full text of this publication is not available from this repository)

Nuka, Gift and Woodcock, Jim (2004) Mechanising the alphabetised relational calculus. In: Electronic Notes in Theoretical Computer Science. Electronic Notes in Theoretical Computer Science, 95. Elsevier , Campina Grande, Brazil pp. 209-225. (The full text of this publication is not available from this repository)

O

Octavian, Patrascoiu and Nicolae, Mitroi and Gheorghe, Marian (1994) C Language. Microcomputer Service Press (The full text of this publication is not available from this repository)

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 available from this repository)

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 . (The full text of this publication is not available from this repository)

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, Nov 08-12, 2004, Seattle, WA, . (The full text of this publication is not available from this repository)

Oliveira, Marcel V. M. and Cavalcanti, Ana L. C. and Woodcock, Jim (2004) Refining Industrial Scale Systems in Circus. In: Communicating Process Architectures 2004, Sep 05-08, 2004 , Oxford Brooks Univ, Oxford, England. (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: Software Engineering and Formal Methods, 2004. SEFM 2004. Proceedings of the Second International Conference on. IEEE Computer Society Press pp. 310-319. ISBN 0-7695-2222-X . (The full text of this publication is not available from this repository)

Oliver, Ian (1999) ``Executing'' the OCL. In: Proceedings of the ECOOP'99 Workshop for PhD Students in OO Systems (PhDOOS '99) at ECCOP'99 - Object-Oriented Programming, June 14-18, 1999, Lisbon, Portugal. (The full text of this publication is not available from this repository)

Oliver, Ian and Kent, Stuart (1999) Validation of Object-Oriented Models using Animation. In: Proceedings of the 25th EuroMicro'99 Conference, Sep 8-10, 1999, Milan, Italy. (Full text available)
[img]
Preview

Osbakk, Patrik (2007) A Privacy Enhancing Infrastructure for Context-Awareness. Doctor of Philosophy (PhD) thesis, Computing Laboratory. (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, March 2009, Athens, Greece. (The full text of this publication is not available from this repository)

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 available from this repository)

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. (The full text of this publication is not available from this repository)

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. (The full text of this publication is not available from this repository)

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''. (The full text of this publication is not available from this repository)

Partsch, H.A. and Boiten, Eerke (1991) A Note on Similarity of Specifications and Reusability of Transformational Developments. In: UNSPECIFIED. (The full text of this publication is not available from this repository)

Patrascoiu, Octavian (1998) An Extension of Prolog for UBG. In: Proceedings of the International Symposium on System Theory (ISST-98). (The full text of this publication is not available from this repository)

Patrascoiu, Octavian (2000) DCGToProlog: A DCG to Prolog Translator. In: Proceedings of the International Symposium on System Theory (ISST-00). (The full text of this publication is not available from this repository)

Patrascoiu, Octavian (1998) Implementing English Inflection. In: Proceedings of the International Symposium on System Theory (ISST-98). (The full text of this publication is not available from this repository)

Patrascoiu, Octavian (2001) Introduction to Programming Language Theory. Editura Rom TPT (The full text of this publication is not available from this repository)

Patrascoiu, Octavian (2000) Object Oriented Metrics. In: Proceedings of the International Symposium on System Theory (ISST-00). (The full text of this publication is not available from this repository)

Patrascoiu, Octavian and Marian, Gheorghe (2000) Compiler Construction. Editura Rom TPT (The full text of this publication is not available from this repository)

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 available from this repository)

Patrascoiu, Octavian (2004) Mapping EDOC to Web Services using YATL. In: UNSPECIFIED, SEP 20-24, 2004, Monterey, CA, . (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 (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: UNSPECIFIED. (Full text available)
[img]
Preview

Patrascoiu, Octavian and Rodgers, Peter (2004) Embedding OCL Expressions in YATL. In: UNSPECIFIED. (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 available from this repository)

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 available from this repository)

Pediaditakis, Michael and Shrimpton, David (2004) Towards a Generic XML Content Presentation Model. In: W3C Workshop on Web Applications and Compound Documents, June 2004, San Jose, California, USA. (The full text of this publication is not available from this repository)

Pfleeger, S. and Hatton, Leslie (1997) Do Formal Methods Really Work. In: UNSPECIFIED. (The full text of this publication is not available from this repository)

Pfleeger, S. and Hatton, Leslie and Howell, C. (2001) Solid Software. Software Quality Institute . Prentice-Hall, New Jersey, 336 pp. ISBN 0130912980. (The full text of this publication is not available from this repository)

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). (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: Artificial Life XI: Proceedings of the Eleventh International Conference on the Simulation and Synthesis of Living Systems. (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. (The full text of this publication is not available from this repository)

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: Advances in Artificial Life, 8th European Conference on Artificial Life (ECAL 2005). (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. (The full text of this publication is not available from this repository)

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, November 4-8, 2002, Seattle, Washington, USA. (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. (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. (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. (The full text of this publication is not available from this repository)

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: Bullinger, Hans-Jörg and Ziegler, Jürgen, eds. Human-Computer Interaction: Communication, Cooperation, and Application Design. Lawrence Erlbaum Associates pp. 402-406. (The full text of this publication is not available from this repository)

Ritson, Carl G. and Barnes, Frederick R.M. (2007) A Process Oriented Approach to USB Driver Development. In: Communicating Process Architectures 2007, 2007. (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: Coordination Models and Languages, 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings, Jun 09-12, 2009, Lisbon, Portugal. (Full text available)
[img]
Preview

Ritson, Carl G. and Sampson, Adam T. and Barnes, Frederick R.M. (2006) Video Processing in occam-pi. In: Communicating Process Architectures 2006. (Full text available)
[img]
Preview

Ritson, Carl G. and Simpson, Jonathan (2008) Virtual Machine Based Debugging for occam-pi. In: Communicating Process Architectures 2008, SEP 07-10, 2008, York, England. (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 (1997) A Negotiating Agents Model for the Provision of Flexible Telephony Services. In: ISADS Proceedings of the 3rd 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 (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 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 available from this repository)

Rodrigues, Helena C.C.D. and Jones, Richard E. (1996) A Cyclic Distributed Garbage Collector for Network Objects. In: Tenth International Workshop on Distributed Algorithms WDAG'96. (Full text available)
[img]
Preview
[img]
Preview

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. (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 the 12th European Conference on Object-Oriented Programming. Lecture Notes in Computer Science, 1445. Springer, Brussels pp. 249-273. ISBN 3-540-64737-6 . (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 available from this repository)

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. (The full text of this publication is not available from this repository)

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 9783540439288. (The full text of this publication is not available from this repository)

Sampson, Adam T. (2008) Two-Way Protocols for occam-pi. In: Communicating Process Architectures 2008. (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). (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: Communicating Process Architectures 2005. (The full text of this publication is not available from this repository)

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: Artificial Life XI: Proceedings of the Eleventh International Conference on the Simulation and Synthesis of Living Systems. (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 available from this repository)

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 (2004) Adding Mobility to Networked Channel-Types. In: Communicating Process Architectures 2004, Sep 05-08, 2004 , Oxford Brooks Univ, Oxford, England. (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 and Barnes, Frederick R.M. and Welch, Peter H. (2003) Flexible, Transparent and Dynamic occam Networking with KRoC.net. In: Communicating Process Architectures 2003, SEP 07-10, 2003 , UNIV Twente, Enschde, Nederlands. (The full text of this publication is not available from this repository)

Schweigler, Mario and Sampson, Adam T. (2006) pony - The occam-pi Network Environment. In: Communicating Process Architectures 2006. (Full text available)
[img]
Preview

Senivongse, Twittie and Utting, Ian (1996) A Model for Evolution of Services in Distributed Systems. In: Distributed Platforms. (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 available from this repository)

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, June 5-7, 2002, Rio de Janeiro. (The full text of this publication is not available from this repository)

Shrimpton, David and Balfanz, Dirk (2004) Editorial video technology and interactive broadcasting. Computers and Graphics, 28 (2). pp. 137-138. ISSN 0097-8493. (The full text of this publication is not available from this repository)

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. (The full text of this publication is not available from this repository)

Simpson, Jonathan and Jacobsen, Christian L. and Jadud, Matthew C. (2006) Mobile Robot Control: The Subsumption Architecture and occam-pi. In: Communicating Process Architectures 2006. (The full text of this publication is not available from this repository)

Simpson, Jonathan and Jacobsen, Christian L. (2008) Visual Process-oriented Programming for Robotics. In: Communicating Process Architectures 2008. (Full text available)
[img]
Preview

Simpson, Jonathan and Jacobsen, Christian L. and Jadud, Matthew C. (2007) A Native Transterpreter for the LEGO Mindstorms RCX. In: Communicating Process Architectures 2007. (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). (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). (Full text available)
[img]
Preview

Sklenar, Lukas and Utting, Ian (2005) Growing a Tourist Guide. In: Smart Environments and their Applications to Cultural Heritage, 11-14 September 2005, Tokyo, Japan. (The full text of this publication is not available from this repository)

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, June 2004, Oslo, Norway.. (The full text of this publication is not available from this repository)

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 available from this repository)

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: Proceeds of 6th IEEE International Workshop on Policies for Distributed Systems and Networks. IEEE Computer Society, Washington, DC, USA pp. 3-13. ISBN 0769522653. (The full text of this publication is not available from this repository)

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: Proceeding of 4th Annual PostGraduate Symposium: The Convergence of Telecommunications, Networking & Broadcasting, June 2003, Liverpool John Moore University. (The full text of this publication is not available from this repository)

Tan, Su-Wei and Waters, A. Gill and Crawford, John (2004) A Multiple Shared Trees Approach for Application Layer Multicasting. In: Communications, 2004 IEEE International Conference on. IEEE, Paris, France pp. 1456-1460. ISBN 0-7803-8533-0 . (The full text of this publication is not available from this repository)

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 available from this repository)

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. (The full text of this publication is not available from this repository)

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 available from this repository)

Tang, Xinbei and Woodcock, Jim (2004) Towards Mobile Processes in Unifying Theories. In: Cuellar, Jorge and Liu, Zhiming, eds. Software Engineering and Formal Methods, 2004. SEFM 2004. Proceedings of the Second International Conference on. IEEE Computer Society Press., Beijing, China pp. 44-53. ISBN 0-7695-2222-X . (The full text of this publication is not available from this repository)

Tang, Xinbei. and Woodcock, Jim (2004) Travelling Processes. In: MPC2004: The 7th International Conference on Mathematics of Program Construction, Jul 12-14, 2004, Stirling, Scotland. (The full text of this publication is not available from this repository)

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

Thomas, Stephen P. and Jones, Richard E. (1994) Garbage Collecting Shared Environment Closure Reducers. Technical report. Computing Laboratory, University of Kent at Canterbury 10.1016/0020-0190(95)00131-U. (The full text of this publication is not available from this repository)

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). (The full text of this publication is not available from this repository)

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), January 12 - 14, 1998, Johannesburg, South Africa. (The full text of this publication is not available from this repository)

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, 10/13/1998 - 10/16/1998, Honolulu, HI, USA. (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 . (The full text of this publication is not available from this repository)

Tripp, Gerald (2005) A Finite-State-Machine based string matching system for Intrusion Detection on High-Speed Networks. In: 14th Annual EICAR Conference, 30 April - 2 May 2005, Valletta, Malta. (The full text of this publication is not available from this repository)

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 available from this repository)

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. (The full text of this publication is not available from this repository)

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. (The full text of this publication is not available from this repository)

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

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 (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 (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 (2000) The Design of an Associative Processing system for Network Monitoring. Technical report. University of Kent (Full text available)
[img]
Preview
[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 and Casey, Tom (2001) Transforming Web Pages for Interactive TV Using XSL. In: Proceedings of IEEE International Conference on Multimedia and Expo, 22-25 Aug. 2001, Tokyo, Japan. (The full text of this publication is not available from this repository)

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, May 1-5, 2001, Hong Kong Convention and Exhibition Center. (The full text of this publication is not available from this repository)

W

Wang, J. and Saeed, Amer and de Lemos, Rogério (1997) Subjective Safety Analysis for Software Development. In: Proceedings of the International Conference on Safety and Reliability (ESREL 97). (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. Object-Oriented Technologys. Lecture Notes In Computer Science, 1357. Springer-Verlag , Munchen pp. 216-220. ISBN 3540640398. (The full text of this publication is not available from this repository)

Waters, A. Gill (1994) A new heuristic for ATM multicast routing. In: UNSPECIFIED. (The full text of this publication is not available from this repository)

Waters, A. Gill (2000) Hierarchies for Network Evolution. In: 16th UK Teletraffic Symposium on Management of Quality of Service - the New Challenge. (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 available from this repository)

Waters, A. Gill (1992) Multicast provision for high speed networks. In: UNSPECIFIED. (The full text of this publication is not available from this repository)

Waters, A. Gill and Bishop, T.L.J. (1993) Delay Considerations in Multicast Routing for ATM Networks. In: 10th UK Teletraffic Symposium. (The full text of this publication is not available from this repository)

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 available from this repository)

Waters, A. Gill and Crawford, John (1996) Low-cost ATM Multicast Routing with Constrained Delays. In: Multimedia Telecommunications and Applications. (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. (The full text of this publication is not available from this repository)

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 available from this repository)

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. (The full text of this publication is not available from this repository)

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: Arabnia, Hamid R., ed. Proceedings of the 2005 International Conference on Parallel and Distributed Processing Techniques and Applications. CSREA Press, Las Vegas, Nevada, USA pp. 201-207. ISBN 1-932415-58-0. (The full text of this publication is not available from this repository)

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: Eurographics/ACM SIGGRAPH Symposium Proceedings: Parallel Graphics and Visualization 2004. (The full text of this publication is not available from this repository)

Welch, Peter H. and Barnes, Frederick R.M. (2008) A CSP Model for Mobile Channels. In: Communicating Process Architectures 2008, SEP 07-10, 2008, York, England. (Full text available)
[img]
Preview

Welch, Peter H. and Barnes, Frederick R.M. (2005) Communicating Mobile Processes: introducing occam-pi. In: 25 Years of CSP. (The full text of this publication is not available from this repository)

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 9781586035617. (The full text of this publication is not available from this repository)

Welch, Peter H. and Barnes, Frederick R.M. and Polack, Fiona A.C. (2006) Communicating Complex Systems. In: 11th International Conference on Engineering of Complex Computer Systems, 15-17 August 2006, Stanford, California (USA). (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: Communicating Process Architectures 2007, Jul, 2007, Guildford. (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. (The full text of this publication is not available from this repository)

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 available from this repository)

Welch, Peter H. and Pedersen, Jan B. (2008) Santa Claus - with Mobile Reindeer and Elves. In: Communicating Process Architectures 2008, Sept 07-10, 2008, York, England. (The full text of this publication is not available from this repository)

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), , October 18-22, 1998., Vancouver, British Columbia, Canada. (The full text of this publication is not available from this repository)

Wills, A.C. (1999) Catalysis: object and component based development. In: UNSPECIFIED. (The full text of this publication is not available from this repository)

Wills, A.C. (2001) Coherence in UML. In: Coupling the UML diagrams. (The full text of this publication is not available from this repository)

Wills, A.C. (2000) Component Architecture: Catalysis Techniques for Defining Interfaces. In: Component Based Software Engineering. (The full text of this publication is not available from this repository)

Wills, A.C. (2000) Component Design is Language Design. In: ISSUG 2000, June 2000, Paris, France. (The full text of this publication is not available from this repository)

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 available from this repository)

Wills, A.C. (2000) Modeling Traits of Component Based Systems. In: OOPSLA 2000, ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, October 15-19, 2000, Minneapolis, Minnesota USA. (The full text of this publication is not available from this repository)

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 available from this repository)

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 . (The full text of this publication is not available from this repository)

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. (The full text of this publication is not available from this repository)

Woodcock, Jim (2004) Using Circus for critical industrial applications. In: Electronic Notes in Theoretical Computer Science. Electronic Notes in Theoretical Computer Science, 95. Elsevier Science , Campina Grande, Brazil pp. 3-22. (The full text of this publication is not available from this repository)

Woodcock, Jim (2002) An Introduction to the Alphabetised Relational Calculus. In: Logic and Algebra for Engineering Software. (The full text of this publication is not available from this repository)

Woodcock, Jim (2002) Semantics of Parallel Programming Languages in the Unifying Theory. In: Logic and Algebra for Engineering Software. (The full text of this publication is not available from this repository)

Woodcock, Jim (2002) Unifying Theories of Parallel Programming. In: ICFEM 2002: 4th International Conference on Formal Engineering Methods, October 21-25, 2002, Shanghai China. (The full text of this publication is not available from this repository)

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 available from this repository)

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

Woodcock, Jim and Cavalcanti, Ana L. C. (2002) The Semantics of Circus. In: Zb 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble. 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 available from this repository)

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. (The full text of this publication is not available from this repository)

Woodcock, Jim and Davies, Jim and Bolton, Christie (2000) Abstract Data Types and Processes. In: Proceedings of the Symposium in Honour of CAR Hoare. (The full text of this publication is not available from this repository)

Woodcock, Jim and Hughes, Arthur (2002) Unifying Theories of Parallel Programming. In: Formal Methods and Software Engineering. Lecture Notes in Computer Science, 0302-9743 . Springer Berlin / Heidelberg, pp. 24-37. ISBN 978-3-540-00029-7. (The full text of this publication is not available from this repository)

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 available from this repository)

Woodcock, Jim and McEwan, Alistair A. (2002) Verifying the Properties of a Railway Signalling Device. In: Proceedings , International Conference on Integrated Design and Process Technology. IDPT Press, Passadena (The full text of this publication is not available from this repository)

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 available from this repository)

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 Thu Jul 24 02:16:37 2014 BST.