Dependable computing : first Latin-American symposium, LADC 2003, Sao Paulo, Brazil, october 21-24, 2003 : proceedings
Tallennettuna:
| Yhteisötekijä: | |
|---|---|
| Muut tekijät: | , , |
| Aineistotyyppi: | Livre numérique |
| Kieli: | Anglais |
| Julkaistu: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Sarja: | Lecture notes in computer science
2847 |
| Aiheet: | |
| Linkit: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Huomautus: |
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, first Latin-American symposium, LADC 2003, Sao Paulo, Brazil, october 21-24, 2003, proceedings, Rogério de Lemos, Taisy Silva Weber, João Batista Camargo, Jr. (eds.), Berlin, Springer, 2003, 1 vol. (XIV-370 p.), Lecture notes in computer science, 3-540-20224-2 • Dependable Computing, Texte imprimé, 9783662191163 |
| LEADER | 04871nam a22004457a 4500 | ||
|---|---|---|---|
| 001 | 949216 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155221795 | ||
| 020 | |a 9783540452140 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a LADC 2003 |n (1st |d :2003 |c :Sao Paulo, Brazil). | |
| 245 | 1 | 0 | |a Dependable computing : |b first Latin-American symposium, LADC 2003, Sao Paulo, Brazil, october 21-24, 2003 : proceedings |c [edited by] Rogério de Lemos, Taisy Silva Weber, João Batista Camargo Jr. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 2847 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Invited Talks -- Dependability Benchmarking: How Far Are We? -- Safety-Critical Systems in Air Traffic Management -- Managed Utility Computing: The Grid as Management Backplane -- Fault Injection -- Plug and Play Fault Injector for Dependability Benchmarking -- Non-intrusive Software-Implemented Fault Injection in Embedded Systems -- Constraints on the Use of Boundary-Scan for Fault Injection -- A Strategy for Validating an ODBMS Component Using a High-Level Software Fault Injection Tool -- Heavy-Ion Fault Injections in the Time-Triggered Communication Protocol -- Security -- Dependability and Performance Evaluation of Intrusion-Tolerant Server Architectures -- Building Trust Chains between CORBA Objects -- An Architecture for On-the-Fly File Integrity Checking -- Fault Injection Tool for Network Security Evaluation -- Adaptive Fault Tolerance -- Emulation of Software Faults: Representativeness and Usefulness -- Managing Adaptive Fault Tolerant CORBA Applications -- Adaptable Objects for Dependability -- A Genetic Algorithm for Fault-Tolerant System Design -- Distributed Algorithms -- Cyclic Strategies for Balanced and Fault-Tolerant Distributed Storage -- DisCusS and FuSe: Considering Modularity, Genericness, and Adaptation in the Development of Consensus and Fault Detection Services -- A Lightweight Interface to Predict Communication Delays Using Time Series -- A New Diagnosis Algorithm for Regular Interconnected Structures -- Components and Fault Tolerance -- A Tool for Fault Injection and Conformance Testing of Distributed Systems -- A Fault-Tolerant Distributed Legacy-Based System and Its Evaluation -- An Architectural-Level Exception-Handling System for Component-Based Applications -- On the Use of Formal Specifications to Analyze Fault Behaviors of Distributed Systems -- Panel -- Panel Dependability Benchmarks: Can We Rely on Them? -- Workshops -- Workshop on Safety: Computer Systems in Critical Applications -- Second Workshop on Theses and Dissertations in Dependable Computing -- Tutorials -- Development of Safety-Critical Systems and Model-Based Risk Analysis with UML -- On the Cost of Fault-Tolerant Consensus When There Are No Faults A Tutorial -- A Practical Approach to Quality Assurance in Critical 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 | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Systèmes d'exploitation (ordinateurs) | ||
| 650 | |a Codage | ||
| 650 | |a Systèmes informatiques |x Pannes | ||
| 650 | |a Ordinateurs |x Fiabilité | ||
| 650 | |a Tolérance aux fautes (informatique) | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Lemos, Rogerio de, |d 1961- |4 pbd | |
| 700 | 1 | |a Weber, Taisy Silva, |d 1953- |4 pbd | |
| 700 | 1 | |a Camargo, Joao Batista, |d 1958- |4 pbd | |
| 776 | 0 | |0 075231514 |t Dependable computing |o first Latin-American symposium, LADC 2003, Sao Paulo, Brazil, october 21-24, 2003 |o proceedings |f Rogério de Lemos, Taisy Silva Weber, João Batista Camargo, Jr. (eds.) |c Berlin |n Springer |d 2003 |p 1 vol. (XIV-370 p.) |s Lecture notes in computer science |z 3-540-20224-2 | |
| 776 | 0 | |t Dependable Computing |b Texte imprimé |z 9783662191163 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/b13952 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-F1MR483R-C |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:748053050 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/b13952 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:751504300 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/b13952 |z Accès INSA CVL | |
| 997 | |0 949216 |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/ | ||