000 06410nam a22005535i 4500
001 u374527
003 SIRSI
005 20160812084239.0
007 cr nn 008mamaa
008 100616s2010 gw | s |||| 0|eng d
020 _a9783642135682
_9978-3-642-13568-2
040 _cMX-MeUAM
050 4 _aQA76.758
082 0 4 _a005.1
_223
100 1 _aAl-Begain, Khalid.
_eeditor.
245 1 0 _aAnalytical and Stochastic Modeling Techniques and Applications
_h[recurso electrónico] :
_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 _aItis ourpleasureto presenttheproceedingsofthe17thInternationalConference on Analytical and Stochastic Modelling and Applications (ASMTA 2010). The conferencewasheldintheIconicWalesMillenniumCentreinCardi?,thevibrant capital city of Wales. ASMTA conferences have become established quality events in the calendar of analytical,numerical and even simulation experts in Europe and well beyond. In addition to regular participants from the main centers of expertise from the UK,Belgium,Germany,Russia,France,Italy,Latvia,Spain,Hungaryandmany other countries, we receive newcomers with interesting contributions from other countries such as Algeria, Canada and the USA. Although the conference has become a well-established event, every year ASMTAfeaturessomethingnew.Thisyear,andforthe ?rsttime,the conference was held completely independently and standalone. The decision was not easy as it has always been co-located with the European Conference on Modelling and Simulation. There were some who questioned its chances, but the outcome proved to be excellent. The quality of this year’s program was exceptionally high. The conference started with a keynote talk on process algebra by a distinguished speaker in the person of Jane Hillston from the Department of Computer Science of the University of Edinburgh. In addition, 28 papers were accepted for presentation. As ever, the International Program Committee reviewed the submissions cr- ically and in detail, thereby helping in making the ?nal decision and also in providing the authors with useful comments to improve their papers. We would therefore like to thank every member of the International Program Committee for their time and e?orts. We thank everyone for their contribution to ASMTA 2010 and hope readers will enjoy the conference proceedings.
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 _zLibro electrónico
_uhttp://148.231.10.114:2048/login?url=http://link.springer.com/book/10.1007/978-3-642-13568-2
596 _a19
942 _cLIBRO_ELEC
999 _c202407
_d202407