دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Rene Amalberti (auth.), Andrea Bondavalli, Pascale Thevenod-Fosse (eds.) سری: Lecture Notes in Computer Science 2485 ISBN (شابک) : 9783540000129, 9783540360803 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2002 تعداد صفحات: 296 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
کلمات کلیدی مربوط به کتاب محاسبات قابل اعتماد EDCC-4: چهارمین کنفرانس محاسبات قابل اعتماد اروپایی تولوز، فرانسه، 23 تا 25 اکتبر 2002 مجموعه مقالات: علوم کامپیوتر، عمومی، سخت افزار کامپیوتر، سیستم های مبتنی بر هدف و کاربرد خاص، عملکرد و ارزیابی سیستم، مهندسی نرم افزار، سیستم های عامل
در صورت تبدیل فایل کتاب Dependable Computing EDCC-4: 4th European Dependable Computing Conference Toulouse, France, October 23–25, 2002 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب محاسبات قابل اعتماد EDCC-4: چهارمین کنفرانس محاسبات قابل اعتماد اروپایی تولوز، فرانسه، 23 تا 25 اکتبر 2002 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
با خوشحالی فراوان از طرف کل کمیته سازماندهی، به شرکت کنندگان در EDCC-4، چهارمین کنفرانس محاسبات قابل اعتماد اروپا که برای اولین بار در فرانسه برگزار شد، خوش آمد گفتم. شماره چهارم EDCC بر اساس سنت های ایجاد شده توسط کنفرانس های قبلی در این مجموعه انجام شد: EDCC-1 در برلین (آلمان) در اکتبر 1994، EDCC-2 در تائورمینا (ایتالیا) در اکتبر 1996 و EDCC-3 در پراگ برگزار شد. جمهوری چک) در سپتامبر 1999. EDCC از ادغام دو مجموعه کنفرانس دیگر در لحظه ای که پرده آهنین سقوط کرد تکامل یافت. یکی از این ها، که به عنوان "کنفرانس بین المللی در مورد سیستم های محاسباتی تحمل پذیر خطا" شناخته می شود، در دوره 1982-1991، توسط گروه فنی آلمانی "سیستم های محاسباتی تحمل کننده خطا" سازماندهی شد. سری دیگر، معروف به «کنفرانس بینالمللی سیستمهای تحملپذیر خطا و تشخیص»، در طول دوره 1975-1990 در چکسلواکی سابق، لهستان، بلغارستان و GDR سابق سازماندهی شد. ج- موقعیت کمیته راهبری EDCC و کمیته های سازماندهی مسائل متوالی کنفرانس منعکس کننده اصل اتحاد شرق و غرب مجموعه کنفرانس است. کنفرانس EDCC در حال تبدیل شدن به یک نقطه ملاقات منحصر به فرد برای محققان و متخصصان از سراسر جهان در بخش سیستم های قابل اعتماد است. این توسط گروه کاری SEE "محاسبات قابل اعتماد" در فرانسه، کمیته فنی GI/ITG/GMA در مورد قابلیت اطمینان و تحمل خطا در آلمان، و گروه کاری AICA "وابستگی سیستم های کامپیوتری" در ایتالیا سازماندهی شده است. علاوه بر این، کمیتههای چندین سازمان حرفهای جهانی، مانند IEEE و IFIP، از کنفرانس حمایت میکنند.
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.
Use and Misuse of Safety Models in Design....Pages 1-1
On the Effects of Outages on the QoS of GPRS Networks under Different User Characterizations....Pages 2-18
Combination of Fault Tree Analysis and Model Checking for Safety Assessment of Complex System....Pages 19-31
BPM Based Robust E-business Application Development....Pages 32-43
Solving Agreement Problems with Weak Ordering Oracles....Pages 44-61
An Efficient Solution to the k -Set Agreement Problem....Pages 62-78
Novel Approaches in Dependable Computing....Pages 79-80
An Immune System Paradigm for the Design of Fault Tolerant Systems....Pages 81-83
Security and Survivability of Large Scale Critical Infrastructures....Pages 84-85
An Architectural Approach to Fault Treatment in Critical Infrastructures....Pages 86-87
Biologically Inspired Fault-Tolerant Computer Systems....Pages 88-89
Test Set Embedding Based on Phase Shifters....Pages 90-101
Reset-Driven Fault Tolerance....Pages 102-120
Towards Dependability Modeling of FT-CORBA Architectures....Pages 121-139
Experimental Evaluation of the Unavailability Induced by a Group Membership Protocol....Pages 140-158
UMLinux - A Versatile SWIFI Tool....Pages 159-171
A Methodology for Dependability Evaluation of the Time-Triggered Architecture Using Software Implemented Fault Injection....Pages 172-190
Fast Indulgent Consensus with Zero Degradation....Pages 191-208
Probabilistic Queries in Large-Scale Networks....Pages 209-226
Towards Information Society Dependability Initiative in FP6: Roadmapping Activities in Dependability....Pages 227-233
The Design of a COTS Real-Time Distributed Security Kernel....Pages 234-252
Wrapping Real-time Systems from Temporal Logic Specifications....Pages 253-270
Model-Based Dependability Evaluation Method for TTP/C Based Systems....Pages 271-282