Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Analytical 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 Knottenbelt
| Analytical 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 Knottenbelt |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XI, 409 p. 132 illus.) |
| Disciplina | 004.6015118 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software 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 |
| ISBN |
1-280-38710-6
9786613565020 3-642-13568-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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. |
| Record Nr. | UNISA-996465660803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Analytical and stochastic modeling techniques and applications : 17th International Conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010 : proceedings / / Khalid Al-Begain, Dieter Fiems, William J. Knottenbelt (eds.)
| Analytical and stochastic modeling techniques and applications : 17th International Conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010 : proceedings / / Khalid Al-Begain, Dieter Fiems, William J. Knottenbelt (eds.) |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | New York, : Springer, 2010 |
| Descrizione fisica | 1 online resource (XI, 409 p. 132 illus.) |
| Disciplina | 004.6015118 |
| Altri autori (Persone) |
Al-BegainKhalid
FiemsDieter KnottenbeltWilliam J |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 2, Programming and software engineering |
| Soggetto topico |
Stochastic processes
Stochastic models |
| ISBN |
1-280-38710-6
9786613565020 3-642-13568-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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. |
| Record Nr. | UNINA-9910483142203321 |
| New York, : Springer, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Analytical and Stochastic Modeling Techniques and Applications [[electronic resource] ] : 16th International Conference, ASMTA 2009, Madrid, Spain, June 9-12, 2009, Proceedings / / edited by Khalid Al-Begain, Dieter Fiems, Gábor Horváth
| Analytical and Stochastic Modeling Techniques and Applications [[electronic resource] ] : 16th International Conference, ASMTA 2009, Madrid, Spain, June 9-12, 2009, Proceedings / / edited by Khalid Al-Begain, Dieter Fiems, Gábor Horváth |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XI, 401 p.) |
| Disciplina | 004.6015118 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer engineering Computer communication systems Computer system failures Computer simulation Software Engineering/Programming and Operating Systems Computer Engineering Computer Communication Networks Software Engineering System Performance and Evaluation Simulation and Modeling |
| Soggetto genere / forma |
Kongress.
Madrid (2009) |
| ISBN | 3-642-02205-7 |
| Classificazione |
DAT 250f
DAT 280f MAT 608f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Telecommunication Networks -- Comparison of Multi-service Routing Strategies for IP Core Networks -- Analysis of Opportunistic Spectrum Access in Cognitive Ad Hoc Networks -- How Would Ants Implement an Intelligent Route Control System? -- User Access to Popular Data on the Internet and Approaches for IP Traffic Flow Optimization -- Wireless and Mobile Networks -- Solving Multiserver Systems with Two Retrial Orbits Using Value Extrapolation: A Comparative Perspective -- Study of the Path Average Lifetime in Ad Hoc Networks Using Stochastic Activity Networks -- Overall Delay in IEEE 802.16 with Contention-Based Random Access -- Analyzing the Impact of Various Modulation and Coding Schemes on the MAC Layer of IEEE 802.11 WLANs -- Simulation -- Improving the Efficiency of the Proxel Method by Using Individual Time Steps -- Efficient On-Line Generation of the Correlation Structure of F-ARIMA Processes -- Different Monotonicity Definitions in Stochastic Modelling -- Queueing Systems and Distributions -- Preliminary Results on a Simple Approach to G/G/c-Like Queues -- Moments Characterization of Order 3 Matrix Exponential Distributions -- Analysis of Discrete-Time Buffers with General Session-Based Arrivals -- On the Characterization of Product-Form Multiclass Queueing Models with Probabilistic Disciplines -- Queueing and Scheduling in Telecommunication Networks -- A Queuing Model for the Non-continuous Frame Assembly Scheme in Finite Buffers -- Equilibrium in Size-Based Scheduling Systems -- Scalable Model for Packet Loss Analysis of Load-Balancing Switches with Identical Input Processes -- Mixed Finite-/Infinite-Capacity Priority Queue with General Class-1 Service Times -- Model Checking and Process Algebra -- Stochastic Automata Networks with Master/Slave Synchronization: Product Form and Tensor -- Weak Stochastic Comparisons for Performability Verification -- Numerical Method for Bounds Computations of Discrete-Time Markov Chains with Different State Spaces -- Performance and Reliability Analysis of Various Systems -- Approximate Conditional Distributions of Distances between Nodes in a Two-Dimensional Sensor Network -- An Analytic Model for Optimistic STM with Lazy Locking -- Optimal Adaptive Inspection Planning Process in Service of Fatigued Aircraft Structures -- Stochastic Modelling of Poll Based Multimedia Productions -- Modeling and Analysis of Checkpoint I/O Operations. |
| Record Nr. | UNISA-996465532103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Analytical and stochastic modeling techniques and applications : 16th international conference, ASMTA 2009, Madrid, Spain, June 9-12, 2009 ; proceedings / / Khalid Al-Begain, Dieter Fiems, Gabor Horvath, (eds.)
| Analytical and stochastic modeling techniques and applications : 16th international conference, ASMTA 2009, Madrid, Spain, June 9-12, 2009 ; proceedings / / Khalid Al-Begain, Dieter Fiems, Gabor Horvath, (eds.) |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, : Springer-Verlag, c2009 |
| Descrizione fisica | 1 online resource (XI, 401 p.) |
| Disciplina | 004.6015118 |
| Altri autori (Persone) |
Al-BegainKhalid
FiemsDieter HorvathGabor |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Stochastic processes
Stochastic models |
| ISBN | 3-642-02205-7 |
| Classificazione |
DAT 250f
DAT 280f MAT 608f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Telecommunication Networks -- Comparison of Multi-service Routing Strategies for IP Core Networks -- Analysis of Opportunistic Spectrum Access in Cognitive Ad Hoc Networks -- How Would Ants Implement an Intelligent Route Control System? -- User Access to Popular Data on the Internet and Approaches for IP Traffic Flow Optimization -- Wireless and Mobile Networks -- Solving Multiserver Systems with Two Retrial Orbits Using Value Extrapolation: A Comparative Perspective -- Study of the Path Average Lifetime in Ad Hoc Networks Using Stochastic Activity Networks -- Overall Delay in IEEE 802.16 with Contention-Based Random Access -- Analyzing the Impact of Various Modulation and Coding Schemes on the MAC Layer of IEEE 802.11 WLANs -- Simulation -- Improving the Efficiency of the Proxel Method by Using Individual Time Steps -- Efficient On-Line Generation of the Correlation Structure of F-ARIMA Processes -- Different Monotonicity Definitions in Stochastic Modelling -- Queueing Systems and Distributions -- Preliminary Results on a Simple Approach to G/G/c-Like Queues -- Moments Characterization of Order 3 Matrix Exponential Distributions -- Analysis of Discrete-Time Buffers with General Session-Based Arrivals -- On the Characterization of Product-Form Multiclass Queueing Models with Probabilistic Disciplines -- Queueing and Scheduling in Telecommunication Networks -- A Queuing Model for the Non-continuous Frame Assembly Scheme in Finite Buffers -- Equilibrium in Size-Based Scheduling Systems -- Scalable Model for Packet Loss Analysis of Load-Balancing Switches with Identical Input Processes -- Mixed Finite-/Infinite-Capacity Priority Queue with General Class-1 Service Times -- Model Checking and Process Algebra -- Stochastic Automata Networks with Master/Slave Synchronization: Product Form and Tensor -- Weak Stochastic Comparisons for Performability Verification -- Numerical Method for Bounds Computations of Discrete-Time Markov Chains with Different State Spaces -- Performance and Reliability Analysis of Various Systems -- Approximate Conditional Distributions of Distances between Nodes in a Two-Dimensional Sensor Network -- An Analytic Model for Optimistic STM with Lazy Locking -- Optimal Adaptive Inspection Planning Process in Service of Fatigued Aircraft Structures -- Stochastic Modelling of Poll Based Multimedia Productions -- Modeling and Analysis of Checkpoint I/O Operations. |
| Altri titoli varianti | ASMTA 2009 |
| Record Nr. | UNINA-9910484079303321 |
| Berlin, : Springer-Verlag, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||