Dependable computing for critical applications 4:
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Published: |
Wien u.a.
Springer
1995
|
| Series: | Dependable computing and fault-tolerant systems
9 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XIII, 497 S. graph. Darst. |
| ISBN: | 3211826491 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010214471 | ||
| 003 | DE-604 | ||
| 005 | 19951219 | ||
| 007 | t | ||
| 008 | 950607s1995 d||| |||| 10||| eng d | ||
| 020 | |a 3211826491 |9 3-211-82649-1 | ||
| 035 | |a (OCoLC)31938439 | ||
| 035 | |a (DE-599)BVBBV010214471 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-91G |a DE-91 | ||
| 050 | 0 | |a QA76.9.F38 | |
| 082 | 0 | |a 004.2 |2 20 | |
| 084 | |a DAT 286f |2 stub | ||
| 245 | 1 | 0 | |a Dependable computing for critical applications 4 |c F. Cristian ... (eds.) |
| 264 | 1 | |a Wien u.a. |b Springer |c 1995 | |
| 300 | |a XIII, 497 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Dependable computing and fault-tolerant systems |v 9 | |
| 650 | 7 | |a Arquitetura e organização de computadores |2 larpcal | |
| 650 | 7 | |a Falhas computacionais |2 larpcal | |
| 650 | 4 | |a Application software | |
| 650 | 4 | |a Fault-tolerant computing | |
| 650 | 0 | 7 | |a Datenverarbeitung |0 (DE-588)4011152-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Fehlertoleranz |0 (DE-588)4123192-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Zuverlässigkeit |0 (DE-588)4059245-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1994 |z San Diego Calif. |2 gnd-content | |
| 689 | 0 | 0 | |a Datenverarbeitung |0 (DE-588)4011152-0 |D s |
| 689 | 0 | 1 | |a Zuverlässigkeit |0 (DE-588)4059245-5 |D s |
| 689 | 0 | 2 | |a Fehlertoleranz |0 (DE-588)4123192-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Cristian, Flaviu |d 1951- |e Sonstige |0 (DE-588)123639077 |4 oth | |
| 830 | 0 | |a Dependable computing and fault-tolerant systems |v 9 |w (DE-604)BV000785532 |9 9 | |
| 856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006787565&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006787565 | ||
Record in the Search Index
| _version_ | 1804124622067597312 |
|---|---|
| adam_text | F. CRISTIAN, G. LE LANN, T. LUNT (EDS.) DEPENDABLE COMPUTING FOR
CRITICAL APPLICATIONS 4 SPRINGER-VERLAG WIEN NEW YORK CONTENTS FORMAL
METHODS FOR CRITICAL SYSTEMS 1 ON DOUBLY GUARDED MULTIPROCESSOR CONTROL
SYSTEM DESIGN 3 W. M. TURSKI (WARSAW UNIVERSITY, POLAND) USING DATA
CONSISTENCY ASSUMPTIONS TO SHOW SYSTEM SAFETY 15 G. BRUNS, S. ANDERSON
(UNIVERSITY OF EDINBURGH, UNITED KINGDOM) PANEL SESSION: FORMAL METHODS
FOR SAFETY IN CRITICAL SYSTEMS 29 ARE FORMAL METHODS READY FOR
DEPENDABLE SYSTEMS? 31 R. W. BUTLER_(NASA LANGLEY RESEARCH CENTER, USA)
INDUSTRIAL USE OF FORMAL METHODS 33 S. P. MILLER (ROCKWELL
INTERNATIONAL, USA) FORMAL METHODS FOR SAFETY IN CRITICAL SYSTEMS 37 M.
J. MORLEY (NATIONAL RESEARCH CENTER FOR COMPUTER SCIENCE, GERMANY) CAN
WE RELY ON FORMAL METHODS? 41 N. SHANKAR (SRI INTERNATIONAL, USA) A ROLE
FOR FORMAL METHODISTS 43 F. B. SCHNEIDER (CORNELL UNIVERSITY, USA)
COMBINING THE FAULT-TOLERANCE, SECURITY AND REAL-TIME ASPECTS OF
COMPUTING 47 TOWARD A MULTILEVEL-SECURE, BEST-EFFORT REAL-TIME SCHEDULER
49 P. K. BOUCHER, I. B. GREENBERG (SRI INTERNATIONAL, USA) R. K. CLARK
(CONCURRENT COMPUTER CORPORATION, USA) E. D. JENSEN (DIGITAL EQUIPMENT
CORPORATION, USA) D. M. WELLS (CONNECTION TECHNOLOGIES, USA)
FAULT-DETECTING NETWORK MEMBERSHIP PROTOCOLS FOR UNKNOWN TOPOLOGIES 69
K. ECHTLE, M. LEU (UNIVERSITDT DORTMUND, GERMANY) X SECURE SYSTEMS 91
DENIAL OF SERVICE: A PERSPECTIVE 93 J. K. MILLEN (THE MITRE CORPORATION,
USA) REASONING ABOUT MESSAGE INTEGRITY 109 R. KAILAR, V. D. GLIGOR
(UNIVERSITY OF MARYLAND, USA) S. G. STUBBLEBINE (UNIVERSITY OF SOUTHERN
CALIFORNIA, USA) ON THE SECURITY EFFECTIVENESS OF CRYPTOGRAPHIC
PROTOCOLS 139 R. KAILAR, YD. GLIGOR (UNIVERSITY OF MARYLAND, USA) L.
GONG (SRI INTERNATIONAL, USA) ASSESSMENT OF DEPENDABILITY 159 ASSESSING
THE DEPENDABILITY OF EMBEDDED SOFTWARE SYTEMS USING THE DYNAMIC
FLOWGRAPH METHODOLOGY 161 C. GARRETT, M. YAU, S. GUAM, G. APOSTOLAKIS
(UNIVERSITY OF CALIFORNIA AT LOS ANGELES, USA) ON MANAGING
FAULT-TOLERANT DESIGN RISKS 185 D. BALL (THE MITRE CORPORATION, USA) A.
ABOUELNAGA (TRW, INC., USA) PANEL SESSION: QUANTITATIVE VERSUS
QUANTITATIVE ASPECTS OF SECURITY 209 QUALITATIVE VS. QUANTITATIVE
ASSESSMENT OF SECURITY: A PANEL DISCUSSION 211 T. LUNT (SRI
INTERNATIONAL, USA) A FAULT FORECASTING APPROACH FOR OPERATIONAL
SECURITY MONITORING 215 M. DACIER (LAAS-CNRS, FRANCE) MEASUREMENT OF
OPERATIONAL SECURITY 219 B. LITTLEWOOD (CITY UNIVERSITY, LONDON, UNITED
KINGDOM) QUANTITATIVE MEASURES OF SECURITY 223 J. MCLEAN (NAVAL RESEARCH
LABORATORY, USA) XI THE FEASIBILITY OF QUANTITATIVE ASSESSMENT OF
SECURITY 227 C. MEADOWS (NAVAL RESEARCH LABORATORY, USA) QUANTITATIVE
MEASURES VS. COUNTERMEASURES 229 J. K. MILLEN (THE MITRE CORPORATION,
USA) BASIC PROBLEMS IN DISTRIBUTED FAULT-TOLERANT SYSTEMS 231 CONTINUAL
ON-LINE DIAGNOSIS OF HYBRID FAULTS 233 C. J. WALTER, N. SURI, M. M.
HUGUE (ALLIEDSIGNAL MTC, USA) THE GENERAL CONVERGENCE PROBLEM: A
UNIFICATION OF SYNCHRONOUS SYSTEMS 251 M. H. AZADMANESH (STANDARD
MANUFACTURING COMPANY, USA) R. M. KIECKHAFER (UNIVERSITY OF NEBRASKA,
USA) SPECIFICATION AND VERIFICATION OF DISTRIBUTED PROTOCOLS 269
SPECIFICATION AND VERIFICATION OF BEHAVIORAL PATTERNS IN DISTRIBUTED
COMPUTATIONS 271 0. BABAOGLU (UNIVERSITY OF BOLOGNA, ITALY) M. RAYNAL
(IRISA, FRANCE) SPECIFICATION AND VERIFICATION OF AN ATOMIC BROADCAST
PROTOCOL 291 P. ZHOU, J. HOOMAN (EINDHOVEN UNIVERSITY OF TECHNOLOGY, THE
NETHERLANDS) TRACE-BASED COMPOSITIONAL REFINEMENT OF FAULT-TOLERANT
DISTRIBUTED SYSTEMS 309 H. SCHEPERS (PHILIPS RESEARCH LABORATORIES, THE
NETHERLANDS) J. COENEN (EINDHOVEN UNIVERSITY OF TECHNOLOGY, THE
NETHERLANDS) DESIGN TECHNIQUES FOR ROBUSTNESS 325 A MODULAR ROBUST
BINARY TREE 327 N. A. KANAWATI, G. A. KANAWATI, J. A. ABRAHAM
(UNIVERSITY OF TEXAS AT AUSTIN, USA) XII SECONDARY STORAGE ERROR
CORRECTION UTILIZING THE INHERENT REDUNDANCY OF THE STORED DATA 349 R.
ROWELL (BN.R, INC., USA) V. S. S. NAIR (SOUTHERN METHODIST UNIVERSITY,
USA) PANEL SESSION: COMMON TECHNIQUES IN FAULT-TOLERANCE AND SECURITY 37
1 COMMON TECHNIQUES IN FAULT-TOLERANCE AND SECURITY 373 K. N. LEVITT, S.
CHEUNG (UNIVERSITY OF CALIFORNIA AT DAVIS, USA) IMPROVING SECURITY BY
FAULT-TOLERANCE 379 Y. DESWARTE (LAAS-CNRS AND INRIA, FRANCE) THE NEED
FOR A FAILURE MODEL FOR SECURITY 383 C. MEADOWS (NAVAL RESEARCH
LABORATORY, USA) RELIABILITY AND SECURITY 387 P. G. NEUMANN (SRI
INTERNATIONAL, USA) FAULT TOLERANCE AND SECURITY 389 B. RANDELL
(UNIVERSITY OF NEWCASTLE UPON TYNE, UNITED KINGDOM) COMMON TECHNIQUES IN
FAULT TOLERANCE AND SECURITY (AND PERFORMANCE!) 393 K. D. WILKEN
(UNIVERSITY OF CALIFORNIA AT DAVIS, USA) REAL-TIME SYSTEMS 397 UPPER AND
LOWER BOUNDS ON THE NUMBER OF FAULTS A SYSTEM CAN WITHSTAND WITHOUT
REPAIRS 399 M. GOEMANS, N. LYNCH, I. SAIAS (MASSACHUSETTS INSTITUTE OF
TECHNOLOGY, USA) SCHEDULING FAULT RECOVERY OPERATIONS FOR TIME-CRITICAL
APPLICATIONS 411 S. RAMOS-THUEL, J. K. STROSNIDER (CARNEGIE MELLON
UNIVERSITY, USA) XIII EVALUATION OF DEPENDABILITY ASPECTS 433 EFFECTS OF
PHYSICAL INJECTION OF TRANSIENT FAULTS ON CONTROL FLOW AND EVALUATION OF
SOME SOFTWARE-IMPLEMENTED ERROR DETECTION TECHNIQUES 435 G. MIREMADI, J.
TORIN (CHALMERS UNIVERSITY OF TECHNOLOGY, SWEDEN) SYSTEM-LEVEL
RELIABILITY AND SENSITIVITY ANALYSES FOR THREE FAULT-TOLERANT SYSTEM
ARCHITECTURES 459 J. B. DUGAN (UNIVERSITY OF VIRGINIA, USA) M. R. LYU
(BELLCORE, USA) IMPROVING AVAILABILITY BOUNDS USING THE FAILURE DISTANCE
CONCEPT 479 /. A. CARRASCO (UNIVERSITAT POLITECNICA DE CATALUNYA, SPAIN)
|
| any_adam_object | 1 |
| author_GND | (DE-588)123639077 |
| building | Verbundindex |
| bvnumber | BV010214471 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.F38 |
| callnumber-search | QA76.9.F38 |
| callnumber-sort | QA 276.9 F38 |
| callnumber-subject | QA - Mathematics |
| classification_tum | DAT 286f |
| ctrlnum | (OCoLC)31938439 (DE-599)BVBBV010214471 |
| dewey-full | 004.2 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.2 |
| dewey-search | 004.2 |
| dewey-sort | 14.2 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01922nam a2200469 cb4500</leader><controlfield tag="001">BV010214471</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19951219 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">950607s1995 d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3211826491</subfield><subfield code="9">3-211-82649-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)31938439</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010214471</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-91</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.F38</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.2</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 286f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Dependable computing for critical applications 4</subfield><subfield code="c">F. Cristian ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Wien u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 497 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Dependable computing and fault-tolerant systems</subfield><subfield code="v">9</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Arquitetura e organização de computadores</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Falhas computacionais</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Application software</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Fault-tolerant computing</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Datenverarbeitung</subfield><subfield code="0">(DE-588)4011152-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Fehlertoleranz</subfield><subfield code="0">(DE-588)4123192-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Zuverlässigkeit</subfield><subfield code="0">(DE-588)4059245-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1994</subfield><subfield code="z">San Diego Calif.</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Datenverarbeitung</subfield><subfield code="0">(DE-588)4011152-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Zuverlässigkeit</subfield><subfield code="0">(DE-588)4059245-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Fehlertoleranz</subfield><subfield code="0">(DE-588)4123192-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Cristian, Flaviu</subfield><subfield code="d">1951-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)123639077</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Dependable computing and fault-tolerant systems</subfield><subfield code="v">9</subfield><subfield code="w">(DE-604)BV000785532</subfield><subfield code="9">9</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006787565&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006787565</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1994 San Diego Calif. gnd-content |
| genre_facet | Konferenzschrift 1994 San Diego Calif. |
| id | DE-604.BV010214471 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T17:48:35Z |
| institution | BVB |
| isbn | 3211826491 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006787565 |
| oclc_num | 31938439 |
| open_access_boolean | |
| owner | DE-12 DE-91G DE-BY-TUM DE-91 DE-BY-TUM |
| owner_facet | DE-12 DE-91G DE-BY-TUM DE-91 DE-BY-TUM |
| physical | XIII, 497 S. graph. Darst. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| publisher | Springer |
| record_format | marc |
| series | Dependable computing and fault-tolerant systems |
| series2 | Dependable computing and fault-tolerant systems |
| spelling | Dependable computing for critical applications 4 F. Cristian ... (eds.) Wien u.a. Springer 1995 XIII, 497 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Dependable computing and fault-tolerant systems 9 Arquitetura e organização de computadores larpcal Falhas computacionais larpcal Application software Fault-tolerant computing Datenverarbeitung (DE-588)4011152-0 gnd rswk-swf Fehlertoleranz (DE-588)4123192-2 gnd rswk-swf Zuverlässigkeit (DE-588)4059245-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1994 San Diego Calif. gnd-content Datenverarbeitung (DE-588)4011152-0 s Zuverlässigkeit (DE-588)4059245-5 s Fehlertoleranz (DE-588)4123192-2 s DE-604 Cristian, Flaviu 1951- Sonstige (DE-588)123639077 oth Dependable computing and fault-tolerant systems 9 (DE-604)BV000785532 9 GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006787565&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Dependable computing for critical applications 4 Dependable computing and fault-tolerant systems Arquitetura e organização de computadores larpcal Falhas computacionais larpcal Application software Fault-tolerant computing Datenverarbeitung (DE-588)4011152-0 gnd Fehlertoleranz (DE-588)4123192-2 gnd Zuverlässigkeit (DE-588)4059245-5 gnd |
| subject_GND | (DE-588)4011152-0 (DE-588)4123192-2 (DE-588)4059245-5 (DE-588)1071861417 |
| title | Dependable computing for critical applications 4 |
| title_auth | Dependable computing for critical applications 4 |
| title_exact_search | Dependable computing for critical applications 4 |
| title_full | Dependable computing for critical applications 4 F. Cristian ... (eds.) |
| title_fullStr | Dependable computing for critical applications 4 F. Cristian ... (eds.) |
| title_full_unstemmed | Dependable computing for critical applications 4 F. Cristian ... (eds.) |
| title_short | Dependable computing for critical applications 4 |
| title_sort | dependable computing for critical applications 4 |
| topic | Arquitetura e organização de computadores larpcal Falhas computacionais larpcal Application software Fault-tolerant computing Datenverarbeitung (DE-588)4011152-0 gnd Fehlertoleranz (DE-588)4123192-2 gnd Zuverlässigkeit (DE-588)4059245-5 gnd |
| topic_facet | Arquitetura e organização de computadores Falhas computacionais Application software Fault-tolerant computing Datenverarbeitung Fehlertoleranz Zuverlässigkeit Konferenzschrift 1994 San Diego Calif. |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006787565&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000785532 |
| work_keys_str_mv | AT cristianflaviu dependablecomputingforcriticalapplications4 |