MARC details
| 000 -LEADER |
|---|
| fixed length control field |
08835cam a2200937 a 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocn262677939 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250703144529.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS |
|---|
| fixed length control field |
m o d |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr cn||||||||| |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
081017s2005 gw a ob 101 u eng d |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
GW5XE |
| Language of cataloging |
eng |
| Description conventions |
pn |
| Transcribing agency |
GW5XE |
| Modifying agency |
OCLCQ |
| -- |
YNG |
| -- |
Z5A |
| -- |
E7B |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
NLGGC |
| -- |
OCLCF |
| -- |
BEDGE |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
YDXCP |
| -- |
OCL |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
EBLCP |
| -- |
UAB |
| -- |
ESU |
| -- |
OCLCQ |
| -- |
U3W |
| -- |
BUF |
| -- |
OCLCQ |
| -- |
TFW |
| -- |
WYU |
| -- |
ICG |
| -- |
OCLCQ |
| -- |
WURST |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
COM |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCL |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCL |
| 019 ## - |
|---|
| -- |
150413199 |
| -- |
648147501 |
| -- |
769767922 |
| -- |
785777260 |
| -- |
1058314697 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783540320197 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3540320199 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3540257233 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783540257233 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000048655295 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000060029674 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NLGGC |
| System control number |
298927209 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
13657970 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000060388030 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)262677939 |
| Canceled/invalid control number |
(OCoLC)150413199 |
| -- |
(OCoLC)648147501 |
| -- |
(OCoLC)769767922 |
| -- |
(OCoLC)785777260 |
| -- |
(OCoLC)1058314697 |
| 037 ## - SOURCE OF ACQUISITION |
|---|
| Stock number |
978-3-540-25723-3 |
| Source of stock number/acquisition |
Springer |
| Note |
http://www.springerlink.com |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.9.F38 |
| Item number |
E95 2005eb |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
004.2 |
| Edition number |
22 |
| -- |
https://id.oclc.org/worldcat/ddc/E4bXkP8PmmymY3RxDX9GtJQFQP |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
54.39 |
| Number source |
bcl |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 111 2# - MAIN ENTRY--MEETING NAME |
|---|
| Meeting name or jurisdiction name as entry element |
European Dependable Computing Conference |
| Number of part/section/meeting |
(5th : |
| Date of meeting |
2005 : |
| Location of meeting |
Budapest, Hungary) |
| 9 (RLIN) |
25893 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Dependable computing EDCC-5 : |
| Remainder of title |
5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005 : proceedings / |
| Statement of responsibility, etc. |
Mario Dal Cin, Mohamed Kaâniche, András Pataricza (eds.). |
| 246 30 - VARYING FORM OF TITLE |
|---|
| Title proper/short title |
EDCC-5 |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc. |
Berlin ; |
| -- |
New York : |
| Name of publisher, distributor, etc. |
Springer, |
| Date of publication, distribution, etc. |
©2005. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (xvi, 472 pages) : |
| Other physical details |
illustrations |
| 336 ## - CONTENT TYPE |
|---|
| Content type term |
text |
| Content type code |
txt |
| Source |
rdacontent |
| 337 ## - MEDIA TYPE |
|---|
| Media type term |
computer |
| Media type code |
c |
| Source |
rdamedia |
| 338 ## - CARRIER TYPE |
|---|
| Carrier type term |
online resource |
| Carrier type code |
cr |
| Source |
rdacarrier |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture notes in computer science, |
| International Standard Serial Number |
0302-9743 ; |
| Volume/sequential designation |
3463 |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references and index. |
| 588 0# - SOURCE OF DESCRIPTION NOTE |
|---|
| Source of description note |
Print version record. |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Keynote I -- A Process Toward Total Dependability -- Airbus Fly-by-Wire Paradigm -- Session 1A: Distributed Algorithms -- Building and Using Quorums Despite any Number of Process of Crashes -- Failure Detection with Booting in Partially Synchronous Systems -- Total Order Communications: A Practical Analysis -- Gracefully Degrading Fair Exchange with Security Modules -- Session 1B: Fault Tolerant Design and Protocols -- Adding Fault-Tolerance Using Pre-synthesized Components -- Efficiency of Dynamic Arbitration in TDMA Protocols -- An Architectural Framework for Detecting Process Hangs/Crashes -- Energy Efficient Configuration for QoS in Reliable Parallel Servers -- Session 2A: Practical Experience Reports and Tools I -- Novel Generic Middleware Building Blocks for Dependable Modular Avionics Systems -- Integrating Fault Tolerance and Load Balancing in Distributed Systems Based on CORBA -- Performance Evaluation of Consistent Recovery Protocols Using MPICH-GF -- Session 2B: Assessment and Analysis -- An Approach to Experimentally Obtain Service Dependability Characteristics of the Jgroup/ARM System -- The Effectiveness of Choice of Programming Language as a Diversity Seeking Decision -- Formal Safety Analysis of a Radio-Based Railroad Crossing Using Deductive Cause-Consequence Analysis (DCCA) -- Panel -- Dependability Challenges and Education Perspectives -- Keynote II -- Availability in Industry and Science -- A Business Perspective -- Session 3A: Measurement -- Fast Run-Time Reconfiguration for SEU Injection -- Assembly-Level Pre-injection Analysis for Improving Fault Injection Efficiency -- A Data Mining Approach to Identify Key Factors in Dependability Experiments -- Session 3B: Practical Experience Reports and Tools II -- PathCrawler: Automatic Generation of Path Tests by Combining Static and Dynamic Analysis -- A New Methodology and Tool Set to Execute Software Test on Real-Time Safety-Critical Systems -- A Grey-Box Approach to the Functional Testing of Complex Automatic Train Protection Systems -- Session 4A: Hardware Verification -- Deterministic Test Vector Compression / Decompression Using an Embedded Processor -- Efficient Single-Pattern Fault Simulation on Structurally Synthesized BDDs -- Session 4B: Fast Abstracts I Session 5A: Dependable Networking -- Structure-Based Resilience Metrics for Service-Oriented Networks -- Efficient Protection of Many-to-One Communications -- Session 5B: Fast Abstracts II Session 6A: Practical Experience Reports and Tools III -- Impact of Faults in Combinational Logic of Commercial Microcontrollers -- Implementation of a Testing and Diagnostic Concept for an NPP Reactor Protection System -- COMPAS -- Compressed Test Pattern Sequencer for Scan Based Circuits -- Session 6B: Reliability Engineering and Testing -- Fault Links: Exploring the Relationship Between Module and Fault Types -- Model-Based Identification of Fault-Prone Components -- Regression Test Selection for Testable Classes. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
It is always a special honor to chair the European Dependable Computing C- ference (EDCC). EDCC has become one of the well-established conferences in the?eld of dependability in the European research area. Budapest was selected as the host of this conference due to its traditions in organizing international scienti?c events and its traditional role of serving as a meeting point between East and West. EDCC-5 was the?fth in the series of these high-quality scienti?c conf- ences. In addition to the overall signi?cance of such a pan-European event, this year's conference was a special one due to historic reasons. The roots of EDCC date back to the moment when the Iron Curtain fell. Originally, two groups of scientists from di?erent European countries in Western and Eastern Europe - who were active in research and education related to dependability created a - joint forum in order to merge their communities as early as in 1989. This trend has continued up to today. This year's conference was the?rst one where the overwhelming majority of the research groups belong to the family of European nations united in the European Union. During the past 16 years we observed that the same roots in all the professional, cultural and scienti?c senses led to a seamless integration of these research communities previously separated ar-?cially for a long time. EDCC has become one of the main European platforms to exchange new - searchideasinthe?eldofdependability. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Fault-tolerant computing |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
17073 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Electronic digital computers |
| General subdivision |
Reliability |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
17211 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computers |
| General subdivision |
Reliability |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
25116 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Tolérance aux fautes (Informatique) |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
22388 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Ordinateurs |
| General subdivision |
Fiabilité |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
25894 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Informatique. |
| Source of heading or term |
eclas |
| 9 (RLIN) |
14930 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computers |
| General subdivision |
Reliability |
| Source of heading or term |
fast |
| 9 (RLIN) |
23222 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Electronic digital computers |
| General subdivision |
Reliability |
| Source of heading or term |
fast |
| 9 (RLIN) |
17212 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Fault-tolerant computing |
| Source of heading or term |
fast |
| 9 (RLIN) |
17074 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Fiabilité |
| Source of heading or term |
rasuqam |
| 9 (RLIN) |
25895 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Ordinateur. |
| Source of heading or term |
rasuqam |
| 9 (RLIN) |
19669 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Système informatique. |
| Source of heading or term |
rasuqam |
| 9 (RLIN) |
19608 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Tolérance aux fautes (Informatique) |
| Source of heading or term |
rasuqam |
| 9 (RLIN) |
21917 |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
computer hardware |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
systemen |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
systems |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
systeemanalyse |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
systems analysis |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
computerwetenschappen |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
computer sciences |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
software engineering |
| 653 10 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Information and Communication Technology (General) |
| 653 10 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Informatie- en communicatietechnologie (algemeen) |
| 655 #2 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Congress |
| 9 (RLIN) |
11670 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
proceedings (reports) |
| Source of term |
aat |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Conference papers and proceedings |
| Source of term |
fast |
| 9 (RLIN) |
6065 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Conference papers and proceedings. |
| Source of term |
lcgft |
| 9 (RLIN) |
6065 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Actes de congrès. |
| Source of term |
rvmgf |
| 9 (RLIN) |
609890 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Dal Cin, Mario, |
| Dates associated with a name |
1940- |
| -- |
https://id.oclc.org/worldcat/entity/E39PCjG879BGbvJF6B73HMg3Qq |
| 9 (RLIN) |
25896 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Kaaniche, Mohamed. |
| 9 (RLIN) |
25897 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Pataricza, András, |
| Dates associated with a name |
1954- |
| -- |
https://id.oclc.org/worldcat/entity/E39PCjKGgCfB6VgQKryK6BdD4m |
| 9 (RLIN) |
25898 |
| 758 ## - |
|---|
| -- |
has work: |
| -- |
Dependable computing EDCC-5 (Text) |
| -- |
https://id.oclc.org/worldcat/entity/E39PCGBb9dyjqJ4R4Cykf7bXBd |
| -- |
https://id.oclc.org/worldcat/ontology/hasWork |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Print version: |
| Main entry heading |
European Dependable Computing Conference (5th : 2005 : Budapest, Hungary). |
| Title |
Dependable computing EDCC-5. |
| Place, publisher, and date of publication |
Berlin ; New York : Springer, ©2005 |
| International Standard Book Number |
3540257233 |
| -- |
9783540257233 |
| Record control number |
(DLC) 2005924257 |
| -- |
(OCoLC)60367150 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
3463. |
| International Standard Serial Number |
0302-9743 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://link.springer.com/10.1007/b107276">https://link.springer.com/10.1007/b107276</a> |
| 938 ## - |
|---|
| -- |
ProQuest Ebook Central |
| -- |
EBLB |
| -- |
EBL3067764 |
| 938 ## - |
|---|
| -- |
ebrary |
| -- |
EBRY |
| -- |
ebr10528673 |
| 938 ## - |
|---|
| -- |
YBP Library Services |
| -- |
YANK |
| -- |
3023497 |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |