000			05141nam a22005775i 4500
001			978-3-642-13568-2
003			DE-He213
005			20140220084539.0
007			cr nn 008mamaa
008			100616s2010 gw | s |||| 0|eng d
020			_a9783642135682 _9978-3-642-13568-2
024	7		_a10.1007/978-3-642-13568-2 _2doi
050		4	_aQA76.758
072		7	_aUMZ _2bicssc
072		7	_aCOM051230 _2bisacsh
082	0	4	_a005.1 _223
100	1		_aAl-Begain, Khalid. _eeditor.
245	1	0	_aAnalytical and Stochastic Modeling Techniques and Applications _h[electronic resource] : _b17th International Conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010. Proceedings / _cedited by Khalid Al-Begain, Dieter Fiems, William J. Knottenbelt.
264		1	_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2010.
300			_aXI, 409p. 132 illus. _bonline resource.
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
347			_atext file _bPDF _2rda
490	1		_aLecture Notes in Computer Science, _x0302-9743 ; _v6148
505	0		_aQueueing 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.
520			_aThis book constitutes the refereed proceedings of the 17th International Conference on Analytical and Stochastic Modeling Techniques and Applications, ASMTA 2010, held in Cardiff, UK, in June 2010. The 28 revised full papers presented were carefully reviewed and selected from numerous submissions for inclusion in the book. The papers are organized in topical sections on queueing theory, specification languages and tools, telecommunication systems, estimation, prediction, and stochastic modelling.
650		0	_aComputer science.
650		0	_aComputer Communication Networks.
650		0	_aComputer system performance.
650		0	_aSoftware engineering.
650		0	_aComputer software.
650		0	_aInformation systems.
650	1	4	_aComputer Science.
650	2	4	_aSoftware Engineering.
650	2	4	_aComputer Communication Networks.
650	2	4	_aSystem Performance and Evaluation.
650	2	4	_aInformation Systems Applications (incl.Internet).
650	2	4	_aProbability and Statistics in Computer Science.
650	2	4	_aAlgorithm Analysis and Problem Complexity.
700	1		_aFiems, Dieter. _eeditor.
700	1		_aKnottenbelt, William J. _eeditor.
710	2		_aSpringerLink (Online service)
773	0		_tSpringer eBooks
776	0	8	_iPrinted edition: _z9783642135675
830		0	_aLecture Notes in Computer Science, _x0302-9743 ; _v6148
856	4	0	_uhttp://dx.doi.org/10.1007/978-3-642-13568-2
912			_aZDB-2-SCS
912			_aZDB-2-LNC
999			_c112289 _d112289