Trust in Technology: a Socio-Technical Perspective
Systems and Control Encyclopedia: Advances in Systems, Control and Information Engineering
Spatial Language: Cognitive and Computational Perspectives
Programming Language Choice: Practice and Experience
Commission of the European Communities, Brussels
Real-Time Systems: Theory and Applications
Software Engineering for Multi-Agent Systems III: Research Issues and Practical Applications
Probability, Statistics and Optimization: A Tribute to Peter Whittle
This paper reviews the development of error recovery structures that support general fault tolerance, and describes a new object-oriented scheme for error recovery in concurrent systems that generalizes existing schemes based on either conversations or transactions. This new scheme, which is based on what we term a Coordinated Atomic Action, is intended to facilitate the provision of means of tolerating hardware and software faults, and faults that have affected the environment of the computer system - and to do so for programs that involve cooperating concurrent processes, and the use of shared resources.
Predictably Dependable Computing Systems
Modelling and Analysis of Security Protocols
Requirements Engineering for Sociotechnical Systems
Advanced Topics in Exception Handling Techniques
European Association of Agricultural Economists (EAAE)
Farmers' Decision Making - A Descriptive Approach
Quantitative Methods in Parallel Systems
Fault Tolerance: Principles and Practice (Second Revised Edition)
The Auerbach Annual 1974, Best Computer Papers
The Vienna Development Method: The Meta-Language
Lectures on Concurrency and Petri Nets: Advances in Petri Nets
Numerical Methods in Practice: Using the NAG Library
Kluwer Academic Publishers, Dordrecht/Intellect Ltd., Oxford
Computers and Writing : State of the Art
Self-Star Properties in Complex Information Systems: Conceptual and Practical Foundations
Lacrimal Gland, Tear Film, and Dry Eye Syndromes 3: Basic Science and Clinical Relevance, Part A
Kluwer Academic Publishers/Plenum Publishers
ICSE 2004. 26th International Conference on Software Engineering. Scotland. Third Workshop on Architecting Dependable Systems (WADS), 25th May 2004
Reliable computer systems: collected papers of the Newcastle Reliability Project
Elsevier Science Publishers BV, Netherlands
Structure for Dependability: Computer Based Systems from an Interdisciplinary Perspective
Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective
Introduction to Computational Numerical Methods
Representation and processing of spatial expressions
Genetic Interactions Among Microorganisms in the Natural Environment
Norbert Wiener: Collected Works, Vol. IV
Artificial Neural Networks for Approximation and Time Series Prediction
Specification and Verification of Concurrent Systems
Scientific Engineering of Distributed Java Applications: 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers
Lectures on Petri Nets II: Applications, Advances in Petri Nets
Performability Modelling: Techniques and Tools
Safety-Critical Systems: Current Issues, Techniques and Standards
Dependability: Basic Concepts and Terminology
Foundations of Security Analysis and Design: Tutorial Lectures
INFOTECH State of the Art Report on Computer Design
Histoire Generale des Techniques V. Les Techniques de la Civilisation Industrielle
Case Studies in Systematic Software Development
Engineering Analysis Using PAFEC Finite Element Software.
The Evolution of Fault-Tolerant Computing. In the Honor of William C. Carter
The paper starts with a brief account of how and why, at about the time of the birth of what is now INRIA, the author and his colleagues became interested in the subject now known as system dependability. The main body of the paper summarizes the work over the last three years of the ESPRIT Basic Research project on Predictably Dependable Computing Systems (PDCS). This is a long term collaborative research activity, centred on the problems (i) of producing quantitative methods for measuring and predicting the dependability of complex software/hardware systems, (ii) of incorporating such methods into the design process, and (iii) of developing appropriate architectures and components as bases for designing predictably dependable systems. A further section of the paper then describes, in somewhat more detail, one of the current activities within PDCS. This is work being carried out by the author in collaboration with an INRIA colleague, Dr. Jean-Charles Fabre, on a unified approach to providing both reliability and security termed Object-Oriented Fragmented Data Processing (OOFDP).
Future Tendencies in Computer Science, Control and Applied Mathematics
Introduction to Discrete Mathematics for Software Engineering
Software Development: A Rigorous Approach
BCS Review 1999 - Looking Towards the Millennium
Fault Tolerance: Principles and Practice
Systematic Software Development Using VDM
ICSE 2004. 26th International Conference on Software Engineering. Scotland. Third International Workshop on Software Engineering for Large-Scale Multi-Agent Systems (SELMAS'04), 24th-25th May 2004
Current Issues In Safety Critical Systems
Der C++ - kurs. Der Einsteig in die Objektorientierte Programmierung
Software Engineering for Multi-Agent Systems IV : Research Issues and Practical Applications
Artificial Intelligence in Design. 4th International Conference, Stanford, CA, June 1996
Kluwer Academic Publishers, Dordrecht/Chapman and Hall
Bacterial Genetics in Natural Environments
On Midway. Stills of the Reform of the Transylvanian Hungarian Politics
A Classical Mind: Essays in Honour of C.A.R. Hoare
Computer Systems: Theory, Technology and Applications
Architecture Projects Management Ltd., Cambridge
Smart Graphics: 4th International Symposium, SG 2004, Banff, Canada, May 23-25, 2004
Lab Manual to Accompany The Apprentice C++ Programmer: A Touch of Class
This chapter reviews the development of the recovery block approach to software fault tolerance and subsequent work based on this approach. It starts with an account of the development and implementations of the basic recovery block scheme in the early 1970s at Newcastle, and then goes on to describe work at Newcastle and elsewhere on extensions to the basic scheme, recovery in concurrent systems, and linguistic support for recovery blocks based on the use of object-oriented programming concepts.
Software Reliability: Achievement and Assessment
Encyclopedia of Software Engineering, Vol 2
Incentives for Countryside Management: The Case of Environmentally Sensitive Areas
Software Diversity in Computerized Control Systems
Formal Specification and Software Development
Grid Computing: Making The Global Infrastructure a Reality
Using Z: Specification, Refinement, and Proof
Computation Centre of the Polish Academy of Sciences, Warsaw
The Apprentice C++ Programmer: A Touch of Class
Cyberspace Security and Defense: Research Issues
VDM: Une methode rigoureuse pour le developpment du logiciel
Software Engineering for Multi-Agent Systems II
Advances in Queueing Theory, Methods, and Open Problems
The Evolution of Fault-Tolerant Computing
Architecting Systems with Trustworthy Components. International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers
Artificial Intelligence in Design Workshop on Visual Reasoning and Interaction in Design, Stanford, CA, June 1996
Software Product Lines: Practices and Patterns
Hardware and Software Architectures for Fault Tolerance: Experiences and Perspectives
Delta-4: A Generic Architecture for Dependable Distributed Computing
MURAL: A Formal Development Support System
Foundation Scientific Europe, Maastricht
Scientific Europe: Research and Technology in 20 Countries
Trust and Crime in Information Societies
Advances in Exception Handling Techniques
Free Text Retrieval Systems: A Review and Evaluation
Smart Graphics: 5th International Symposium, SG 2005, Frauenworth Cloister, Germany, August 22-24, 2005
Analysis and Synthesis of Computer Systems
Prior to 1994, student registration at Newcastle University involved students being registered in a single place, where they would present a form which had previously been filled in by the student and their department. After registration this information was then transferred to a computerised format. The University decided that the entire registration process was to be computerised for the Autumn of 1994, with the admission and registration being carried out at the departments of the students. Such a system has a very high availability requirement: admissions tutors and secretaries must be able to access and create student records (particularly at the start of a new academic year when new students arrive). The Arjuna distributed system has been under development in the Department of Computing Science for many years. ArjunaÂs design aims are to provide tools to assist in the construction of fault-tolerant, highly available distributed applications using atomic actions (atomic transactions) and replication. Arjuna offers the right set of facilities for this application, and its deployment would enable the University to exploit the existing campus network and workstation clusters, thereby obviating the need for any specialised fault tolerant hardware.
A widely used computational model for constructing fault-tolerant distributed applications employs atomic transactions for controlling operations on persistent objects. There has been considerable work on data replication techniques for increasing the availability of persistent data that is manipulated under the control of transactions. Process groups with ordered group communications (process groups for short) has also emerged as a model for building available distributed applications. High service availability can be achieved by replicating the service state on multiple processes managed by a group communication infrastructure. These two models are often seen as rivals. This paper examines whether a distributed transaction system can profit from process groups for supporting replication of objects. A general model of distributed objects is used to investigate how objects can be replicated for availability using a system that supports transactions (but no process groups) and a system that supports process groups (but no transactions). A comparative evaluation reveals how a distributed transaction system can exploit group communications for obtaining a flexible approach to supporting replication of objects.
Fault-Tolerant Parallel and Distributed Systems
Software fault tolerance is often necessary, but can itself be dangerously error-prone because of the additional effort that must be involved in the programming process. The additional redundancy may increase size and complexity and thus adversely affect software reliability. Object-oriented programming provides an appropriate framework for controlling complexity and enforcing reliability. However, software fault tolerance cannot be achieved merely by implementing the classical fault-tolerance schemes in an object-oriented fashion. New problems arise while integrating software redundancy into object-oriented computing systems. This paper identifies a set of such problems, addresses possible solutions, and proposes an object-oriented architecture for dealing with software design faults. Both linguistic supports for the architecture and implementation issues are discussed in detail.
Modelling Systems: Practical Tools and Techniques in Software Engineering
Emerging Neural Architectures Based on Neuroscience
Histoire Generale des Techniques, V. Les Techniques de la Civilisation Industrielle: Transformation, Communication, Facteur Humain
Transformational Approaches to Systolic Design
Systematic Software Development using VDM (2nd Edition)
Modelling of Computer and Communication Systems
From 0 to 1: An Authoritative History of Modern Computing
Modelling Systems: Practical Tools and Techniques in Software Development
The Numerical Solution of Nonlinear Problems
An Introduction to Systolic Algorithm Design
Newcastle University : newcastle-books.rdf
This ontology contains information detailing books written by members of staff from Newcastle University
Object-Oriented Technology: ECOOP 2003 Workshop Reader, ECOOP 2003 Workshops, Darmstadt, Germany, July 21-25, 2003.
Programming Languages and Their Definition - Selected Papers of Hans Bekic (1936-1982)
Advances in Information Technologies, The Business Challenge
Security and Usability: Designing Secure Systems that People Can Use
Web Services, E-Business, and the Semantic Web, CAiSE 2002 International Workshop, WES 2002, Toronto, Canada, May 27-28, 2002. Revised papers
The Origins of Digital Computers: Selected Papers (3rd ed.)
e-Clinical Governance: a guide for Primary Care
The Gentle Art of Programming: Inaugural Lecture, University of Newcastle upon Tyne
Intelligent Virtual Agents: 5th International Working Conference, IVA 2005, Kos, Greece, September 12-14, 2005
Simulation Techniques for Discrete Event Systems
Human Error, Safety and Systems Development
High-Integrity System Specification and Design
In October 1975, after an official silence lasting thirty-two years, the British Government made a set of captioned photographs of COLOSSUS available at the Public Record Office, These confirm that a series of programmable electronic digital computers was built in Britain during World War II, the first being operational in 1943. It is stated that COLOSSUS incorporated 1500 valves, and operated in parallel arithmetic mode at 5000 pulses/sec. A number of its features are disclosed, including the fact that it had 5000 character/sec punched paper tape inputs, electronic circuits for counting, binary arithmetic and Boolean logic operations, "electronic storage registers changeable by an automatically controlled. sequence of operations", "conditional (branching) logic", "logic functions pre-set by patch-panels or switches, or conditionally selected by telephone relays", and typewriter output. Professor M. H. A. Newman is named as being responsible for formulating the requirement for COLOSSUS, and Mr. T. H. Flowers as leading the team which developed the machine. An indication is given that the design of COLOSSUS was influenced by the prewar work on computability by Alan Turing, who was employed in the same department of the British Government as Newman. The partial relaxation of the official secrecy surrounding COLOSSUS has made it possible to obtain interviews with a number of people involved in the project. This paper is in the main based on these interviews, and is supplemented by material already in the public domain. It attempts to document as fully as is now permissible the story of the development of COLOSSUS. Particular attention is paid to interactions between the COLOSSUS project and other work carried out elsewhere on digital techniques and computers, and to the role that those involved with COLOSSUS played in postwar computer developments in Britain. Details are given of the careers of the people involved, of how the basic concept of COLOSSUS was arrived at, and of how the first machine was designed and built, and of the subsequent design and and construction of a Mark II version. The paper also attempts to assess Turing's role in the COLOSSUS story, and to relate the work to contemporary work in the U.S., particularly that on ENIAC. The official photographs and the accompanying explanation captions are reproduced in the paper.
A History of Computing in the Twentieth Century
Dependable Computing for Critical Applications: 3
Communicating Sequential Processes: the First 25 years. Symposium on the occasion of 25 years of CSP, London, UK, July 7-8, 2004
American Society for Microbiology (ASM) Press
Manual of Industrial Microbiology and Biotechnology (2nd Edition)
Diagrammatic Representation and Reasoning
Radial Basis Function Networks 1: Recent Developments in Theory and Algorithms
Hardware and Software Architectures for Fault Tolerance
Validated Designs for Object-oriented Systems
New Horizons of Parallel and Distributed Computing
Beauty is Our Business: A Birthday Salute to Edsger W. Dijkstra
Interactive Systems: Design Specification and Verification. 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers
A Computer Perspective: Background to the Computer Age
The Theory and Practice of Refinement: Approaches to the Formal Development of Large-Scale Software Systems
Computing Tomorrow: Future research directions in computer science
Selected Reprints on Dataflow and Reduction Architectures
Dependable Computing. First Latin American Symposium , LADC 2003, Sao Paulo, Brazil, October 21-24,2003
Software Engineering: Concepts and Techniques
Advances in Object-Oriented Metalevel Architectures and Reflection
Software Requirements, Specification and Testing
Proof, Language and Interaction: Essays in Honour of Robin Milner
The Research and Academic Users Guide to the IBM Personal Computer