دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Coordination Models and Languages: 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings
دانلود کتاب مدل های هماهنگی و زبان ها: 11th International Conference، COORDINATION 2009، Lisboa، Portugal، 9-12 ژوئن 2009. پرونده ها
مشخصات کتاب
Coordination Models and Languages: 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings
ویرایش: 1 نویسندگان: Manuel Serrano (auth.), John Field, Vasco T. Vasconcelos (eds.) سری: Lecture Notes in Computer Science 5521 : Programming and Software Engineering ISBN (شابک) : 9783642020537, 3642020534 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2009 تعداد صفحات: 317 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 46,000
در صورت تبدیل فایل کتاب Coordination Models and Languages: 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مدل های هماهنگی و زبان ها: 11th International Conference، COORDINATION 2009، Lisboa، Portugal، 9-12 ژوئن 2009. پرونده ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مدل های هماهنگی و زبان ها: 11th International Conference، COORDINATION 2009، Lisboa، Portugal، 9-12 ژوئن 2009. پرونده ها
این کتاب مجموعه مقالات داوری یازدهمین کنفرانس بین‌المللی مدل‌ها و زبان‌های هماهنگی، COORDINATION 2009، در لیسبون، پرتغال، در ژوئن 2009، به عنوان یکی از کنفرانس‌های فدرال تکنیک‌های محاسباتی توزیع‌شده، DisCoTec 2009 برگزار شد.
14 مقاله کامل اصلاح شده ارائه شده با دقت بررسی و از بین 61 مقاله ارسالی انتخاب شدند. موضوع بررسی طیفی از زبان‌ها، میان‌افزارها، سرویس‌ها و الگوریتم‌هایی است که رفتار را از تعامل جدا می‌کند، بنابراین مدولار بودن را افزایش می‌دهد، استدلال را ساده می‌کند و در نهایت توسعه نرم‌افزار را افزایش می‌دهد.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 11th International Conference on Coordination Models and Languages, COORDINATION 2009, held in Lisbon, Portugal, in June 2009, as one of the federated conferences on Distributed Computing Techniques, DisCoTec 2009.
The 14 revised full papers presented were carefully reviewed and selected from 61 submissions. The subject-matter is to explore the spectrum of languages, middleware, services, and algorithms that separate behavior from interaction, therefore increasing modularity, simplifying reasoning, and ultimately enhancing software development.
فهرست مطالب
Front Matter....Pages -
Hop, a Fast Server for the Diffuse Web....Pages 1-26
High-Performance Transactional Event Processing....Pages 27-46
Exceptionally Safe Futures....Pages 47-65
Enhanced Coordination in Sensor Networks through Flexible Service Provisioning....Pages 66-85
Fairness for Chorded Languages....Pages 86-105
Mobility Models and Behavioural Equivalence for Wireless Networks....Pages 106-122
Parametrised Constants and Replication for Spatial Mobility....Pages 123-142
Biochemical Tuple Spaces for Self-organising Coordination....Pages 143-162
Multicore Scheduling for Lightweight Communicating Processes....Pages 163-183
Automata for Context-Dependent Connectors....Pages 184-203
Contract-Based Coordination of Hardware Components for the Development of Embedded Software....Pages 204-224
Coordination Model for Real-Time Collaborative Editors....Pages 225-246
A Uniform Framework for Modeling and Verifying Components and Connectors....Pages 247-267
From Coordination to Stochastic Models of QoS....Pages 268-287
Assume-Guarantee Verification of Concurrent Systems....Pages 288-305
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Electronic Health Records: A Practical Guide for Professionals and Organizations
