دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Mario Bravetti, Ivan Lanese, Gianluigi Zavattaro (auth.), Christos Kaklamanis, Flemming Nielson (eds.) سری: Lecture Notes in Computer Science 5474 : Theoretical Computer Science and General Issues ISBN (شابک) : 3642009441, 9783642009440 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2009 تعداد صفحات: 223 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
کلمات کلیدی مربوط به کتاب محاسبات جهانی قابل اعتماد: چهارمین سمپوزیوم بین المللی، TGC 2008، بارسلونا، اسپانیا، 3-4 نوامبر 2008، مقالات منتخب اصلاح شده: مهندسی نرم افزار، شبکه های ارتباطی کامپیوتری، تکنیک های برنامه نویسی، سیستم ها و امنیت داده ها، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق ها و معانی برنامه ها
در صورت تبدیل فایل کتاب Trustworthy Global Computing: 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب محاسبات جهانی قابل اعتماد: چهارمین سمپوزیوم بین المللی، TGC 2008، بارسلونا، اسپانیا، 3-4 نوامبر 2008، مقالات منتخب اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات پس از کنفرانس با داوری کامل چهارمین سمپوزیوم بین المللی محاسبات جهانی قابل اعتماد، TGC 2008 است که در بارسلون، اسپانیا، در نوامبر 2008 برگزار شد.
12 مقاله اصلاح شده ارائه شده است. به همراه یک مقاله دعوت شده از بین 26 مقاله ارسالی طی دو دور بررسی و بهبود به دقت انتخاب شدند. مقالات سمپوزیوم TGC 2008 بر ارائه ابزارها و چارچوبهایی برای ساخت برنامههای کاربردی با رفتار خوب و استدلال در مورد رفتار و ویژگیهای آنها در مدلهای محاسباتی تمرکز دارد که شامل کد و تحرک داده در شبکههای توزیع شده با توپولوژیهای بسیار پویا و دستگاههای ناهمگن است.
This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Symposium on Trustworthy Global Computing, TGC 2008 held in Barcelona, Spain, in November 2008.
The 12 revised papers presented together with one invited paper were carefully selected from 26 submissions during two rounds of reviewing and improvement. The TGC 2008 symposium papers focus on providing tools and frameworks for constructing well-behaved applications and for reasoning about their behavior and properties in models of computation that incorporate code and data mobility over distributed networks with highly dynamic topologies and heterogeneous devices.
Front Matter....Pages -
Contract-Driven Implementation of Choreographies....Pages 1-18
Model Checking Usage Policies....Pages 19-35
Bounds on the Leakage of the Input’s Distribution in Information-Hiding Protocols....Pages 36-51
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces....Pages 52-68
Provably Correct Implementations of Services....Pages 69-86
A Process Calculus Analysis of Compensations....Pages 87-103
Structured Communications with Concurrent Constraints....Pages 104-125
Type Systems for Bigraphs....Pages 126-140
On the Relative Expressive Power of Ambient-Based Calculi....Pages 141-156
Connectivity in Multi-interface Networks....Pages 157-170
Optimal Routing and Call Scheduling in Wireless Mesh Networks with Localized Informations....Pages 171-185
Trust Management and Trust Negotiation in an Extension of SQL....Pages 186-200
Dynamic Recovering of Long Running Transactions....Pages 201-215
Back Matter....Pages -