دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Coordination Models and Languages: 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012. Proceedings
دانلود کتاب مدل ها و زبان های هماهنگی: چهاردهمین کنفرانس بین المللی ، هماهنگی 2012 ، استکهلم ، سوئد ، 14-15 ژوئن ، 2012. مجموعه مقالات
مشخصات کتاب
Coordination Models and Languages: 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012. Proceedings
ویرایش: 1 نویسندگان: Vitaliy Liptchinsky, Roman Khazankin, Hong-Linh Truong (auth.), Marjan Sirjani (eds.) سری: Lecture Notes in Computer Science 7274 ISBN (شابک) : 9783642308284, 3642308295 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2012 تعداد صفحات: 289 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 مگابایت
قیمت کتاب (تومان) : 56,000
کلمات کلیدی مربوط به کتاب مدل ها و زبان های هماهنگی: چهاردهمین کنفرانس بین المللی ، هماهنگی 2012 ، استکهلم ، سوئد ، 14-15 ژوئن ، 2012. مجموعه مقالات: مهندسی نرم افزار، تکنیک های برنامه نویسی، مهندسی نرم افزار/برنامه نویسی و سیستم های عامل، شبکه های ارتباطی کامپیوتری، مدل ها و اصول، برنامه های کاربردی سیستم های اطلاعاتی (شامل اینترنت)
در صورت تبدیل فایل کتاب Coordination Models and Languages: 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مدل ها و زبان های هماهنگی: چهاردهمین کنفرانس بین المللی ، هماهنگی 2012 ، استکهلم ، سوئد ، 14-15 ژوئن ، 2012. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مدل ها و زبان های هماهنگی: چهاردهمین کنفرانس بین المللی ، هماهنگی 2012 ، استکهلم ، سوئد ، 14-15 ژوئن ، 2012. مجموعه مقالات
این کتاب مجموعه مقالات داوری چهاردهمین کنفرانس بین‌المللی مدل‌ها و زبان‌های هماهنگی، COORDINATION 2012، در استکهلم، سوئد، در ژوئن 2012، به عنوان یکی از رویدادهای DisCoTec 2012 است. 18 مقاله کامل اصلاح شده ارائه شده با دقت بررسی و از بین 55 مقاله ارسالی انتخاب شدند. این مقالات طیف گسترده ای از موضوعات از جمله هماهنگی فرآیندهای همکاری اجتماعی، هماهنگی سیستم های تلفن همراه در شبکه های همتا به همتا و ad-hoc، برنامه نویسی و استدلال در مورد نرم افزارهای توزیع شده و همزمان، انواع، قراردادها، همگام سازی، الگوهای هماهنگی و خانواده های سیستم های توزیع شده.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 14th International Conference on Coordination Models and Languages, COORDINATION 2012, held in Stockholm, Sweden, in June 2012, as one of the DisCoTec 2012 events. The 18 revised full papers presented were carefully reviewed and selected from 55 submissions. The papers cover a wide range of topics including coordination of social collaboration processes, coordination of mobile systems in peer-to-peer and ad-hoc networks, programming and reasoning about distributed and concurrent software, types, contracts, synchronization, coordination patterns, and families of distributed systems.
فهرست مطالب
Front Matter....Pages -
Statelets: Coordination of Social Collaboration Processes....Pages 1-16
A Social Software-Based Coordination Platform....Pages 17-28
Synchronization of Multiple Autonomic Control Loops: Application to Cloud Computing....Pages 29-43
Subobject Transactional Memory....Pages 44-58
Partial Connector Colouring....Pages 59-73
Using Coordinated Actors to Model Families of Distributed Systems....Pages 74-88
Scoped Synchronization Constraints for Large Scale Actor Systems....Pages 89-103
First-Order Dynamic Logic for Compensable Processes....Pages 104-121
Coordinating Parallel Mobile Ambients to Solve SAT Problem in Polynomial Number of Steps....Pages 122-136
Recursive Advice for Coordination....Pages 137-151
Fluid Analysis of Foraging Ants....Pages 152-165
Real-Time Coordination Patterns for Advanced Mechatronic Systems....Pages 166-180
Group Orchestration in a Mobile Environment....Pages 181-195
Node Coordination in Peer-to-Peer Networks....Pages 196-211
Linda in Space-Time: An Adaptive Coordination Model for Mobile Ad-Hoc Environments....Pages 212-229
A Space-Based Generic Pattern for Self-Initiative Load Clustering Agents....Pages 230-244
On the Realizability of Contracts in Dishonest Systems....Pages 245-260
Types for Coordinating Secure Behavioural Variations....Pages 261-276
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Theory of Quantum and Classical Connections in Modeling Atomic, Molecular and Electrodynamical Systems
دانلود کتاب Scientific Computing with Automatic Result Verification
دانلود کتاب 无穷分析引论
دانلود کتاب Yahudinin kanlı böreği
