Skip to main content
Springer Nature Link
Log in

Analytical and Stochastic Modeling Techniques and Applications

17th International Conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010, Proceedings

  • Conference proceedings
  • © 2010

Overview

Editors:
  1. Khalid Al-Begain

    1. Faculty of Advanced Technology, University of Glamorgan, Pontypridd, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Dieter Fiems

    1. Department TELIN, Ghent University, Gent, Belgium

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. William J. Knottenbelt

    1. Department of Computing,, Imperial College London, London, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 6148)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: ASMTA 2010.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Keywords

Table of contents (28 papers)

  1. Front Matter

    Download chapter PDF

  2. Queueing Theory I

    1. A Batch-Service Queueing Model with a Discrete Batch Markovian Arrival Process

      • Dieter Claeys, Joris Walraevens, Koenraad Laevens, Bart Steyaert, Herwig Bruneel
      Pages 1-13

    2. Queueing System MAP/PH/N with Propagated Failures

      • Khalid Al-Begain, Alexander Dudin, Valentina Klimenok
      Pages 14-28

    3. Analysis of a Discrete-Time Queueing System with an NT-Policy

      • Bart Feyaerts, Stijn De Vuyst, Sabine Wittevrongel, Herwig Bruneel
      Pages 29-43

    4. Packet Loss Minimization in Load-Balancing Switch

      • Yury Audzevich, Levente Bodrog, Yoram Ofek, Miklós Telek
      Pages 44-58

  3. Queueing Theory II

    1. The Preemptive Repeat Hybrid Server Interruption Model

      • Thomas Demoor, Dieter Fiems, Joris Walraevens, Herwig Bruneel
      Pages 59-71

    2. Networks of Symmetric Multi-class Queues with Signals Changing Classes

      • Thu-Ha Dao-Thi, Jean-Michel Fourneau, Minh-Anh Tran
      Pages 72-86

    3. Product-Form Solutions for Models with Joint-State Dependent Transition Rates

      • Simonetta Balsamo, Andrea Marin
      Pages 87-101

    4. The qnetworks Toolbox: A Software Package for Queueing Networks Analysis

      • Moreno Marzolla
      Pages 102-116

  4. Specification Languages and Tools

    1. Rewriting Logic Based Performance Estimation of Embedded Systems

      • Fateh Boutekkouk
      Pages 117-129

    2. A Formal Language toward the Unification of Model Checking and Performance Evaluation

      • Andrew S. Miner, Yaping Jing
      Pages 130-144

    3. Security Evaluation of Layered Intrusion Tolerant Systems

      • Sanaz Hafezian Razavi, Olivia Das
      Pages 145-158

    4. Stochastic PERT and CAST Logic Approach for Computer Support of Complex Operation Planning

      • Ryszard Antkiewicz, Arkadiusz Gąsecki, Andrzej Najgebauer, Dariusz Pierzchała, Zbigniew Tarapata
      Pages 159-173

  5. Telecommunication Systems I

    1. Perfect Sampling of Load Sharing Policies in Large Scale Distributed Systems

      • Gaël Gorgo, Jean-Marc Vincent
      Pages 174-188

    2. Stochastic Comparisons for Performability of Telecommunication Systems

      • Hind Castel-Taleb, Idriss Ismael-Aouled, Nihal Pekergin
      Pages 189-203

    3. Model-Based Stochastic Simulation of P2P VoIP Using Graph Transformation System

      • Ajab Khan, Reiko Heckel, Paolo Torrini, István Ráth
      Pages 204-217

    4. Performance Evaluation of Media Segmentation Heuristics Using Non-markovian Multi-class Arrival Processes

      • Pietro Piazzolla, Marco Gribaudo, Roberto Borgotallo, Alberto Messina
      Pages 218-232

  6. Telecommmunication Systems II

    1. A Formal Approach to Investigate the Performance of Modern E-commerce Services

      • Ibtehal Nafea, D. R. W. Holton, Muhammad Younas, Irfan Awan
      Pages 233-246

    2. Leader Election in Anonymous Radio Networks: Model Checking Energy Consumption

      • Haidi Yue, Joost-Pieter Katoen
      Pages 247-261

    3. Upper Bound on Overall Delay in Wireless Broadband Networks with Non Real-Time Traffic

      • Sergey Andreev, Zsolt Saffer, Andrey Turlikov, Alexey Vinel
      Pages 262-276
Back to top

Other volumes

  1. Analytical and Stochastic Modeling Techniques and Applications

Editors and Affiliations

  • Faculty of Advanced Technology, University of Glamorgan, Pontypridd, UK

    Khalid Al-Begain

  • Department TELIN, Ghent University, Gent, Belgium

    Dieter Fiems

  • Department of Computing,, Imperial College London, London, United Kingdom

    William J. Knottenbelt

Bibliographic Information

Publish with us

Policies and ethics

Back to top