Analytical and Stochastic Modeling Techniques and Applications 17th International Conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010, Proceedings / edited by Khalid Al-Begain, Dieter Fiems, William Knottenbelt.

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Al-Begain, Khalid (Editor), Fiems, Dieter (Editor), Knottenbelt, William (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Edition:	1st ed. 2010.
Series:	Programming and Software Engineering ; 6148 Springer eBook Collection.
Subjects:	Software engineering. Computer communication systems. Computer system failures. Application software. Mathematical statistics. Algorithms. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

Table of Contents:

Queueing Theory I
A Batch-Service Queueing Model with a Discrete Batch Markovian Arrival Process
Queueing System MAP/PH/N with Propagated Failures
Analysis of a Discrete-Time Queueing System with an NT-Policy
Packet Loss Minimization in Load-Balancing Switch
Queueing Theory II
The Preemptive Repeat Hybrid Server Interruption Model
Networks of Symmetric Multi-class Queues with Signals Changing Classes
Product-Form Solutions for Models with Joint-State Dependent Transition Rates
The qnetworks Toolbox: A Software Package for Queueing Networks Analysis
Specification Languages and Tools
Rewriting Logic Based Performance Estimation of Embedded Systems
A Formal Language toward the Unification of Model Checking and Performance Evaluation
Security Evaluation of Layered Intrusion Tolerant Systems
Stochastic PERT and CAST Logic Approach for Computer Support of Complex Operation Planning
Telecommunication Systems I
Perfect Sampling of Load Sharing Policies in Large Scale Distributed Systems
Stochastic Comparisons for Performability of Telecommunication Systems
Model-Based Stochastic Simulation of P2P VoIP Using Graph Transformation System
Performance Evaluation of Media Segmentation Heuristics Using Non-markovian Multi-class Arrival Processes
Telecommmunication Systems II
A Formal Approach to Investigate the Performance of Modern E-commerce Services
Leader Election in Anonymous Radio Networks: Model Checking Energy Consumption
Upper Bound on Overall Delay in Wireless Broadband Networks with Non Real-Time Traffic
Estimation
Robustness of the Whittle Estimator Applied to Non-Gaussian Long-Range Dependent Processes
Service Time Estimation with a Refinement Enhanced Hybrid Clustering Algorithm
Invariant Embedding Technique and Its Applications for Improvement or Optimization of Statistical Decisions
Prediction
Prediction Model Selection and Spare Parts Ordering Policy for Efficient Support of Maintenance and Repair of Equipment
Prediction-Based Dynamic Target Interception Using Discrete Markov Chains
Neural Networks as Surrogate Models for Measurements in Optimization Algorithms
Stochastic Modelling
Limit Behavior of the Hybrid Approximation of Stochastic Process Algebras
Analysis of an Automated Auction with Concurrent Multiple Unit Acceptance Capacity
Congestive Collapse and Its Avoidance in a Dynamic Dial-a-Ride System with Time Windows.

Analytical and Stochastic Modeling Techniques and Applications 17th International Conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010, Proceedings / edited by Khalid Al-Begain, Dieter Fiems, William Knottenbelt.

Similar Items