دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: کنفرانس ها و همایش های بین المللی ویرایش: 1 نویسندگان: Gérard Boudol (auth.), Rocco De Nicola, Gian-Luigi Ferrari, Greg Meredith (eds.) سری: Lecture Notes in Computer Science 2949 ISBN (شابک) : 354021044X, 9783540210443 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2004 تعداد صفحات: 328 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
کلمات کلیدی مربوط به کتاب مدل ها و زبان های هماهنگی: ششمین کنفرانس بین المللی ، هماهنگی 2004 پیزا ایتالیا ، 24-27 فوریه 2004 مجموعه مقالات: تکنیک های برنامه نویسی، شبکه های ارتباطی کامپیوتری، مهندسی نرم افزار، محاسبات با دستگاه های انتزاعی، هوش مصنوعی (شامل رباتیک)
در صورت تبدیل فایل کتاب Coordination Models and Languages: 6th International Conference, COORDINATION 2004 Pisa Italy, February 24-27, 2004 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مدل ها و زبان های هماهنگی: ششمین کنفرانس بین المللی ، هماهنگی 2004 پیزا ایتالیا ، 24-27 فوریه 2004 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات داوری ششمین کنفرانس بینالمللی مدلها و زبانهای هماهنگی، COORDINATION 2004، در پیزا، ایتالیا در فوریه 2004 است.
20 مقاله کامل اصلاح شده ارائه شده همراه با چکیده 3 سخنرانی دعوت شده به دقت بررسی و از بین 72 مورد ارسالی انتخاب شدند. از جمله موضوعات مورد بحث عبارتند از هماهنگی آگاه از زمینه، مدل هماهنگی لیندا، تطبیق مؤلفه، برنامهنویسی جنبهگرا، میانافزار هماهنگی، سیستمهای همتا به همتا، زبانهای هماهنگی، هماهنگی شبکه، هماهنگی مبتنی بر منطق، هماهنگی عامل، و همچنین چندین مورد. ابزارهای هماهنگی.
This book constitutes the refereed proceeding of the 6th International Conference on Coordination Models and Languages, COORDINATION 2004, held in Pisa, Italy in February 2004.
The 20 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 72 submissions. Among the topics addressed are context-aware coordination, the Linda coordination model, component adaptation, aspect-oriented programming, coordination middleware, peer-to-peer systems, coordination languages, network coordination, logic based coordination, agent coordination, as well as several coordination tools.
Front Matter....Pages -
A Reactive Programming Model for Global Computing....Pages 1-1
Open Issues and Opportunities in Web Services Modeling, Development, and Management....Pages 2-2
Compositionality, Coordination and Software Architecture....Pages 3-4
Problem Frames: A Case for Coordination....Pages 5-19
O’Klaim : A Coordination Language with Mobile Mixins....Pages 20-37
On Calculi for Context-Aware Coordination....Pages 38-54
Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model....Pages 55-70
Measuring Component Adaptation....Pages 71-86
An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions....Pages 87-104
From Endogenous to Exogenous Coordination Using Aspect-Oriented Programming....Pages 105-118
Probabilistic KLAIM....Pages 119-134
A Lightweight Coordination Middleware for Mobile Computing....Pages 135-151
Enforcement of Communal Policies for P2P Systems....Pages 152-169
An Infrastructure to Build Secure Shared Grid Spaces....Pages 170-182
Optimistic Concurrency Semantics for Transactions in Coordination Languages....Pages 183-198
Active Coordination in Ad Hoc Networks....Pages 199-215
CoorSet: A Development Environment for Associatively Coordinated Components....Pages 216-231
On the Expressiveness of Absolute-Time Coordination Languages....Pages 232-247
Logic Based Coordination for Event–Driven Self–healing Distributed Systems....Pages 248-262
Using Coordination Middleware for Location-Aware Computing: A Lime Case Study....Pages 263-278
VIPER: A VIsual Protocol EditoR....Pages 279-293
Social Control Mechanisms to Coordinate an Unreliable Agent Society....Pages 294-306
A Component-Based Parallel Constraint Solver....Pages 307-322
Back Matter....Pages -