• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

10% studentrabatt med kod TERM26

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare

    Mina sidor

      Hjälp

      • Kundservice
      • Vanliga frågor och svar
      • Frakt och leverans
      • Retur vid ångerrätt
      • Reklamera vara
      • Betalning
      • Köpvillkor
      • Allmänna villkor
      • Information om webbplatsens tillgänglighet

      Om Bokus

      • Om oss
      • Pressrum
      • För studenter
      • För företag
      • För bibliotek och offentlig verksamhet
      • För leverantörer
      • Hållbarhet

      Populärt

      • Aktuella erbjudanden
      • Presentkort
      • Studentlitteratur
      • Nya böcker
      • Topplistor
      • Signerade böcker
      • Engelska böcker

      Inspiration

      • Boktips
      • BookTok
      • Populära bokserier
      • Barnbokskaraktärer
      • Populära författare
      Logotyp för Bokus
      Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
      bokus @ CookiesAnpassa cookiesIntegritetspolicyKöpvillkor
      Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
      1. Data och IT
      2. Programmeringsböcker

      Computer Safety, Reliability, and Security

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

      AvStuart Anderson,Massimo Felici

      Häftad, Engelska, 2003

      Del i serien Lecture Notes in Computer Science

      566 kr

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

      Beskrivning

      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.

      Produktinformation

      • Utgivningsdatum:2003-09-12
      • Mått:155 x 235 x 25 mm
      • Vikt:674 g
      • Format:Häftad
      • Språk:Engelska
      • Serie:Lecture Notes in Computer Science
      • Antal sidor:426
      • Upplaga:2003
      • Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
      • ISBN:9783540201267

      Utforska kategorier

      • Programmeringsböcker inom Data och IT

      Innehållsförteckning

      • Keynote Talk.- Issues in Safety Assurance.- Formal Methods.- Elicitation and Validation of Graphical Dependability Models.- Visual Modeling and Verification of Distributed Reactive Systems.- Automatic Timeliness Verification of a Public Mobile Network.- Improving System Reliability via Model Checking: The FSAP/NuSMV-SA Safety Analysis Platform.- Design for Dependability.- Integrity Static Analysis of COTS/SOUP.- Safety Lifecycle for Developing Safety Critical Artificial Neural Networks.- Quantitative Reliability Estimation of a Computer-Based Motor Protection Relay Using Bayesian Networks.- A Dependability Model for Domestic Systems.- Security and Formal Methods.- Modelling and Verification of Layered Security Protocols: A Bank Application.- A Constraint Framework for the Qualitative Analysis of Dependability Goals: Integrity.- Software Tamper Resistance Using Program Certificates.- Keynote Talk.- Developing High Assurance Systems: On the Role of Software Tools.- Dependability and Performance Analysis.- Web Service Availability – Impact of Error Recovery.- A Unified Tool for Performance Modelling and Prediction.- Dependability of Medical Systems.- An Approach to Trust Case Development.- Reliable Data Replication in a Wireless Medical Emergency Network.- Critical Feature Analysis of a Radiotherapy Machine.- Fault Tolerance.- Byzantine Fault Tolerance, from Theory to Reality.- Redundancy Management for Drive-by-Wire Computer Systems.- Fault-Tolerant Communication System to Improve Safety in Railway Environments.- Dependable Communication Synthesis for Distributed Embedded Systems.- Tools for Dependable Design.- Enhancing Software Safety by Fault Trees: Experiences from an Application to Flight Critical SW.- On the Role of Traceability for Standards Compliance: TrackingRequirements to Code.- Tools Supporting the Communication of Critical Domain Knowledge in High-Consequence Systems Development.- Dependability of Critical Infrastructures.- Security Policy Configuration Issues in Grid Computing Environments.- Dependability and Survivability of Large Complex Critical Infrastructures.- Hazard and Safety Analysis.- Safety Assessment of Experimental Air Traffic Management Procedures.- The Application of Causal Analysis Techniques for Computer-Related Mishaps.- Reuse in Hazard Analysis: Identification and Support.- Design for Dependability.- The Characteristics of Data in Data-Intensive Safety-Related Systems.- Using IEC 61508 to Guide the Investigation of Computer-Related Incidents and Accidents.
      Hoppa över listan

      Du kanske också är intresserad av

      Stuart Anderson, Sandro Bologna, Massimo Felici - Computer Safety, Reliability and Security, Häftad

      Computer Safety, Reliability and Security

      Stuart Anderson, Sandro Bologna, Massimo Felici

      Häftad, 2002

      566 kr

      Stuart Anderson, Massimo Felici - Emerging Technological Risk, Inbunden

      Emerging Technological Risk

      Stuart Anderson, Massimo Felici

      Inbunden, 2012

      1 092 kr

      Massimo Felici, Stuart Anderson - Emerging Technological Risk, E-bok

      Emerging Technological Risk

      Massimo Felici, Stuart Anderson

      E-bok
      2012

      1 413 kr

      Stuart Anderson, Massimo Felici - Emerging Technological Risk, Häftad

      Emerging Technological Risk

      Stuart Anderson, Massimo Felici

      Häftad, 2014

      1 092 kr

      Bev Littlewood, Massimo Felici, Stuart Anderson - Computer Safety, Reliability, and Security, E-bok

      Computer Safety, Reliability, and Security

      Bev Littlewood, Massimo Felici, Stuart Anderson

      E-bok
      2003

      732 kr

      Massimo Felici, Sandro Bologna, Stuart Anderson - Computer Safety, Reliability and Security, E-bok

      Computer Safety, Reliability and Security

      Massimo Felici, Sandro Bologna, Stuart Anderson

      E-bok
      2003

      732 kr

      Brian Randell, Jean-Claude Laprie, Hermann Kopetz, Bev Littlewood - Predictably Dependable Computing Systems, Häftad

      Predictably Dependable Computing Systems

      Brian Randell, Jean-Claude Laprie, Hermann Kopetz, Bev Littlewood

      Häftad, 2011

      1 124 kr

      Bev Littlewood, Hermann Kopetz, Jean-Claude Laprie, Brian Randell - Predictably Dependable Computing Systems, E-bok

      Predictably Dependable Computing Systems

      Bev Littlewood, Hermann Kopetz, Jean-Claude Laprie, Brian Randell

      E-bok
      2013

      1 459 kr

      Frances Cleary, Massimo Felici - Cyber Security and Privacy, Häftad
      Del 530

      Cyber Security and Privacy

      Frances Cleary, Massimo Felici

      Häftad, 2015

      549 kr

      Carmen Fernandez-Gago, Massimo Felici - Accountability and Security in the Cloud, E-bok

      Accountability and Security in the Cloud

      Carmen Fernandez-Gago, Massimo Felici

      E-bok
      2015

      732 kr