Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
Sci2ools
International Keyboard
Graphical Social Symbols
CSS3 Style Generator
OCR
Web Page to Image
Web Page to PDF
Merge PDF
Split PDF
Latex Equation Editor
Extract Images from PDF
Convert JPEG to PS
Convert Latex to Word
Convert Word to PDF
Image Converter
PDF Converter
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
4341
search results - page 16 / 869
»
Quantitative Model checking
Sort
relevance
views
votes
recent
update
View
thumb
title
93
Voted
QEST
2009
IEEE
93
views
Modeling and Simulation
»
more
QEST 2009
»
An Introduction to Monte Carlo Methods and Rare Event Simulation
15 years 9 months ago
Download
www.qest.org
Gerardo Rubino, Bruno Tuffin
claim paper
Read More »
90
Voted
QEST
2009
IEEE
104
views
Modeling and Simulation
»
more
QEST 2009
»
Petri Net Analysis Using Decision Diagrams
15 years 9 months ago
Download
www.qest.org
Gianfranco Ciardo
claim paper
Read More »
83
Voted
QEST
2008
IEEE
81
views
Modeling and Simulation
»
more
QEST 2008
»
Randomness in Wireless Networks: How to Deal with It
15 years 8 months ago
Download
aep9.imag.fr
Mérouane Debbah
claim paper
Read More »
88
Voted
QEST
2006
IEEE
80
views
Modeling and Simulation
»
more
QEST 2006
»
Lumping Markov Chains with Silent Steps
15 years 8 months ago
Download
www.win.tue.nl
Jasen Markovski, Nikola Trcka
claim paper
Read More »
79
Voted
QEST
2006
IEEE
71
views
Modeling and Simulation
»
more
QEST 2006
»
Long-Range Dependence at the Disk Drive Level
15 years 8 months ago
Download
www.cs.wm.edu
Alma Riska, Erik Riedel
claim paper
Read More »
« Prev
« First
page 16 / 869
Last »
Next »