Alexander Dudin Koen De Turck (Eds.) Analytical and Stochastic 4 8 9 Modelling Techniques 7 S C and Applications N L 20th International Conference, ASMTA 2013 Ghent, Belgium, July 2013 Proceedings 123 Lecture Notes in Computer Science 7984 CommencedPublicationin1973 FoundingandFormerSeriesEditors: GerhardGoos,JurisHartmanis,andJanvanLeeuwen EditorialBoard DavidHutchison LancasterUniversity,UK TakeoKanade CarnegieMellonUniversity,Pittsburgh,PA,USA JosefKittler UniversityofSurrey,Guildford,UK JonM.Kleinberg CornellUniversity,Ithaca,NY,USA AlfredKobsa UniversityofCalifornia,Irvine,CA,USA FriedemannMattern ETHZurich,Switzerland JohnC.Mitchell StanfordUniversity,CA,USA MoniNaor WeizmannInstituteofScience,Rehovot,Israel OscarNierstrasz UniversityofBern,Switzerland C.PanduRangan IndianInstituteofTechnology,Madras,India BernhardSteffen TUDortmundUniversity,Germany MadhuSudan MicrosoftResearch,Cambridge,MA,USA DemetriTerzopoulos UniversityofCalifornia,LosAngeles,CA,USA DougTygar UniversityofCalifornia,Berkeley,CA,USA GerhardWeikum MaxPlanckInstituteforInformatics,Saarbruecken,Germany Alexander Dudin Koen De Turck (Eds.) Analytical and Stochastic Modelling Techniques and Applications 20th International Conference, ASMTA 2013 Ghent, Belgium, July 8-10, 2013 Proceedings 1 3 VolumeEditors AlexanderDudin BelarusianStateUniversity DepartmentofAppliedMathematicsandComputerScience NezavisimostiAve.4,Minsk220030,Belarus E-mail:[email protected] KoenDeTurck GhentUniversity DepartmentofTelecommunicationsandInformationProcessing Sint-Pietersnieuwstraat41,9000Gent,Belgium E-mail:[email protected] ISSN0302-9743 e-ISSN1611-3349 ISBN978-3-642-39407-2 e-ISBN978-3-642-39408-9 DOI10.1007/978-3-642-39408-9 SpringerHeidelbergDordrechtLondonNewYork LibraryofCongressControlNumber:2013941915 CRSubjectClassification(1998):C.2,D.2.4,D.2.8,D.4,C.4,H.3,F.1 LNCSSublibrary:SL2–ProgrammingandSoftwareEngineering ©Springer-VerlagBerlinHeidelberg2013 Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpartof thematerialisconcerned,specificallytherightsoftranslation,reprinting,reuseofillustrations,recitation, broadcasting,reproductiononmicrofilmsorinanyotherphysicalway,andtransmissionorinformation storageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodology nowknownorhereafterdeveloped.Exemptedfromthislegalreservationarebriefexcerptsinconnection withreviewsorscholarlyanalysisormaterialsuppliedspecificallyforthepurposeofbeingenteredand executedonacomputersystem,forexclusiveusebythepurchaserofthework.Duplicationofthispublication orpartsthereofispermittedonlyundertheprovisionsoftheCopyrightLawofthePublisher’slocation, initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer.Permissionsforuse maybeobtainedthroughRightsLinkattheCopyrightClearanceCenter.Violationsareliabletoprosecution undertherespectiveCopyrightLaw. Theuseofgeneraldescriptivenames,registerednames,trademarks,servicemarks,etc.inthispublication doesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevant protectivelawsandregulationsandthereforefreeforgeneraluse. Whiletheadviceandinformationinthisbookarebelievedtobetrueandaccurateatthedateofpublication, neithertheauthorsnortheeditorsnorthepublishercanacceptanylegalresponsibilityforanyerrorsor omissionsthatmaybemade.Thepublishermakesnowarranty,expressorimplied,withrespecttothe materialcontainedherein. Typesetting:Camera-readybyauthor,dataconversionbyScientificPublishingServices,Chennai,India Printedonacid-freepaper SpringerispartofSpringerScience+BusinessMedia(www.springer.com) Preface Itisourpleasuretopresenttheproceedingsofthe20thInternationalConference on Analytical and Stochastic Modelling and Applications (ASMTA 2013) held in Ghent, Belgium, during July 8–10, 2013. ASMTA conferences have become establishedqualityeventsinthecalendarofanalytical,numericalandevensimu- lation experts in Europe and well beyond. We were happy to receive interesting contributions from both regular participants and newcomers from such coun- tries as the USA, the UK, Germany, France, Italy, The Netherlands, Belgium, Hungary, Belarus, Latvia, Hungary, Korea and many others. The quality of this year’s program was exceptionally high. The conference committee was extremely selective this year, accepting 30 papers, and reject- ing many high-quality contributions. The International ProgramCommittee re- viewed the submissions critically and in detail, thereby assisting the Program Chairs inmaking the final decisionas well as in providing the authorswith use- ful comments to improve their papers. We would therefore like to thank every member of the ProgramCommittee for their time and efforts. Weareverygratefulforthegeneroussupportofthesponsors.Theconference was co-sponsoredby the IEEE UK-RI Computer Chapter, by ECMS - The Eu- ropeanCouncilforModellingandSimulation,bytheFacultyofEngineeringand Architecture of Ghent University, by the SMACS Research Group and by IAP VII/19 DYSCO and IAP VII/23 BESTCOM. Thank you for your contribution to ASMTA 2013. May 2013 Alexander Dudin Koen De Turck Khalid Al-Begain Herwig Bruneel Organization Program Committee Sergey Andreev Tampere University of Technology, Finland Jonatha Anselmi BasqueCenterforAppliedMathematics,Spain Konstantin Avrachenkov INRIA Sophia-Antipolis, France Simonetta Balsamo University Ca’ Foscari Venice, Italy Jeremy Bradley Imperial College London, UK Giuliano Casale Imperial College London, UK Hind Castel Institut Telecom, France Koen De Turck Ghent University, Belgium Alexander Dudin Belarus State University, Belarus Antonis Economou University of Athens, Greece Paulo Fernandes Pontifical Catholic University of Rio Grande do Sul, Brazil Dieter Fiems Ghent University, Belgium Jean-Michel Fourneau University of Versailles, France Rossano Gaeta University of Turin, Italy Marco Gribaudo Politecnico di Milano, Italy Peter Harrison Imperial College London, UK Richard Hayden Imperial College London, UK Yezekael Hayel University of Avignon, France Andras Horvath University of Turin, Italy Helen Karatza Aristotle University of Thessaloniki, Greece William Knottenbelt Imperial College London, UK Lasse Leskela¨ University of Jyv¨askyla¨, Finland Andrea Marin University Ca’ Foscari Venice, Italy Don Mcnickle University of Canterbury, UK Yoni Nazarathy University of Queensland, Australia Bo Friis Nielsen Technical University of Denmark Jos´e Nin˜o-Mora Universidad Carlos III de Madrid, Spain Evgeny Osipov Lulea University of Technology, Sweden Antonio Pacheco Instituto Superior Tecnico, Lisbon, Portugal Tuan Phung-Duc Tokyo Institute of Technology, Japan Balakrishna Prabhu LAAS-CNRS, Toulouse, France Jacques Resing Eindhoven University of Technology, The Netherlands Leonardo Rojas-Nandayapa University of Queensland, Australia VIII Organization Matteo Sereno University of Turin, Italy Bruno Sericola INRIA Rennes - Bretagne Atlantique, France Janos Sztrik Lajos Kossuth University, Hungary Miklos Telek Budapest University of Technology, Hungary Nigel Thomas University of Newcastle, UK Dietmar Tutsch University of Wuppertal, Germany Kurt Tutschku University of Vienna, Austria Benny Van Houdt University of Antwerp, Belgium Jean-Marc Vincent INRIA Rhones-Alpes, France Neil Walton University of Amsterdam, The Netherlands Sabine Wittevrongel Ghent University, Belgium Katinka Wolter Freie Universita¨t Berlin, Germany Alexander Zeifman Vologda State PedagogicalUniversity, Russia Michele Zorzi University of Padova, Italy Table of Contents The Taylor Series Expansions for Performance Functions of Queues: Sensitivity Analysis .............................................. 1 Sofiane Ouazine, Karim Abbas, and Bernd Heidergott Admission Control to an M/M/1 Queue with Partial Information ...... 12 Eitan Altman and Tania Jim´enez Approximate Transient Analysis of Queuing Networks by Quasi Product Forms .................................................. 22 Alessio Angius, Andra´s Horva´th, and Verena Wolf Average Delay Estimation in Discrete-Time Systems with Periodically Varying Parameters .............................................. 37 Evgeny Bakin, Sergey Andreev, Anna Solovyeva, and Andrey Turlikov Modelling Retrial-Upon-Conflict Systems with Product-Form Stochastic Petri Nets ............................................. 52 Simonetta Balsamo, Gian-Luca Dei Rossi, and Andrea Marin Discriminatory Processor Sharing from Optimization Point of View .... 67 Jozsef Biro, Tama´s B´erczes, Attila K˝or¨osi, Zalan Heszberger, and J´anos Sztrik A Central Limit Theorem for Markov-Modulated Infinite-Server Queues ......................................................... 81 Joke Blom, Koen De Turck, and Michel Mandjes Transformation of Acyclic Phase Type Distributions for Correlation Fitting ......................................................... 96 Peter Buchholz, Iryna Felko, and Jan Kriege Studying Mobile Internet Technologies with Agent Based Mean-Field Models ......................................................... 112 Marco Gribaudo, Daniele Manini, and Carla Chiasserini iSWoM: The Incremental Storage Workload Model Based on Hidden Markov Models .................................................. 127 Tiberiu Chis and Peter G. Harrison Maximizing the Probability of Arriving on Time ..................... 142 Ananya Das and Joao Cassamano X Table of Contents Optimal Inventory Management in a Fluctuating Market.............. 158 Eline De Cuypere, Koen De Turck, Herwig Bruneel, and Dieter Fiems Efficient Evaluation of Out-Patient Scheduling with Unpunctuality ..... 171 Dieter Fiems and Stijn De Vuyst Interconnection of Large Scale Unstructured P2P Networks: Modeling and Analysis .................................................... 183 Vincenzo Ciancaglini, Rossano Gaeta, Riccardo Loti, and Luigi Liquori Energy-Efficient Operation of a Mobile Userin a Multi-tier Cellular Network ........................................................ 198 Olga Galinina, Alexey Trushanin, Vyacheslav Shumilov, Roman Maslennikov, Zsolt Saffer, Sergey Andreev, and Yevgeni Koucheryavy Journey Data Based Arrival Forecasting for Bicycle Hire Schemes ...... 214 Marcel C. Guenther and Jeremy T. Bradley Moment Matching-Based Distribution Fitting with Generalized Hyper-Erlang Distributions........................................ 232 G´abor Horva´th Output Process in Batch-Arrival Queue with N-Policy and Multiple Vacations ....................................................... 247 Wojciech M. Kempa Retrial Queueing System with Correlated Input, Finite Buffer, and Impatient Customers ............................................. 262 Che Soong Kim, Valentina Klimenok, and Alexander Dudin Representation Transformations for Finding Markovian Representations.................................................. 277 Andr´as M´esza´ros, G´abor Horva´th, and Mikl´os Telek Unbiased Simultaneous Prediction Limits on Observations in Future Samples ........................................................ 292 Nicholas Nechval, Konstantin Nechval, Maris Purgailis, and Uldis Rozevskis Adaptive Stochastic Airline Seat Inventory Control under Parametric Uncertainty ..................................................... 308 Nicholas Nechval, Maris Purgailis, Uldis Rozevskis, and Konstantin Nechval A Parametric Copula Approach for Modelling Shortest-Path Trees in Telecommunication Networks...................................... 324 David Neuh¨auser, Christian Hirsch, Catherine Gloaguen, and Volker Schmidt Table of Contents XI Performance Modelling of Concurrency Control Schemes for Relational Databases....................................................... 337 Rasha Osman, David Coulden, and William J. Knottenbelt Modeling and Simulation of Mobility of Crowds...................... 352 Sushma Patil, Eitan Altman, Manjesh Kumar Hanawal, and Julio Rojas-Mora The Age of Information in Gossip Networks ......................... 364 Jori Selen, Yoni Nazarathy, Lachlan L.H. Andrew, and Hai L. Vu Efficient Steady State Analysis of Multimodal Markov Chains ......... 380 David Spieler and Verena Wolf A Tight Bound on the Throughput of Queueing Networks with Blocking ........................................................ 396 Jean-S´ebastien Tancrez, Philippe Chevalier, and Pierre Semal Semi-Product-Form Solution for PEPA Models with Functional Rates........................................................... 416 Nigel Thomas and Peter G. Harrison Trading Off Subtask Dispersion and Response Time in Split-Merge Systems ........................................................ 431 Iryna Tsimashenka and William J. Knottenbelt The Discrete-Time Queue with Geometrically Distributed Service Capacities Revisited.............................................. 443 Joris Walraevens, Herwig Bruneel, Dieter Claeys, and Sabine Wittevrongel Resource Allocation in a Multiple-Priority Buffered Link.............. 457 Piotr Z˙uraniewski, Michel Mandjes, Hans van den Berg, and Richa Malhotra Author Index.................................................. 473