دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Coordination Models and Languages: 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings
دانلود کتاب مدل های هماهنگی و زبان ها: دهمین کنفرانس بین المللی، هماهنگی 2008، اسلو، نروژ، 4-6 ژوئن 2008. پرونده ها
مشخصات کتاب
Coordination Models and Languages: 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings
دسته بندی: کنفرانس ها و همایش های بین المللی ویرایش: 1 نویسندگان: João Abreu, José Luiz Fiadeiro (auth.), Doug Lea, Gianluigi Zavattaro (eds.) سری: Lecture Notes in Computer Science 5052 : Programming and Software Engineering ISBN (شابک) : 3540682643, 9783540682646 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2008 تعداد صفحات: 355 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 47,000
در صورت تبدیل فایل کتاب Coordination Models and Languages: 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مدل های هماهنگی و زبان ها: دهمین کنفرانس بین المللی، هماهنگی 2008، اسلو، نروژ، 4-6 ژوئن 2008. پرونده ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مدل های هماهنگی و زبان ها: دهمین کنفرانس بین المللی، هماهنگی 2008، اسلو، نروژ، 4-6 ژوئن 2008. پرونده ها
این کتاب مجموعه مقالات داوری دهمین کنفرانس بین‌المللی مدل‌ها و زبان‌های هماهنگی، COORDINATION 2008، در اسلو، نروژ، در ژوئن 2008، به عنوان یکی از کنفرانس‌های فدرال تکنیک‌های محاسباتی توزیع‌شده، DisCoTec 2008 برگزار شد.
21 مقاله کامل اصلاح شده ارائه شده با دقت بررسی و از بین 61
مقاله ارسالی انتخاب شدند. موضوع بررسی طیفی از زبان‌ها،
میان‌افزارها، سرویس‌ها و الگوریتم‌هایی است که رفتار را از
تعامل جدا می‌کند، بنابراین مدولار بودن را افزایش می‌دهد،
استدلال را ساده می‌کند و در نهایت توسعه نرم‌افزار را افزایش
می‌دهد.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 10th International Conference on Coordination Models and Languages, COORDINATION 2008, held in Oslo, Norway, in June 2008, as one of the federated conferences on Distributed Computing Techniques, DisCoTec 2008.
The 21 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 -
A Coordination Model for Service-Oriented Interactions....Pages 1-16
Implementing Session Centered Calculi....Pages 17-32
Service Combinators for Farming Virtual Machines....Pages 33-49
Timed Soft Concurrent Constraint Programs....Pages 50-66
Multiparty Sessions in SOC....Pages 67-82
Formalizing Higher-Order Mobile Embedded Business Processes with Binding Bigraphs....Pages 83-99
From Flow Logic to Static Type Systems for Coordination Languages....Pages 100-116
Session Types for Orchestration Charts....Pages 117-134
Implementing Joins Using Extensible Pattern Matching....Pages 135-152
Advice for Coordination....Pages 153-168
Modeling and Analysis of Reo Connectors Using Alloy....Pages 169-183
Alternating-Time Stream Logic for Multi-agent Systems....Pages 184-198
A Formal Account of WS-BPEL ....Pages 199-215
How to Infer Finite Session Types in a Calculus of Services and Sessions....Pages 216-231
An Event-Based Coordination Model for Context-Aware Applications....Pages 232-248
Formal Analysis of BPMN Via a Translation into COWS....Pages 249-263
Encrypted Shared Data Spaces....Pages 264-279
CiAN: A Workflow Engine for MANETs....Pages 280-295
A Process Calculus for Mobile Ad Hoc Networks....Pages 296-314
Actors with Multi-headed Message Receive Patterns....Pages 315-330
A Compositional Trace Semantics for Orc....Pages 331-346
Back Matter....Pages -
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Artificial Neural Networks in Pattern Recognition: Second IAPR Workshop, ANNPR 2006, Ulm, Germany, August 31-September 2, 2006. Proceedings
دانلود کتاب Advances in Artificial Intelligence: 13th Brazilian Symposium on Artificial Intelligence, SBIA'96 Curitiba, Brazil, October 23–25, 1996 Proceedings
دانلود کتاب Grid and Cooperative Computing: Second International Workshop, GCC 2003, Shanhai, China, December 7-10, 2003, Revised Papers, Part I
دانلود کتاب Advances in Database Technology — EDBT '94: 4th International Conference on Extending Database Technology Cambridge, United Kingdom, March 28–31, 1994 Proceedings
دانلود کتاب Job Scheduling Strategies for Parallel Processing: IPDPS 2000 Workshop, JSSPP 2000 Cancun, Mexico, May 1, 2000 Proceedings
دانلود کتاب Web-Age Information Management: First International Conference, WAIM 2000 Shanghai, China, June 21–23, 2000 Proceedings
دانلود کتاب ≪UML≫ 2000 — The Unified Modeling Language: Advancing the Standard Third International Conference York, UK, October 2–6, 2000 Proceedings
دانلود کتاب Computer Vision — ECCV '94: Third European Conference on Computer Vision Stockholm, Sweden, May 2–6, 1994 Proceedings, Volume I
دانلود کتاب Gene Families: Studies of Dna, Rna, Enzymes and Proteins : Proceedings of the October 5-10, 1999 Congress, Beijing, China, the 10th Intl Congress on Isozymes
