| Description |
1 online resource (xi, 408 pages) : illustrations |
| Series |
Lecture notes in computer science, 0302-9743 ; 6148 |
|
LNCS sublibrary. SL 2, Programming and software engineering |
|
Lecture notes in computer science ; 6148.
|
|
LNCS sublibrary. SL 2, Programming and software engineering.
|
| Contents |
Queueing theory I.A batch-service queueing model with a discrete batch Markovian arrival process / Dieter Claeys, Joris Walraevens, Koenraad Laevens, Bart Steyaert, and Herwig Bruneel -- Queueing system MAP/PH/N with propagated failures / Khalid Al-Begain, Alexander Dudin, and Valentina Klimenok -- Analysis of a discrete-time queueing system with an NT-policy / Bart Feyaerts, Stijn De Vuyst, Sabine Wittevrongel, and Herwig Bruneel -- Packet loss minimization in load-balancing switch / Yury Audzevich, Levente Bodrog, Yoram Ofek, and Miklós Telek -- Queueing theory II. The preemptive repeat hybrid server interruption model / Thomas Demoor, Dieter Fiems, Joris Walraevens, and Herwig Bruneel -- Networks of symmetric multi-class queues with signals changing classes / Thu-Ha Dao-Thi, Jean-Michel Fourneau, and Minh-Anh Tran -- Product-form solutions for models with joint-state dependent transition rates / Simonetta Balsamo and Andrea Martin -- The qnetworks toolbox : a software package for queueing networks analysis / Moreno Marzolla -- Specification languages and tools. Rewriting logic based performance estimation of embedded systems / Fateh Boutekkouk -- A formal language toward the unification of model checking and performance evaluation / Andrew S. Miner and Yaping Jing -- Security evaluation of layered intrusion tolerant systems / Sanaz Hafezian Razavi and Olivia Das -- Stochastic PERT and CAST logic approach for computer support of complex operation planning / Ryszard Antkiewicz, Arkadiusz Gasecki, Andrzej Najgebauer, Dariusz Pierzchala, and ZSbigniew Tarapata -- Telecommunication systems I. Perfect sampling of load sharing policies in large scale distributed systems / Gaël Gorgo and Jean-Marc Vincent -- Stochastic comparisons for performability of telecommunication systems / Hind Castel-Taleb, Idriss Ismael-Aouled, and Nihal Pekergin -- Model-based stochastic simulation of P2P VoIP using graph transformation system / Ajab Khan, Reiko Heckel, Paolo Torrini, and István Ráth -- Performance evaluation of media segmentation heuristics using non-Markovian multi-class arrival processes / Pietro Piazzolla, Marco Gribaudo, Roberto Borgotallo, and Alberto Messina -- Telecommunication systems II. A formal approach to investigate the performance of modern e-commerce services / Ibtehal Nafea, D.R.W. Holton, Muhammad Younas, and Irfan Awan -- Leader election in anonymous radio networks : model checking energy consumption / Haidi Yue and Joost-Pieter Katoen -- Upper bound on overall delay in wireless broadband networks with non real-time traffic / Sergey Andreev, Zsolt Saffer, Andrey Turlikov, and Alexey Vinel -- Estimation. Robustness of the whittle estimator applied to non-Gaussian long-range dependent processes / Maria-Estrella Sousa-Vieira -- Service time estimation with a refinement enhanced hybrid clustering algorithm / Paolo Cremonesi, Kanika Dhyani, and Andrea Sansottera -- Invariant embedding technique and its applications for improvement or optimization of statistical decisions / Nicholas Nechval, Maris Purgailis, Gundars Berzins, Kaspars Cikste, Juris Krasts, and Konstantin Nechval -- Prediction. Prediction model selection and spare parts ordering policy for efficient support of maintenance and repair of equipment / Nicholas Nechval, Maris Purgailis, Kaspars Cikste, Gundars Berzins, Uldis Rozevskis, and Konstantin Nechval -- Prediction-based dynamic target interception using discrete Markov Chains / Ayesha M. Sheikh and Tony J. Dodd -- Neural networks as a surrogate models for measurements in optimization algorithms / Martin Holen̆a, David Linke, Uwe Rodemerck, and Lukás̆ Bajer -- Stochastic modelling. Limit behavior of the hybrid approximation of stochastic process algebras / Luca Bortolussi -- Analysis of an automated auction with concurrent multiple unit acceptance capacity / Gunhwan Kim and Erol Gelenbe -- Congestive collapse and its avoidance in a dynamic dial-a-ride system with time windows / Esa Hyytiä, Aleksi Penttinen, and Reijo Sulonen |
| Summary |
This book constitutes the refereed proceedings of the 17th International Conference on Analytical and Stochastic Modeling Techniques and Applications, ASMTA 2010, held in Cardiff, UK, in June 2010. The 28 revised full papers presented were carefully reviewed and selected from numerous submissions for inclusion in the book. The papers are organized in topical sections on queueing theory, specification languages and tools, telecommunication systems, estimation, prediction, and stochastic modelling |
| Bibliography |
Includes bibliographical references and index |
| In |
Springer eBooks |
| Subject |
Computer networks -- Mathematical models -- Congresses
|
|
Stochastic processes -- Congresses
|
|
Stochastic models -- Congresses
|
|
Computer networks.
|
|
Stochastic processes.
|
|
Computer Communication Networks
|
|
Models, Theoretical -- analysis
|
|
Stochastic Processes
|
|
Software
|
|
software.
|
|
Informatique.
|
|
Computer networks
|
|
Computer networks -- Mathematical models
|
|
Stochastic models
|
|
Stochastic processes
|
|
Traffic Engineering
|
|
Stochastisches Modell
|
|
Cardiff <2010>
|
| Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
| Form |
Electronic book
|
| Author |
Al-Begain, Khalid
|
|
Fiems, Dieter
|
|
Knottenbelt, William J
|
| ISBN |
9783642135682 |
|
3642135684 |
|
