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.