ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Verification and Evaluation of Computer and Communication Systems: 15th International Conference, VECoS 2021 Virtual Event, November 22–23, 2021 Revised Selected Papers

دانلود کتاب تایید و ارزیابی سیستم های کامپیوتری و ارتباطی: پانزدهمین کنفرانس بین المللی، رویداد مجازی VECoS 2021، 22 تا 23 نوامبر 2021 مقالات منتخب اصلاح شده

Verification and Evaluation of Computer and Communication Systems: 15th International Conference, VECoS 2021 Virtual Event, November 22–23, 2021 Revised Selected Papers

مشخصات کتاب

Verification and Evaluation of Computer and Communication Systems: 15th International Conference, VECoS 2021 Virtual Event, November 22–23, 2021 Revised Selected Papers

دسته بندی: کنفرانس ها و همایش های بین المللی
ویرایش:  
نویسندگان: , , ,   
سری: Lecture Notes in Computer Science, 13187 
ISBN (شابک) : 303098849X, 9783030988494 
ناشر: Springer 
سال نشر: 2022 
تعداد صفحات: 101 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت

قیمت کتاب (تومان) : 32,000

در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 12


در صورت تبدیل فایل کتاب Verification and Evaluation of Computer and Communication Systems: 15th International Conference, VECoS 2021 Virtual Event, November 22–23, 2021 Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب تایید و ارزیابی سیستم های کامپیوتری و ارتباطی: پانزدهمین کنفرانس بین المللی، رویداد مجازی VECoS 2021، 22 تا 23 نوامبر 2021 مقالات منتخب اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب تایید و ارزیابی سیستم های کامپیوتری و ارتباطی: پانزدهمین کنفرانس بین المللی، رویداد مجازی VECoS 2021، 22 تا 23 نوامبر 2021 مقالات منتخب اصلاح شده

این کتاب مجموعه مقالات پانزدهمین کنفرانس بین‌المللی راستی‌آزمایی و ارزیابی سیستم‌های رایانه‌ای و ارتباطی، VECoS 2021 است که در نوامبر 2021 برگزار شد. به دلیل همه‌گیری COVID-19، کنفرانس به صورت مجازی برگزار شد.
5 مقالات کامل ارائه شده در این جلد به دقت بررسی و از بین 12 مقاله ارسالی انتخاب شدند. هدف کنفرانس VECoS گرد هم آوردن محققان و دست اندرکاران در زمینه های تأیید، کنترل، عملکرد و ارزیابی قابلیت اطمینان است تا در مورد وضعیت هنر و چالش های موجود در سیستم های کامپیوتری و ارتباطی مدرن که در آن ویژگی های عملکردی و فراعملی است بحث شود. به شدت به هم مرتبط هستند. بنابراین، انگیزه اصلی VECoS تشویق لقاح متقابل بین روش‌ها، روش‌ها و تکنیک‌های مختلف تأیید و ارزیابی رسمی، و به‌ویژه آنهایی است که برای سیستم‌های سخت‌افزاری/نرم‌افزاری همزمان و توزیع‌شده توسعه یافته‌اند.


توضیحاتی درمورد کتاب به خارجی

This book constitutes the proceedings of the 15th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2021, which took place in November 2021. Due to COVID-19 pandemic the conference was held virtually.
The 5 full papers presented in this volume were carefully reviewed and selected from 12 submissions. The aim of the VECoS conference is to bring together researchers and practitioners in the areas of verification, control, performance, and dependability evaluation in order to discuss state of the art and challenges in modern computer and communication systems in which functional and extra-functional properties are strongly interrelated. Thus, the main motivation for VECoS is to encourage the cross-fertilization between various formal verification and evaluation approaches, methods and techniques, and especially those developed for concurrent and distributed hardware/software systems. 



فهرست مطالب

Preface
Organization
Contents
On Decentralized Monitoring
	1 Introduction
	2 Considering Synchronous Communications and Linear-Temporal Logic Formulae ch1confspsfmspsBauerF12,ch1journalsspsfmsdsps0002F16
	3 Organizing the Monitors ch1confspsrvspsColomboF14,ch1journalsspsfmsdspsColomboF16
	4 Considering Asynchronous Communications and Automata ch1confspsfortespsFalconeCF14
	5 Generalizing – Analytical Framework ch1journalsspstosemspsElspsHokayemF20
	6 Decentralizing the Specifications ch1confspsisstaspsElspsHokayemF17
	7 Tool Implementations
		7.1 DecentMon: An OCaml Benchmark for Decentralized Monitoring of LTL Formulae ch1decentmontwebsite
		7.2 THEMIS ch1confspsisstaspsElspsHokayemF17a
	8 Related Work
	9 Conclusions and Future Work
	References
Roles and Responsibilities for a Predictable Update Process – A Position Paper
	1 Introduction
	2 State of the Art
	3 Preliminaries
	4 Overview of the Update Phases
		4.1 The Update Phases
	5 Stakeholder Contracts
	6 System and Update Contracts
	7 Conclusions and Future Challenges
	References
Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation
	1 Introduction
	2 Preliminaries
	3 Event-Based and State-Based SOG
		3.1 Revisiting SOG for Hybrid LTL
		3.2 Checking Stuttering Invariant Properties on SOGs
	4 Hybrid LTL Model Checker Based on the SOG
	5 Implementation and Experiments
	6 Conclusion
	References
SMT-Based Unbounded Model Checking for ATL
	1 Introduction
	2 Concurrent Game Structures
	3 Alternating-Time Temporal Logic
	4 Fixed Point Representation of ATL and QBF Encoding
	5 Implementation
	6 Experimental Results
		6.1 Experiment 1. Train Gate Controller
		6.2 Experiment 2. Castles Game
	7 Conclusion
	References
Handling of Operating Modes in Contract-Based Timing Specifications
	1 Introduction
	2 Related Work
	3 Basic Concepts
	4 Operating Modes
	5 Specification Patterns
	6 Application Example
	7 Conclusion
	References
Coalition Formation with Multiple Alternatives of Interdependent Tasks
	1 Introduction
	2 Related Work
	3 Coalition Formation Method
		3.1 Multilateral Negotiation Protocol
		3.2 Ranking Coalition Structures
		3.3 Decision Making
	4 Experimental Evaluation
	5 Conclusion
	References
Author Index




نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی