Analytical and Stochastic Modeling Techniques and Applications 17th International Conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010. Proceedings /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Al-Begain, Khalid (Επιμελητής έκδοσης), Fiems, Dieter (Επιμελητής έκδοσης), Knottenbelt, William J. (Επιμελητής έκδοσης)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
Σειρά:Lecture Notes in Computer Science, 6148
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
Πίνακας περιεχομένων:
  • 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.