• 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

Upp till 20% på populära nyheter →

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 @ 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. Systemvetenskap och AI

      Dependable Computing for Critical Applications 3

      AvCarl E. Landwehr,Brian Randell

      Häftad, Engelska, 2013

      Del i serien Dependable Computing and Fault-Tolerant Systems

      558 kr

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

      Beskrivning

      This volume contains the papers presented. at the Third IFIP International Working Conference on Dependable Computing for Critical Applications, sponsored by IFIP Working Group 10.4 and held in Mondello (Sicily), Italy on September 14-16, 1992. System developers increasingly apply computers where they can affect the safety and security of people and equipment. The Third IFIP International Working Conference on Dependable Computing for Critical Applications, like its predecessors, addressed various aspects of computer system dependability, a broad term defined as the degree of trust that may justifiably be placed in a system's reliability, availability, safety, security, and performance. Because the scope of the conference was so broad, we hope the presentations and discussions will contribute to the integration of these concepts so that future computer-based systems will indeed be more dependable. The Program Committee selected 18 papers for presentation from a total of 7 4 submissions at a May meeting in Newcastle upon Tyne, UK. The resulting program represented a broad spectrum of interests, with papers from universities, corporations, and government agencies in eight countries. Much diligent work by the Program Committee and the quality of reviews from more than a hundred external referees from around the world, for which we are most grateful, significantly eased the production of this technical program.

      Produktinformation

      • Utgivningsdatum:2013-11-20
      • Mått:170 x 244 x 22 mm
      • Vikt:688 g
      • Format:Häftad
      • Språk:Engelska
      • Serie:Dependable Computing and Fault-Tolerant Systems
      • Antal sidor:384
      • Förlag:Springer Verlag GmbH
      • ISBN:9783709140116

      Utforska kategorier

      • Systemvetenskap och AI inom Data och IT
      • Programvaruutveckling inom Data och IT
      • Motorfordon inom Naturvetenskap och teknik

      Innehållsförteckning

      • Functional Testing.- On Functional Statistical Testing Designed from Software Behavior Models.- Functional Test Case Generation for Real-Time Systems.- Specification and Verification of Fault Tolerance.- Design for Dependability.- Tracing Fault Tolerance.- Dependability and Performance.- Evaluation of Fault-Tolerant Software: A Performability Modeling Approach.- On the Transient Analysis of Stiff Markov Chains.- Application of Formal Methods.- Formal Techniques for Synchronized Fault-Tolerant Systems.- Compiler Correctness and Input/Output.- On Line Error Detection.- Control Flow Checking in Object-Based Distributed Systems.- Safety-Critical Industrial Systems.- A “Strongly-Fail-Safe Majority Voted Output” Circuit used for Designing Dependable Computer Systems.- Dependable Computing for Railway Control Systems.- Experimental Evaluation.- A Hybrid Monitor Assisted Fault Injection Environment.- Space/Time Overhead Analysis and Experiments with Techniques for Fault Tolerance.- Protocols for Dependability.- Primary-Backup Protocols: Lower Bounds and Optimal Implementations.- A Linguistic Framework for Dynamic Composition of Dependability Protocols.- Using Two-Phase Commit for Crash Recovery in Federated Multilevel Secure Database Management Systems.- Author Index.
      Hoppa över listan

      Du kanske också är intresserad av

      Carola Häggkvist, Desirée Stattin Drakenberg - Jag är Carola : Del 1. Frigörelsen, Inbunden
      • Nyhet

      Jag är Carola : Del 1. Frigörelsen

      Carola Häggkvist, Desirée Stattin Drakenberg

      Inbunden, 2026

      289 kr

      Luca Simoncini, Brian Randell, Carl E. Landwehr - Dependable Computing for Critical Applications 3, E-bok

      Dependable Computing for Critical Applications 3

      Luca Simoncini, Brian Randell, Carl E. Landwehr

      E-bok
      2013

      718 kr

      Andrzej Hlawiczka, Joao G.S. Silva, Luca Simoncini - Dependable Computing - EDCC-2, Häftad

      Dependable Computing - EDCC-2

      Andrzej Hlawiczka, Joao G.S. Silva, Luca Simoncini

      Häftad, 1996

      574 kr

      Dusko Pavlovic, Jose Meseguer, Carl E. Landwehr, Joshua D. Guttman - Foundations of Security, Protocols, and Equational Reasoning, E-bok

      Foundations of Security, Protocols, and Equational Reasoning

      Dusko Pavlovic, Jose Meseguer, Carl E. Landwehr, Joshua D. Guttman

      E-bok
      2019

      734 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 142 kr

      Joshua D. Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic - Foundations of Security, Protocols, and Equational Reasoning, Häftad
      Del 11565

      Foundations of Security, Protocols, and Equational Reasoning

      Joshua D. Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic

      Häftad, 2019

      574 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 470 kr

      Hermann Kopetz, Yoshiaki Kakuda - Responsive Computer Systems, Häftad
      Del 7

      Responsive Computer Systems

      Hermann Kopetz, Yoshiaki Kakuda

      Häftad, 2012

      558 kr

      John F. Meyer, Richard D. Schlichting - Dependable Computing for Critical Applications 2, Häftad

      Dependable Computing for Critical Applications 2

      John F. Meyer, Richard D. Schlichting

      Häftad, 2012

      558 kr

      Udo Voges - Software Diversity in Computerized Control Systems, Häftad

      Software Diversity in Computerized Control Systems

      Udo Voges

      Häftad, 2012

      558 kr