Quantitative Evaluation of Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

20
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer International Publishing

9783319222639, 9783319222646
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Quantitative Analysis of Consistency in NoSQL Key-Value Stores

2015 ◽  
pp. 228-243 ◽  
Author(s):  
Si Liu ◽  
Son Nguyen ◽  
Jatin Ganhotra ◽  
Muntasir Raihan Rahman ◽  
Indranil Gupta ◽  
...  
Keyword(s):  
Quantitative Analysis

scholarly journals Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis

2015 ◽  
pp. 141-159 ◽  
Author(s):  
Tomáš Brázdil ◽  
Ľuboš Korenčiak ◽  
Jan Krčál ◽  
Petr Novotný ◽  
Vojtěch Řehák
Keyword(s):  
Continuous Time ◽  
Stochastic Systems

scholarly journals Computing Structural Properties of Symmetric Nets

2015 ◽  
pp. 125-140 ◽  
Author(s):  
Lorenzo Capra ◽  
Massimiliano De Pierro ◽  
Giuliana Franceschinis
Keyword(s):  
Structural Properties
Load More ...
Sign in / Sign up

Export Citation Format

Share Document