05681nam 22008295 450 99646566080331620230202175935.01-280-38710-697866135650203-642-13568-410.1007/978-3-642-13568-2(CKB)2670000000028914(SSID)ssj0000446298(PQKBManifestationID)11285473(PQKBTitleCode)TC0000446298(PQKBWorkID)10495862(PQKB)11016127(DE-He213)978-3-642-13568-2(MiAaPQ)EBC3065392(PPN)149063814(EXLCZ)99267000000002891420100616d2010 u| 0engurnn|008mamaatxtccrAnalytical and Stochastic Modeling Techniques and Applications[electronic resource] 17th International Conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010, Proceedings /edited by Khalid Al-Begain, Dieter Fiems, William Knottenbelt1st ed. 2010.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2010.1 online resource (XI, 409 p. 132 illus.) Programming and Software Engineering,2945-9168 ;6148Bibliographic Level Mode of Issuance: Monograph3-642-13567-6 Includes bibliographical references and index.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.Programming and Software Engineering,2945-9168 ;6148Software engineeringComputer networksElectronic digital computers—EvaluationApplication softwareComputer science—MathematicsMathematical statisticsAlgorithmsSoftware EngineeringComputer Communication NetworksSystem Performance and EvaluationComputer and Information Systems ApplicationsProbability and Statistics in Computer ScienceAlgorithmsSoftware engineering.Computer networks.Electronic digital computers—Evaluation.Application software.Computer science—Mathematics.Mathematical statistics.Algorithms.Software Engineering.Computer Communication Networks.System Performance and Evaluation.Computer and Information Systems Applications.Probability and Statistics in Computer Science.Algorithms.004.6015118Al-Begain Khalidedthttp://id.loc.gov/vocabulary/relators/edtFiems Dieteredthttp://id.loc.gov/vocabulary/relators/edtKnottenbelt Williamedthttp://id.loc.gov/vocabulary/relators/edtInternational Conference on Analytical and Stochastic Modelling Techniques and ApplicationsBOOK996465660803316Analytical and Stochastic Modeling Techniques and Applications774223UNISA