


default search action
17. ASMTA 2010: Cardiff, UK
- Khalid Al-Begain, Dieter Fiems, William J. Knottenbelt:

Analytical and Stochastic Modeling Techniques and Applications, 17th International Conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010. Proceedings. Lecture Notes in Computer Science 6148, Springer 2010, ISBN 978-3-642-13567-5
Queueing Theory I
- Dieter Claeys, Joris Walraevens

, Koenraad Laevens, Bart Steyaert, Herwig Bruneel:
A Batch-Service Queueing Model with a Discrete Batch Markovian Arrival Process. 1-13 - Khalid Al-Begain, Alexander N. Dudin, Valentina I. Klimenok:

Queueing System MAP/PH/N with Propagated Failures. 14-28 - Bart Feyaerts, Stijn De Vuyst, Sabine Wittevrongel, Herwig Bruneel:

Analysis of a Discrete-Time Queueing System with an NT-Policy. 29-43 - Yury Audzevich, Levente Bodrog, Yoram Ofek, Miklós Telek

:
Packet Loss Minimization in Load-Balancing Switch. 44-58
Queueing Theory II
- Thomas Demoor, Dieter Fiems, Joris Walraevens

, Herwig Bruneel:
The Preemptive Repeat Hybrid Server Interruption Model. 59-71 - Thu-Ha Dao-Thi, Jean-Michel Fourneau, Minh-Anh Tran:

Networks of Symmetric Multi-class Queues with Signals Changing Classes. 72-86 - Simonetta Balsamo, Andrea Marin:

Product-Form Solutions for Models with Joint-State Dependent Transition Rates. 87-101 - Moreno Marzolla

:
The qnetworks Toolbox: A Software Package for Queueing Networks Analysis. 102-116
Specification Languages and Tools
- Fateh Boutekkouk

:
Rewriting Logic Based Performance Estimation of Embedded Systems. 117-129 - Andrew S. Miner, Yaping Jing:

A Formal Language toward the Unification of Model Checking and Performance Evaluation. 130-144 - Sanaz Hafezian Razavi, Olivia Das:

Security Evaluation of Layered Intrusion Tolerant Systems. 145-158 - Ryszard Antkiewicz, Arkadiusz Gasecki, Andrzej Najgebauer

, Dariusz Pierzchala
, Zbigniew Tarapata
:
Stochastic PERT and CAST Logic Approach for Computer Support of Complex Operation Planning. 159-173
Telecommunication Systems I
- Gaël Gorgo, Jean-Marc Vincent:

Perfect Sampling of Load Sharing Policies in Large Scale Distributed Systems. 174-188 - Hind Castel-Taleb, Idriss Ismael Aouled, Nihal Pekergin:

Stochastic Comparisons for Performability of Telecommunication Systems. 189-203 - Ajab Khan, Reiko Heckel, Paolo Torrini, István Ráth

:
Model-Based Stochastic Simulation of P2P VoIP Using Graph Transformation System. 204-217 - Pietro Piazzolla

, Marco Gribaudo
, Roberto Borgotallo, Alberto Messina
:
Performance Evaluation of Media Segmentation Heuristics Using Non-markovian Multi-class Arrival Processes. 218-232
Telecommmunication Systems II
- Ibtehal Talal Nafea, D. R. W. Holton, Muhammad Younas, Irfan Awan:

A Formal Approach to Investigate the Performance of Modern E-commerce Services. 233-246 - Haidi Yue, Joost-Pieter Katoen

:
Leader Election in Anonymous Radio Networks: Model Checking Energy Consumption. 247-261 - Sergey D. Andreev

, Zsolt Saffer
, Andrey M. Turlikov
, Alexey V. Vinel:
Upper Bound on Overall Delay in Wireless Broadband Networks with Non Real-Time Traffic. 262-276
Estimation
- Maria Estrella Sousa Vieira

:
Robustness of the Whittle Estimator Applied to Non-Gaussian Long-Range Dependent Processes. 277-290 - Paolo Cremonesi

, Kanika Dhyani, Andrea Sansottera:
Service Time Estimation with a Refinement Enhanced Hybrid Clustering Algorithm. 291-305 - Nicholas A. Nechval, Maris Purgailis, Gundars Berzins, Kaspars Cikste, Juris Krasts, Konstantin N. Nechval:

Invariant Embedding Technique and Its Applications for Improvement or Optimization of Statistical Decisions. 306-320
Prediction
- Nicholas A. Nechval, Maris Purgailis, Kaspars Cikste, Gundars Berzins, Uldis Rozevskis, Konstantin N. Nechval:

Prediction Model Selection and Spare Parts Ordering Policy for Efficient Support of Maintenance and Repair of Equipment. 321-338 - Ayesha M. Sheikh, Tony J. Dodd

:
Prediction-Based Dynamic Target Interception Using Discrete Markov Chains. 339-350 - Martin Holena, David Linke, Uwe Rodemerck, Lukás Bajer:

Neural Networks as Surrogate Models for Measurements in Optimization Algorithms. 351-366
Stochastic Modelling
- Luca Bortolussi

:
Limit Behavior of the Hybrid Approximation of Stochastic Process Algebras. 367-381 - Gunhwan Kim, Erol Gelenbe:

Analysis of an Automated Auction with Concurrent Multiple Unit Acceptance Capacity. 382-396 - Esa Hyytiä

, Aleksi Penttinen, Reijo Sulonen:
Congestive Collapse and Its Avoidance in a Dynamic Dial-a-Ride System with Time Windows. 397-408

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














