دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Coordination Models and Languages: 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings
دانلود کتاب مدل ها و زبان های هماهنگی: پانزدهمین کنفرانس بین المللی ، هماهنگی 2013 ، به عنوان بخشی از هشتمین کنفرانس بین المللی فدرال شده در مورد تکنیک های محاسبات توزیع شده ، DisCoTec 2013 ، فلورانس ، ایتالیا ، 3-5 ژوئن ، 2013. مجموعه مقالات
مشخصات کتاب
Coordination Models and Languages: 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings
ویرایش: 1 نویسندگان: Luca Bortolussi, Diego Latella, Mieke Massink (auth.), Rocco De Nicola, Christine Julien (eds.) سری: Lecture Notes in Computer Science 7890 ISBN (شابک) : 9783642384929, 9783642384936 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2013 تعداد صفحات: 264 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 37,000
کلمات کلیدی مربوط به کتاب مدل ها و زبان های هماهنگی: پانزدهمین کنفرانس بین المللی ، هماهنگی 2013 ، به عنوان بخشی از هشتمین کنفرانس بین المللی فدرال شده در مورد تکنیک های محاسبات توزیع شده ، DisCoTec 2013 ، فلورانس ، ایتالیا ، 3-5 ژوئن ، 2013. مجموعه مقالات: مهندسی نرم افزار، سیستم های عامل، محاسبات با دستگاه های انتزاعی، منطق و معانی برنامه ها، شبکه های ارتباطی کامپیوتری
در صورت تبدیل فایل کتاب Coordination Models and Languages: 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مدل ها و زبان های هماهنگی: پانزدهمین کنفرانس بین المللی ، هماهنگی 2013 ، به عنوان بخشی از هشتمین کنفرانس بین المللی فدرال شده در مورد تکنیک های محاسبات توزیع شده ، DisCoTec 2013 ، فلورانس ، ایتالیا ، 3-5 ژوئن ، 2013. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مدل ها و زبان های هماهنگی: پانزدهمین کنفرانس بین المللی ، هماهنگی 2013 ، به عنوان بخشی از هشتمین کنفرانس بین المللی فدرال شده در مورد تکنیک های محاسبات توزیع شده ، DisCoTec 2013 ، فلورانس ، ایتالیا ، 3-5 ژوئن ، 2013. مجموعه مقالات
این کتاب مجموعه مقالات داوری پانزدهمین کنفرانس بین‌المللی
مدل‌ها و زبان‌های هماهنگی، COORDINATION 2013، در Firenze،
ایتالیا، در ژوئن 2013، در هشتمین کنفرانس فدرال بین‌المللی
تکنیک‌های محاسباتی توزیع‌شده (DisCoTec 2013) است.
17 مقاله کامل اصلاح شده ارائه شده با دقت بررسی و از بین 42
مقاله ارسالی انتخاب شدند. این مقالات طیف گسترده ای از موضوعات
از جمله هماهنگی فرآیندهای همکاری اجتماعی، هماهنگی سیستم های
تلفن همراه در شبکه های همتا به همتا و ad-hoc، برنامه نویسی و
استدلال در مورد نرم افزارهای توزیع شده و همزمان، انواع،
قراردادها، همگام سازی، الگوهای هماهنگی و خانواده های سیستم
های توزیع شده.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 15th
International Conference on Coordination Models and
Languages, COORDINATION 2013, held in Firenze, Italy, in June
2013, within the 8th International Federated Conference on
Distributed Computing Techniques (DisCoTec 2013).
The 17 revised full papers presented were carefully reviewed
and selected from 42 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 -
Stochastic Process Algebra and Stability Analysis of Collective Systems....Pages 1-15
Modelling MAC-Layer Communications in Wireless Systems....Pages 16-30
Coordinating Phased Activities while Maintaining Progress....Pages 31-44
Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions....Pages 45-59
Pattern Matching and Bisimulation....Pages 60-74
Component-Based Autonomic Managers for Coordination Control....Pages 75-89
Multi-threaded Active Objects....Pages 90-104
Scheduling Open-Nested Transactions in Distributed Transactional Memory....Pages 105-120
Peer-Based Programming Model for Coordination Patterns....Pages 121-135
Decidability Results for Dynamic Installation of Compensation Handlers....Pages 136-150
Probabilistic Modular Embedding for Stochastic Coordinated Systems....Pages 151-165
ByteSTM: Virtual Machine-Level Java Software Transactional Memory....Pages 166-180
The Future of a Missed Deadline....Pages 181-195
Event Loop Coordination Using Meta-programming....Pages 196-210
Interactive Interaction Constraints....Pages 211-225
Towards Distributed Reactive Programming....Pages 226-235
Typing Progress in Communication-Centred Systems....Pages 236-250
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Batman The Widening Gyre #3
دانلود کتاب Lonely Planet Papua New Guinea & Solomon Islands
دانلود کتاب Germs and Governance: The Past, Present and Future of Hospital Infection, Prevention and Control
