top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Quantitative Evaluation of Systems [[electronic resource] ] : 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings / / edited by Alessandro Abate, Andrea Marin
Quantitative Evaluation of Systems [[electronic resource] ] : 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings / / edited by Alessandro Abate, Andrea Marin
Edizione [1st ed. 2021.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021
Descrizione fisica 1 online resource (469 pages)
Disciplina 004.24
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer science
Computer science - Mathematics
Mathematical statistics
Artificial intelligence
Software engineering
Algorithms
Machine theory
Theory of Computation
Probability and Statistics in Computer Science
Artificial Intelligence
Software Engineering
Formal Languages and Automata Theory
ISBN 3-030-85172-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Keynote 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.
Record Nr. UNISA-996464396903316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Quantitative Evaluation of Systems : 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings / / edited by Alessandro Abate, Andrea Marin
Quantitative Evaluation of Systems : 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings / / edited by Alessandro Abate, Andrea Marin
Edizione [1st ed. 2021.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021
Descrizione fisica 1 online resource (469 pages)
Disciplina 004.24
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer science
Computer science - Mathematics
Mathematical statistics
Artificial intelligence
Software engineering
Algorithms
Machine theory
Theory of Computation
Probability and Statistics in Computer Science
Artificial Intelligence
Software Engineering
Formal Languages and Automata Theory
ISBN 3-030-85172-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Keynote 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.
Record Nr. UNINA-9910495168603321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Quantitative Evaluation of Systems [[electronic resource] ] : 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings / / edited by David Parker, Verena Wolf
Quantitative Evaluation of Systems [[electronic resource] ] : 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings / / edited by David Parker, Verena Wolf
Edizione [1st ed. 2019.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019
Descrizione fisica 1 online resource (XI, 361 p. 595 illus., 55 illus. in color.)
Disciplina 004.24
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer science
Software engineering
Artificial intelligence
Computer science—Mathematics
Mathematical statistics
Machine theory
Algorithms
Computer Science Logic and Foundations of Programming
Software Engineering
Artificial Intelligence
Probability and Statistics in Computer Science
Formal Languages and Automata Theory
ISBN 3-030-30281-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Probabilistic Verification -- Learning and Verification -- Hybrid Systems -- Security -- Probabilistic Modelling and Abstraction -- Applications and Tools.
Record Nr. UNISA-996466285503316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Quantitative Evaluation of Systems : 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings / / edited by David Parker, Verena Wolf
Quantitative Evaluation of Systems : 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings / / edited by David Parker, Verena Wolf
Edizione [1st ed. 2019.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019
Descrizione fisica 1 online resource (XI, 361 p. 595 illus., 55 illus. in color.)
Disciplina 004.24
004.25
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer science
Software engineering
Artificial intelligence
Computer science—Mathematics
Mathematical statistics
Machine theory
Algorithms
Computer Science Logic and Foundations of Programming
Software Engineering
Artificial Intelligence
Probability and Statistics in Computer Science
Formal Languages and Automata Theory
ISBN 3-030-30281-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Probabilistic Verification -- Learning and Verification -- Hybrid Systems -- Security -- Probabilistic Modelling and Abstraction -- Applications and Tools.
Record Nr. UNINA-9910349299203321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Quantitative Evaluation of Systems [[electronic resource] ] : 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings / / edited by Annabelle McIver, Andras Horvath
Quantitative Evaluation of Systems [[electronic resource] ] : 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings / / edited by Annabelle McIver, Andras Horvath
Edizione [1st ed. 2018.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Descrizione fisica 1 online resource (XI, 423 p. 101 illus.)
Disciplina 004.24
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer science
Software engineering
Computer science—Mathematics
Mathematical statistics
Artificial intelligence
Computer simulation
Machine theory
Computer Science Logic and Foundations of Programming
Software Engineering
Probability and Statistics in Computer Science
Artificial Intelligence
Computer Modelling
Formal Languages and Automata Theory
ISBN 3-319-99154-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996466371103316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Quantitative Evaluation of Systems : 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings / / edited by Annabelle McIver, Andras Horvath
Quantitative Evaluation of Systems : 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings / / edited by Annabelle McIver, Andras Horvath
Edizione [1st ed. 2018.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Descrizione fisica 1 online resource (XI, 423 p. 101 illus.)
Disciplina 004.24
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer science
Software engineering
Computer science—Mathematics
Mathematical statistics
Artificial intelligence
Computer simulation
Machine theory
Computer Science Logic and Foundations of Programming
Software Engineering
Probability and Statistics in Computer Science
Artificial Intelligence
Computer Modelling
Formal Languages and Automata Theory
ISBN 3-319-99154-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910349412103321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Quantitative Evaluation of Systems [[electronic resource] ] : 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings / / edited by Nathalie Bertrand, Luca Bortolussi
Quantitative Evaluation of Systems [[electronic resource] ] : 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings / / edited by Nathalie Bertrand, Luca Bortolussi
Edizione [1st ed. 2017.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
Descrizione fisica 1 online resource (XIII, 370 p. 94 illus.)
Disciplina 004.24
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer science
Electronic digital computers—Evaluation
Computer science—Mathematics
Mathematical statistics
Computer simulation
Computer Science Logic and Foundations of Programming
System Performance and Evaluation
Probability and Statistics in Computer Science
Theory of Computation
Computer Modelling
ISBN 3-319-66335-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Probabilistic modeling --  Smart energy systems over the cloud --  Petri nets and performance modeling --  Parametric verification -- Machine learning and formal methods -- Tools.  .
Record Nr. UNISA-996465877003316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Quantitative Evaluation of Systems : 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings / / edited by Nathalie Bertrand, Luca Bortolussi
Quantitative Evaluation of Systems : 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings / / edited by Nathalie Bertrand, Luca Bortolussi
Edizione [1st ed. 2017.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
Descrizione fisica 1 online resource (XIII, 370 p. 94 illus.)
Disciplina 004.24
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer science
Electronic digital computers—Evaluation
Computer science—Mathematics
Mathematical statistics
Computer simulation
Computer Science Logic and Foundations of Programming
System Performance and Evaluation
Probability and Statistics in Computer Science
Theory of Computation
Computer Modelling
ISBN 3-319-66335-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Probabilistic modeling --  Smart energy systems over the cloud --  Petri nets and performance modeling --  Parametric verification -- Machine learning and formal methods -- Tools.  .
Record Nr. UNINA-9910484791703321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Quantitative Evaluation of Systems [[electronic resource] ] : 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings / / edited by Gul Agha, Benny Van Houdt
Quantitative Evaluation of Systems [[electronic resource] ] : 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings / / edited by Gul Agha, Benny Van Houdt
Edizione [1st ed. 2016.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016
Descrizione fisica 1 online resource (XVII, 382 p. 91 illus.)
Disciplina 004.24
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer science
Electronic digital computers—Evaluation
Computer science—Mathematics
Mathematical statistics
Computer simulation
Computer Science Logic and Foundations of Programming
System Performance and Evaluation
Probability and Statistics in Computer Science
Theory of Computation
Computer Modelling
ISBN 3-319-43425-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Markov processes -- Tools -- Sampling, inference, and optimization methods.-Markov decision processes and Markovian analysis -- Networks.
Record Nr. UNISA-996466036403316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Quantitative Evaluation of Systems : 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings / / edited by Gul Agha, Benny Van Houdt
Quantitative Evaluation of Systems : 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings / / edited by Gul Agha, Benny Van Houdt
Edizione [1st ed. 2016.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016
Descrizione fisica 1 online resource (XVII, 382 p. 91 illus.)
Disciplina 004.24
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer science
Electronic digital computers—Evaluation
Computer science—Mathematics
Mathematical statistics
Computer simulation
Computer Science Logic and Foundations of Programming
System Performance and Evaluation
Probability and Statistics in Computer Science
Theory of Computation
Computer Modelling
ISBN 3-319-43425-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Markov processes -- Tools -- Sampling, inference, and optimization methods.-Markov decision processes and Markovian analysis -- Networks.
Record Nr. UNINA-9910483849703321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui