LEADER 05115nam 22007215 450 001 996466426903316 005 20200630211043.0 010 $a3-030-02227-7 024 7 $a10.1007/978-3-030-02227-3 035 $a(CKB)4100000007003122 035 $a(DE-He213)978-3-030-02227-3 035 $a(MiAaPQ)EBC6244194 035 $a(PPN)23146097X 035 $a(EXLCZ)994100000007003122 100 $a20181002d2018 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aComputer Performance Engineering$b[electronic resource] $e15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings /$fedited by Rena Bakhshi, Paolo Ballarini, Benoît Barbot, Hind Castel-Taleb, Anne Remke 205 $a1st ed. 2018. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018. 215 $a1 online resource (XVI, 265 p. 92 illus.) 225 1 $aProgramming and Software Engineering ;$v11178 311 $a3-030-02226-9 320 $aIncludes bibliographical references and index. 327 $aPerformance 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. . 330 $aThis 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. 410 0$aProgramming and Software Engineering ;$v11178 606 $aComputer system failures 606 $aArtificial intelligence 606 $aAlgorithms 606 $aSoftware engineering 606 $aComputer security 606 $aSystem Performance and Evaluation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13049 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aSystems and Data Security$3https://scigraph.springernature.com/ontologies/product-market-codes/I28060 615 0$aComputer system failures. 615 0$aArtificial intelligence. 615 0$aAlgorithms. 615 0$aSoftware engineering. 615 0$aComputer security. 615 14$aSystem Performance and Evaluation. 615 24$aArtificial Intelligence. 615 24$aAlgorithm Analysis and Problem Complexity. 615 24$aSoftware Engineering. 615 24$aSystems and Data Security. 676 $a004 702 $aBakhshi$b Rena$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBallarini$b Paolo$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBarbot$b Benoît$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aCastel-Taleb$b Hind$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRemke$b Anne$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466426903316 996 $aComputer Performance Engineering$9774014 997 $aUNISA