Dependable computing : EDCC-4 : 4th European Dependable Computing Conference Toulouse, France, October 23 25, 2002 : proceedings
It was with great pleasure that, on behalf of the entire organizing committee, I welcomed participants to EDCC-4, the Fourth European Dependable Computing Conference, held for the ?rst time in France. The fourth issue of EDCC carried on the traditions established bythe previous conferences in this s...
Сохранить в:
| Соавтор: | |
|---|---|
| Другие авторы: | , |
| Формат: | Livre numérique |
| Язык: | Anglais |
| Опубликовано: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Серии: | Lecture notes in computer science
2485 |
| Предметы: | |
| Online-ссылка: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Примечание: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Dependable computing, EDCC-4, 4th European Dependable Computing Conference, Toulouse, France, October 23-25, 2002, proceedings, Andrea Bondavalli, Pascale Thevenod-Fosse (eds.), Berlin, Springer, 2002, 1 vol. (XIII-282 p.), Lecture notes in computer science, 3-540-00012-7 • Dependable Computing EDCC-4, Texte imprimé, 9783662210185 |
| LEADER | 06049nam a22004577a 4500 | ||
|---|---|---|---|
| 001 | 949313 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155229494 | ||
| 020 | |a 9783540360803 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004.2 | ||
| 082 | |a 004 | ||
| 111 | 2 | |a European Dependable Computing Conference |n (04 |d :2002 |c :Toulouse). | |
| 245 | 1 | 0 | |a Dependable computing : |b EDCC-4 : 4th European Dependable Computing Conference Toulouse, France, October 23 25, 2002 : proceedings |c [edited by] Andrea Bondavalli, Pascale Thevenod-Fosse. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 2485 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a 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. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a It was with great pleasure that, on behalf of the entire organizing committee, I welcomed participants to EDCC-4, the Fourth European Dependable Computing Conference, held for the ?rst time in France. The fourth issue of EDCC carried on the traditions established bythe previous conferences in this series: EDCC-1 was held in Berlin (Germany) in October 1994, EDCC-2 in Taormina (Italy) in October 1996, and EDCC-3 in Prague (Czech Republic) in September 1999. EDCC evolved from a merger of tow other conference series at the moment when the Iron Curtain fell. One of these, known as the International Conf- ence on Fault-Tolerant Computing Systems , was organized during the period 1982 1991, bythe German Technical Interest Group Fault-Tolerant Computing Systems . The other series, known as the International Conference on Fault- Tolerant Systems and Diagnostics , was organized during the period 1975 1990 in the former Czechoslovakia, Poland, Bulgaria, and the former GDR. The c- position of the EDCC steering committee and the organizing committees of the successive issues of the conference have mirrored the East West uni?cation ch- acter of the conference series. The EDCC conference is becoming a unique meeting point for researchers and practitioners from all over the world in the ?eld of Dependable Systems. It is organized bythe SEE Working Group Dependable Computing in France, the GI/ITG/GMA Technical Committee on Dependabilityand Fault Tolerance in Germany, and the AICA Working Group Dependability of Computer Systems in Italy. Furthermore, committees of several global professional organizations, such as IEEE and IFIP, support the conference. | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Systèmes d'exploitation (ordinateurs) | ||
| 650 | |a Systèmes informatiques |x Pannes | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Ordinateurs |x Fiabilité | ||
| 650 | |a Tolérance aux fautes (informatique) | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Thévenod-Fosse, Pascale, |d 19..-...., |c auteure en automatique. |4 pbd | |
| 700 | 1 | |a Bondavalli, Andrea. |4 pbd | |
| 776 | 0 | |0 070202427 |t Dependable computing |o EDCC-4 |o 4th European Dependable Computing Conference, Toulouse, France, October 23-25, 2002 |o proceedings |f Andrea Bondavalli, Pascale Thevenod-Fosse (eds.) |c Berlin |n Springer |d 2002 |p 1 vol. (XIII-282 p.) |s Lecture notes in computer science |z 3-540-00012-7 | |
| 776 | 0 | |t Dependable Computing EDCC-4 |b Texte imprimé |z 9783662210185 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-36080-8 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-M3N8RNS3-V |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:748056521 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-36080-8 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:751507830 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-36080-8 |z Accès INSA CVL | |
| 997 | |0 949313 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||