Atjaunināt sīkdatņu piekrišanu

E-grāmata: Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings

Edited by , Edited by , Edited by , Edited by
Citas grāmatas par šo tēmu:
  • Formāts - PDF+DRM
  • Cena: 53,52 €*
  • * ši ir gala cena, t.i., netiek piemērotas nekādas papildus atlaides
  • Ielikt grozā
  • Pievienot vēlmju sarakstam
  • Šī e-grāmata paredzēta tikai personīgai lietošanai. E-grāmatas nav iespējams atgriezt un nauda par iegādātajām e-grāmatām netiek atmaksāta.
Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, ProceedingsPalielināt
Citas grāmatas par šo tēmu:

DRM restrictions

  • Kopēšana (kopēt/ievietot):

    nav atļauts

  • Drukāšana:

    nav atļauts

  • Lietošana:

    Digitālo tiesību pārvaldība (Digital Rights Management (DRM))
    Izdevējs ir piegādājis šo grāmatu šifrētā veidā, kas nozīmē, ka jums ir jāinstalē bezmaksas programmatūra, lai to atbloķētu un lasītu. Lai lasītu šo e-grāmatu, jums ir jāizveido Adobe ID. Vairāk informācijas šeit. E-grāmatu var lasīt un lejupielādēt līdz 6 ierīcēm (vienam lietotājam ar vienu un to pašu Adobe ID).

    Nepieciešamā programmatūra
    Lai lasītu šo e-grāmatu mobilajā ierīcē (tālrunī vai planšetdatorā), jums būs jāinstalē šī bezmaksas lietotne: PocketBook Reader (iOS / Android)

    Lai lejupielādētu un lasītu šo e-grāmatu datorā vai Mac datorā, jums ir nepieciešamid Adobe Digital Editions (šī ir bezmaksas lietotne, kas īpaši izstrādāta e-grāmatām. Tā nav tas pats, kas Adobe Reader, kas, iespējams, jau ir jūsu datorā.)

    Jūs nevarat lasīt šo e-grāmatu, izmantojot Amazon Kindle.

This book constitutes the thoroughly refereed proceedings of the 10th International Conference on Quantitative Evaluation of Systems, QEST 2013, held in Buenos Aires, Argentina, August 27-30, 2013. The 21 revised full papers presented together with 9 tool demonstrations were carefully reviewed and selected from 52 submissions. The papers are organized in topics such as probabilistic automata and Markov automata, population models, model checking and systems, systems, control and games, timed automata and simulation.
Computer-Aided Security Proofs.- On the Interplay between Content
Popularity and Performance in P2P Systems.- Refinement and Difference for
Probabilistic Automata.- High-Level Counterexamples for Probabilistic
Automata.- Modelling, Reduction and Analysis of Markov Automata.- Deciding
Bisimilarities on Distributions.- Learning and Designing Stochastic Processes
from Logical Constraints.- Characterizing Oscillatory and Noisy Periodic
Behavior in Markov Population Models.- Model Checking Markov Population
Models by Central Limit Approximation.- Fluid Limit for the Machine Repairman
Model with Phase-Type Distributions.- Tulip: Model Checking Probabilistic
Systems Using Expectation Maximisation Algorithm.- PLASMA-lab: A Flexible,
Distributable Statistical Model Checking Library.- STRONG: A
Trajectory-BasedVerification Toolbox for Hybrid Systems.- PEPERCORN:
Inferring Performance Models from Location Tracking Data.- ADTool: Security
Analysis with AttackDefense Trees.- SAT-Based Analysis and Quantification of
Information Flow in Programs.- PrinsysOn a Quest for Probabilistic Loop
Invariants.- Revisiting Weak Simulation for Substochastic Markov Chains.- A
Performance Analysis of System S, S4, and Esper via Two Level
Benchmarking.- Effect of Codeword Placement on the Reliability of Erasure
Coded Data Storage Systems.- Fault-Impact Models Based on Delay and Packet
Loss for IEEE 802.11g.- VeriSiMPL: Verification via biSimulations of MPL
Models.- The BisimDist Library: Efficient Computation of Bisimilarity
Distances for Markovian Models.- Möbius Shell: A Command-Line Interface for
Möbius.- A CTL Model Checker for Stochastic Automata Networks.- The
Steady-State Control Problem for Markov Decision Processes.- Symbolic Control
of Stochastic Switched Systems via Finite Abstractions.- Synthesis for
Multi-objective Stochastic Games: An Application to Autonomous Urban
Driving.- Stochastic Parity Games on Lossy Channel Systems.- Transient
Analysis of Networks of Stochastic Timed Automata Using Stochastic State
Classes.- Automated Rare Event Simulation for Stochastic Petri
Nets.- Topology-Based Mobility Models for Wireless Networks. 
Biežāk uzdotie jautājumi par e-grāmatām Biežāk uzdotie jautājumi par e-grāmatām
Permanent link: https://www.kriso.lv/db/97836424019612e.html
Keywords: