1 option
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.
SpringerLink Books Lecture Notes In Computer Science (LNCS) (1997-2024) Available online
View online- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- LNCS sublibrary. Programming and software engineering ; SL 2, 6148.
- Programming and Software Engineering ; 6148
- Language:
- English
- Subjects (All):
- Software engineering.
- Computer networks.
- Computer system failures.
- Application software.
- Mathematical statistics.
- Algorithms.
- Software Engineering.
- Computer Communication Networks.
- System Performance and Evaluation.
- Information Systems Applications (incl. Internet).
- Probability and Statistics in Computer Science.
- Algorithm Analysis and Problem Complexity.
- Local Subjects:
- Software Engineering.
- Computer Communication Networks.
- System Performance and Evaluation.
- Information Systems Applications (incl. Internet).
- Probability and Statistics in Computer Science.
- Algorithm Analysis and Problem Complexity.
- Physical Description:
- 1 online resource (XI, 409 pages) : 132 illustrations.
- Edition:
- First edition 2010.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
- System Details:
- text file PDF
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-642-13568-2
- 9783642135682
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.