دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Giuseppe Castagna (auth.), Roberto Bruni, Juergen Dingel (eds.) سری: Lecture Notes in Computer Science 6722 ISBN (شابک) : 9783642214608, 3642214614 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2011 تعداد صفحات: 362 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
کلمات کلیدی مربوط به کتاب تکنیک های رسمی برای سیستم های توزیع شده: سیزدهمین کنفرانس بین المللی IFIP WG 6.1 مشترک ، FMOODS 2011 و سی امین کنفرانس بین المللی IFIP WG 6.1 ، FORTE 2011 ، ریکیاویک ، ایسلند ، 6-9 ژوئن 2011. مجموعه مقالات: شبکه های ارتباطی کامپیوتری، تکنیک های برنامه نویسی، مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق ها و معانی برنامه ها، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Formal Techniques for Distributed Systems: Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تکنیک های رسمی برای سیستم های توزیع شده: سیزدهمین کنفرانس بین المللی IFIP WG 6.1 مشترک ، FMOODS 2011 و سی امین کنفرانس بین المللی IFIP WG 6.1 ، FORTE 2011 ، ریکیاویک ، ایسلند ، 6-9 ژوئن 2011. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات داوری سیزدهمین کنفرانس بینالمللی IFIP WG 6.1 در مورد روشهای رسمی برای سیستمهای توزیع شده مبتنی بر شیء باز، FMOODS 2011 و سی و یکمین تکنیک رسمی IFIP WG 6.1 برای سیستمهای شبکهای و توزیعشده در FOR1، FOR1 است، ریکیاویک، جزیره، در ژوئن 2011، به عنوان یکی از رویدادهای DisCoTec 2011. 21 مقاله کامل اصلاح شده ارائه شده همراه با یک سخنرانی دعوت شده به دقت بررسی و از 65 مورد ارسالی انتخاب شدند. موضوعات تحت پوشش عبارتند از تأیید رسمی، مدلسازی و مشخصات رسمی، نظارت بر زمان اجرا، و آزمایش برای رسیدگی به چالشها در بسیاری از حوزههای کاربردی مختلف، از جمله شبکههای پویا و موقت، محاسبات متحرک و تطبیقی، سیستمهای واکنشی و زمانبندیشده، فرآیندهای تجاری و توزیعشده. و سیستم ها و الگوریتم های همزمان.
This book constitutes the refereed proceedings of the 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2011, and the 31st IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2011, held in Reykjavik, Island, in June 2011, as one of the DisCoTec 2011 events. The 21 revised full papers presented together with one invited talk were carefully reviewed and selected from 65 submissions. The topics covered are formal verification, formal modeling and specification, run-time monitoring, and testing to address challenges in many different application areas, including dynamic and ad hoc networks, mobile and adaptive computation, reactive and timed systems, business processes, and distributed and concurrent systems and algorithms.
Front Matter....Pages -
On Global Types and Multi-party Sessions....Pages 1-28
Linear-Time and May-Testing in a Probabilistic Reactive Setting....Pages 29-43
A Model-Checking Tool for Families of Services....Pages 44-58
Partial Order Methods for Statistical Model Checking and Simulation....Pages 59-74
Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking....Pages 75-89
Adaptable Processes (Extended Abstract)....Pages 90-105
A Framework for Verifying Data-Centric Protocols....Pages 106-120
Relational Concurrent Refinement: Timed Refinement....Pages 121-137
Galois Connections for Flow Algebras....Pages 138-152
An Accurate Type System for Information Flow in Presence of Arrays....Pages 153-167
Analysis of Deadlocks in Object Groups....Pages 168-182
Monitoring Distributed Systems Using Knowledge....Pages 183-197
Global State Estimates for Distributed Systems....Pages 198-212
A Process Calculus for Dynamic Networks....Pages 213-227
On Asynchronous Session Semantics....Pages 228-243
Towards Verification of the Pastry Protocol Using TLA + ....Pages 244-258
Dynamic Soundness in Resource-Constrained Workflow Nets....Pages 259-273
SimGrid MC: Verification Support for a Multi-API Simulation Platform....Pages 274-288
Ownership Types for the Join Calculus....Pages 289-303
Contracts for Multi-instance UML Activities....Pages 304-318
Annotation Inference for Separation Logic Based Verifiers....Pages 319-333
Analyzing BGP Instances in Maude....Pages 334-348
Back Matter....Pages -