001439062 000__ 05555cam\a2200673\i\4500
001439062 001__ 1439062
001439062 003__ OCoLC
001439062 005__ 20230309004409.0
001439062 006__ m\\\\\o\\d\\\\\\\\
001439062 007__ cr\un\nnnunnun
001439062 008__ 210824s2021\\\\sz\a\\\\o\\\\\101\0\eng\d
001439062 020__ $$a9783030851729$$q(electronic bk.)
001439062 020__ $$a3030851729$$q(electronic bk.)
001439062 020__ $$z9783030851712
001439062 020__ $$z3030851710
001439062 0247_ $$a10.1007/978-3-030-85172-9$$2doi
001439062 035__ $$aSP(OCoLC)1264715059
001439062 040__ $$aYDX$$beng$$erda$$epn$$cYDX$$dGW5XE$$dOCLCO$$dEBLCP$$dOCLCF$$dOCLCQ$$dOCLCO$$dCOM$$dOCLCQ
001439062 049__ $$aISEA
001439062 050_4 $$aQA76.9.E94$$bI58 2021
001439062 08204 $$a004.2/5$$223
001439062 1112_ $$aInternational Conference on Quantitative Evaluation of Systems$$n(18th :$$d2021 :$$cOnline)
001439062 24510 $$aQuantitative evaluation of systems :$$b18th international conference, QEST 2021, Paris, France, August 23-27, 2021 : proceedings /$$cAlessandro Abate, Andrea Marin (eds.).
001439062 24630 $$aQEST 2021
001439062 264_1 $$aCham :$$bSpringer,$$c[2021]
001439062 264_4 $$c©2021
001439062 300__ $$a1 online resource :$$billustrations (some color)
001439062 336__ $$atext$$btxt$$2rdacontent
001439062 337__ $$acomputer$$bc$$2rdamedia
001439062 338__ $$aonline resource$$bcr$$2rdacarrier
001439062 4901_ $$aLecture notes in computer science ;$$v12846
001439062 4901_ $$aLNCS sublibrary: SL1 - Theoretical computer science and general issues
001439062 500__ $$aInternational conference proceedings.
001439062 500__ $$a"QEST 2021 was hosted within QONFEST 2021, and held virtually during August 23-27, 2021. The event was co-located with CONCUR, FORMATS, FMICS, and other workshops"--Preface
001439062 500__ $$aIncludes author index.
001439062 5050_ $$aKeynote Speaker -- Performance Evaluation: Model-Driven or Problem-Driven? -- Probabilistic Model Checking -- A Modest Approach to Dynamic Heuristic Search in Probabilistic Model Checking -- Tweaking the Odds in Probabilistic Timed Automata -- Quantifying Software Reliability via Model-Counting -- Quantitative Models and Metamodels: Analysis and Validation -- Compositional safe approximation of response time distribution of complex workflows -- Transient Analysis of Hierarchical Semi-Markov Process Models with Tool Support in Stateflow -- Evaluating the Effectiveness of Metamodels in Emulating Quantitative Models -- Queueing Systems -- Network Calculus for Bounding Delays in Feedforward Networks of FIFO Queueing Systems -- SEH: Size Estimate Hedging for Single-Server Queues -- An Approximate Bribe Queueing Model for Bid Advising in Cloud Spot Markets -- Learning and Verification -- DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning -- Active and sparse methods in smoothed model checking -- Safe Learning for Near-Optimal Scheduling -- Simulation -- Symbolic Simulation of Railway Timetables under Consideration of Stochastic Dependencies -- Simulation of n-dimensional second-order fluid models with different absorbing, reflecting and mixed barriers -- Performance Evaluation -- Queue Response Times with Server Speed Controlled by Measured Utilizations -- Service Demand Distribution Estimation for Microservices Using Markovian Arrival Processes -- Performance analysis of work stealing strategies in large scale multi-threaded computing -- Abstractions and Aggregations -- Stationary Distribution Approximations of Markovian Population Models using Aggregation -- Reasoning about Proportional Lumpability -- Lumpability for Uncertain Continuous-Time Markov Chains -- Stochastic Models -- Accurate Approximate Diagnosis of (Controllable) Stochastic Systems -- Optimizing reachability probabilities for a restricted class of Stochastic Hybrid Automata via Flowpipe-Construction -- Attack Trees vs. Fault Trees: two sides of the same coin from different currencies.
001439062 506__ $$aAccess limited to authorized users.
001439062 520__ $$aThis book constitutes the proceedings of the 18th International Conference on Quantitative Evaluation Systems, QEST 2021, held in Paris, France, in August 2021. The 21 full papers and 2 short papers presented together with 2 keynote papers were carefully reviewed and selected from 47 submissions. The papers are organized in the following topics: probabilistic model checking; quantitative models and metamodels: analysis and validation; queueing systems; learning and verification; simulation; performance evaluation; abstractions and aggregations; and stochastic models.
001439062 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed August 26, 2021).
001439062 650_0 $$aComputer systems$$xEvaluation$$vCongresses.
001439062 650_0 $$aComputer networks$$xEvaluation$$vCongresses.
001439062 650_0 $$aReliability (Engineering)$$vCongresses.
001439062 650_6 $$aSystèmes informatiques$$xÉvaluation$$vCongrès.
001439062 650_6 $$aRéseaux d'ordinateurs$$xÉvaluation$$vCongrès.
001439062 650_6 $$aFiabilité$$vCongrès.
001439062 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001439062 655_7 $$aConference papers and proceedings.$$2lcgft
001439062 655_7 $$aActes de congrès.$$2rvmgf
001439062 655_0 $$aElectronic books.
001439062 7001_ $$aAbate, Alessandro,$$eeditor.
001439062 7001_ $$aMarin, Andrea,$$d1976-$$eeditor.
001439062 830_0 $$aLecture notes in computer science ;$$v12846.
001439062 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
001439062 852__ $$bebk
001439062 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-85172-9$$zOnline Access$$91397441.1
001439062 909CO $$ooai:library.usi.edu:1439062$$pGLOBAL_SET
001439062 980__ $$aBIB
001439062 980__ $$aEBOOK
001439062 982__ $$aEbook
001439062 983__ $$aOnline
001439062 994__ $$a92$$bISE