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
- Vollset EW, Ezhilchelvan PD. Enabling reliable many-to-many communication in ad-hoc pervasive environments. School of Computing Science. 2004. School of Computing Science Technical Report Series 882 (download PDF).
- Sun Y, Wipat A, Pocock M, Lee P, Watson P, Flanagan K, Worthington J. A Grid-based System for Microbial Genome Comparison and Analysis. School of Computing Science. 2004. School of Computing Science Technical Report Series 881 (download PDF).
- Chaum, D., Ryan, P.Y.A., Schneider, S.A.A Practical, Voter-verifiable Election Scheme. School of Computing Science. 2004. School of Computing Science Technical Report Series 880 (download PDF).
- Gorbenko A, Kharchenko V, Popov P, Romanovsky A. Dependable Composite Web Services with Components Upgraded Online: Solutions, Models and Implementation. School of Computing Science. 2004. School of Computing Science Technical Report Series 879 (download PDF).
- Iliasov A, Romanovsky A. Exception Handling in Coordination-based Mobile Environments. School of Computing Science. 2004. School of Computing Science Technical Report Series 878 (download PDF).
- Randell B. Dependability, Structure and Infrastructure. School of Computing Science. 2004. School of Computing Science Technical Report Series 877 (download PDF).
- Loer K, Harrison MD. Analysing and modelling context in mobile systems to support design. School of Computing Science. 2004. School of Computing Science Technical Report Series 876 (download PDF).
- Pitsilis G, Marshall L. Trust as a key to improving Recommendation Systems. School of Computing Science. 2004. School of Computing Science Technical Report Series 875 (download PDF).
- Pitsilis G, Marshall L. A Model of Trust Derivation from Evidence for Use in Recommendation Systems. School of Computing Science. 2004. School of Computing Science Technical Report Series 874 (download PDF).
- Loer K, Harrison MD. A framework and supporting tool for the model-based analysis for dependable interactive systems in the context of industrial design. School of Computing Science. 2004. School of Computing Science Technical Report Series 873 (download PDF).
- Reeder, R. W., Maxion, R. A.Error Analysis of a Security-Oriented User Interface. School of Computing Science. 2004. School of Computing Science Technical Report Series 872 (download PDF).
- Maxion, R. A., Roberts, R. R.Proper Use of ROC Curves in Intrusion/Anomaly Detection. School of Computing Science. 2004. School of Computing Science Technical Report Series 871 (download PDF).
- Tan, K. M. C., Maxion, R. A.Performance Evaluation of Anomaly-Based Detection Mechanisms. School of Computing Science. 2004. School of Computing Science Technical Report Series 870 (download PDF).
- Killhourhy, K. S., Maxion, R. A.Investigating a Possible Flaw in a Masquerade Detection System. School of Computing Science. 2004. School of Computing Science Technical Report Series 869 (download PDF).
- Bryans JW, Koutny M, Mazare L, Ryan PYA. Opacity Generalised to Transition Systems. School of Computing Science. 2004. School of Computing Science Technical Report Series 868 (download PDF).
- Gacek, C.Standards and Open Source Software: Twins, Cousins, or Just Neighbours?. School of Computing Science. 2004. School of Computing Science Technical Report Series 867 (download PDF).
- Palmer J, Mitrani I. Optimal Tree Structures for Large Service Networks. School of Computing Science. 2004. School of Computing Science Technical Report Series 866 (download PDF).
- Tartanoglu F, Levy N, Issarny V, Romanovsky A. Using the B Method for the Formalization of Coordinated Atomic Actions. School of Computing Science. 2004. School of Computing Science Technical Report Series 865 (download PDF).
- Ryan PYA. A Variant of the Chaum Voter-verifiable Scheme. School of Computing Science. 2004. School of Computing Science Technical Report Series 864 (download PDF).
- Gorbenko A, Kharchenko V, Popov P, Romanovsky A, Boyarchuk A. Development of Dependable Web Services out of Undependable Web Components. School of Computing Science. 2004. School of Computing Science Technical Report Series 863 (download PDF).
- Mohammad A, Speirs N. A Wan Emulator for CORBA Applications. School of Computing Science. 2004. School of Computing Science Technical Report Series 862 (download PDF).
- Smith J, Watson P. Applying Low-Overhead Rollback-Recovery to Wide Area Distributed Query Processing. School of Computing Science. 2004. School of Computing Science Technical Report Series 861 (download PDF).
- Andras P. A Model for Emergent Chaotic Order in Small Neural Networks. School of Computing Science. 2004. School of Computing Science Technical Report Series 860 (download PDF).
- Paynter, S.E., Henderson, N., Armstrong, J.M.Metastability in Asynchronous Wait-Free Protocols. School of Computing Science. 2004. School of Computing Science Technical Report Series 859 (download PDF).
- Khomenko V, Madalinski A, Yakovlev A. Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings. School of Computing Science. 2004. School of Computing Science Technical Report Series 858 (download PDF).
- van der Meulen M, Riddle S, Strigini L, Jefferson N. Protective Wrapping of Off-the-Shelf Components. School of Computing Science. 2004. School of Computing Science Technical Report Series 857 (download PDF).
- Bryans JW, Koutny M, Ryan PYA. Modelling Dynamic Opacity using Petri Nets with Silent Actions. School of Computing Science. 2004. School of Computing Science Technical Report Series 855 (download PDF).
- Periorellis, P., Townson, C., English, P.Structural Concepts for Trust, Contract and Security Management for a Virtual Chemical Engineering. School of Computing Science. 2004. School of Computing Science Technical Report Series 854 (download PDF).
- Hoare T, Jones C, Randell B. Extending the Horizons of DSE (GC6). School of Computing Science. 2004. School of Computing Science Technical Report Series 853 (download PDF).
- Anderson, T., Randell, B., Romanovsky, A.Wrapping the Future. School of Computing Science. 2004. School of Computing Science Technical Report Series 852 (download PDF).
- Parastatidis S, Webber J. Assessing the Risk and Value of Adopting Emerging and Unstable Web Services Specifications. School of Computing Science. 2004. School of Computing Science Technical Report Series 851 (download PDF).
- Parastatidis S, Webber J, Watson P. Using Web Services to Build Grid Applications - The "No Risk" WSGAF Profile. School of Computing Science. 2004. School of Computing Science Technical Report Series 850 (download PDF).
- Woodman SJ, Palmer DJ, Shrivastava SK, Wheater SM. Notations for the Specification and Verification of Composite Web Services. School of Computing Science. 2004. School of Computing Science Technical Report Series 849 (download PDF).
- Woodman SJ, Palmer DJ, Shrivastava SK, Wheater SM. Distributed Enactment of Composite Web Services. School of Computing Science. 2004. School of Computing Science Technical Report Series 848 (download PDF).
- Palmer J, Mitrani I. Optimal Tree Structures for Large-Scale Grids. School of Computing Science. 2004. School of Computing Science Technical Report Series 847 (download PDF).
- Devillers R, Klaudel H, Koutny M. Petri net semantics of the finite pi-calculus. School of Computing Science. 2004. School of Computing Science Technical Report Series 846 (download PDF).
- Fisher M, Kubicek C, McKee P, Mitrani I, Palmer J, Smith R. Dynamic Allocation of Servers in a Grid Hosting Environment. School of Computing Science. 2004. School of Computing Science Technical Report Series 845 (download PDF).
- Coleman JW, Jefferson NP, Jones CB. Black Tie Optional: Modelling Programming Language Concepts. School of Computing Science. 2004. School of Computing Science Technical Report Series 844 (download PDF).
- Ryan P, Bryans J. A Simplified Version of the Chaum Voting Scheme. School of Computing Science. 2004. School of Computing Science Technical Report Series 843 (download PDF).
- Thomas N. Challenges and Opportunities in Grid Performability. School of Computing Science. 2004. School of Computing Science Technical Report Series 842 (download PDF).
- Khomenko V. Computing Shortest Violation Traces in Model Checking Based on Petri Net Unfoldings and SAT. School of Computing Science. 2004. School of Computing Science Technical Report Series 841 (download PDF).
- Bryans J, Koutny M, Ryan P. Modelling Opacity using Petri Nets. School of Computing Science. 2004. School of Computing Science Technical Report Series 840 (download PDF).
- Jones C, Randell B. Dependable Pervasive Systems. School of Computing Science. 2004. School of Computing Science Technical Report Series 839 (download PDF).
- Vollset E, Ezhilchelvan PD. Design and Evaluation of an Efficient Reliable Manycast protocol for Ad-hoc Networks. School of Computing Science. 2004. School of Computing Science Technical Report Series 838 (download PDF).
- Devito Da Cunha, A. & Greathead, D.Code review and personality: is performance linked to MBTI type?. School of Computing Science. 2004. School of Computing Science Technical Report Series 837 (download PDF).
- Smith J, Watson P. A Rollback-Recovery Protocol for Wide Area Pipelined Data Flow Computations. School of Computing Science. 2004. School of Computing Science Technical Report Series 836 (download PDF).
- Molina-Jimenez C, Shrivastava SK, Crowcroft J, Gevros P. On the Monitoring of Contractual Service Level Agreements. School of Computing Science. 2004. School of Computing Science Technical Report Series 835 (download PDF).
- Cook NO, Robinson P, Shrivastava SK. Component Middleware to Support Non-repudiable Service Interactions. School of Computing Science. 2004. School of Computing Science Technical Report Series 834 (download PDF).
- Di Ferdinando A, Ezhilchelvan PD, Mitrani I. Design and Evaluation of a QoS-Adaptive System for Reliable Multicasting. School of Computing Science. 2004. School of Computing Science Technical Report Series 833 (download PDF).
- Armstrong, J.M. and Paynter S.P.The Deconstruction of Safety Arguments Through Adversarial Counter-argument. School of Computing Science. 2004. School of Computing Science Technical Report Series 832 (download PDF).
- Armstrong, J.M.Danger: Derrida at Work. School of Computing Science. 2004. School of Computing Science Technical Report Series 831 (download PDF).
- Armstrong, J.M. and Paynter, S.P.Safe Systems: Construction, Destruction, and Deconstruction. School of Computing Science. 2004. School of Computing Science Technical Report Series 830 (download PDF).
- Armstrong, J.M.Critical Thinking About 'Critical Thinking'. School of Computing Science. 2004. School of Computing Science Technical Report Series 829 (download PDF).
- Armstrong, J. DERIDASC Scientific Background. School of Computing Science. 2004. School of Computing Science Technical Report Series 828 (download PDF).
- Shaw O, Koelmans A, Steggles J, Wipat A. Applying Petri Nets to Systems Biology using XML Technologies. School of Computing Science. 2004. School of Computing Science Technical Report Series 827 (download PDF).
- Lee PA, Hamilton MD, Parastatidis S. A Visual Language for Parallel, Object-Oriented Programming. School of Computing Science. 2004. School of Computing Science Technical Report Series 826 (download PDF).
- Parastatidis S, Webber J, Watson P, Rischbeck T. A Grid Application Framework based on Web Services Specifications and Practices. School of Computing Science. 2004. School of Computing Science Technical Report Series 825 (download PDF).
- Mpoeleng D, Ezhilchelvan PD, Speirs NA. From Crash Tolerance to Authenticated Byzantine Tolerance: a Structured Approach, the Cost and Benefits. School of Computing Science. 2004. School of Computing Science Technical Report Series 824 (download PDF).
- Elaine. Elaine's Technical Report. School of Computing Science. 2004. School of Computing Science Technical Report Series 0 (download PDF).