LEADER 04732nam 22008535 450 001 9910483268503321 005 20251226193551.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 $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,$x2945-9168 ;$v9081 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$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,$x2945-9168 ;$v9081 606 $aSoftware engineering 606 $aComputer vision 606 $aComputer science$xMathematics 606 $aDiscrete mathematics 606 $aPattern recognition systems 606 $aArtificial intelligence$xData processing 606 $aSoftware Engineering 606 $aComputer Vision 606 $aMathematical Applications in Computer Science 606 $aDiscrete Mathematics in Computer Science 606 $aAutomated Pattern Recognition 606 $aData Science 615 0$aSoftware engineering. 615 0$aComputer vision. 615 0$aComputer science$xMathematics. 615 0$aDiscrete mathematics. 615 0$aPattern recognition systems. 615 0$aArtificial intelligence$xData processing. 615 14$aSoftware Engineering. 615 24$aComputer Vision. 615 24$aMathematical Applications in Computer Science. 615 24$aDiscrete Mathematics in Computer Science. 615 24$aAutomated Pattern Recognition. 615 24$aData Science. 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 $a9910483268503321 996 $aAnalytical and stochastic modelling techniques and applications$92278656 997 $aUNINA