2008 Fifth International Conference on Quantitative Evaluation of Systems
Latest Publications

TOTAL DOCUMENTS

58
(FIVE YEARS 0)

H-INDEX

10
(FIVE YEARS 0)

Published By IEEE

9780769533605
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Cell Assisted APMC

2008 ◽  
Author(s):  
Alexandre Borghi ◽  
Thomas Herault ◽  
Richard Lassaigne ◽  
Sylvain Peyronnet

scholarly journals CaVi -- Simulation and Model Checking for Wireless Sensor Networks

2008 ◽  
Author(s):  
Athanassios Boulis ◽  
Ansgar Fehnker ◽  
Matthias Fruth ◽  
Annabelle McIver
Keyword(s):  
Wireless Sensor Networks ◽  
Sensor Networks ◽  
Model Checking ◽  
Wireless Sensor

scholarly journals A Joint Moments Based Analysis of Networks of MAP/MAP/1 Queues

2008 ◽  
Author(s):  
András Horvath ◽  
Gábor Horvath ◽  
Miklós Telek
Keyword(s):  
Joint Moments

scholarly journals Quasi-Birth-Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata, and Pushdown Systems

2008 ◽  
Author(s):  
Kousha Etessami ◽  
Dominik Wojtczak ◽  
Mihalis Yannakakis
Keyword(s):  
Birth Death

scholarly journals KPC-Toolbox: Simple Yet Effective Trace Fitting Using Markovian Arrival Processes

2008 ◽  
Author(s):  
Giuliano Casale ◽  
Eddy Z. Zhang ◽  
Evgenia Smirni
Keyword(s):  
Arrival Processes

Modeling Peer-to-Peer Botnets

2008 ◽  
Author(s):  
Elizabeth Van Ruitenbeek ◽  
William H. Sanders
Keyword(s):  
Peer To Peer
Load More ...
Sign in / Sign up

Export Citation Format

Share Document