عنوان

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

پیشوند ISBD اعمال شده است

1

سطح دسترسي

a

تكميل شده

Y