دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Coordination Models and Languages: 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings
دانلود کتاب مدلهای هماهنگی و زبانها: 13th International Conference، COORDINATION 2011، Reykjavik، Iceland، 6-9 ژوئن 2011. مقالات
مشخصات کتاب
Coordination Models and Languages: 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings
ویرایش: 1 نویسندگان: Einar Broch Johnsen, Ivan Lanese, Gianluigi Zavattaro (auth.), Wolfgang De Meuter, Gruia-Catalin Roman (eds.) سری: Lecture Notes in Computer Science 6721 Programming and Software Engineering ISBN (شابک) : 9783642214646, 3642214649 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2011 تعداد صفحات: 229 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 36,000
کلمات کلیدی مربوط به کتاب مدلهای هماهنگی و زبانها: 13th International Conference، COORDINATION 2011، Reykjavik، Iceland، 6-9 ژوئن 2011. مقالات: مهندسی نرم افزار، تکنیک های برنامه نویسی، مهندسی نرم افزار/برنامه نویسی و سیستم های عامل، شبکه های ارتباطی کامپیوتری، مدل ها و اصول، برنامه های کاربردی سیستم های اطلاعاتی (شامل اینترنت)
در صورت تبدیل فایل کتاب Coordination Models and Languages: 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مدلهای هماهنگی و زبانها: 13th International Conference، COORDINATION 2011، Reykjavik، Iceland، 6-9 ژوئن 2011. مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مدلهای هماهنگی و زبانها: 13th International Conference، COORDINATION 2011، Reykjavik، Iceland، 6-9 ژوئن 2011. مقالات
این کتاب مجموعه مقالات داوری سیزدهمین کنفرانس بین المللی مدل
ها و زبان های هماهنگی، COORDINATION 2011، در ریکیاویک،
ایسلند، در ژوئن 2011، به عنوان یکی از رویدادهای DisCoTec 2011
برگزار شد.
14 مقاله کامل اصلاح شده ارائه شده است. از بین 35 مورد ارسالی
به دقت بررسی و انتخاب شدند. این کنفرانس بر طراحی و اجرای
مدل‌هایی متمرکز است که امکان ساخت ترکیبی سیستم‌های همزمان و
توزیع شده در مقیاس بزرگ را فراهم می‌کند، از جمله مدلهای عملی
و پایه، سیستم‌های زمان اجرا، و تکنیک‌های تأیید و تحلیل مرتبط.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 13th
International Conference on Coordination Models and
Languages, COORDINATION 2011, held in Reykjavik, Iceland, in
June 2011, as one of the DisCoTec 2011 events.
The 14 revised full papers presented were carefully reviewed
and selected from 35 submissions. The conference focuses on
the design and implementation of models that allow
compositional construction of large-scale concurrent and
distributed systems, including both practical and
foundational models, run-time systems, and related verication
and analysis techniques.
فهرست مطالب
Front Matter....Pages -
Fault in the Future....Pages 1-15
Revisiting Glue Expressiveness in Component-Based Systems....Pages 16-30
Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models....Pages 31-48
The Context of Coordinating Groups in Dynamic Mobile Networks....Pages 49-64
CSP as a Coordination Language....Pages 65-79
An Efficient Management of Correlation Sets with Broadcast....Pages 80-94
Session Typing for a Featherweight Erlang....Pages 95-109
Safe Parallel Programming with Session Java....Pages 110-126
Fair Subtyping for Multi-party Session Types....Pages 127-141
Enabling Cross-Technology Mobile Applications with Network-Aware References....Pages 142-156
Coordination and Concurrency in Multi-engine Prolog....Pages 157-171
Abstract Machines for Safe Ambients in Wide-Area and Mobile Networks....Pages 172-186
Simulation-Based Performance Analysis of Channel-Based Coordination Models....Pages 187-201
Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces....Pages 202-218
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب The Open-Source Everything Manifesto: Transparency, Truth, and Trust
دانلود کتاب Homo ludens. Zabawa jako źródło kultury
دانلود کتاب The New Elements of Mathematics. Volume III, Parts 1-2: Mathematical Miscellanea
دانلود کتاب Laboratory Manual to accompany Concepts in Biology, 13th edition
