Borrow it
Coverart for item
The Resource Dependable computing EDCC-4 : 4th European Dependable Computing Conference, Toulouse, France, October 23-25, 2002 : proceedings, Andrea Bondavalli, Pascale Thevenod-Fosse (eds.), (electronic resource)

Dependable computing EDCC-4 : 4th European Dependable Computing Conference, Toulouse, France, October 23-25, 2002 : proceedings, Andrea Bondavalli, Pascale Thevenod-Fosse (eds.), (electronic resource)

Creator
Contributor
Summary
This book constitutes the refereed proceedings of the 4th European Dependable Computing Conference, EDCC-4, held in Toulouse, France in October 2002. The 16 revised full papers presented together with some panel statements were carefully reviewed and selected from 51 submissions. The papers are organized in topical sections on modeling and evaluation, agreement protocols, error detection and fault tolerance, experimental valiation, distributed algorithms, and real-time
Language
eng
Work
Publication
Extent
1 online resource (xiii, 282 pages)
Contents
  • Keynote Talk
  • Use and Misuse of Safety Models in Design
  • Modeling and Evaluation
  • On the Effects of Outages on the QoS of GPRS Networks under Different User Characterizations
  • Combination of Fault Tree Analysis and Model Checking for Safety Assessment of Complex System
  • BPM Based Robust E-business Application Development
  • Agreement Protocols
  • Solving Agreement Problems with Weak Ordering Oracles
  • An Efficient Solution to the k-Set Agreement Problem
  • Fast Abstracts I
  • Novel Approaches in Dependable Computing
  • An Immune System Paradigm for the Design of Fault Tolerant Systems
  • Security and Survivability of Large Scale Critical Infrastructures
  • An Architectural Approach to Fault Treatment in Critical Infrastructures
  • Biologically Inspired Fault-Tolerant Computer Systems
  • Error Detection and Fault Tolerance
  • Test Set Embedding Based on Phase Shifters
  • Reset-Driven Fault Tolerance
  • Towards Dependability Modeling of FT-CORBA Architectures
  • Experimental Validation
  • Experimental Evaluation of the Unavailability Induced by a Group Membership Protocol
  • UMLinux
  • A Versatile SWIFI Tool
  • A Methodology for Dependability Evaluation of the Time-Triggered Architecture Using Software Implemented Fault Injection
  • Distributed Algorithms
  • Fast Indulgent Consensus with Zero Degradation
  • Probabilistic Queries in Large-Scale Networks
  • Distributed Algorithms
  • Towards Information Society Dependability Initiative in FP6: Roadmapping Activities in Dependability
  • Real-Time
  • The Design of a COTS Real-Time Distributed Security Kernel
  • Wrapping Real-time Systems from Temporal Logic Specifications
  • Model-Based Dependability Evaluation Method for TTP/C Based Systems
Isbn
9783540360803
Link
http://dx.doi.org/10.1007/3-540-36080-8
Instance
Label
Dependable computing EDCC-4 : 4th European Dependable Computing Conference, Toulouse, France, October 23-25, 2002 : proceedings
Title
Dependable computing EDCC-4
Title remainder
4th European Dependable Computing Conference, Toulouse, France, October 23-25, 2002 : proceedings
Statement of responsibility
Andrea Bondavalli, Pascale Thevenod-Fosse (eds.)
Creator
Contributor
Subject
Genre
Language
eng
Summary
This book constitutes the refereed proceedings of the 4th European Dependable Computing Conference, EDCC-4, held in Toulouse, France in October 2002. The 16 revised full papers presented together with some panel statements were carefully reviewed and selected from 51 submissions. The papers are organized in topical sections on modeling and evaluation, agreement protocols, error detection and fault tolerance, experimental valiation, distributed algorithms, and real-time
Member of
Cataloging source
COO
Dewey number
004.2
Illustrations
illustrations
Index
index present
LC call number
QA76.9.F3
LC item number
E33 2002
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2002
http://bibfra.me/vocab/lite/meetingName
European Dependable Computing Conference
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
Bondavalli, Andrea
Series statement
Lecture notes in computer science
Series volume
2485
http://library.link/vocab/subjectName
  • Fault-tolerant computing
  • Electronic digital computers
  • Electronic digital computers
  • Fault-tolerant computing
  • Storingsbestendige computersystemen
Label
Dependable computing EDCC-4 : 4th European Dependable Computing Conference, Toulouse, France, October 23-25, 2002 : proceedings, Andrea Bondavalli, Pascale Thevenod-Fosse (eds.), (electronic resource)
Link
http://dx.doi.org/10.1007/3-540-36080-8
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Keynote Talk -- Use and Misuse of Safety Models in Design -- Modeling and Evaluation -- On the Effects of Outages on the QoS of GPRS Networks under Different User Characterizations -- Combination of Fault Tree Analysis and Model Checking for Safety Assessment of Complex System -- BPM Based Robust E-business Application Development -- Agreement Protocols -- Solving Agreement Problems with Weak Ordering Oracles -- An Efficient Solution to the k-Set Agreement Problem -- Fast Abstracts I -- Novel Approaches in Dependable Computing -- An Immune System Paradigm for the Design of Fault Tolerant Systems -- Security and Survivability of Large Scale Critical Infrastructures -- An Architectural Approach to Fault Treatment in Critical Infrastructures -- Biologically Inspired Fault-Tolerant Computer Systems -- Error Detection and Fault Tolerance -- Test Set Embedding Based on Phase Shifters -- Reset-Driven Fault Tolerance -- Towards Dependability Modeling of FT-CORBA Architectures -- Experimental Validation -- Experimental Evaluation of the Unavailability Induced by a Group Membership Protocol -- UMLinux -- A Versatile SWIFI Tool -- A Methodology for Dependability Evaluation of the Time-Triggered Architecture Using Software Implemented Fault Injection -- Distributed Algorithms -- Fast Indulgent Consensus with Zero Degradation -- Probabilistic Queries in Large-Scale Networks -- Distributed Algorithms -- Towards Information Society Dependability Initiative in FP6: Roadmapping Activities in Dependability -- Real-Time -- The Design of a COTS Real-Time Distributed Security Kernel -- Wrapping Real-time Systems from Temporal Logic Specifications -- Model-Based Dependability Evaluation Method for TTP/C Based Systems
Dimensions
unknown
Extent
1 online resource (xiii, 282 pages)
Form of item
online
Isbn
9783540360803
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
illustrations.
Specific material designation
remote
System control number
  • (OCoLC)51215532
  • (OCoLC)ocm51215532
Label
Dependable computing EDCC-4 : 4th European Dependable Computing Conference, Toulouse, France, October 23-25, 2002 : proceedings, Andrea Bondavalli, Pascale Thevenod-Fosse (eds.), (electronic resource)
Link
http://dx.doi.org/10.1007/3-540-36080-8
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Keynote Talk -- Use and Misuse of Safety Models in Design -- Modeling and Evaluation -- On the Effects of Outages on the QoS of GPRS Networks under Different User Characterizations -- Combination of Fault Tree Analysis and Model Checking for Safety Assessment of Complex System -- BPM Based Robust E-business Application Development -- Agreement Protocols -- Solving Agreement Problems with Weak Ordering Oracles -- An Efficient Solution to the k-Set Agreement Problem -- Fast Abstracts I -- Novel Approaches in Dependable Computing -- An Immune System Paradigm for the Design of Fault Tolerant Systems -- Security and Survivability of Large Scale Critical Infrastructures -- An Architectural Approach to Fault Treatment in Critical Infrastructures -- Biologically Inspired Fault-Tolerant Computer Systems -- Error Detection and Fault Tolerance -- Test Set Embedding Based on Phase Shifters -- Reset-Driven Fault Tolerance -- Towards Dependability Modeling of FT-CORBA Architectures -- Experimental Validation -- Experimental Evaluation of the Unavailability Induced by a Group Membership Protocol -- UMLinux -- A Versatile SWIFI Tool -- A Methodology for Dependability Evaluation of the Time-Triggered Architecture Using Software Implemented Fault Injection -- Distributed Algorithms -- Fast Indulgent Consensus with Zero Degradation -- Probabilistic Queries in Large-Scale Networks -- Distributed Algorithms -- Towards Information Society Dependability Initiative in FP6: Roadmapping Activities in Dependability -- Real-Time -- The Design of a COTS Real-Time Distributed Security Kernel -- Wrapping Real-time Systems from Temporal Logic Specifications -- Model-Based Dependability Evaluation Method for TTP/C Based Systems
Dimensions
unknown
Extent
1 online resource (xiii, 282 pages)
Form of item
online
Isbn
9783540360803
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
illustrations.
Specific material designation
remote
System control number
  • (OCoLC)51215532
  • (OCoLC)ocm51215532

Subject

Genre

Member of

Library Locations

  • Architecture LibraryBorrow it
    Gould Hall 830 Van Vleet Oval Rm. 105, Norman, OK, 73019, US
    35.205706 -97.445050
  • Bizzell Memorial LibraryBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Boorstin CollectionBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Chinese Literature Translation ArchiveBorrow it
    401 W. Brooks St., RM 414, Norman, OK, 73019, US
    35.207487 -97.447906
  • Engineering LibraryBorrow it
    Felgar Hall 865 Asp Avenue, Rm. 222, Norman, OK, 73019, US
    35.205706 -97.445050
  • Fine Arts LibraryBorrow it
    Catlett Music Center 500 West Boyd Street, Rm. 20, Norman, OK, 73019, US
    35.210371 -97.448244
  • Harry W. Bass Business History CollectionBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • History of Science CollectionsBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • John and Mary Nichols Rare Books and Special CollectionsBorrow it
    401 W. Brooks St., Rm. 509NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • Library Service CenterBorrow it
    2601 Technology Place, Norman, OK, 73019, US
    35.185561 -97.398361
  • Price College Digital LibraryBorrow it
    Adams Hall 102 307 West Brooks St., Norman, OK, 73019, US
    35.210371 -97.448244
  • Western History CollectionsBorrow it
    Monnet Hall 630 Parrington Oval, Rm. 300, Norman, OK, 73019, US
    35.209584 -97.445414

Library Links

Zepheira Logo
Structured data from the Bibframe namespace is licensed under the Creative Commons Attribution 4.0 International License by University of Oklahoma Libraries. Additional terms may apply to data associated with third party namespaces.
Processing Feedback ...