top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Algorithmic Game Theory [[electronic resource] ] : 6th International Symposium, SAGT 2013, Aachen, Germany, October 21-23, 2013, Proceedings / / edited by Berthold Vöcking
Algorithmic Game Theory [[electronic resource] ] : 6th International Symposium, SAGT 2013, Aachen, Germany, October 21-23, 2013, Proceedings / / edited by Berthold Vöcking
Edizione [1st ed. 2013.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013
Descrizione fisica 1 online resource (XII, 271 p. 29 illus.)
Disciplina 519.3
Collana Information Systems and Applications, incl. Internet/Web, and HCI
Soggetto topico Computer simulation
E-commerce
Computers
Computers and civilization
Numerical analysis
Mathematical statistics
Simulation and Modeling
e-Commerce/e-business
Models and Principles
Computers and Society
Numeric Computing
Probability and Statistics in Computer Science
ISBN 3-642-41392-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto The Complexity of Fully Proportional Representation for Single-Crossing Electorates -- New Results on Equilibria in Strategic Candidacy -- Plurality Voting with Truth-Biased Agents -- Reliability Weighted Voting Games -- The Power of Mediation in an Extended El Farol Game -- Friend of My Friend: Network Formation with Two-Hop Benefit -- Load Rebalancing Games in Dynamic Systems with Migration Costs -- Stochastic Congestion Games with Risk-Averse Players -- Congestion Games with Player-Specific Costs Revisited -- Using Reputation Instead of Tolls in Repeated Selfish Routing with Incomplete Information -- Anti-coordination Games and Stable Graph Colorings -- Approximating Multi Commodity Network Design on Graphs of Bounded Pathwidth and Bounded Degree -- Cooperative Equilibria in Iterated Social Dilemmas -- Symmetries of Quasi-Values -- Dividing Connected Chores Fairly -- On Popular Random Assignments -- Scheduling a Cascade with Opposing Influences -- Designing Budget-Balanced Best-Response Mechanisms for Network Coordination Games -- Inefficiency of Games with Social Context -- Copula-Based Randomized Mechanisms for Truthful Scheduling on Two Unrelated Machines -- Imperfect Best-Response Mechanisms -- Pricing Ad Slots with Consecutive Multi-unit Demand.
Record Nr. UNINA-9910484147903321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Algorithmic Game Theory [[electronic resource] ] : 6th International Symposium, SAGT 2013, Aachen, Germany, October 21-23, 2013, Proceedings / / edited by Berthold Vöcking
Algorithmic Game Theory [[electronic resource] ] : 6th International Symposium, SAGT 2013, Aachen, Germany, October 21-23, 2013, Proceedings / / edited by Berthold Vöcking
Edizione [1st ed. 2013.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013
Descrizione fisica 1 online resource (XII, 271 p. 29 illus.)
Disciplina 519.3
Collana Information Systems and Applications, incl. Internet/Web, and HCI
Soggetto topico Computer simulation
E-commerce
Computers
Computers and civilization
Numerical analysis
Mathematical statistics
Simulation and Modeling
e-Commerce/e-business
Models and Principles
Computers and Society
Numeric Computing
Probability and Statistics in Computer Science
ISBN 3-642-41392-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto The Complexity of Fully Proportional Representation for Single-Crossing Electorates -- New Results on Equilibria in Strategic Candidacy -- Plurality Voting with Truth-Biased Agents -- Reliability Weighted Voting Games -- The Power of Mediation in an Extended El Farol Game -- Friend of My Friend: Network Formation with Two-Hop Benefit -- Load Rebalancing Games in Dynamic Systems with Migration Costs -- Stochastic Congestion Games with Risk-Averse Players -- Congestion Games with Player-Specific Costs Revisited -- Using Reputation Instead of Tolls in Repeated Selfish Routing with Incomplete Information -- Anti-coordination Games and Stable Graph Colorings -- Approximating Multi Commodity Network Design on Graphs of Bounded Pathwidth and Bounded Degree -- Cooperative Equilibria in Iterated Social Dilemmas -- Symmetries of Quasi-Values -- Dividing Connected Chores Fairly -- On Popular Random Assignments -- Scheduling a Cascade with Opposing Influences -- Designing Budget-Balanced Best-Response Mechanisms for Network Coordination Games -- Inefficiency of Games with Social Context -- Copula-Based Randomized Mechanisms for Truthful Scheduling on Two Unrelated Machines -- Imperfect Best-Response Mechanisms -- Pricing Ad Slots with Consecutive Multi-unit Demand.
Record Nr. UNISA-996465477403316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Algorithmic Game Theory [[electronic resource] ] : 5th International Symposium, SAGT 2012, Barcelona, Spain, October 22-23, 2012. Proceedings / / edited by Maria Serna
Algorithmic Game Theory [[electronic resource] ] : 5th International Symposium, SAGT 2012, Barcelona, Spain, October 22-23, 2012. Proceedings / / edited by Maria Serna
Edizione [1st ed. 2012.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012
Descrizione fisica 1 online resource (X, 263 p. 31 illus.)
Disciplina 519.3
Collana Information Systems and Applications, incl. Internet/Web, and HCI
Soggetto topico Computer simulation
E-commerce
Computers
Computers and civilization
Numerical analysis
Mathematical statistics
Simulation and Modeling
e-Commerce/e-business
Models and Principles
Computers and Society
Numeric Computing
Probability and Statistics in Computer Science
Soggetto genere / forma Conference proceedings.
ISBN 3-642-33996-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Solution concepts in game theory -- Efficiency of equilibria and price of anarchy -- Complexity classes in game theory -- Computational aspects of equilibria -- Computational aspects of fixed-point theorems.-Repeated games -- Evolution and learning in games -- Convergence of dynamics -- Coalitions, coordination and collective action -- Reputation, recommendation and trust systems -- Graph-theoretic aspects of social networks -- Network games -- Cost-sharing algorithms and analysis -- Computing with incentives -- Algorithmic mechanism design -- Computational social choice -- Decision theory, and pricing.-auction algorithms and analysis -- Economic aspects of distributed computing -- Internet economics and computational advertising.
Record Nr. UNISA-996465643503316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Algorithmic Game Theory [[electronic resource] ] : 4th International Symposium, SAGT 2011, Amalfi, Italy, October 17-19, 2011. Proceedings / / edited by Giuseppe Persiano
Algorithmic Game Theory [[electronic resource] ] : 4th International Symposium, SAGT 2011, Amalfi, Italy, October 17-19, 2011. Proceedings / / edited by Giuseppe Persiano
Edizione [1st ed. 2011.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011
Descrizione fisica 1 online resource (XI, 327 p. 26 illus., 8 illus. in color.)
Disciplina 003.3
Collana Information Systems and Applications, incl. Internet/Web, and HCI
Soggetto topico Computer simulation
E-commerce
Computers
Computers and civilization
Numerical analysis
Mathematical statistics
Simulation and Modeling
e-Commerce/e-business
Models and Principles
Computers and Society
Numeric Computing
Probability and Statistics in Computer Science
ISBN 3-642-24829-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996465381203316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Algorithmic Game Theory [[electronic resource] ] : Third International Symposium, SAGT 2010, Athens, Greece, October 18-20, 2010, Proceedings / / edited by Spyros Kontogiannis, Elias Koutsoupias, Paul Spirakis
Algorithmic Game Theory [[electronic resource] ] : Third International Symposium, SAGT 2010, Athens, Greece, October 18-20, 2010, Proceedings / / edited by Spyros Kontogiannis, Elias Koutsoupias, Paul Spirakis
Edizione [1st ed. 2010.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010
Descrizione fisica 1 online resource (VIII, 359 p. 25 illus.)
Disciplina 003.3
Collana Information Systems and Applications, incl. Internet/Web, and HCI
Soggetto topico Computer simulation
E-commerce
Computers
Computers and civilization
Numerical analysis
Simulation and Modeling
e-Commerce/e-business
Theory of Computation
Models and Principles
Computers and Society
Numeric Computing
ISBN 1-280-38961-3
9786613567536
3-642-16170-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto When the Players Are Not Expectation Maximizers -- How Do You Like Your Equilibrium Selection Problems? Hard, or Very Hard? -- A Simplex-Like Algorithm for Fisher Markets -- Nash Equilibria in Fisher Market -- Partition Equilibrium Always Exists in Resource Selection Games -- Mixing Time and Stationary Expected Social Welfare of Logit Dynamics -- Pareto Efficiency and Approximate Pareto Efficiency in Routing and Load Balancing Games -- On Nash-Equilibria of Approximation-Stable Games -- Improved Lower Bounds on the Price of Stability of Undirected Network Design Games -- On the Rate of Convergence of Fictitious Play -- On Learning Algorithms for Nash Equilibria -- On the Structure of Weakly Acyclic Games -- A Direct Reduction from k-Player to 2-Player Approximate Nash Equilibrium -- Responsive Lotteries -- On the Existence of Optimal Taxes for Network Congestion Games with Heterogeneous Users -- Computing Stable Outcomes in Hedonic Games -- A Perfect Price Discrimination Market Model with Production, and a (Rational) Convex Program for It -- The Computational Complexity of Trembling Hand Perfection and Other Equilibrium Refinements -- Complexity of Safe Strategic Voting -- Bottleneck Congestion Games with Logarithmic Price of Anarchy -- Single-Parameter Combinatorial Auctions with Partially Public Valuations -- On the Efficiency of Markets with Two-Sided Proportional Allocation Mechanisms -- Braess’s Paradox for Flows over Time -- The Price of Anarchy in Network Creation Games Is (Mostly) Constant -- Truthful Fair Division -- No Regret Learning in Oligopolies: Cournot vs. Bertrand -- On the Complexity of Pareto-optimal Nash and Strong Equilibria -- 2-Player Nash and Nonsymmetric Bargaining Games: Algorithms and Structural Properties -- On the Inefficiency of Equilibria in Linear Bottleneck Congestion Games -- Minimal Subsidies in Expense Sharing Games.
Record Nr. UNINA-9910484356903321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Algorithmic Game Theory [[electronic resource] ] : Third International Symposium, SAGT 2010, Athens, Greece, October 18-20, 2010, Proceedings / / edited by Spyros Kontogiannis, Elias Koutsoupias, Paul Spirakis
Algorithmic Game Theory [[electronic resource] ] : Third International Symposium, SAGT 2010, Athens, Greece, October 18-20, 2010, Proceedings / / edited by Spyros Kontogiannis, Elias Koutsoupias, Paul Spirakis
Edizione [1st ed. 2010.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010
Descrizione fisica 1 online resource (VIII, 359 p. 25 illus.)
Disciplina 003.3
Collana Information Systems and Applications, incl. Internet/Web, and HCI
Soggetto topico Computer simulation
E-commerce
Computers
Computers and civilization
Numerical analysis
Simulation and Modeling
e-Commerce/e-business
Theory of Computation
Models and Principles
Computers and Society
Numeric Computing
ISBN 1-280-38961-3
9786613567536
3-642-16170-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto When the Players Are Not Expectation Maximizers -- How Do You Like Your Equilibrium Selection Problems? Hard, or Very Hard? -- A Simplex-Like Algorithm for Fisher Markets -- Nash Equilibria in Fisher Market -- Partition Equilibrium Always Exists in Resource Selection Games -- Mixing Time and Stationary Expected Social Welfare of Logit Dynamics -- Pareto Efficiency and Approximate Pareto Efficiency in Routing and Load Balancing Games -- On Nash-Equilibria of Approximation-Stable Games -- Improved Lower Bounds on the Price of Stability of Undirected Network Design Games -- On the Rate of Convergence of Fictitious Play -- On Learning Algorithms for Nash Equilibria -- On the Structure of Weakly Acyclic Games -- A Direct Reduction from k-Player to 2-Player Approximate Nash Equilibrium -- Responsive Lotteries -- On the Existence of Optimal Taxes for Network Congestion Games with Heterogeneous Users -- Computing Stable Outcomes in Hedonic Games -- A Perfect Price Discrimination Market Model with Production, and a (Rational) Convex Program for It -- The Computational Complexity of Trembling Hand Perfection and Other Equilibrium Refinements -- Complexity of Safe Strategic Voting -- Bottleneck Congestion Games with Logarithmic Price of Anarchy -- Single-Parameter Combinatorial Auctions with Partially Public Valuations -- On the Efficiency of Markets with Two-Sided Proportional Allocation Mechanisms -- Braess’s Paradox for Flows over Time -- The Price of Anarchy in Network Creation Games Is (Mostly) Constant -- Truthful Fair Division -- No Regret Learning in Oligopolies: Cournot vs. Bertrand -- On the Complexity of Pareto-optimal Nash and Strong Equilibria -- 2-Player Nash and Nonsymmetric Bargaining Games: Algorithms and Structural Properties -- On the Inefficiency of Equilibria in Linear Bottleneck Congestion Games -- Minimal Subsidies in Expense Sharing Games.
Record Nr. UNISA-996465824403316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Algorithms and programs of dynamic mixture estimation [[electronic resource] ] : unified approach to different types of components / / by Ivan Nagy, Evgenia Suzdaleva
Algorithms and programs of dynamic mixture estimation [[electronic resource] ] : unified approach to different types of components / / by Ivan Nagy, Evgenia Suzdaleva
Autore Nagy Ivan
Edizione [1st ed. 2017.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
Descrizione fisica 1 online resource (113 pages) : illustrations, tables
Disciplina 519.544
Collana SpringerBriefs in Statistics
Soggetto topico Probabilities
Statistics 
System theory
Computer simulation
Algorithms
Probability Theory and Stochastic Processes
Statistical Theory and Methods
Systems Theory, Control
Simulation and Modeling
ISBN 3-319-64671-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Introduction -- Basic Models -- Statistical Analysis of Dynamic Mixtures -- Dynamic Mixture Estimation -- Program Codes -- Experiments -- Appendices.
Record Nr. UNINA-9910254300703321
Nagy Ivan  
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Analysis and Simulation of Electrical and Computer Systems [[electronic resource] /] / edited by Lesław Gołębiowski, Damian Mazur
Analysis and Simulation of Electrical and Computer Systems [[electronic resource] /] / edited by Lesław Gołębiowski, Damian Mazur
Edizione [1st ed. 2015.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015
Descrizione fisica 1 online resource (425 p.)
Disciplina 621.31
Collana Lecture Notes in Electrical Engineering
Soggetto topico Electronics
Microelectronics
Signal processing
Image processing
Speech processing systems
Computer simulation
Electronics and Microelectronics, Instrumentation
Signal, Image and Speech Processing
Simulation and Modeling
ISBN 3-319-11248-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Hierarchical Control of Four-Leg Three-Level Grid-Connected Converter for RES -- Model of hybrid active power filter in the frequency domain -- Analysis of resonance phenomena in series RLC circuit with supercapacitor -- Study the quality of global neural model with regard to the local models of dynamic complex system -- Transient Analysis of Interstitial Microwave Hyperthermia using Multi-Slot Coaxial Antenna -- Impulse responses of generalized first order LTV sections -- On some inequalities for Fourier coefficients -- On the Three, Five and Other Periodic Orbits of Some Polynomials -- Examination of Chaos Occurring in Selected Branched Kinematic Chains of Robot Manipulators -- An estimation of the geothermal energy sources for generating electricity -- Thermal Analysis of the Permanent Magnet Synchronous Generator -- Universal High Speed Induction Motor Driver -- Improvement of immunity of adjustable AC drives with induction motors on voltage sags -- Investigation of end winding proximity losses in a high-speed PM machine -- Modeling of the squirrel-cage induction motor having symmetrically distributed groups of broken cage bars -- Analysis of established thermal conditions for magneto rheological clutch for different loading conditions -- An analytical model of an electrical machine with internal permanent magnets -- Modeling of repetitive ignitions in switching devices: case studies on Vacuum Circuit Breaker and GIS disconnector -- The use of statistical signatures to detect anomalies in computer network -- Wireless networks environment and complex networks -- Network anomaly detection based on the statistical self-similarity factor -- Analysis of Static Characteristics of a Switched Reluctance Motor -- Robust integral sliding mode tracking control of a servo drives with reference trajectory generator -- Dynamic Modeling of the Skin Effect in Rotor Bars with Optimized Ladder Networks -- Using BALSA Environment for the Asynchronous Microprocessor Design -- Analysis of the Distribution of Air Flow Rate Through Stator End Winding of Turbo Generator -- Two-directional two-pole single phase line start permanent magnet synchronous motor -- Overhead Lines in Power System with Wind Power Plants and Photovoltaic Power Plants -- An analysis of a brushless DC motor with a cup – rotor -- Description of the Cross Saturation in an IPMSM for Electric Vehicles using Bicubic Splines -- Method for Diagnosing the Vacuum Conditions Using Pulses Voltage Generator -- The Group and Individual Connection to the Rail System Modelling in a Lightning Discharge Analysis -- Gearless pedaling electric driven tricycle.
Record Nr. UNINA-9910299851003321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Analysis of Injection Processes in an Innovative 3D-CFD Tool for the Simulation of Internal Combustion Engines [[electronic resource] /] / by Marlene Wentsch
Analysis of Injection Processes in an Innovative 3D-CFD Tool for the Simulation of Internal Combustion Engines [[electronic resource] /] / by Marlene Wentsch
Autore Wentsch Marlene
Edizione [1st ed. 2019.]
Pubbl/distr/stampa Wiesbaden : , : Springer Fachmedien Wiesbaden : , : Imprint : Springer Vieweg, , 2019
Descrizione fisica 1 online resource (181 pages)
Disciplina 532.0501515223
Collana Wissenschaftliche Reihe Fahrzeugtechnik Universität Stuttgart
Soggetto topico Automotive engineering
Engines
Machinery
Computer simulation
Automotive Engineering
Engine Technology
Simulation and Modeling
ISBN 3-658-22167-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto The 3D-CFD Tool QuickSim -- Numerical Boundary Conditions -- Liquid Fuel Modeling -- Parametrization of Injector Properties.
Record Nr. UNINA-9910337624103321
Wentsch Marlene  
Wiesbaden : , : Springer Fachmedien Wiesbaden : , : Imprint : Springer Vieweg, , 2019
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui

Data di pubblicazione

Altro...