LEADER 00740nam0 22002413i 450 001 996427841803316 005 20210726143643.0 100 $a19950825d1963----||||0itac50 ba 101 0 $aspa 102 $aAR 200 1 $aTres conceptos de la literatura hispanoamericana$fGuillermo de Torre 210 1 $aBuenos Aires$cLosada$d1963 215 $a244 p.$d21 cm 225 2 $aBiblioteca de estudios literarios 410 0$12001$aBiblioteca de estudios literarios 700 1$aTORRE,$bGuillermo : de$0457951 801 0$aIT$bcba$gREICAT 912 $a996427841803316 951 $aVI.7.B. 2050$b7859 ISLA$cVI.7$d543354 959 $aBK 969 $aISLA 996 $aTres conceptos de la literatura hispanoamericana$91834771 997 $aUNISA LEADER 07458nam 22008895 450 001 9910483142203321 005 20251226202432.0 010 $a1-280-38710-6 010 $a9786613565020 010 $a3-642-13568-4 024 7 $a10.1007/978-3-642-13568-2 035 $a(CKB)2670000000028914 035 $a(SSID)ssj0000446298 035 $a(PQKBManifestationID)11285473 035 $a(PQKBTitleCode)TC0000446298 035 $a(PQKBWorkID)10495862 035 $a(PQKB)11016127 035 $a(DE-He213)978-3-642-13568-2 035 $a(MiAaPQ)EBC3065392 035 $a(PPN)149063814 035 $a(BIP)30771381 035 $a(EXLCZ)992670000000028914 100 $a20100616d2010 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAnalytical and Stochastic Modeling Techniques and Applications $e17th International Conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010, Proceedings /$fedited by Khalid Al-Begain, Dieter Fiems, William Knottenbelt 205 $a1st ed. 2010. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2010. 215 $a1 online resource (XI, 409 p. 132 illus.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v6148 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-642-13567-6 320 $aIncludes bibliographical references and index. 327 $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. 330 $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. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v6148 606 $aSoftware engineering 606 $aComputer networks 606 $aElectronic digital computers$xEvaluation 606 $aApplication software 606 $aComputer science$xMathematics 606 $aMathematical statistics 606 $aAlgorithms 606 $aSoftware Engineering 606 $aComputer Communication Networks 606 $aSystem Performance and Evaluation 606 $aComputer and Information Systems Applications 606 $aProbability and Statistics in Computer Science 606 $aAlgorithms 615 0$aSoftware engineering. 615 0$aComputer networks. 615 0$aElectronic digital computers$xEvaluation. 615 0$aApplication software. 615 0$aComputer science$xMathematics. 615 0$aMathematical statistics. 615 0$aAlgorithms. 615 14$aSoftware Engineering. 615 24$aComputer Communication Networks. 615 24$aSystem Performance and Evaluation. 615 24$aComputer and Information Systems Applications. 615 24$aProbability and Statistics in Computer Science. 615 24$aAlgorithms. 676 $a004.6015118 701 $aAl-Begain$b Khalid$0976892 701 $aFiems$b Dieter$01749906 701 $aKnottenbelt$b William J$01460727 712 12$aInternational Conference on Analytical and Stochastic Modelling Techniques and Applications 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483142203321 996 $aAnalytical and stochastic modeling techniques and applications$94184367 997 $aUNINA