Muutke küpsiste eelistusi

E-raamat: 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
Teised raamatud teemal:
  • Formaat - PDF+DRM
  • Hind: 55,56 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Lisa ostukorvi
  • Lisa soovinimekirja
  • See e-raamat on mõeldud ainult isiklikuks kasutamiseks. E-raamatuid ei saa tagastada.
Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, ProceedingsSuurem pilt
Teised raamatud teemal:

DRM piirangud

  • Kopeerimine (copy/paste):

    ei ole lubatud

  • Printimine:

    ei ole lubatud

  • Kasutamine:

    Digitaalõiguste kaitse (DRM)
    Kirjastus on väljastanud selle e-raamatu krüpteeritud kujul, mis tähendab, et selle lugemiseks peate installeerima spetsiaalse tarkvara. Samuti peate looma endale  Adobe ID Rohkem infot siin. E-raamatut saab lugeda 1 kasutaja ning alla laadida kuni 6'de seadmesse (kõik autoriseeritud sama Adobe ID-ga).

    Vajalik tarkvara
    Mobiilsetes seadmetes (telefon või tahvelarvuti) lugemiseks peate installeerima selle tasuta rakenduse: PocketBook Reader (iOS / Android)

    PC või Mac seadmes lugemiseks peate installima Adobe Digital Editionsi (Seeon tasuta rakendus spetsiaalselt e-raamatute lugemiseks. Seda ei tohi segamini ajada Adober Reader'iga, mis tõenäoliselt on juba teie arvutisse installeeritud )

    Seda e-raamatut ei saa lugeda Amazon Kindle's. 

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. 
Lisainfo e-raamatute kohta Lisainfo e-raamatute kohta
Püsilink: https://www.kriso.ee/db/97836424019612e.html
Märksõnad: