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
- Steggles LJ, Kosiuczenko P. A Timed Rewriting Logic Semantics for SDL: A Case Study of the Alternating Bit Protocol. Department of Computing Science. 1998. Department of Computing Science Technical Report Series 657 (download PDF).
- Little MC, Shrivastava SK. Integrating the Object Transaction Service with the Web. Department of Computing Science. 1998. Department of Computing Science Technical Report Series 656 (download PDF).
- Caughey SJ, Little MC, Shrivastava SK. Checked Transactions in an Asynchronous Message Passing Environment. Department of Computing Science. 1998. Department of Computing Science Technical Report Series 655 (download PDF).
- F. Xia and I.G. Clark. Complementing the Role Model Method with Petri Net Techniques in Studying Issues of Data Freshness of the Four-slot Mechanism. Department of Computing Science. 1998. Department of Computing Science Technical Report Series 654 (download PDF).
- Little MC, Shrivastava SK. Building Configurable Applications in Java. Department of Computing Science. 1998. Department of Computing Science Technical Report Series 653 (download PDF).
- Little MC, Shrivastava SK. Java Transactions for the Internet. Department of Computing Science. 1998. Department of Computing Science Technical Report Series 652 (download PDF).
- Little MC, Shrivastava SK. Distributed Transactions in Java. Department of Computing Science. 1998. Department of Computing Science Technical Report Series 651 (download PDF).
- Holt, C.M.Using Views to Aid Language Design. Department of Computing Science. 1998. Department of Computing Science Technical Report Series 650 (download PDF).
- A. Yakovlev, D.J. Kinniment and F. Xia. FIFO Buffer with Real-Time Interface. Department of Computing Science. 1998. Department of Computing Science Technical Report Series 649 (download PDF).
- Wang Y-M, Merritt MJ, Romanovsky A. Guaranteed Deadlock Recovery: Deadlock Resolution with Rollback Propagation. Department of Computing Science. 1998. Department of Computing Science Technical Report Series 648 (download PDF).
- Wheater SM, Shrivastava SK, Ranno F. A CORBA Compliant Transactional Workflow System for Internet Applications. Department of Computing Science. 1998. Department of Computing Science Technical Report Series 647 (download PDF).
- Ranno F, Shrivastava SK, Wheater SM. A Language for Specifying the Composition of Reliable Distributed Applications. Department of Computing Science. 1998. Department of Computing Science Technical Report Series 646 (download PDF).
- Shrivastava SK, Wheater SM. Architectural Support for Dynamic Reconfiguration of Large Scale Distributed Apllications. Department of Computing Science. 1998. Department of Computing Science Technical Report Series 645 (download PDF).
- Ranno F, Shrivastava SK, Wheater SM. A System for Specifying and Coordinating the Execution of Reliable Distributed Aplications. Department of Computing Science. 1998. Department of Computing Science Technical Report Series 644 (download PDF).
- Lloyd L, Yakovlev A, Pastor E, Koelmans AM. Estimations of Power Consumption in Asynchronous Logic as Derived from Graph Based Circuit Representations. Department of Computing Science. 1998. Department of Computing Science Technical Report Series 643 (download PDF).
- Martin MJ, Dobson JE, Strens MR. An Architectural Approach to Brokerage in Network Based Commerce. Department of Computing Science. 1998. Department of Computing Science Technical Report Series 642 (download PDF).
- Di Marzo Serugendo G, Guelfi N, Romanovsky A, Zorzo AF. CO-OPN/2 Specification of the DSGamma System Designed Using Co-ordinated Atomic Actions. Department of Computing Science. 1998. Department of Computing Science Technical Report Series 641 (download PDF).
- R.S. Allen. A Graphical system for Parallel Software Development. Department of Computing Science. 1998. Department of Computing Science Technical Report Series 640 (download PDF).
- de Lemos R, Romanovsky A. Exception Handling in a Co-operative Object-Oriented Approach. Department of Computing Science. 1998. Department of Computing Science Technical Report Series 639 (download PDF).
- Strens MR, Martin MJ, Dobson JE. Modelling Business Scenarios for Electric Brokerage. Department of Computing Science. 1998. Department of Computing Science Technical Report Series 638 (download PDF).
- Steggles LJ, Kosiuczenko P. A Formal Model for SDL Specifications based on Timed Rewriting Logic. Department of Computing Science. 1998. Department of Computing Science Technical Report Series 637 (download PDF).
- Koutny M, Pappalardo G. The ERT Model of Fault-Tolerant Computing and Its Application to a Formalisation of Coordinated Atomic Actions. Department of Computing Science. 1998. Department of Computing Science Technical Report Series 636 (download PDF).
- Caughey SJ, Ingham DB, Watson P. Metabroker: A Generic Broker for Electronic Commerce. Department of Computing Science. 1998. Department of Computing Science Technical Report Series 635 (download PDF).
- Vogler W, Semenov A, Yakovlev A. Unfolding and Finite Prefix for Nets with Read Arcs. Department of Computing Science. 1998. Department of Computing Science Technical Report Series 634 (download PDF).
- Strens MR, Martin MJ, Dobson JE, Plagemann S. Business and Market Models of Brokerage in Network -Based Commerce. Department of Computing Science. 1998. Department of Computing Science Technical Report Series 633 (download PDF).
- Pietkiewicz-Koutny M. Synthesis of ENI-Systems Using Minimal Regions. Department of Computing Science. 1998. Department of Computing Science Technical Report Series 632 (download PDF).
- R. de Lemos. On the Integration of Requirements Analysis and Safety Analysis for Safety-Critical Systems. Department of Computing Science. 1998. Department of Computing Science Technical Report Series 630 (download PDF).
- R. de Lemos. Objecting 'Beyond Objects'. Department of Computing Science. 1998. Department of Computing Science Technical Report Series 629 (download PDF).
- Randell B, Romanovsky A, Stroud RJ, Xu J, Zorzo AF, Schwier D, von Henke F. Coordinated Atomic Actions: Formal Model, Case Study and System Implementation. Department of Computing Science. 1998. Department of Computing Science Technical Report Series 628 (download PDF).
- Xia F, Clark IG, Yakovlev A, Davies AC. Petri Net Models of Metastable Operations in Latch Circuits. Department of Computing Science. 1998. Department of Computing Science Technical Report Series 627 (download PDF).
- Xia F, Yakovlev A. Overview of Modelling and Analysis Techniques for Arbiters and Related Circuits. Department of Computing Science. 1998. Department of Computing Science Technical Report Series 626 (download PDF).
- Holt, C.M.Maps of Programs. Department of Computing Science. 1998. Department of Computing Science Technical Report Series 625 (download PDF).
- Romanovsky A, Zorzo AF. Coordinated Atomic Actions as a Technique for Implementing Distributed Gamma Computation. Department of Computing Science. 1998. Department of Computing Science Technical Report Series 624 (download PDF).
- B.N. Rossiter and M.A. Heather. Constructing Standards for Cross-Platform Operations. Department of Computing Science. 1998. Department of Computing Science Technical Report Series 623 (download PDF).
- H.D. Chu and J. Chen. Mobile Software Testing over the Internet. Department of Computing Science. 1998. Department of Computing Science Technical Report Series 622 (download PDF).
- Chu HD, Dobson JE. An Integrated Test Environment for Distributed Applications. Department of Computing Science. 1998. Department of Computing Science Technical Report Series 621 (download PDF).
- Zorzo AF, Romanovsky A, Randell B, Stroud RJ, Welch I, Xu J. Using Coordinated Atomic Actions to Design Dependable Distributed Object Systems. Department of Computing Science. 1998. Department of Computing Science Technical Report Series 619 (download PDF).