عنوان

Analytical and stochastic modeling techniques and application

9783642135682

IR

E-5453

انگلیسی

IR

Analytical and stochastic modeling techniques and application

[Book]

:17th international conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010 ; proceedings

/ Khalid Al-Begain, Dieter Fiems, William J. Knottenbelt (eds.

Berlin ;New York

: Springer,

, c2010.

1 online resource (xi, 408 p.)

: , ill.

(Lecture notes in computer science,0302-9743

(LNCS sublibrary. SL 2, Programming and software engineering.)

; 6148.)

International conference proceedings.

Print

Includes bibliographical references and index.

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 Miklaos 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 / Gaeel 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 Istvaan Raath -- 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 Holeaena, David Linke, Uwe Rodemerck, and Lukaaaes 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 Hyytiea, Aleksi Penttinen, and Reijo Sulonen.

Lecture notes in computer science

LNCS sublibrary.SL 2Programming and software engineering

6148

ASMTA 2010

Computer networks, Mathematical models, Congresses

Stochastic processes, Congresses

Stochastic models, Congresses

Electronic books., local

International Conference on Analytical and Stochastic Modelling Techniques and Applications(17th :2010 :Cardiff, Wales)

Al-Begain, Khalid

Fiems, Dieter

Knottenbelt, William J

ایران

old catalog

p

BL

1

a

Y