دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Trustworthy Global Computing: 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers
دانلود کتاب محاسبات جهانی قابل اعتماد: هفتمین سمپوزیوم بین المللی ، TGC 2012 ، نیوکاسل تاین ، انگلستان ، 7-8 سپتامبر 2012 ، نسخه های تجدید نظر شده
مشخصات کتاب
Trustworthy Global Computing: 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers
ویرایش: 1 نویسندگان: Antoine Amarilli, Fabrice Ben Hamouda, Florian Bourse (auth.), Catuscia Palamidessi, Mark D. Ryan (eds.) سری: Lecture Notes in Computer Science 8191 ISBN (شابک) : 9783642411564, 9783642411571 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2013 تعداد صفحات: 222 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 34,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
کلمات کلیدی مربوط به کتاب محاسبات جهانی قابل اعتماد: هفتمین سمپوزیوم بین المللی ، TGC 2012 ، نیوکاسل تاین ، انگلستان ، 7-8 سپتامبر 2012 ، نسخه های تجدید نظر شده: رمزگذاری داده ها، شبکه های ارتباطی کامپیوتری، مدیریت سیستم های محاسباتی و اطلاعاتی، تحلیل الگوریتم و پیچیدگی مسائل، مهندسی نرم افزار، کدگذاری و نظریه اطلاعات
در صورت تبدیل فایل کتاب Trustworthy Global Computing: 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب محاسبات جهانی قابل اعتماد: هفتمین سمپوزیوم بین المللی ، TGC 2012 ، نیوکاسل تاین ، انگلستان ، 7-8 سپتامبر 2012 ، نسخه های تجدید نظر شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب محاسبات جهانی قابل اعتماد: هفتمین سمپوزیوم بین المللی ، TGC 2012 ، نیوکاسل تاین ، انگلستان ، 7-8 سپتامبر 2012 ، نسخه های تجدید نظر شده
این کتاب مجموعه مقالات پس از کنفرانس با داوری کامل هفتمین سمپوزیوم بین المللی محاسبات قابل اعتماد جهانی، TGC 2012، که در نیوکاسل آپون تاین، انگلستان، در سپتامبر 2012 برگزار شد. 9 مقاله کامل اصلاح شده همراه با 3 سخنرانی دعوت شده ارائه شد. به دقت بررسی و از 14 مورد ارسالی انتخاب شد. این مقالات طیف گسترده ای از موضوعات را در زمینه محاسبات جهانی و محاسبات قابل اعتماد در رایانه های به اصطلاح جهانی پوشش می دهند، به عنوان مثال، آن دسته از انتزاعات محاسباتی که در زیرساخت های بزرگ مقیاس مانند معماری های سرویس گرا، سیستم های خودمختار و رایانش ابری ظهور می کنند، ارائه می کنند. چارچوب‌ها، ابزارها، الگوریتم‌ها و پروتکل‌ها برای طراحی برنامه‌های کاربردی در مقیاس بزرگ و برای استدلال درباره رفتار و ویژگی‌های آنها به روشی دقیق.
توضیحاتی درمورد کتاب به خارجی
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.
فهرست مطالب
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 -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Passivity in Religion
دانلود کتاب IIIS Adelphi Series papers from responding to crises in the african great lakes by glynne evans creating new states in central asia by roland dannreuther southern africa in soviet foreign policy by kurt m. campbell developing the mekong by evelyn goh
دانلود کتاب Chi è dunque l'altro?
دانلود کتاب Frommer's Nashville & Memphis
