Sciweavers

4341 search results - page 16 / 869

» Quantitative Model checking

18

QEST
2009
IEEE

93views Modeling and Simulation» more QEST 2009»

An Introduction to Monte Carlo Methods and Rare Event Simulation

14 years 3 months ago

An Introduction to Monte Carlo Methods and Rare Event Simulation

Download www.qest.org

Gerardo Rubino, Bruno Tuffin

claim paper

Read More »

17

QEST
2009
IEEE

104views Modeling and Simulation» more QEST 2009»

Petri Net Analysis Using Decision Diagrams

14 years 3 months ago

Petri Net Analysis Using Decision Diagrams

Download www.qest.org

Gianfranco Ciardo

claim paper

Read More »

20

QEST
2008
IEEE

81views Modeling and Simulation» more QEST 2008»

Randomness in Wireless Networks: How to Deal with It

14 years 3 months ago

Randomness in Wireless Networks: How to Deal with It

Download aep9.imag.fr

Mérouane Debbah

claim paper

Read More »

23

QEST
2006
IEEE

80views Modeling and Simulation» more QEST 2006»

Lumping Markov Chains with Silent Steps

14 years 2 months ago

Lumping Markov Chains with Silent Steps

Download www.win.tue.nl

Jasen Markovski, Nikola Trcka

claim paper

Read More »

21

QEST
2006
IEEE

71views Modeling and Simulation» more QEST 2006»

Long-Range Dependence at the Disk Drive Level

14 years 2 months ago

Long-Range Dependence at the Disk Drive Level

Download www.cs.wm.edu

Alma Riska, Erik Riedel

claim paper

Read More »

« Prev « First page 16 / 869 Last » Next »