دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Techniques for Distributed Objects, Components, and Systems
دانلود کتاب تکنیک های رسمی برای اشیا Dist ، اجزا، و سیستم های توزیع شده
مشخصات کتاب
Formal Techniques for Distributed Objects, Components, and Systems
ویرایش: [1st ed.]
نویسندگان: Christel Baier. Luís Caires
سری: Lecture Notes in Computer Science 10854
ISBN (شابک) : 9783319926117, 9783319926124
ناشر: Springer International Publishing
سال نشر: 2018
تعداد صفحات: XI, 197
[206]
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 8 Mb
قیمت کتاب (تومان) : 28,000
در صورت تبدیل فایل کتاب Formal Techniques for Distributed Objects, Components, and Systems به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تکنیک های رسمی برای اشیا Dist ، اجزا، و سیستم های توزیع شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تکنیک های رسمی برای اشیا Dist ، اجزا، و سیستم های توزیع شده
این کتاب مجموعه مقالات سی و هشتمین کنفرانس بین المللی IFIP WG 6.1 در تکنیک های رسمی برای اشیاء، اجزا و سیستم های توزیع شده، FORTE 2018، در مادرید، اسپانیا، در ژوئن 2018، به عنوان بخشی از سیزدهمین کنفرانس بین المللی است. کنفرانس فدرال تکنیک‌های محاسباتی توزیع‌شده، DisCoTec 2018.
10 مقاله کامل ارائه‌شده با دقت بررسی و از بین 28 مورد ارسالی انتخاب شدند. این کنفرانس به تحقیقات بنیادی در مورد نظریه، مدل‌ها، ابزارها و کاربردها برای سیستم‌های توزیع‌شده اختصاص دارد.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the proceedings of the 38th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018.
The 10 full papers presented were carefully reviewed and selected from 28 submissions. The conference is dedicated to fundamental research on theory, models, tools, and applications for distributed systems.
فهرست مطالب
Front Matter ....Pages I-XI
A Distributed Coordination Infrastructure for Attribute-Based Interaction (Yehia Abd Alrahman, Rocco De Nicola, Giulio Garbi, Michele Loreti)....Pages 1-20
Applied Choreographies (Saverio Giallorenzo, Fabrizio Montesi, Maurizio Gabbrielli)....Pages 21-40
Monotonic Prefix Consistency in Distributed Systems (Alain Girault, Gregor Gössler, Rachid Guerraoui, Jad Hamza, Dragos-Adrian Seredinschi)....Pages 41-57
A Modest Security Analysis of Cyber-Physical Systems: A Case Study (Ruggero Lanotte, Massimo Merro, Andrei Munteanu)....Pages 58-78
Relating Process Languages for Security and Communication Correctness (Extended Abstract) (Daniele Nantes, Jorge A. Pérez)....Pages 79-100
A Calculus for Modeling Floating Authorizations (Jovanka Pantović, Ivan Prokić, Hugo Torres Vieira)....Pages 101-120
Parameter Synthesis Algorithms for Parametric Interval Markov Chains (Laure Petrucci, Jaco van de Pol)....Pages 121-140
Information Flow Tracking for Side-Effectful Libraries (Alexander Sjösten, Daniel Hedin, Andrei Sabelfeld)....Pages 141-160
On a Verification Framework for Certifying Distributed Algorithms: Distributed Checking and Consistency (Kim Völlinger, Samira Akili)....Pages 161-180
Preserving Contract Satisfiability Under Non-monotonic Composition (Jonas Westman, Mattias Nyberg)....Pages 181-195
Back Matter ....Pages 197-197
