Analytical and Stochastic Modeling Techniques and Applications

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.