ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Trustworthy Global Computing: Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers

دانلود کتاب محاسبات جهانی قابل اعتماد: سمپوزیوم دوم ، TGC 2006 ، لوکا ، ایتالیا ، 7-9 نوامبر 2006 ، نسخه های تجدید نظر شده

Trustworthy Global Computing: Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers

مشخصات کتاب

Trustworthy Global Computing: Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers

دسته بندی: سازمان و پردازش داده ها
ویرایش: 1 
نویسندگان: , , ,   
سری: Lecture Notes in Computer Science 4661 : Theoretical Computer Science and General Issues 
ISBN (شابک) : 3540753338, 9783540753339 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2007 
تعداد صفحات: 348 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت

قیمت کتاب (تومان) : 40,000



کلمات کلیدی مربوط به کتاب محاسبات جهانی قابل اعتماد: سمپوزیوم دوم ، TGC 2006 ، لوکا ، ایتالیا ، 7-9 نوامبر 2006 ، نسخه های تجدید نظر شده: مهندسی نرم افزار، شبکه های ارتباطی کامپیوتری، تکنیک های برنامه نویسی، سیستم ها و امنیت داده ها، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق ها و معانی برنامه ها



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 8


در صورت تبدیل فایل کتاب Trustworthy Global Computing: Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب محاسبات جهانی قابل اعتماد: سمپوزیوم دوم ، TGC 2006 ، لوکا ، ایتالیا ، 7-9 نوامبر 2006 ، نسخه های تجدید نظر شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب محاسبات جهانی قابل اعتماد: سمپوزیوم دوم ، TGC 2006 ، لوکا ، ایتالیا ، 7-9 نوامبر 2006 ، نسخه های تجدید نظر شده



این کتاب مجموعه مقالات پس از داوری کامل دومین سمپوزیوم رایانش جهانی قابل اعتماد، TGC 2006 است که در لوکا، ایتالیا، در نوامبر 2006 برگزار شد.

14 مقاله اصلاح شده همراه با دو سخنرانی اصلی ارائه شده است. سخنرانی ها به دقت بررسی و از بین 32 مورد ارسالی انتخاب شدند. مقالات در بخش‌های موضوعی در مورد انواع برای نظم دادن به تعاملات، محاسبات برای سیستم‌های توزیع‌شده، مدل‌سازی انعطاف‌پذیر، الگوریتم‌ها و سیستم‌ها برای محاسبات جهانی، و همچنین امنیت، ناشناس بودن و ایمنی نوع سازمان‌دهی شده‌اند. این کتاب با بررسی فعالیت‌های چهار برنامه FP6 اتحادیه اروپا آغاز می‌شود: Aeolus، Mobius، Sensoria، و Catnets.


توضیحاتی درمورد کتاب به خارجی

This book constitutes the thoroughly refereed post-proceedings of the Second Symposium on Trustworthy Global Computing, TGC 2006, held in Lucca, Italy, in November 2006.

The 14 revised papers presented together with two keynote lectures were carefully reviewed and selected from 32 submissions. The papers are organized in topical sections on types to discipline interactions, calculi for distributed systems, flexible modeling, algorithms and systems for global computing, as well as security, anonymity and type safety. The book starts off with activity reviews of four FP6 programmes of the European Union: Aeolus, Mobius, Sensoria, and Catnets.



فهرست مطالب

Front Matter....Pages -
Project AEOLUS: An Overview....Pages 1-9
MOBIUS: Mobility, Ubiquity, Security....Pages 10-29
 Sensoria Process Calculi for Service-Oriented Computing....Pages 30-50
Global Grids – Making a Case for Self-organization in Large-Scale Overlay Networks....Pages 51-68
Software of the Future Is the Future of Software?....Pages 69-85
An Algorithmic Theory of Mobile Agents....Pages 86-97
Spatial-Behavioral Types, Distributed Services, and Resources....Pages 98-115
Integration of a Security Type System into a Program Logic....Pages 116-131
PRISMA: A Mobile Calculus with Parametric Synchronization....Pages 132-149
On Bisimulation Proofs for the Analysis of Distributed Abstract Machines....Pages 150-166
A Typed Calculus for Querying Distributed XML Documents....Pages 167-182
Verification of Model Transformations: A Case Study with BPEL....Pages 183-199
A Fuzzy Approach for Negotiating Quality of Services....Pages 200-217
Scheduling to Maximize Participation....Pages 218-232
On the Limits of Cache-Oblivious Matrix Transposition....Pages 233-243
The KOA Remote Voting System: A Summary of Work to Date....Pages 244-262
Security Types for Dynamic Web Data....Pages 263-280
Anonymity Protocols as Noisy Channels....Pages 281-300
A Framework for Automatically Checking Anonymity with μ CRL....Pages 301-318
A Framework for Type Safe Exchange of Mobile Code....Pages 319-338
Back Matter....Pages -




نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی