دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Trustworthy Global Computing: 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers
دانلود کتاب محاسبات جهانی قابل اعتماد: نهمین سمپوزیوم بین المللی، TGC 2014، رم، ایتالیا، 5-6 سپتامبر 2014. مقالات منتخب اصلاح شده
مشخصات کتاب
Trustworthy Global Computing: 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers
ویرایش: 1
نویسندگان: Matteo Maffei. Emilio Tuosto (eds.)
سری: Lecture Notes in Computer Science 8902 Theoretical Computer Science and General Issues
ISBN (شابک) : 9783662459164, 9783662459171
ناشر: Springer-Verlag Berlin Heidelberg
سال نشر: 2014
تعداد صفحات: 206
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 31,000
کلمات کلیدی مربوط به کتاب محاسبات جهانی قابل اعتماد: نهمین سمپوزیوم بین المللی، TGC 2014، رم، ایتالیا، 5-6 سپتامبر 2014. مقالات منتخب اصلاح شده: سیستم ها و امنیت داده ها، منطق ریاضی و زبان های رسمی، برنامه های کاربردی سیستم های اطلاعاتی (شامل اینترنت)، سازماندهی سیستم های کامپیوتری و شبکه های ارتباطی
در صورت تبدیل فایل کتاب Trustworthy Global Computing: 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب محاسبات جهانی قابل اعتماد: نهمین سمپوزیوم بین المللی، TGC 2014، رم، ایتالیا، 5-6 سپتامبر 2014. مقالات منتخب اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب محاسبات جهانی قابل اعتماد: نهمین سمپوزیوم بین المللی، TGC 2014، رم، ایتالیا، 5-6 سپتامبر 2014. مقالات منتخب اصلاح شده
این کتاب مجموعه مقالات پس از کنفرانس نهمین سمپوزیوم بین‌المللی رایانش قابل اعتماد جهانی، TGC 2014، که در سپتامبر 2014 در رم، ایتالیا برگزار شد، تشکیل شده است. . سمپوزیوم در محاسبات جهانی قابل اعتماد بر چارچوب‌ها، ابزارها، الگوریتم‌ها و پروتکل‌ها برای سیستم‌ها و برنامه‌های کاربردی در مقیاس بزرگ و بر استدلال دقیق درباره رفتار و ویژگی‌های آنها تمرکز دارد.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Symposium on Trustworthy Global Computing, TGC 2014, held in Rome, Italy, in September 2014. The 15 revised full papers presented were carefully reviewed and selected from 20 submissions. The Symposium on Trustworthy Global Computing focuses on frameworks, tools, algorithms, and protocols for open-ended, large-scale systems and applications, and on rigorous reasoning about their behavior and properties.
فهرست مطالب
Front Matter....Pages I-XV
An Information Flow Monitor for a Core of DOM....Pages 1-16
Finding a Forest in a Tree....Pages 17-33
Automata for Analysing Service Contracts....Pages 34-50
On Duality Relations for Session Types....Pages 51-66
Characterising Testing Preorders for Broadcasting Distributed Systems....Pages 67-81
Tests for Establishing Security Properties....Pages 82-96
A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours....Pages 97-111
Multiparty Session Nets....Pages 112-127
Interaction and Causality in Digital Signature Exchange Protocols....Pages 128-143
Session Types with Gradual Typing....Pages 144-158
Corecursion and Non-divergence in Session-Typed Processes....Pages 159-175
Trust-Based Enforcement of Security Policies....Pages 176-191
Back Matter....Pages 193-193
