X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Online Resource
    Online Resource
    Stochastic model checking : rigorous dependability analysis using model checking techniques for stochastic systems ; International Autumn School, ROCKS 2012, Vahrn, Italy, October 22 - 26, 2012 ; advanced lectures (2014)
    Berlin : Springer
    Details
    UID:
    b3kat_BV042206296
    Format: 1 Online-Ressource (VII, 280 S.) , graph. Darst.
    ISBN: 9783662454893
    Series Statement: Lecture notes in computer science 8453 : Tutorial
    Additional Edition: Erscheint auch als Druck-Ausgabe, Paperback ISBN 978-3-662-45488-6
    Language: English
    Subjects: Computer Science
    RVK:
    SS 4800
    Keywords: Stochastisches System ; Mathematisches Modell ; Model Checking ; Konferenzschrift ; Konferenzschrift ; Konferenzschrift
    DOI: 10.1007/978-3-662-45489-3
    URL: Volltext
    URL: Inhaltsverzeichnis
    URL: Abstract
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    URL: Inhaltstext
    Author information: Remke, Anne 1980-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Online Access
    Open Access Request
    UB Potsdam
    BTU Cottbus
  • 2
    Online Resource
    Online Resource
    Distributed Applications and Interoperable Systems : 20th IFIP WG 6.1 International Conference, DAIS 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings (2020)
    Cham : Springer International Publishing | Cham : Imprint: Springer
    Details
    UID:
    gbv_1724273264
    Format: 1 Online-Ressource(XII, 205 p. 104 illus., 48 illus. in color.)
    Edition: 1st ed. 2020.
    ISBN: 9783030503239
    Series Statement: Computer Communication Networks and Telecommunications 12135
    Content: 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.
    Content: 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.
    Additional Edition: ISBN 9783030503222
    Additional Edition: ISBN 9783030503246
    Additional Edition: Erscheint auch als Druck-Ausgabe DAIS (20. : 2020 : Online) Distributed applications and interoperable systems Cham : Springer, 2020 ISBN 9783030503222
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 9783030503246
    Language: English
    Subjects: Computer Science
    RVK:
    SS 4800
    Keywords: Computersicherheit ; Privatsphäre ; Maschinelles Lernen ; Konferenzschrift
    DOI: 10.1007/978-3-030-50323-9
    URL: lizenzpflichtig
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    UB Potsdam
  • 3
    Online Resource
    Online Resource
    Quantitative Evaluation of Systems : 17th International Conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020, Proceedings (2020)
    Cham : Springer International Publishing | Cham : Imprint: Springer
    Details
    UID:
    gbv_1741575850
    Format: 1 Online-Ressource(XI, 298 p. 209 illus., 44 illus. in color.)
    Edition: 1st ed. 2020.
    ISBN: 9783030598549
    Series Statement: Theoretical Computer Science and General Issues 12289
    Content: 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. .
    Content: 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.
    Additional Edition: ISBN 9783030598532
    Additional Edition: ISBN 9783030598556
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 9783030598532
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 9783030598556
    Language: English
    DOI: 10.1007/978-3-030-59854-9
    URL: lizenzpflichtig
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    UB Potsdam
  • 4
    Online Resource
    Online Resource
    Computer Performance Engineering : 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings (2018)
    Cham : Springer International Publishing
    Details
    UID:
    gbv_103868868X
    Format: Online-Ressource (XVI, 265 p. 92 illus, online resource)
    Edition: Springer eBook Collection. Computer Science
    ISBN: 9783030022273
    Series Statement: Programming and Software Engineering 11178
    Content: 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
    Content: 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
    Additional Edition: ISBN 9783030022266
    Additional Edition: ISBN 9783030022280
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-3-030-02226-6
    Additional Edition: Printed edition ISBN 9783030022266
    Additional Edition: Printed edition ISBN 9783030022280
    Language: English
    DOI: 10.1007/978-3-030-02227-3
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext
    Author information: Remke, Anne 1980-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Online Access
    Open Access Request
    UB Potsdam
  • 5
    Online Resource
    Online Resource
    Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems : 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings (2016)
    Cham : Springer
    Details
    UID:
    gbv_1656284367
    Format: Online-Ressource (XVIII, 203 p. 75 illus, online resource)
    Edition: 1st ed. 2016
    ISBN: 9783319315591
    Series Statement: Lecture Notes in Computer Science 9629
    Content: 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
    Content: 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
    Additional Edition: ISBN 9783319315584
    Additional Edition: Druckausg. ISBN 978-3-319-31558-4
    Language: English
    DOI: 10.1007/978-3-319-31559-1
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    URL: Inhaltstext
    Author information: Remke, Anne 1980-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Online Access
    Open Access Request
    UB Potsdam
Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages