Formal Methods and Stochastic Models for Performance Evaluation - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540752103, 9783540752110

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Testing Finite State Machines Presenting Stochastic Time and Timeouts

Formal Methods and Stochastic Models for Performance Evaluation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-75211-0_8 ◽

2007 ◽

pp. 97-111 ◽

Cited By ~ 3

Author(s):

Mercedes G. Merayo ◽

Manuel Núñez ◽

Ismael Rodríguez

Keyword(s):

Finite State Machines ◽

State Machines ◽

Finite State ◽

Stochastic Time

Download Full-text

Resource Sharing in Performance Models

Formal Methods and Stochastic Models for Performance Evaluation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-75211-0_18 ◽

2007 ◽

pp. 245-259

Author(s):

Vlastimil Babka ◽

Martin Děcký ◽

Petr Tůma

Keyword(s):

Resource Sharing ◽

Performance Models

Download Full-text

An Efficient Counter-Based Broadcast Scheme for Mobile Ad Hoc Networks

Formal Methods and Stochastic Models for Performance Evaluation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-75211-0_20 ◽

2007 ◽

pp. 275-283 ◽

Cited By ~ 25

Author(s):

Aminu Mohammed ◽

Mohamed Ould-Khaoua ◽

Lewis Mackenzie

Keyword(s):

Ad Hoc Networks ◽

Mobile Ad Hoc Networks ◽

Ad Hoc ◽

Mobile Ad Hoc ◽

Hoc Networks

Download Full-text

Optimization Problems in Service Provisioning Systems

Formal Methods and Stochastic Models for Performance Evaluation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-75211-0_1 ◽

2007 ◽

pp. 1-1

Author(s):

Isi Mitrani

Keyword(s):

Optimization Problems ◽

Service Provisioning

Download Full-text

Censoring Markov Chains and Stochastic Bounds

Formal Methods and Stochastic Models for Performance Evaluation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-75211-0_16 ◽

2007 ◽

pp. 213-227 ◽

Cited By ~ 8

Author(s):

J. -M. Fourneau ◽

N. Pekergin ◽

S. Younès

Keyword(s):

Markov Chains

Download Full-text

A Canonical Representation of Order 3 Phase Type Distributions

Formal Methods and Stochastic Models for Performance Evaluation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-75211-0_5 ◽

2007 ◽

pp. 48-62 ◽

Cited By ~ 6

Author(s):

Gábor Horváth ◽

Miklós Telek

Keyword(s):

Canonical Representation ◽

Phase Type ◽

Phase Type Distributions

Download Full-text

Towards an Automatic Modeling Tool for Observed System Behavior

Formal Methods and Stochastic Models for Performance Evaluation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-75211-0_15 ◽

2007 ◽

pp. 200-212 ◽

Cited By ~ 5

Author(s):

Thomas Begin ◽

Alexandre Brandwajn ◽

Bruno Baynat ◽

Bernd E. Wolfinger ◽

Serge Fdida

Keyword(s):

System Behavior ◽

Modeling Tool ◽

Automatic Modeling

Download Full-text

Untold Horrors About Steady-State Probabilities: What Reward-Based Measures Won’t Tell About the Equilibrium Distribution

Formal Methods and Stochastic Models for Performance Evaluation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-75211-0_2 ◽

2007 ◽

pp. 2-17 ◽

Cited By ~ 2

Author(s):

Alexander Bell ◽

Boudewijn R. Haverkort

Keyword(s):

Steady State ◽

Equilibrium Distribution ◽

Steady State Probabilities

Download Full-text

Performance Measuring Framework for Grid Market Middleware

Formal Methods and Stochastic Models for Performance Evaluation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-75211-0_11 ◽

2007 ◽

pp. 141-153

Author(s):

Felix Freitag ◽

Pablo Chacin ◽

Isaac Chao ◽

Rene Brunner ◽

Leandro Navarro ◽

...

Keyword(s):

Grid Market

Download Full-text

SPAMR: Extending PAMR with Stochastic Time

Formal Methods and Stochastic Models for Performance Evaluation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-75211-0_6 ◽

2007 ◽

pp. 63-79

Author(s):

Natalia López ◽

Manuel Núñez ◽

Ismael Rodríguez

Keyword(s):

Stochastic Time

Download Full-text

Formal Methods and Stochastic Models for Performance Evaluation - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Testing Finite State Machines Presenting Stochastic Time and Timeouts

Resource Sharing in Performance Models

An Efficient Counter-Based Broadcast Scheme for Mobile Ad Hoc Networks

Optimization Problems in Service Provisioning Systems

Censoring Markov Chains and Stochastic Bounds

A Canonical Representation of Order 3 Phase Type Distributions

Towards an Automatic Modeling Tool for Observed System Behavior

Untold Horrors About Steady-State Probabilities: What Reward-Based Measures Won’t Tell About the Equilibrium Distribution

Performance Measuring Framework for Grid Market Middleware

SPAMR: Extending PAMR with Stochastic Time

Formal Methods and Stochastic Models for Performance Evaluation - Lecture Notes in Computer Science
Latest Publications