Lecture Notes in Computer Science 5055 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 UniversityofDortmund,Germany MadhuSudan MassachusettsInstituteofTechnology,MA,USA DemetriTerzopoulos UniversityofCalifornia,LosAngeles,CA,USA DougTygar UniversityofCalifornia,Berkeley,CA,USA GerhardWeikum Max-PlanckInstituteofComputerScience,Saarbruecken,Germany Khalid Al-Begain Armin Heindl Miklós Telek (Eds.) Analytical and Stochastic Modeling Techniques and Applications 15th International Conference,ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings 1 3 VolumeEditors KhalidAl-Begain IntegratedCommunicationsResearchCentre FacultyofAdvancedTechnology UniversityofGlamorgan Wales,UK E-mail:[email protected] ArminHeindl ComputerNetworksandCommunicationSystems UniversityErlangen-Nürnberg Erlangen,Germany E-mail:[email protected] MiklósTelek DepartmentofTelecommunications BudapestUniversityofTechnologyandEconomics Budapest,Hungary E-mail:[email protected] LibraryofCongressControlNumber:2008928016 CRSubjectClassification(1998):D.2.4,C.2,F.3,D.2.8,D.4,C.4,K.6.2 LNCSSublibrary:SL2–ProgrammingandSoftwareEngineering ISSN 0302-9743 ISBN-10 3-540-68980-XSpringerBerlinHeidelbergNewYork ISBN-13 978-3-540-68980-5SpringerBerlinHeidelbergNewYork Thisworkissubjecttocopyright.Allrightsarereserved,whetherthewholeorpartofthematerialis concerned,specificallytherightsoftranslation,reprinting,re-useofillustrations,recitation,broadcasting, reproductiononmicrofilmsorinanyotherway,andstorageindatabanks.Duplicationofthispublication orpartsthereofispermittedonlyundertheprovisionsoftheGermanCopyrightLawofSeptember9,1965, initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer.Violationsareliable toprosecutionundertheGermanCopyrightLaw. SpringerisapartofSpringerScience+BusinessMedia springer.com ©Springer-VerlagBerlinHeidelberg2008 PrintedinGermany Typesetting:Camera-readybyauthor,dataconversionbyScientificPublishingServices,Chennai,India Printedonacid-freepaper SPIN:12279739 06/3180 543210 Preface Itisourgreatpleasuretopresenttheproceedingsofthe15thInternationalConfer- ence on Analytical and Stochastic Modelling Techniques and Applications (ASMTA2008)thattookplaceonthebeautifulislandofCyprusforthefirsttime. The conference has become an important annual event in the fields of an- alytical modelling and performance evaluation in Europe and internationally. Nevertheless, efforts have been made year after year to raise the standard and thequalityoftheprogramme.Thisyeartheproceedingsarepublishedaspartof Springer’sprestigiousLecture Notes in Computer Science(LNCS)series.Thisis another sign of the growing confidence in the quality standards and procedures followed in the reviewing process and the programme compilation. The conference was honored to have a distinguished keynote speaker in the personofRaymondMariefromIRISA/INRIA,France,whoisaprominentfigure oftheanalyticalmodellingcommunityinEuropeandworldwide.Theconference hadahigh-qualityprogrammewithanacceptanceratioof40%.Theprogramme comprised 22 high-quality papers organizedinto 7 sessions. Almost every paper was peer reviewed by three reviewers from the International Programme Com- mittee. The reviewers were truly wonderful this year,as well, and in most cases thereviewsprovidedvaluablecommentsthatcontributedtoincreasingthequal- ityofthe finalversionsofthe papers.Inmanycases,discussionpanelswerealso organized when the reviews were not decisive. We would therefore like to give a special thanks to all the members of the International Programme Committee for the excellent work in the reviewing process and the subsequent discussion panels during the selection process. Keeping the traditions, ASMTA was co-located with the European Confer- enceonModellingandSimulation,theofficialconferenceoftheEuropeanCoun- cil on Modelling and Simulation, and also the InternationalConference on High Performance Simulation. This gave participants of ASMTA a unique opportu- nity to interact with colleagues from these very relevant and complementary areas. They also enjoyed the keynote talks delivered by prominent figures in those areas. The local organizers made every effort to make the conference a memorable event. For that we give them our sincere thanks and appreciation. April 2008 Khalid Al-Begain Armin Heindl Miklo´s Telek Organization Workshop Chair Khalid Al-Begain, University of Glamorgan, UK Program Chairs Armin Heindl, University of Erlangen-Nu¨rnberg,Germany Miklo´s Telek, Technical University of Budapest, Hungary Program Commitee Vladimir Anisimov, GlaxoSmithKline, UK Imad Antonios, Southern Connecticut State University, USA Amine Berqia, University of Algarve, Portugal Gnther Bolch, University of Erlangen-Nuremberg,Germany Alexander Dudin, Belarusian State University, Belarus Antonis Economou, University of Athens, Greece Dieter Fiems, University of Ghent, Belgium Jean-Michel Fourneau, University of Versailles, France Rossano Gaeta, University of Turin, Italy Reinhard German, University of Erlangen-Nuremberg,Germany Marco Gribaudo, University of Turin, Italy Guenter Haring, University of Vienna, Austria Gabor Horvath, Budapest University of Technology, Hungary Helen Karatza,Aristotle University of Thessaloniki, Greece Remco Litjens, TNO Inf. & Comm. Technology, Netherlands Maria Lopez-Herrero,Complutense University of Madrid, Spain Don McNickle, University of Canterbury, New Zealand Bruno Mueller-Clostermann, University of Duisburg-Essen, Germany Mohamed Ould-Khaoua, University of Glasgow, UK Krzysztof Pawlikowski,University of Canterbury, New Zealand Marie-Ange Remiche, Free University of Brussels, Belgium Evgenia Smirni, College of William and Mary, USA Bruno Sericola, IRISA/INRIA Rennes, France Janos Sztrik, Lajos Kossuth University, Hungary Baris Tan, Koc University, Turkey Nigel Thomas, University of Newcastle, UK Petr Tuma, Charles University of Prague, Czech Republic Dietmar Tutsch, TU Berlin, Germany VIII Organization Kurt Tutschku, University of Wuerzburg, Germany Sabine Wittevrongel, University of Ghent, Belgium Katinka Wolter, Humboldt University of Berlin, Germany External Referees Freimut Brenner, University of Duisburg-Essen, Germany Susanna Donatelli, University of Turin, Italy Tobias Hossfeld, University of Wuerzburg, Germany Daniele Manini, University of Turin, Italy Ningfang Mi, College of William and Mary, VA, USA Katy Paroux, University of Franche-Comt´e,France Andreas Pillekeit, University of Duisburg-Essen, Germany Philipp Reinecke, Humboldt University Berlin, Germany Daniel Schlosser, University of Wuerzburg, Germany Matteo Sereno, University of Turin, Italy Eddy Zhang, College of William and Mary, VA, USA Thomas Zinner, University of Wuerzburg, Germany Table of Contents Traffic Modeling MarkovianCharacterisationof H.264/SVC Scalable Video............. 1 Dieter Fiems, Veronique Inghelbrecht, Bart Steyaert, and Herwig Bruneel Using the Whittle Estimator for the Selection of an Autocorrelation Function Family ................................................. 16 Maria-Estrella Sousa-Vieira and Andr´es Sua´rez-Gonza´lez Using Load Transformations to Predict the Impact of Packet Fragmentation and Losses on MarkovianArrival Processes ............ 31 Stephan Heckmu¨ller and Bernd E. Wolfinger Queueing Systems Modeling Web Server Traffic with Session-Based Arrival Streams....... 47 Laurence Hoflack, Stijn De Vuyst, Sabine Wittevrongel, and Herwig Bruneel Mixed Finite-/Infinite-Capacity Priority Queue with Interclass Correlation...................................................... 61 Thomas Demoor, Joris Walraevens, Dieter Fiems, and Herwig Bruneel Performance Evaluation of a Gradual Differentiation Scheme for Telecommunication Networks...................................... 75 Tom Maertens, Joris Walraevens, and Herwig Bruneel Analytical Methods and Applications An Analytical Study of the Resource Diffusion in Non-homogeneous P2P Networks ................................................... 88 Daniele Manini and Marco Gribaudo A Hessenberg Markov Chain for Fast Fibre Delay Line Length Optimization .................................................... 101 Joke Lambert, Wouter Rogiest, Benny Van Houdt, Dieter Fiems, Chris Blondia, and Herwig Bruneel Stochastic Fatigue Models for Efficient Planning Inspections in Service of Aircraft Structures............................................. 114 Nicholas Nechval, Konstantin Nechval, Gundars Berzinsh, Maris Purgailis, and Uldis Rozevskis X Table of Contents Distributions in Stochastic Modeling Effective Minimization of Acyclic Phase-Type Representations......... 128 Reza Pulungan and Holger Hermanns A Response Time Distribution Model for Zoned RAID................ 144 Abigail S. Lebrecht, Nicholas J. Dingle, and William J. Knottenbelt Exact Sojourn Time Distribution in an Online IPTV Recording System ......................................................... 158 Tobias Hoßfeld, Kenji Leibnitz, and Marie-Ange Remiche Queueing Networks An Empirical Case-Study of a Central-Server-Model on System Performance..................................................... 173 Stefan Schreieck, Reinhard German, and Kai-Steffen Hielscher A Tandem Queueing Model for Delay Analysis in Disconnected Ad Hoc Networks ....................................................... 189 Ahmad Al Hanbali, Roland de Haan, Richard J. Boucherie, and Jan-Kees van Ommeren ExactAsymptotic Analysis ofClosedBCMP Networkswith a Common Bottleneck ...................................................... 206 Jonatha Anselmi and Paolo Cremonesi Multiclass G-Networks of ProcessorSharing Queues with Resets ....... 221 Jean-Michel Fourneau Simulation and Model Checking Simulation of a Peer to Peer Market for Grid Computing.............. 234 Uli Harder and Fernando Mart´ınez Ortun˜o Perfect Simulation of Stochastic Automata Networks ................. 249 Paulo Fernandes, Jean-Marc Vincent, and Thais Webber Model Checking of Infinite State Space Markov Chains by Stochastic Bounds ......................................................... 264 Mouad Ben Mamoun and Nihal Pekergin Wireless Networks Bottleneck Analysis for Two-Hop IEEE 802.11e Ad Hoc Networks...... 279 Anne Remke, Boudewijn R. Haverkort, Geert Heijenk, and Lucia Cloth Table of Contents XI Contention-Based Polling Efficiency in Broadband Wireless Networks... 295 Sergey D. Andreev, Andrey M. Turlikov, and Alexey V. Vinel Performance Evaluation of the High Speed Downlink Packet Access in Communications Networks Based on High Altitude Platforms ......... 310 Tien Van Do, Nam H. Do, and Ram Chakka Author Index.................................................. 323