Atjaunināt sīkdatņu piekrišanu

Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings 2013 ed. [Mīkstie vāki]

Edited by , Edited by , Edited by , Edited by
  • Formāts: Paperback / softback, 406 pages, height x width: 235x155 mm, weight: 640 g, 98 Illustrations, black and white; XII, 406 p. 98 illus., 1 Paperback / softback
  • Sērija : Theoretical Computer Science and General Issues 8054
  • Izdošanas datums: 07-Aug-2013
  • Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • ISBN-10: 3642401953
  • ISBN-13: 9783642401954
Citas grāmatas par šo tēmu:
  • Mīkstie vāki
  • Cena: 46,91 €*
  • * ši ir gala cena, t.i., netiek piemērotas nekādas papildus atlaides
  • Standarta cena: 55,19 €
  • Ietaupiet 15%
  • Grāmatu piegādes laiks ir 3-4 nedēļas, ja grāmata ir uz vietas izdevniecības noliktavā. Ja izdevējam nepieciešams publicēt jaunu tirāžu, grāmatas piegāde var aizkavēties.
  • Daudzums:
  • Ielikt grozā
  • Piegādes laiks - 4-6 nedēļas
  • Pievienot vēlmju sarakstam
Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings 2013 ed.Palielināt
  • Formāts: Paperback / softback, 406 pages, height x width: 235x155 mm, weight: 640 g, 98 Illustrations, black and white; XII, 406 p. 98 illus., 1 Paperback / softback
  • Sērija : Theoretical Computer Science and General Issues 8054
  • Izdošanas datums: 07-Aug-2013
  • Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • ISBN-10: 3642401953
  • ISBN-13: 9783642401954
Citas grāmatas par šo tēmu:
Permanent link: https://www.kriso.lv/db/9783642401954.html
Keywords:
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.