Computer Safety, Reliability, and Security

24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings

AvRune Winther,Bjoern Axel Gran

Häftad, Engelska, 2005

Del i serien Lecture Notes in Computer Science

572 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

753 kr

663 kr

967 kr

555 kr

741 kr

720 kr

741 kr

730 kr

642 kr

572 kr

Beskrivning

This book constitutes the refereed proceedings of the 24th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2005, held in Fredrikstad, Norway, in September 2005.The 30 revised full papers were carefully reviewed and selected for inclusion in the book. The papers address all aspects of dependability and survivability of critical computerized systems in various branches and infrastructures.

Produktinformation

Utgivningsdatum:2005-09-19
Mått:155 x 235 x 23 mm
Vikt:639 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:405
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540292005

Utforska kategorier

Programmeringsböcker inom Data och IT

Innehållsförteckning

CMMI RAMS Extension Based on CENELEC Railway Standard.- The Importance of Single-Source Engineering of Emergency and Process Shutdown Systems.- Combining Extended UML Models and Formal Methods to Analyze Real-Time Systems.- Defining and Decomposing Safety Policy for Systems of Systems.- Generalising Event Trees Using Bayesian Networks with a Case Study of Train Derailment.- Control and Data Flow Testing on Function Block Diagrams.- Comparing Software Measures with Fault Counts Derived from Unit-Testing of Safety-Critical Software.- Automatic Analysis of a Safety Critical Tele Control System.- A Formal Model for Fault-Tolerance in Distributed Systems.- Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier.- Using Safety Critical Artificial Neural Networks in Gas Turbine Aero-Engine Control.- On the Effectiveness of Run-Time Checks.- A Technique for Fault Tolerance Assessment of COTS Based Systems.- Finding Upper Bounds for Software Failure Probabilities – Experiments and Results.- Justification of Smart Sensors for Nuclear Applications.- Evolutionary Safety Analysis: Motivations from the Air Traffic Management Domain.- Public-Key Cryptography and Availability.- End-To-End Worst-Case Response Time Analysis for Hard Real-Time Distributed Systems.- Safety Interfaces for Component-Based Systems.- A Safety-Related PES for Task-Oriented Real-Time Execution Without Asynchronous Interrupts.- Are High-Level Languages Suitable for Robust Telecoms Software?.- Functional Apportioning of Safety Requirements on Railway Signalling Systems.- Automatic Code Generation for PLC Controllers.- The TACO Approach for Traceability and Communication of Requirements.- An IEC 62061 Compliant Safety System Design Method for Machinery.- Design Evaluation: Estimating MultipleCritical Performance and Cost Impacts of Designs.- The Application of an Object-Oriented Method in Information System Security Evaluation.- Towards a Cyber Security Reporting System – A Quality Improvement Process.- Security Research from a Multi-disciplinary and Multi-sectoral Perspective.- Problem Frames and Architectures for Security Problems.

Mer från samma författare

Computer Safety, Reliability, and Security

Gustav Dahll, Bjoern Axel Gran, Rune Winther

E-bok

2005

739 kr

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

555 kr

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang - Knowledge Graphs, Häftad

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

933 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

572 kr

Del 16096

Energy Informatics

Ivo Martinac, Bo Nørregaard Jørgensen, Zheng Grace Ma, Rúnar Unnþórsson, Chiara Bordin

Häftad, 2025

842 kr

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott - Biomimetic and Biohybrid Systems, Häftad

Del 15582

Biomimetic and Biohybrid Systems

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott

Häftad, 2025

1 022 kr

Extended Reality

Lucio Tommaso De Paolis, Pasquale Arpaia, Marco Sacco

Häftad, 2026

1 164 kr

Reliable Software Technologies - Ada-Europe '98

Lars Asplund

Häftad, 1998

572 kr

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson - Advanced Parallel Processing Technologies, Häftad

Nyhet

Del 16693

Advanced Parallel Processing Technologies

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson

Häftad, 2026

1 024 kr

Del 16832

Progress in Cryptology - AFRICACRYPT 2026

Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez

Häftad, 2026

933 kr

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek - Electronic Participation, Häftad

Nyhet

Electronic Participation

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek

Häftad, 2026

730 kr

Du kanske också är intresserad av

10% rabatt på allt

L'amour toujours : Berättelsen om Tidö

Maggie Strömberg, Torbjörn Nilsson

Inbunden, 2026

275 kr

Del 10489

Computer Safety, Reliability, and Security

Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch

Häftad, 2017

572 kr

Computer Safety, Reliability, and Security

Floor Koornneef, Meine van der Meulen

Häftad, 2000

571 kr

Computer Safety, Reliability, and Security

Gustav Dahll, Bjoern Axel Gran, Rune Winther

E-bok

2005

739 kr

Computer Safety, Reliability, and Security

Francesca Saglietti, Norbert Oster

Häftad, 2007

572 kr

Computer Safety, Reliability and Security

Udo Voges

Häftad, 2001

571 kr

Del 11698

Computer Safety, Reliability, and Security

Alexander Romanovsky, Elena Troubitsyna, Friedemann Bitsch

Häftad, 2019

663 kr

Computer Safety, Reliability, and Security

Stuart Anderson, Massimo Felici, Bev Littlewood

Häftad, 2003

572 kr

Del 12234

Computer Safety, Reliability, and Security

António Casimiro, Frank Ortmeier, Friedemann Bitsch, Pedro Ferreira

Häftad, 2020

967 kr

Del 9337

Computer Safety, Reliability, and Security

Floor Koornneef, Coen van Gulijk

Häftad, 2015

572 kr

Computer Safety, Reliability, and Security

24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings

AvRune Winther,Bjoern Axel Gran

Häftad, Engelska, 2005

Del i serien Lecture Notes in Computer Science

572 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

753 kr

663 kr

967 kr

555 kr

741 kr

720 kr

741 kr

730 kr

642 kr

572 kr

Beskrivning

Produktinformation

Utgivningsdatum:2005-09-19
Mått:155 x 235 x 23 mm
Vikt:639 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:405
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540292005

Utforska kategorier

Programmeringsböcker inom Data och IT

Innehållsförteckning

CMMI RAMS Extension Based on CENELEC Railway Standard.- The Importance of Single-Source Engineering of Emergency and Process Shutdown Systems.- Combining Extended UML Models and Formal Methods to Analyze Real-Time Systems.- Defining and Decomposing Safety Policy for Systems of Systems.- Generalising Event Trees Using Bayesian Networks with a Case Study of Train Derailment.- Control and Data Flow Testing on Function Block Diagrams.- Comparing Software Measures with Fault Counts Derived from Unit-Testing of Safety-Critical Software.- Automatic Analysis of a Safety Critical Tele Control System.- A Formal Model for Fault-Tolerance in Distributed Systems.- Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier.- Using Safety Critical Artificial Neural Networks in Gas Turbine Aero-Engine Control.- On the Effectiveness of Run-Time Checks.- A Technique for Fault Tolerance Assessment of COTS Based Systems.- Finding Upper Bounds for Software Failure Probabilities – Experiments and Results.- Justification of Smart Sensors for Nuclear Applications.- Evolutionary Safety Analysis: Motivations from the Air Traffic Management Domain.- Public-Key Cryptography and Availability.- End-To-End Worst-Case Response Time Analysis for Hard Real-Time Distributed Systems.- Safety Interfaces for Component-Based Systems.- A Safety-Related PES for Task-Oriented Real-Time Execution Without Asynchronous Interrupts.- Are High-Level Languages Suitable for Robust Telecoms Software?.- Functional Apportioning of Safety Requirements on Railway Signalling Systems.- Automatic Code Generation for PLC Controllers.- The TACO Approach for Traceability and Communication of Requirements.- An IEC 62061 Compliant Safety System Design Method for Machinery.- Design Evaluation: Estimating MultipleCritical Performance and Cost Impacts of Designs.- The Application of an Object-Oriented Method in Information System Security Evaluation.- Towards a Cyber Security Reporting System – A Quality Improvement Process.- Security Research from a Multi-disciplinary and Multi-sectoral Perspective.- Problem Frames and Architectures for Security Problems.

Mer från samma författare

Computer Safety, Reliability, and Security

Gustav Dahll, Bjoern Axel Gran, Rune Winther

E-bok

2005

739 kr

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

555 kr

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

933 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

572 kr

Del 16096

Energy Informatics

Ivo Martinac, Bo Nørregaard Jørgensen, Zheng Grace Ma, Rúnar Unnþórsson, Chiara Bordin

Häftad, 2025

842 kr

Del 15582

Biomimetic and Biohybrid Systems

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott

Häftad, 2025

1 022 kr

Extended Reality

Lucio Tommaso De Paolis, Pasquale Arpaia, Marco Sacco

Häftad, 2026

1 164 kr

Reliable Software Technologies - Ada-Europe '98

Lars Asplund

Häftad, 1998

572 kr

Nyhet

Del 16693

Advanced Parallel Processing Technologies

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson

Häftad, 2026

1 024 kr

Del 16832

Progress in Cryptology - AFRICACRYPT 2026

Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez

Häftad, 2026

933 kr

Nyhet

Electronic Participation

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek

Häftad, 2026

730 kr