Lecture Notes in Computer Science

22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings

By: Stuart Anderson (Editor), Massimo Felici (Editor), Bev Littlewood (Editor)

Write A Review

Paperback | 12 September 2003

At a Glance

Paperback
452 Pages

Dimensions(cm)
23.5 x 15.88 x 2.54

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

Edinburgh, the Scottish capital, hosted SAFECOMP 2003. Since its establishment, SAFECOMP, the series of conferences on Computer Safety, Reliability and Security, has contributed to the progress of the state of the art in dependable applications of computer systems. SAFECOMP provides ample opportunity to exchange insights and experiences in emerging methods across the borders of different disciplines. SAFECOMP year after year registers new multidisciplinary trends on dependability of computer-based systems. The cross-fertilization between different scientific communities and industry supports the achievement of long-term results contributing to the integration of multidisciplinary experiences in order to improve the design and deployment of dependable computer-based systems. Over the years the participation of industry in SAFECOMP has grown steadily. This emphasizes the importance of technology transfer between academia and industry. SAFECOMP 2003 further sustains the healthy interchange of research results and practical experiences. The SAFECOMP 2003 program consisted of 30 papers selected from 96 submissions from all over the world. SAFECOMP 2003 acknowledges the invited keynote talks enhancing the technical and scientific merit of the conference.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $89.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Software Engineering Software Testing & Verification Computer Security Industry & Industrial Studies Industrial Relations, Health & Safety Health & Safety Issues Computer Science Artificial Intelligence Expert Systems & Knowledge-Based Systems

Business & Management Business Mathematics & Systems Computer Architecture & Logic Design

Issues in Safety Assurance	p. 1
Elicitation and Validation of Graphical Dependability Models	p. 8
Visual Modeling and Verification of Distributed Reactive Systems	p. 22
Automatic Timeliness Verification of a Public Mobile Network	p. 35
Improving System Reliability via Model Checking: The FSAP/NuSMV-SA Safety Analysis Platform	p. 49
Integrity Static Analysis of COTS/SOUP	p. 63
Safety Lifecycle for Developing Safety Critical Artificial Neural Networks	p. 77
Quantitative Reliability Estimation of a Computer-Based Motor Protection Relay Using Bayesian Networks	p. 92
A Dependability Model for Domestic Systems	p. 103
Modelling and Verification of Layered Security Protocols: A Bank Application	p. 116
A Constraint Framework for the Qualitative Analysis of Dependability Goals: Integrity	p. 130
Software Tamper Resistance Using Program Certificates	p. 144
Developing High Assurance Systems: On the Role of Software Tools	p. 159
Web Service Availability - Impact of Error Recovery	p. 165
A Unified Tool for Performance Modelling and Prediction	p. 179
An Approach to Trust Case Development	p. 193
Reliable Data Replication in a Wireless Medical Emergency Network	p. 207
Critical Feature Analysis of a Radiotherapy Machine	p. 221
Byzantine Fault Tolerance, from Theory to Reality	p. 235
Redundancy Management for Drive-by-Wire Computer Systems	p. 249
Fault-Tolerant Communication System to Improve Safety in Railway Environments	p. 263
Dependable Communication Synthesis for Distributed Embedded Systems	p. 275
Enhancing Software Safety by Fault Trees: Experiences from an Application to Flight Critical SW	p. 289
On the Role of Traceability for Standards Compliance: Tracking Requirements to Code	p. 303
Tools Supporting the Communication of Critical Domain Knowledge in High-Consequence: Systems Development	p. 317
Security Policy Configuration Issues in Grid Computing Environments	p. 331
Dependability and Survivability of Large Complex Critical Infrastructures	p. 342
Safety Assessment of Experimental Air Traffic Management Procedures	p. 354
The Application of Causal Analysis Techniques for Computer-Related Mishaps	p. 368
Reuse in Hazard Analysis: Identification and Support	p. 382
The Characteristics of Data in Data-Intensive Safety-Related Systems	p. 396
Using IEC 61508 to Guide the Investigation of Computer-Related Incidents and Accidents	p. 410
Author Index	p. 425
Table of Contents provided by Blackwell. All Rights Reserved.

Lecture Notes in Computer Science

22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Business Mathematics & Systems

Never Split the Difference

Negotiating as if Your Life Depended on It

Turn The Ship Around!

A True Story of Turning Followers into Leaders

ICT, the Business Sector and Smart Cities

Knowledge Management, Leadership, and Innovation in Digital Transformation

Navigating the Future of Organizations

Sensitivity Analysis for Business, Technology, and Policymaking

Made Easy with Simulation Decomposition (SimDec)

Information Assets

An Executive Guide to the Untapped Driver of Business Success

Information Assets

An Executive Guide to the Untapped Driver of Business Success

Recent Advances in Information Systems

Proceedings of the ICRAIS, Pointe aux Piments, Mauritius, 10-12 September 2025

XR and Metaverse

Proceedings of the 10th International XR-Metaverse Conference 2025, Maastricht, The Netherlands

Proceedings of the 6th International Conference on Research in Management & Technovation

ICRMAT-2025

The Fundamentals of Content Analytics

A Practical Guide for Marketing and Communications Professionals

A Guide to the Business Analysis Body of Knowledge - BABOK

Storytelling with Data

A Data Visualization Guide for Business Professionals, 10th Anniversary Edition

Storytelling with Data

1st Edition - A Data Visualization Guide for Business Professionals

The Communication Book

44 Ideas for Better Conversations Every Day

Difficult Conversations

How to Discuss What Matters Most

The Visual MBA

A Quick Guide to Everything You'll Learn in Two Years of Business School

Business Analytics

3rd Global Edition

Introductory Mathematical Analysis for Business, Economics, and the Life and Social Sciences

14th edition

Storytelling with Data

Before and After - Practical Makeovers for Powerful Data Stories

Essential Mathematics for Economics and Business

4th Edition

Business Analytics and Statistics

2nd Edition

Business Statistics

8th edition - Australia and New Zealand

Intermediate Financial Theory

3rd Edition

This product is categorised by