دانلود کتاب Trustworthy Global Computing: 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers
کتاب محاسبات جهانی قابل اعتماد: هفتمین سمپوزیوم بین المللی، TGC 2012، نیوکاسل آپون تاین، بریتانیا، 7-8 سپتامبر 2012، مقالات منتخب اصلاح شده نسخه زبان اصلی
دانلود کتاب محاسبات جهانی قابل اعتماد: هفتمین سمپوزیوم بین المللی، TGC 2012، نیوکاسل آپون تاین، بریتانیا، 7-8 سپتامبر 2012، مقالات منتخب اصلاح شده بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
توضیحاتی در مورد کتاب Trustworthy Global Computing: 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers
نام کتاب : Trustworthy Global Computing: 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers
ویرایش : 1
عنوان ترجمه شده به فارسی : محاسبات جهانی قابل اعتماد: هفتمین سمپوزیوم بین المللی، TGC 2012، نیوکاسل آپون تاین، بریتانیا، 7-8 سپتامبر 2012، مقالات منتخب اصلاح شده
سری : Lecture Notes in Computer Science 8191
نویسندگان : Antoine Amarilli, Fabrice Ben Hamouda, Florian Bourse (auth.), Catuscia Palamidessi, Mark D. Ryan (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2013
تعداد صفحات : 222
ISBN (شابک) : 9783642411564 , 9783642411571
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 3 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این کتاب مجموعه مقالات پس از کنفرانس با داوری کامل هفتمین سمپوزیوم بین المللی محاسبات قابل اعتماد جهانی، TGC 2012، که در نیوکاسل آپون تاین، انگلستان، در سپتامبر 2012 برگزار شد. 9 مقاله کامل اصلاح شده همراه با 3 سخنرانی دعوت شده ارائه شد. به دقت بررسی و از 14 مورد ارسالی انتخاب شد. این مقالات طیف گسترده ای از موضوعات را در زمینه محاسبات جهانی و محاسبات قابل اعتماد در رایانه های به اصطلاح جهانی پوشش می دهند، به عنوان مثال، آن دسته از انتزاعات محاسباتی که در زیرساخت های مقیاس بزرگ مانند معماری های سرویس گرا، سیستم های خودمختار و رایانش ابری ظهور می کنند، ارائه می کنند. چارچوب‌ها، ابزارها، الگوریتم‌ها و پروتکل‌ها برای طراحی برنامه‌های کاربردی باز و در مقیاس بزرگ و برای استدلال درباره رفتار و ویژگی‌های آنها به روشی دقیق.
فهرست مطالب :
Front Matter....Pages -
From Rational Number Reconstruction to Set Reconciliation and File Synchronization....Pages 1-18
Affine Refinement Types for Authentication and Authorization....Pages 19-33
Seamless Distributed Computing from the Geometry of Interaction....Pages 34-48
A Beginner’s Guide to the Dead L ock A nalysis M odel....Pages 49-63
Formal Modeling and Reasoning about the Android Security Framework....Pages 64-81
A Type System for Flexible Role Assignment in Multiparty Communicating Systems....Pages 82-96
A Multiparty Multi-session Logic....Pages 97-111
LTS Semantics for Compensation-Based Processes....Pages 112-128
Linking Unlinkability....Pages 129-144
Towards Quantitative Analysis of Opacity....Pages 145-163
An Algebra for Symbolic Diffie-Hellman Protocol Analysis....Pages 164-181
Security Analysis in Probabilistic Distributed Protocols via Bounded Reachability....Pages 182-197
Modular Reasoning about Differential Privacy in a Probabilistic Process Calculus....Pages 198-212
Back Matter....Pages -
توضیحاتی در مورد کتاب به زبان اصلی :
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Symposium on Trustworthy Global Computing, TGC 2012, held in Newcastle upon Tyne, UK, in September 2012. The 9 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 14 submissions. The papers cover a wide range of topics in the area of global computing and reliable computation in the so-called global computers, i.e., those computational abstractions emerging in large-scale infrastructures such as service-oriented architectures, autonomic systems and cloud computing, providing frameworks, tools, algorithms and protocols for designing open-ended, large-scale applications and for reasoning about their behavior and properties in a rigorous way.
پست ها تصادفی