feed icon rss

Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Exportieren
  • 1
    UID:
    b3kat_BV042206296
    Umfang: 1 Online-Ressource (VII, 280 S.) , graph. Darst.
    ISBN: 9783662454893
    Serie: Lecture notes in computer science 8453 : Tutorial
    Weitere Ausg.: Erscheint auch als Druck-Ausgabe, Paperback ISBN 978-3-662-45488-6
    Sprache: Englisch
    Fachgebiete: Informatik
    RVK:
    Schlagwort(e): Stochastisches System ; Mathematisches Modell ; Model Checking ; Konferenzschrift ; Konferenzschrift ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Mehr zum Autor: Remke, Anne 1980-
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 2
    UID:
    gbv_103868868X
    Umfang: Online-Ressource (XVI, 265 p. 92 illus, online resource)
    Ausgabe: Springer eBook Collection. Computer Science
    ISBN: 9783030022273
    Serie: Programming and Software Engineering 11178
    Inhalt: This book constitutes the refereed proceedings of the 15th European Workshop on Computer Performance Engineering, EPEW 2018, held in Paris, France, in October 2018. The 17 papers presented together with the abstracts of two invited talks in this volume were carefully reviewed and selected from 27 submissions. The papers presented at the workshop reflect the diversity of modern performance engineering, with topics ranging from advances in performanceengineering realm, including, dependability and security modeling, performance oriented model verification and testing, hardware and software systems case-studies, applications/extensions of queuing theory and network design
    Inhalt: Performance Evaluation Targeting Quality of Experience -- Mean Field Models for (Large-Scale) Load Balancing Systems -- On the Degradation of Distributed Graph Databases with Eventual Consistency -- To What Extent Does Performance Awareness Support Developers in Fixing Performance Bugs -- Deriving Symbolic Ordinary Differential Equations from Stochastic Symmetric Nets Without Unfolding -- Mean Value Analysis of Closed G-Networks with Signals -- Extending the Steady State Analysis of Hierarchical Semi-Markov Processes with Parallel Regions -- Formal Parameter Synthesis for Energy-Utility-Optimal Fault Tolerance -- Performance Model of Apache Cassandra Under Heterogeneous Workload Using the Quantitative Verification Approach -- Modeling Smart Buildings Using Fault Maintenance Trees -- Performance Impact of Misbehaving Voters -- Information Flow Security for Stochastic Models -- Towards Probabilistic Modeling and Analysis of Real-Time Systems -- An Ontology Framework for Generating Discrete-Event Stochastic Models -- A Mixed Strategy for a Competitive Game in Delay Tolerant Network -- Second Order Fluid Performance Evaluation Models for Interactive 3D Multimedia Streaming -- Modeling the Effect of Parallel Execution on Multi-site Computation Offloading in Mobile Cloud Computing -- An OpenFlow Controller Performance Evaluation Tool -- Product-form Queuing Networks with Batches
    Weitere Ausg.: ISBN 9783030022266
    Weitere Ausg.: ISBN 9783030022280
    Weitere Ausg.: Erscheint auch als Druck-Ausgabe ISBN 978-3-030-02226-6
    Weitere Ausg.: Printed edition ISBN 9783030022266
    Weitere Ausg.: Printed edition ISBN 9783030022280
    Sprache: Englisch
    URL: Volltext  (lizenzpflichtig)
    Mehr zum Autor: Remke, Anne 1980-
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 3
    UID:
    gbv_1741575850
    Umfang: 1 Online-Ressource(XI, 298 p. 209 illus., 44 illus. in color.)
    Ausgabe: 1st ed. 2020.
    ISBN: 9783030598549
    Serie: Theoretical Computer Science and General Issues 12289
    Inhalt: Machine Learning for Reliability Analysis of Large Scale Distributed Systems -- Tracking the Race Between Deep Reinforcement Learning and Imitation Learning -- SafePILCO: a Software Tool for Safe and Data-Efficient Policy Synthesis -- StochNetV2: a Tool for Automated Deep Abstractions for Stochastic Reaction Networks -- Alternative Characterizations of Probabilistic Trace Equivalences on Coherent Resolutions of Nondeterminism -- Probabilistic Model Checking of AODV -- Multi-player Equilibria Verification for Concurrent Stochastic Games -- Loss-size and Reliability Trade-offs Amongst Diverse Redundant Binary Classifiers -- Bayesian Inference by Symbolic Model Checking -- CogQN: A Queueing Model that Captures Human Learning of the User Interfaces of Session-based Systems -- A Matlab Toolkit for the Analysis of Two-level Processor Sharing Queues -- M/M/1 Vacation Queue with Multiple Thresholds: A Fluid Analysis -- Bounding Mean First Passage Times in Population Continuous-Time Markov Chains -- Markovian Arrival Processes in Multi-Dimensions -- Automatic Pre- and Postconditions for Partial Differential Equations -- Importance of Interaction Structure and Stochasticity for Epidemic Spreading: A COVID-19 Case Study -- The Dynamic Fault Tree Rare Event Simulator -- Entropy Measurement of Concurrent Disorder -- Hardening Critical Infrastructure Networks Against Attacker Reconnaissance -- Sensitivity Analysis and Uncertainty Quantification of State-Based Discrete-Event Simulation Models through a Stacked Ensemble of Metamodels -- Flexible Nets -- Verifying Probabilistic Programs. .
    Inhalt: This book constitutes the proceedings of the 17th International Conference on Quantitative Evaluation Systems, QEST 2020, held in Vienna, Austria, in August/September 2020. The 12 full papers presented together with 7 short papers were carefully reviewed and selected from 42 submissions. The papers cover topics such as classic measures involving performance and reliability, quantification of properties that are classically qualitative, such as safety, correctness, and security as well as analytic studies, diversity in the model formalisms and methodologies employed, and development of new formalisms and methodologies.
    Weitere Ausg.: ISBN 9783030598532
    Weitere Ausg.: ISBN 9783030598556
    Weitere Ausg.: Erscheint auch als Druck-Ausgabe ISBN 9783030598532
    Weitere Ausg.: Erscheint auch als Druck-Ausgabe ISBN 9783030598556
    Sprache: Englisch
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 4
    UID:
    gbv_1656284367
    Umfang: Online-Ressource (XVIII, 203 p. 75 illus, online resource)
    Ausgabe: 1st ed. 2016
    ISBN: 9783319315591
    Serie: Lecture Notes in Computer Science 9629
    Inhalt: This book constitutes the proceedings of the 18th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems and Dependability and Fault Tolerance, MMB & DFT 2016, held in Münster, Germany, in April 2016. The 12 full papers and 3 short papers included in this volume were carefully reviewed and selected from 23 submissions. The papers deal with the fields of performance evaluation, dependability, and fault-tolerance of computer and communication systems. A relatively new topic of smart grids is also covered
    Inhalt: DDoS 3.0 - How terrorists bring down the Internet -- SGsim: Co-Simulation Framework for ICT-Enabled Power Distribution Grids -- Improving Cross-Traffic Bounds in Feed-Forward Networks -- There is a Job for Everyone -- Stochastic analysis of energy consumption in pool depletion systems -- Moving queue on a network -- A Multi-commodity Simulation Tool Based on TRIANA -- Performance and Precision of Web Caching Simulations for Zipf Request Pattern -- PSTeC: A Location-time Driven Modelling Formalism for Probabilistic Real-time Systems -- Analysis of Hierarchical Semi-Markov Processes with Parallel Regions -- Combining Mobility Models with Arrival Processes -- Product Line Fault Tree Analysis by Means of Multi-valued Decision Diagrams -- Resolving Contention for Networks-on-Chips: Combining Time-triggered Application Scheduling with Dynamic Budgeting of Memory Bus Use -- The Weak Convergence of TCP Bandwidth Sharing -- Analysis of Mitigation Measures for Timing Attacks in Mobile Offloading Systems -- Capabilities of Raspberry Pi 2 for Big Data and Video Streaming Applications in Data Centres -- Ensemble-Based Uncertainty Quantification for Smart Grid Co-Simulation
    Weitere Ausg.: ISBN 9783319315584
    Weitere Ausg.: Druckausg. ISBN 978-3-319-31558-4
    Sprache: Englisch
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Mehr zum Autor: Remke, Anne 1980-
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 5
    UID:
    gbv_1724273264
    Umfang: 1 Online-Ressource(XII, 205 p. 104 illus., 48 illus. in color.)
    Ausgabe: 1st ed. 2020.
    ISBN: 9783030503239
    Serie: Computer Communication Networks and Telecommunications 12135
    Inhalt: Privacy and Security -- On the trade-offs of Combining Multiple Secure Processing Primitives for Data Analytics -- Capturing Privacy-preserving User Contexts with IndoorHash -- Cloud and Systems -- Towards Hypervisor Support for Enhancing the Performance of Virtual Machine Introspection -- Fed-DIC: Diagonally Interleaved Coding in a Federated Cloud Environment -- TailX: Scheduling Heterogeneous Multiget Queries to Improve Tail Latencies in Key-Value Stores -- Fault-tolerance and Reproducibility -- Towards a Polyglot Data Access Layer for a Low-Code Application Development Platform (Experience Report) -- A Comparison of Message Exchange Patterns in BFT Protocols (Experience Report) -- Kollaps/Thunderstorm: Reproducible Evaluation of Distributed Systems -- Machine Learning for Systems -- Self-Tunable DBMS Replication with Reinforcement Learning) -- DroidAutoML: A Microservice Architecture to Automate the Evaluation of Android Machine Learning Detection Systems -- Distributed Algorithms -- A Resource Usage Efficient Distributed Allocation Algorithm for 5G Service Function Chains -- A Stabilizing One-To-Many Node-Disjoint paths Routing Algorithm in Star Networks.
    Inhalt: This book constitutes the proceedings of the 20th IFIP International Conference on Distributed Applications and Interoperable Systems, DAIS 2020, which was supposed to be held in Valletta, Malta, in June 2020, as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020. The conference was held virtually due to the COVID-19 pandemic. The 10 full papers presented together with 1 short paper and 1 invited paper were carefully reviewed and selected from 17 submissions. The papers addressed challenges in multiple application areas, such as privacy and security, cloud and systems, fault-tolerance and reproducibility, machine learning for systems, and distributed algorithms.
    Weitere Ausg.: ISBN 9783030503222
    Weitere Ausg.: ISBN 9783030503246
    Weitere Ausg.: Erscheint auch als Druck-Ausgabe DAIS (20. : 2020 : Online) Distributed applications and interoperable systems Cham : Springer, 2020 ISBN 9783030503222
    Weitere Ausg.: Erscheint auch als Druck-Ausgabe ISBN 9783030503246
    Sprache: Englisch
    Fachgebiete: Informatik
    RVK:
    Schlagwort(e): Computersicherheit ; Privatsphäre ; Maschinelles Lernen ; Konferenzschrift
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie auf den KOBV Seiten zum Datenschutz