Newcastle University

Technical Reports

Year: 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998 1997 1996 1995 1994 1993 1992 1991 1990 1989 1988 1987 1986 1985 1984 1983 1982 1981 1980 1979 1978 1977 1976 1975 1974 1973 1972 1971 1970 1969

• Woodman SJ, Palmer DJ, Shrivastava SK, Wheater SM. Distributed Enactment of Composite Web Services. School of Computing Science. 2003. School of Computing Science Technical Report Series 848 (download PDF).
• Palmer J, Mitrani I. Optimal Server Allocation in Reconfigurable Clusters with Multiple Job Types. School of Computing Science. 2003. School of Computing Science Technical Report Series 823 (download PDF).
• Vollset EW, Ezhilchelvan PD. An Efficient Reliable Broadcast protocol for Mobile Ad-hoc Networks. School of Computing Science. 2003. School of Computing Science Technical Report Series 822 (download PDF).
• Anderson T, Feng M, Riddle S, Romanovsky A. Investigative Case Study: Protective Wrapping of OTS items in Simulated Environments. School of Computing Science. 2003. School of Computing Science Technical Report Series 821 (download PDF).
• Ezhilchelvan PD, Shrivastava SK. Systematic Development of a Family of Fair Exchange Protocols. School of Computing Science. 2003. School of Computing Science Technical Report Series 820 (download PDF).
• Besnard, D. and Baxter, G.Human compensations for undependable systems. School of Computing Science. 2003. School of Computing Science Technical Report Series 819 (download PDF).
• Ezhilchelvan, P., Brasileiro, F., and Speirs, N.A Timeout-Based Message Ordering Protocol for a Lightweight Software Implementation of TMR Systems. School of Computing Science. 2003. School of Computing Science Technical Report Series 817 (download PDF).
• Pitsilis G, Marshall L. Choosing reputable Resources in Atomistic Peer-to-Peer Environments. School of Computing Science. 2003. School of Computing Science Technical Report Series 816 (download PDF).
• Parastatidis S, Watson P. NEReSC Core Grid Middleware. School of Computing Science. 2003. School of Computing Science Technical Report Series 815 (download PDF).
• Cook N, Shrivastava SK, Wheater SM. Middleware Support for Non-repudiable Transactional Information Sharing between Enterprises. School of Computing Science. 2003. School of Computing Science Technical Report Series 814 (download PDF).
• Khomenko V, Koutny M, Yakovlev A. Logic Synthesis Avoiding State Space Explosion. School of Computing Science. 2003. School of Computing Science Technical Report Series 813 (download PDF).
• Gacek C, Arief B (eds.). Proceedings of the Open Source Software Development Workshop. School of Computing Science. 2003. School of Computing Science Technical Report Series 812 (download PDF).
• Solaiman E, Molina-Jimenez C, Shrivastava SK. Model Checking Correctness Properties of Electronic Contracts. School of Computing Science. 2003. School of Computing Science Technical Report Series 811 (download PDF).
• Molina-Jimenez C, Shrivastava SK, Solaiman E, Warne JP. Contract Representation for Run-time Monitoring and Enforcement. School of Computing Science. 2003. School of Computing Science Technical Report Series 810 (download PDF).
• Bryans J, Ryan P. A Dependability Analysis of the Chaum Digital Voting Scheme. School of Computing Science. 2003. School of Computing Science Technical Report Series 809 (download PDF).
• Hayes I, Jackson M, Jones C. Determining the specification of a control system from that of its environment. School of Computing Science. 2003. School of Computing Science Technical Report Series 808 (download PDF).
• Randell B. On Failures and Faults. School of Computing Science. 2003. School of Computing Science Technical Report Series 807 (download PDF).
• Jones C. Operational Semantics: concepts and their expression. School of Computing Science. 2003. School of Computing Science Technical Report Series 806 (download PDF).
• Jones CB. A Formal Basis for some Dependability Notions. School of Computing Science. 2003. School of Computing Science Technical Report Series 805 (download PDF).
• Cooper DE, Ezhilchelvan PD, Mitrani I. High Coverage Multicasting for Mobile Ad-hoc Networks. School of Computing Science. 2003. School of Computing Science Technical Report Series 804 (download PDF).
• Periorellis, P.Addressing Dependability in Multiple Domains of Management. School of Computing Science. 2003. School of Computing Science Technical Report Series 803 (download PDF).
• Periorellis, P.Travel Agent Case Study, Systems Integration. School of Computing Science. 2003. School of Computing Science Technical Report Series 802 (download PDF).
• Dobson J, Periorellis P. Models of Organisational Failure (PCE4). School of Computing Science. 2003. School of Computing Science Technical Report Series 801 (download PDF).
• Henderson, N.Proving the Correctness of Simpson's 4-slot ACM Using An Assertional Rely-Guarantee proof method. School of Computing Science. 2003. School of Computing Science Technical Report Series 800 (download PDF).
• Palmer J, Mitrani I. Dynamic Server Allocation in Heterogeneous Clusters. School of Computing Science. 2003. School of Computing Science Technical Report Series 799 (download PDF).
• Anderson T, Feng M, Riddle S, Romanovsky A. Error Recovery for a Boiler System with OTS PID Controller. School of Computing Science. 2003. School of Computing Science Technical Report Series 798 (download PDF).
• Woodman SJ, Morgan G, Parkin SE. Portal Replication for Web Application Availability Via SOAP. School of Computing Science. 2003. School of Computing Science Technical Report Series 797 (download PDF).
• Wright K. Adaptive Methods for Piecewise Polynomial Collocation for Ordinary Differential Equations. School of Computing Science. 2003. School of Computing Science Technical Report Series 796 (download PDF).
• Steggles LJ. Verifying an Infinite Systolic Algorithm using Third-Order Algebraic Methods. School of Computing Science. 2003. School of Computing Science Technical Report Series 795 (download PDF).
• Besnard D, Arief B. Computer security impaired by legal users. School of Computing Science. 2003. School of Computing Science Technical Report Series 794 (download PDF).
• Lee PA, Webber J. Taxonomy for Visual Parallel Programming. School of Computing Science. 2003. School of Computing Science Technical Report Series 793 (download PDF).
• Vollset E, Ezhilchelvan PD. A Survey of Reliable Broadcast Protocols for Mobile Ad-hoc Networks. School of Computing Science. 2003. School of Computing Science Technical Report Series 792 (download PDF).
• Besnard, D., Greathead, D.When mental models go wrong. Co-occurrences in dynamic, critical systems.. School of Computing Science. 2003. School of Computing Science Technical Report Series 791 (download PDF).
• Arief B, Besnard D. Technical and Human Issues in Computer-Based Systems Security. School of Computing Science. 2003. School of Computing Science Technical Report Series 790 (download PDF).
• Paynter, S. E., Henderson N. and Armstrong, J. M.Ramifications of Metastability in Bit Variables Explored Via Simpson's 4-Slot Mechanism. School of Computing Science. 2003. School of Computing Science Technical Report Series 789 (download PDF).
• Welch I, Warne J, Ryan P, Stroud R. Architectural Analysis of MAFTIA's Intrusion Tolerance Capablities. School of Computing Science. 2003. School of Computing Science Technical Report Series 788 (download PDF).
• Powell D, Stroud R. Conceptual Model and Architecture for MAFTIA. School of Computing Science. 2003. School of Computing Science Technical Report Series 787 (download PDF).
• Gaudel M, Issarny V, Jones C, Kopetz H, Marsden E, Moffat N, Paulitsch M, Powell D, Randell B, Romanovsky A, Stroud RJ, Taiani F. Final Version of DSoS Conceptual Model (CSDA1). School of Computing Science. 2003. School of Computing Science Technical Report Series 782 (download PDF).