دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Trustworthy Global Computing: 10th International Symposium, TGC 2015 Madrid, Spain, August 31 – September 1, 2015 Revised Selected Papers
دانلود کتاب محاسبات جهانی قابل اعتماد: دهمین سمپوزیوم بین المللی، TGC 2015 مادرید، اسپانیا، 31 اوت - 1 سپتامبر 2015 مقالات منتخب اصلاح شده
مشخصات کتاب
Trustworthy Global Computing: 10th International Symposium, TGC 2015 Madrid, Spain, August 31 – September 1, 2015 Revised Selected Papers
ویرایش: 1
نویسندگان: Pierre Ganty. Michele Loreti (eds.)
سری: Lecture Notes in Computer Science 9533
ISBN (شابک) : 9783319287652, 9783319287669
ناشر: Springer International Publishing
سال نشر: 2016
تعداد صفحات: 172
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 57,000
کلمات کلیدی مربوط به کتاب محاسبات جهانی قابل اعتماد: دهمین سمپوزیوم بین المللی، TGC 2015 مادرید، اسپانیا، 31 اوت - 1 سپتامبر 2015 مقالات منتخب اصلاح شده: امنیت سیستم ها و داده ها، منطق ریاضی و زبان های رسمی، برنامه های کاربردی سیستم های اطلاعاتی (شامل اینترنت)، سازماندهی سیستم های کامپیوتری و شبکه های ارتباطی
در صورت تبدیل فایل کتاب Trustworthy Global Computing: 10th International Symposium, TGC 2015 Madrid, Spain, August 31 – September 1, 2015 Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب محاسبات جهانی قابل اعتماد: دهمین سمپوزیوم بین المللی، TGC 2015 مادرید، اسپانیا، 31 اوت - 1 سپتامبر 2015 مقالات منتخب اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب محاسبات جهانی قابل اعتماد: دهمین سمپوزیوم بین المللی، TGC 2015 مادرید، اسپانیا، 31 اوت - 1 سپتامبر 2015 مقالات منتخب اصلاح شده
این کتاب مجموعه مقالات پس از کنفرانس با داوری کامل دهمین سمپوزیوم بین المللی محاسبات جهانی قابل اعتماد، TGC 2015، که در مادرید، اسپانیا، در اوت/سپتامبر 2015 برگزار شد، است.
10 مقالات کامل اصلاح شده ارائه شده به دقت بررسی و از بین 19 مورد ارسالی انتخاب شدند. سمپوزیوم در محاسبات جهانی قابل اعتماد بر چارچوب‌ها، ابزارها، الگوریتم‌ها و پروتکل‌ها برای سیستم‌ها و برنامه‌های کاربردی در مقیاس بزرگ و استدلال دقیق درباره رفتار و ویژگی‌های آنها تمرکز دارد.
< /p>توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Symposium on Trustworthy Global Computing, TGC 2015, held in Madrid, Spain, in August/September 2015.
The 10 revised full papers presented were carefully reviewed and selected from 19 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-IX
Secure Two-Party Computation in Applied Pi-Calculus: Models and Verification....Pages 1-15
Multiparty Testing Preorders....Pages 16-31
Data Tracking in Parameterized Systems....Pages 32-46
Modular Monitor Extensions for Information Flow Security in JavaScript....Pages 47-62
Hybrid Typing of Secure Information Flow in a JavaScript-Like Language....Pages 63-78
Fault Ascription in Concurrent Systems....Pages 79-94
Disjunctive Information Flow for Communicating Processes....Pages 95-111
Near-Optimal Scheduling for LTL with Future Discounting....Pages 112-130
A Switch, in Time....Pages 131-146
Verification of Component-Based Systems via Predicate Abstraction and Simultaneous Set Reduction....Pages 147-162
Back Matter....Pages 163-163
