2011 Eighth International Conference on Quantitative Evaluation of SysTems
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781457709739

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Performance Comparison of Aggressive Push and Traditional Pull Strategies in Large Distributed Systems

2011 Eighth International Conference on Quantitative Evaluation of SysTems ◽

10.1109/qest.2011.41 ◽

2011 ◽

Author(s):

Benny Van Houdt

Keyword(s):

Distributed Systems ◽

Performance Comparison

Download Full-text

Model-based Security Metrics Using ADversary VIew Security Evaluation (ADVISE)

2011 Eighth International Conference on Quantitative Evaluation of SysTems ◽

10.1109/qest.2011.34 ◽

2011 ◽

Cited By ~ 83

Author(s):

Elizabeth LeMay ◽

Michael D. Ford ◽

Ken Keefe ◽

William H. Sanders ◽

Carol Muehrcke

Keyword(s):

Security Evaluation ◽

Security Metrics ◽

Model Based

Download Full-text

Forecasting Run-Times of Secure Two-Party Computation

2011 Eighth International Conference on Quantitative Evaluation of SysTems ◽

10.1109/qest.2011.33 ◽

2011 ◽

Cited By ~ 7

Author(s):

Axel Schroepfer ◽

Florian Kerschbaum

Download Full-text

SCOOP: A Tool for SymboliC Optimisations of Probabilistic Processes

2011 Eighth International Conference on Quantitative Evaluation of SysTems ◽

10.1109/qest.2011.27 ◽

2011 ◽

Cited By ~ 8

Author(s):

Mark Timmer

Keyword(s):

Probabilistic Processes

Download Full-text

Cover Art

2011 Eighth International Conference on Quantitative Evaluation of SysTems ◽

10.1109/qest.2011.44 ◽

2011 ◽

Keyword(s):

Cover Art

Download Full-text

Title Page i

2011 Eighth International Conference on Quantitative Evaluation of SysTems ◽

10.1109/qest.2011.1 ◽

2011 ◽

Cited By ~ 1

Keyword(s):

Title Page

Download Full-text

Model Checking MDPs with a Unique Compact Invariant Set of Distributions

2011 Eighth International Conference on Quantitative Evaluation of SysTems ◽

10.1109/qest.2011.22 ◽

2011 ◽

Cited By ~ 8

Author(s):

Rohit Chadha ◽

Vijay Anand Korthikanti ◽

Mahesh Viswanathan ◽

Gul Agha ◽

Youngmin Kwon

Keyword(s):

Model Checking ◽

Invariant Set

Download Full-text

Title Page iii

2011 Eighth International Conference on Quantitative Evaluation of SysTems ◽

10.1109/qest.2011.2 ◽

2011 ◽

Keyword(s):

Title Page

Download Full-text

GPA - A Tool for Fluid Scalability Analysis of Massively Parallel Systems

2011 Eighth International Conference on Quantitative Evaluation of SysTems ◽

10.1109/qest.2011.26 ◽

2011 ◽

Cited By ~ 7

Author(s):

Anton Stefanek ◽

Richard A. Hayden ◽

Jeremy T. Bradley

Keyword(s):

Parallel Systems ◽

Massively Parallel ◽

Scalability Analysis ◽

Massively Parallel Systems

Download Full-text

A Tool: Quantitative Analyser for Programs

2011 Eighth International Conference on Quantitative Evaluation of SysTems ◽

10.1109/qest.2011.25 ◽

2011 ◽

Cited By ~ 5

Author(s):

Chunyan Mu ◽

David Clark

Download Full-text

2011 Eighth International Conference on Quantitative Evaluation of SysTemsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Performance Comparison of Aggressive Push and Traditional Pull Strategies in Large Distributed Systems

Model-based Security Metrics Using ADversary VIew Security Evaluation (ADVISE)

Forecasting Run-Times of Secure Two-Party Computation

SCOOP: A Tool for SymboliC Optimisations of Probabilistic Processes

Cover Art

Title Page i

Model Checking MDPs with a Unique Compact Invariant Set of Distributions

Title Page iii

GPA - A Tool for Fluid Scalability Analysis of Massively Parallel Systems

A Tool: Quantitative Analyser for Programs

2011 Eighth International Conference on Quantitative Evaluation of SysTems
Latest Publications