دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1
نویسندگان: Javier Campos. Boudewijn R. Haverkort (eds.)
سری: Lecture Notes in Computer Science 9259
ISBN (شابک) : 9783319222639, 9783319222646
ناشر: Springer International Publishing
سال نشر: 2015
تعداد صفحات: 334
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 17 مگابایت
کلمات کلیدی مربوط به کتاب ارزیابی کمی سیستم ها: دوازدهمین کنفرانس بین المللی، QEST 2015، مادرید، اسپانیا، 1-3 سپتامبر 2015، مجموعه مقالات: منطق و معانی برنامه ها، عملکرد و ارزیابی سیستم، احتمال و آمار در علوم کامپیوتر، محاسبات با دستگاه های انتزاعی، شبیه سازی و مدل سازی
در صورت تبدیل فایل کتاب Quantitative Evaluation of Systems: 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ارزیابی کمی سیستم ها: دوازدهمین کنفرانس بین المللی، QEST 2015، مادرید، اسپانیا، 1-3 سپتامبر 2015، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات دوازدهمین کنفرانس بینالمللی ارزیابی کمی سیستمها، QEST 2015، در مادرید، اسپانیا، در سپتامبر 2015 است. 19 مقاله ارائهشده با دقت بررسی و از بین 42 مقاله ارسالی انتخاب شدند. آنها در بخش های موضوعی به نام های: مدل سازی و برنامه ها سازماندهی شده اند. ابزار؛ شبکه های پتری، جبر فرآیند و درختان خطا. برنامه های کاربردی؛ و سیستم های صف و سیستم های هیبریدی. این کتاب همچنین حاوی یک سخنرانی دعوت شده به صورت مقاله کامل است.
This book constitutes the proceedings of the 12th International Conference on Quantitative Evaluation of Systems, QEST 2015, held in Madrid, Spain, in September 2015. The 19 papers presented were carefully reviewed and selected from 42 submissions. They are organized in topical sections named: modelling and applications; tools; petri nets, process algebra and fault trees; applications; and queuing systems and hybrid systems. The book also contains one full-paper invited talk.
Front Matter....Pages I-XVI
Front Matter....Pages 1-1
Uniting Academic Achievements on Performance Analysis with Industrial Needs....Pages 3-18
Front Matter....Pages 19-19
Stochastic Modeling for Performance Evaluation of Database Replication Protocols....Pages 21-37
A Continuous-Time Model-Based Approach to Activity Recognition for Ambient Assisted Living....Pages 38-53
Power Trading Coordination in Smart Grids Using Dynamic Learning and Coalitional Game Theory....Pages 54-69
PCA-Based Method for Detecting Integrity Attacks on Advanced Metering Infrastructure....Pages 70-85
Front Matter....Pages 87-87
U-Check: Model Checking and Parameter Synthesis Under Uncertainty....Pages 89-104
mapfit: An R-Based Tool for PH/MAP Parameter Estimation....Pages 105-112
A Compression App for Continuous Probability Distributions....Pages 113-121
Front Matter....Pages 123-123
Computing Structural Properties of Symmetric Nets....Pages 125-140
Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis....Pages 141-159
Lumping-Based Equivalences in Markovian Automata and Applications to Product-Form Analyses....Pages 160-175
A Numerical Analysis of Dynamic Fault Trees Based on Stochastic Bounds....Pages 176-191
Front Matter....Pages 193-193
Quantitative Placement of Services in Hierarchical Clouds....Pages 195-210
Characterizing Data Dependence Constraints for Dynamic Reliability Using N-Queens Attack Domains....Pages 211-227
Quantitative Analysis of Consistency in NoSQL Key-Value Stores....Pages 228-243
Impact of Policy Design on Workflow Resiliency Computation Time....Pages 244-259
Front Matter....Pages 261-261
Perfect Sampling for Multiclass Closed Queueing Networks....Pages 263-278
Power and Effectiveness in Queueing Systems....Pages 279-294
A Solving Procedure for Stochastic Satisfiability Modulo Theories with Continuous Domain....Pages 295-311
Bayesian Statistical Analysis for Performance Evaluation in Real-Time Control Systems....Pages 312-328
Back Matter....Pages 329-329