دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Dependable Computing: First Latin-American Symposium, LADC 2003, São Paulo, Brazil, October 21-24, 2003. Proceedings
دانلود کتاب محاسبات قابل اعتماد: اولین سمپوزیوم آمریکای لاتین، LADC 2003، سائوپائولو، برزیل، 21-24 اکتبر 2003. مجموعه مقالات
مشخصات کتاب
Dependable Computing: First Latin-American Symposium, LADC 2003, São Paulo, Brazil, October 21-24, 2003. Proceedings
ویرایش: [1 ed.] نویسندگان: Karama Kanoun (auth.), Rogério de Lemos, Taisy Silva Weber, João Batista Camargo Jr. (eds.) سری: Lecture Notes in Computer Science 2847 ISBN (شابک) : 3540202242, 9783540202240 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2003 تعداد صفحات: 374 [383] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 Mb
قیمت کتاب (تومان) : 80,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
در صورت تبدیل فایل کتاب Dependable Computing: First Latin-American Symposium, LADC 2003, São Paulo, Brazil, October 21-24, 2003. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب محاسبات قابل اعتماد: اولین سمپوزیوم آمریکای لاتین، LADC 2003، سائوپائولو، برزیل، 21-24 اکتبر 2003. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب محاسبات قابل اعتماد: اولین سمپوزیوم آمریکای لاتین، LADC 2003، سائوپائولو، برزیل، 21-24 اکتبر 2003. مجموعه مقالات
این کتاب مجموعه مقالات داوری اولین سمپوزیوم آمریکای لاتین در مورد محاسبات قابل اعتماد، LADC 2003 است که در سائوپائولو، برزیل در اکتبر 2003 برگزار شد. به دقت بررسی و برای ارائه انتخاب شدند. این مقالات در بخشهای موضوعی در مورد تزریق خطا، امنیت، تحمل خطا تطبیقی، الگوریتمهای توزیعشده، و مؤلفهها و تحمل خطا سازماندهی شدهاند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the First Latin-American Symposium on Dependable Computing, LADC 2003, held in Sao Paulo, Brazil in October 2003. The 21 revised full papers presented together with abstracts of invited talks, a panel, workshops, and tutorials were carefully reviewed and selected for presentation. The papers are organized in topical sections on fault injection, security, adaptive fault tolerance, distributed algorithms, and components and fault tolerance.
فهرست مطالب
Front Matter....Pages -
Dependability Benchmarking: How Far Are We?....Pages 1-1
Safety-Critical Systems in Air Traffic Management....Pages 2-3
Managed Utility Computing: The Grid as Management Backplane....Pages 4-7
Plug and Play Fault Injector for Dependability Benchmarking....Pages 8-22
Non-intrusive Software-Implemented Fault Injection in Embedded Systems....Pages 23-38
Constraints on the Use of Boundary-Scan for Fault Injection....Pages 39-55
A Strategy for Validating an ODBMS Component Using a High-Level Software Fault Injection Tool....Pages 56-68
Heavy-Ion Fault Injections in the Time-Triggered Communication Protocol....Pages 69-80
Dependability and Performance Evaluation of Intrusion-Tolerant Server Architectures....Pages 81-101
Building Trust Chains between CORBA Objects....Pages 102-116
An Architecture for On-the-Fly File Integrity Checking....Pages 117-126
Fault Injection Tool for Network Security Evaluation....Pages 127-136
Emulation of Software Faults: Representativeness and Usefulness....Pages 137-159
Managing Adaptive Fault Tolerant CORBA Applications....Pages 160-180
Adaptable Objects for Dependability....Pages 181-196
A Genetic Algorithm for Fault-Tolerant System Design....Pages 197-213
Cyclic Strategies for Balanced and Fault-Tolerant Distributed Storage....Pages 214-233
DisCusS and FuSe: Considering Modularity, Genericness, and Adaptation in the Development of Consensus and Fault Detection Services....Pages 234-253
A Lightweight Interface to Predict Communication Delays Using Time Series....Pages 254-263
A New Diagnosis Algorithm for Regular Interconnected Structures....Pages 264-281
A Tool for Fault Injection and Conformance Testing of Distributed Systems....Pages 282-302
A Fault-Tolerant Distributed Legacy-Based System and Its Evaluation....Pages 303-320
An Architectural-Level Exception-Handling System for Component-Based Applications....Pages 321-340
On the Use of Formal Specifications to Analyze Fault Behaviors of Distributed Systems....Pages 341-360
Panel “Dependability Benchmarks: Can We Rely on Them?”....Pages 361-361
Workshop on Safety: Computer Systems in Critical Applications....Pages 362-362
Second Workshop on Theses and Dissertations in Dependable Computing....Pages 363-363
Development of Safety-Critical Systems and Model-Based Risk Analysis with UML....Pages 364-365
On the Cost of Fault-Tolerant Consensus When There Are No Faults – A Tutorial....Pages 366-368
A Practical Approach to Quality Assurance in Critical Systems....Pages 369-370
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Advances in Two-Dimensional Homotopy and Combinatorial Group Theory
دانلود کتاب Genetic Diseases of the Kidney
دانلود کتاب Membongkar Gurita Cikeas: Di Balik Skandal Bank Century
