LEADER 05116nam 22008295 450 001 996200027603316 005 20201107105617.0 010 $a3-319-18579-9 024 7 $a10.1007/978-3-319-18579-8 035 $a(CKB)3710000000416837 035 $a(SSID)ssj0001501327 035 $a(PQKBManifestationID)11830582 035 $a(PQKBTitleCode)TC0001501327 035 $a(PQKBWorkID)11524181 035 $a(PQKB)11036566 035 $a(DE-He213)978-3-319-18579-8 035 $a(MiAaPQ)EBC6296463 035 $a(MiAaPQ)EBC5586380 035 $a(Au-PeEL)EBL5586380 035 $a(OCoLC)910303396 035 $a(PPN)186029616 035 $a(EXLCZ)993710000000416837 100 $a20150522d2015 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAnalytical and Stochastic Modelling Techniques and Applications$b[electronic resource] $e22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings /$fedited by Marco Gribaudo, Daniele Manini, Anne Remke 205 $a1st ed. 2015. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015. 215 $a1 online resource (X, 217 p. 98 illus.) 225 1 $aProgramming and Software Engineering ;$v9081 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-319-18578-0 320 $aIncludes bibliographical references and index. 327 $aOptimal Analysis for M/G/1 Retrial Queue with Two-Way Communication -- Use of Flow Equivalent Servers in the Transient Analysis of Product Form Queuing Networks -- Model Checking of Open Interval Markov Chains -- Performance modeling of cellular systems with finite processor sharing queues in random environment, guard policy and flex retrial users -- Efficient Performance Evaluation of Wireless Networks with Varying Channel Conditions -- Mixed Networks with multiple classes of customers and restart -- Interconnected Wireless Sensors with Energy Harvesting -- Measuring the distance between MAPs and some applications -- Task delegation in a peer-to-peer volunteer computing platform -- On convergence rate to stationarity of queues with general Gaussian input -- Model-based Quantitative Security Analysis of Mobile Offloading Systems under Timing Attacks -- Single-Server Systems with Power-Saving Modes -- Multiserver Queues with Finite Capacity and Setup Time -- Power consumption analysis of replicated virtual applications -- On the Influence of High-Priority Customers on a Generalized Processor Sharing Queue. 330 $aThis book constitutes the refereed proceedings of the 22nd International Conference on Analytical and Stochastic Modelling Techniques and Applications, ASMTA 2015, held in Albena, Bulgaria, in May 2015. The 15 full papers presented in this book were carefully reviewed and selected from numerous submissions. The papers discuss the latest developments in analytical, numerical and simulation algorithms for stochastic systems, including Markov processes, queueing networks, stochastic Petri nets, process algebras, game theory, etc. 410 0$aProgramming and Software Engineering ;$v9081 606 $aSoftware engineering 606 $aOptical data processing 606 $aComputer science?Mathematics 606 $aPattern recognition 606 $aData structures (Computer science) 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aImage Processing and Computer Vision$3https://scigraph.springernature.com/ontologies/product-market-codes/I22021 606 $aMath Applications in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17044 606 $aDiscrete Mathematics in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17028 606 $aPattern Recognition$3https://scigraph.springernature.com/ontologies/product-market-codes/I2203X 606 $aData Structures$3https://scigraph.springernature.com/ontologies/product-market-codes/I15017 615 0$aSoftware engineering. 615 0$aOptical data processing. 615 0$aComputer science?Mathematics. 615 0$aPattern recognition. 615 0$aData structures (Computer science). 615 14$aSoftware Engineering. 615 24$aImage Processing and Computer Vision. 615 24$aMath Applications in Computer Science. 615 24$aDiscrete Mathematics in Computer Science. 615 24$aPattern Recognition. 615 24$aData Structures. 676 $a519.23 702 $aGribaudo$b Marco$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aManini$b Daniele$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 $a996200027603316 996 $aAnalytical and stochastic modelling techniques and applications$92278656 997 $aUNISA