University of Newcastle upon Tyne  Faculty of Science Agriculture and Engineering School of Computing Science For Researchers
|
 |
 |
|||
| [ About Us ] [ For Applicants ] [ For Students ] [ For Researchers ] [ For Business ] [ Internal Website ] [ Search ] | |
|
Other PublicationsThis is a listing of our other types of publication. Items are listed by date, most recent first. [ Technical Reports (not in the School series) ] [ Patents ] [ Software ]
Technical Reports (not in the School series)Spatial network growth -- Generating small-world, scale-free, and multi-cluster spatial networks, Kaiser, M. Keywords: spatial graphs, biological networks, scale-free, small-world [ Abstract ] The implications for rural and regional populations of the Irish government's provision of broadband communications infrastructure, Skerratt, S. Proceedings of the ECOOP 2003 Workshop on Exception Handling in Object-Oriented Systems: Towards Emerging Application Areas and New Programming Paradigms, Romanovsky, A., Dony, C., Knudsen, J.L. and Tripathi, A. A System for Distributed Enactment of Composite Web Services, Woodman, S.J., Palmer, D.J., Shrivastava, S.K., Wheater, S.M. Keywords: ADAPT, DECS, Service enactment, distributed workflow [ Abstract ] [ pdf (183 Kb) ] Impact of Virtualization on Management Systems, Graupner, S., Koenig, R., Machiraju, V., Pruyne, J., Sahai, A. and Van Moorsel, A. Notes: Also in Tenth Plenary Workshop of HP OpenView University Association, Geneva, Switzerland, June 7-9, 2003 [ pdf (329 Kb) ]The 'virtual village': bridging or widening the digital divide?, Skerratt, S. & Warren, M. Quality of Business Driven Service Composition and Utility Computing, Machiraju, V., Rolia, J. and Van Moorsel, A. Time-related trade-offs in dynamic function scheduling. ., Hildebrandt, M. and Harrison, M. Notes: In Johnson, C. (ed), 21st European Annual Conference on Human Decision Making and Control, pp. 89-95. GIST Technical Report G2002-1. Structure and evolution of a circumstellar disk during the early phase of accretion from a parent cloud, Idowu, O.C. The Relationship between Quality of Service and Business Metrics: Monitoring, Notification and Optimization, Wolter, K. and Van Moorsel, A. Notes: Also in HP's OpenView Forum, New Orleans, June 11-15, track Thursday S223 on CD, 2001. [ pdf (821 Kb) ]First Specification of APIs and Protocols for the MAFTIA Middleware, Armstrong, J., Cachin, C., Correia, M. et al. Keywords: middleware, intrusion tolerance [ Abstract ] THEA - A Reference Guide, Pocock, S., Fields, R., Harrison, M. and Wright, P. An Attack on A Traitor Tracing Scheme, Yan, J. J. and Wu, Y. Notes: Also appears as IACR Cryptology ePrint Archive Report 2001/067. Mutuality and the CLARiFi Component Broker, Periorellis, P. and Thomas, N. Successful Software Product Line Development in a Small Organization -- A Case Study, Gacek, C., Knauber, P, Schmid, K. and Clements, P A Process for Product Line Architecture Creation and Evaluation -- PuLSE-DSSA version 2.0, Anastasopoulos, M., Bayer, J., Flege, O. and Gacek, C. Proceedings of the Product Line Architecture Workshop -- The First Software Product Line Conference (SPLC1), Gacek, C., Jourdan, J. and Coriat, M Implementing Product Line Variabilities, Anastasopoulos, M. and Gacek, C. A model checking algorithm for stochastic systems, Bowman, H., Bryans, J. and Derrick, J. A Manual for a Model Checker for Stochastic Automata, Akehurst, D., Bowman, H., Bryans, J. and Derrick, J. Assessment Guidelines for Detecting Architectural Mismatches, Gacek, C. A Language for Specifying the Composition of Reliable Distributed Applications, Ranno, F., Shrivastava, S.K. and Wheater, S.M. Safety Critical Distributed Systems: a State of Art Report, Shrivastava, S.K., Ezhilchelvan, P.D., Speirs, N. and Fitzgerald, J.S. People-centred analysis: the use of qualitative evaluation to assess sustainable rural development, Skerratt, S. and Midmore, P. Strategic Directions in Computer Architecture Research, Watson, P., Watson, I., Ibbett, R., Kelly, P. and Muller, H. Gallifrey: A Component-Based Framework for Building Policy-Based Management Applications, Bearden, M., Garg, S., Van Moorsel, A. and Lee, W.-J. Constraint Oriented Specification with CSP and Real-time Logic, Pearson, J. and Bryans, J. Using Probability to Reason about Soft Deadlines, King, A. and Bryans, J. Comparative Evaluation of Object Location Mechanisms, Little, M.C. and Speirs, N.A. Specification of Distributed Intelligent Network Systems using UML and Extensions, Arief, L.B. and Speirs, N.A. A review of the methodologies, techniques and suggestions proposed for enabling knowledge sharing and Re-use in computer integrated manufacturing environments and other enterprises, Periorellis P., Bokma A. Keywords: Enterprise Modelling, Modelling Methodologies, PERA, CIMOSA [ Abstract ] Design and Implementation of an SNMP Agent for Managing NTSwift, Garg, S., Huang, Y. and Van Moorsel, A. Detecting Architectural Mismatches During Systems Composition -- An Extension to the AAA Model, Gacek, C. Detecting Architectural Mismatches During Systems Composition, Gacek, C. Mechanical Verification of the full Needham-Schroeder Public Key Protocol, Bryans, J. and Schneider, S. Or-Parallel Prolog on a Distributed Memory Architecture, Silva, F., and Watson P. Offering Computing Services Through Networks of Simple HTTP Servers, Klemm, R. and van Moorsel, A.P.A. Providing System Analysis Tools over the Internet, Van Moorsel, A. Enhancing the tractability of rely/guarantee specifications in the development of interfering operations, Collette, P. and Jones, C.B. Fault-Tolerant Execution of Computationally and Storage Intensive Programs Over a Network of Workstations: A Case Study, Smith, J.A. and Shrivastava, S.K. The Design and Implementation of a Framework for Extensible Software, Wheater, S.M. and Little, M.C. A failures semantics for ET-LOTOS, Schneider, S., Bryans, J. and Davies, J. Real-time CSP and ET-LOTOS, Bryans, J., Davies, J. and Schneider, S. The global-yet-personal information system, Gurd, J.R. and Jones, C.B. Focused Workshop on Software Reuse: Issue Paper, Gacek, C., Clark, B.K. and Boehm, B.W. Domain Specific Software Architecture Based Reuse - State of the Art, Gacek, C. Focused Workshop on Software Architectures: Issue Paper, Gacek, C., Abd-Allah, A., Clark, B.K. and Boehm, B.W. Software Architecture, the Architecting Process, and Examples of Architecting Infrastructures - State of the Art, Gacek, C. Object Replication in Arjuna, Little, M.C. and Shrivastava, S.K. NewTop: A Fault-Tolerant Group Communication Protocol, Ezhilchelvan, P., Macedo, R. and Shrivastava, S.K. The Design and Implementation of Arjuna, Parrington, G.D., Shrivastava, S.K., Wheater, S.M. and Little, M.C. Architectural Support for Mobile Objects, Caughey, S.J. and Shrivastava, S.K. A View of Large Scale Distributed Computing, Panzieri, F. and Shrivastava, S.K. A Stub Generation System for C++, Parrington, G.D. An introduction to pi-calculus, Jones, C.B. and Monahan, B.Q. Process algebraic foundations for an object-based design notation, Jones, C.B. Understanding the differences between VDM and Z, Hayes, I.J., Jones, C.B. and Nicholls, J.E. A typed logic of partial functions reconstructed classically, Jones, C.B. and Middelburg, C.A. NewTop: A Total Order Multicast Protocal Using Causal Blocks, Macedo, R.A., Ezhilchelvan, P.D. and Shrivastava, S.K. Maintaining Information about Persistent Replicated Objects in a Distributed System, Little, M.C., McCue, D.L. and Shrivastava, S.K. Exercising Application-Specific Run-Time Control over Clustering of Objects, Wheater, S.M. and Shrivastava, S.K. Structuring Fault-Tolerant Object Systems for Modularity in a Distributed Environment, Shrivastava, S.K. and McCue, D.L. Delayline - A Wide Area Network Emulation Tool, Ingham, D.B. and Parrington, G.D. Demonstration of Voltan Fail-Controlled Node, Speirs, N.A. and Shrivastava, S.K. Fail-Controlled Computer Architectures for Distributed Systems, Shrivastava, S.K., Ezhilchelvan, P.D. and Speirs, N.A. Formal methods selected historical references, Jones, C.B. and McCauley, A.M. The search for tractable ways of reasoning about programs, Jones, C.B. An object-based design method for concurrent programs, Jones, C.B. Operation quotation in VDM, Jones, C.B. Interference resumed, Jones, C.B. Some comments on (BSI) VDMSL, Jones, C.B. Modularizing the Formal Description of a Database System, Fitzgerald, J.S. and Jones, C.B. Specifications are not (necessarily) executable, Hayes, I.J. and Jones, C.B. On the Usability of Logics which Handle Partial Functions, Cheng, J.H. and Jones, C.B. Systematic software development using VDM (second edition) teaching notes, Jones, C.B. Understanding Component Failures and Replications in Distributed Systems, Shrivastava, S.K., Ezhilchelvan, P.D. and Little, M.C. Fail-controlled processor architectures for distributed systems, Shrivastava, S.K., Ezhilchelvan, P.D. and Speirs, N.A. Specifications are not (necessarily) executable, Hayes, I.J. and Jones, C.B. Combining implicit/explicit function definitions in the VDM protostandard, Jones, C.B. Response to Arentoft and Larsen's 'Underspecification and non-determinism note', Jones, C.B. An experimental user interface for a theorem proving assistant, Jones, C.B. and Moore, R. Teaching notes (second version) for 'Systematic software development using VDM', Jones, C.B. Mule - an environment for rigorous software development, Cottam, I.D., Jones, C.B., Nipkow, T.N., Wills, A.C., Wolczko, M. and Yaghi, A. Teaching notes for systematic software development using VDM, Jones, C.B. Program specification and verification in VDM, Jones, C.B. IPSE 2.5 theorem proving concepts paper, Jones, C.B., Lindsay, P. and Wadsworth, C. IPSE 2.5 project proposal, Denvir, B.T., Downes, V.A., Jones, C.B., Snowdon, R.A. and Tordoff, M.K. MDB: A graph-like persistent database, Jones, C.B., Nipkow, T.N. and Wolczo, M.I. A survey of verification techniques for parallel programs, Barringer, H. and Jones, C.B. Development methods for computer programs including a notion of interference, C.B. Jones Formal definition in compiler development, Jones, C.B. Some requirements for specfication languages, Jones, C.B. Some experiments with using a formal language definition in compiler development, Bekic, H., Izbicki, H., Jones, C.B. and Weissenbock, F. A formal definition of a PL/I subset, Bekic, H., Bjorner, D., Henhapl, W., Jones, C.B. and Lucas, P. Formal development: An example using FDSS, Chapman, D.N. and Jones, C.B. The formal development of an algorithm, Allen, C.D. and Jones, C.B. Formal development of programs, Jones, C.B. A formal definition of ALGOL 60, Allen, C.D., Chapman, D.N. and Jones, C.B. Operations and formal development., Jones, C.B. Development of correct programs: An example based on Earley's recogniser, Jones, C.B. Sufficient properties for implementation correctness, Jones, C.B. Dynamic syntax: A concept for the definition of the syntax of programming languages, Hanford, K.V. and Jones, C.B. Formal development of correct algorithms: an example based on Earley's recogniser, Jones, C.B. On the interpretation of GOTO statements in the ULD, Henhapl, W. and Jones, C.B. The block concept and some possible implementations, with proofs of equivalence, Henhapl, W. and Jones, C.B. A technique for showing that two functions preserve a relation between their domains, Jones, C.B. Some observations on the implementation of reference mechanisms for automatic variables, Henhapl, W. and Jones, C.B. A run-time mechanism for referencing variables, Henhapl, W. and Jones, C.B. Proving correctness of implementation techniques, Jones, C.B. and Lucas, P. Yet another proof of the block concept, Jones, C.B. Structuring Complex Processes, Horning, J.J. and Randell, B. The syntax machine: A description, Glassover, S.M., Hanford, K.V. and Jones, C.B. A comparison of two approaches to language definition as bases for the construction of proofs, Jones, C.B. A proof of the correctness of some optimising techniques, Jones, C.B. A proof of the correctness of an interpreter based on axiom schema, Jones, C.B. Dynamic Instruction Scheduling, Conway, L., Randell, B., Rozenberg, D.P., Senzig, D.N. Keywords: look-ahead, parallelism, instruction sequencing, computer architecture [ Abstract ] A Note on Storage Fragmentation and Program Segmentation, Randell, B. Keywords: storage allocation, paging [ Abstract ] Iterative Multi-Level Modelling: A methodology for computer system design, Zurcher, F.W. and Randell, B. Mathematical semantics of goto: Exit formulation and its relation to continuations, Jones, C.B. The syntax machine: An introduction, Glassover, S.M., Hanford, K.V. and Jones, C.B. Demand Paging in Perspective, Kuehner, C.J. and Randell, B. Keywords: storage allocation, paging, thrashing [ Abstract ] Multilevel Modeling - A Methodology for Computer System Design, Zurcher, F.W., Randell, B. Keywords: Programming, Systems Design, Systems Evaluation, Simulation [ Abstract ] Deadline Scheduling, Randell, B., Zweig, E. and Lehman, M. Keywords: scheduling, deadline, multiprocessors [ Abstract ] Dynamic Storage Allocation Systems, Randell, B., Kuehner, C.J. Keywords: storage allocation, paging [ Abstract ] A random generator for the automatic production of executable PL/I programs (APEX), Schofield, P.B. and Jones, C.B. APEX manual, Schofield, P.B. and Jones, C.B. A retrospective view of APEX (Automatic Production of Executable Programs), Jones, C.B. Discussions on ALGOL Translation, at Mathematisch Centrum, Randell, B. and Russell, L.J. Keywords: Algol compiler [ Abstract ] [ pdf (2404 Kb) ] DEUCE ALGOL, Randell, B. and Russell, L.J. Proposals for Code Procedures in KDF9 Algol, Randell, B. The Object Programme Generated by the Whetstone KDF9, Randell, B. The Whetstone KDF9 ALGOL Translator, Randell, B. Keywords: Algol KDF9 compiler [ Abstract ] [ pdf (1384 Kb) ] EASICODE, Kelly, M. J. and Randell, B. Multi-Section EASICODE, Randell, B. Preliminary Report on EASICODE, Kelly, M.J. and Randell, B. Keywords: Easicode compiler DEUCE [ Abstract ] [ pdf (551 Kb) ] PatentsMethod for Deadlock Recovery Using Consistent Global Checkpoints , Romanovsky, A. and Wang, Y.- M. , , 1997 , U.S. Patent No. 5.664.088 Efficient schemes for constructing fail-silent nodes in distributed systems , Speirs, N.A., Shrivastava, S.K., Ezhilchelvan, P.D., Brasileiro, F. and Tao, S. , University of Newcstle upon Tyne , 1997 , GB2288045 Unboundedly Parallel Simulations , Greenberg, A.G., Lubachevski, B.D.and Mitrani, I. , AT&T Bell Laboratories , 1995 , U.S. Patent No. 5.375.074 Efficient Schemes for Constructing Reliable Computing Nodes in Distributed Systems , Speirs, N.A., Shrivastava, S.K., Ezhilchelvan, P.D., Tao, S. and Brasileiro, F.V. , University of Newcastle upon Tyne , 1992 , PCT/GB 93/02225 Garbage collection in a computer system , Watson, P. , International Computers Limited , 1986 , U.S. Patent No. 4,755,939 Apparatus and Method in a Digital Computer for Allowing Improved Program Branching with Branch Anticipation, Reduction of the Number of Branches, and Reduction of Branch Delays , Cocke, J., Schorr, H., Randell, B., Sussenguth, E. , IBM , 1971 , U.S. Patent No. 3,577,189 SoftwareSupporting Software for the Apprentice C++ Programmer , Lee, P.A., Phillips, C. and McLauchlan, M. , 2000 Zircon, an X Window System interface to Internet Relay Chat , Marshall, L. , 2000 Sources for the Arjuna System , The Arjuna Group , 2000 The Arjuna System Programmer's Guide , The Arjuna Group , 1992 DSIM - A Graphical Register-Machine Simulator , McCue, D.L , 1991 |
 Top of Page | | Page Maintainer
|