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 30 / 869
»
Quantitative Model checking
Sort
relevance
views
votes
recent
update
View
thumb
title
23
click to vote
CJ
2002
57
views
more
CJ 2002
»
Quantitative Analysis of UML Statechart Models of Dependable Systems
13 years 8 months ago
Download
www3.informatik.uni-erlangen.de
Gábor Huszerl, István Majzik, Andr&a...
claim paper
Read More »
25
click to vote
INFORMATICALT
2002
91
views
more
INFORMATICALT 2002
»
Quantitative Forecasting and Assessment Models in the State Education System
13 years 8 months ago
Download
www.mii.lt
This paper presents model-based forecasting of the Lithuanian education system in the period of 2001
Vydunas Saltenis, Gintautas Dzemyda, Vytautas Ties...
claim paper
Read More »
16
click to vote
BIOINFORMATICS
2010
84
views
more
BIOINFORMATICS 2010
»
Integrating quantitative proteomics and metabolomics with a genome-scale metabolic network model
13 years 6 months ago
Download
safrabio.cs.tau.ac.il
Keren Yizhak, Tomer Benyamini, Wolfram Liebermeist...
claim paper
Read More »
35
click to vote
EMSOFT
2008
Springer
173
views
Software Engineering
»
more
EMSOFT 2008
»
Active property checking
13 years 10 months ago
Download
research.microsoft.com
Runtime property checking (as implemented in tools like Purify or Valgrind) checks whether a program execution satisfies a property. Active property checking extends runtime check...
Patrice Godefroid, Michael Y. Levin, David A. Moln...
claim paper
Read More »
20
click to vote
FSTTCS
2007
Springer
107
views
Software Engineering
»
more
FSTTCS 2007
»
Model Checking Almost All Paths Can Be Less Expensive Than Checking All Paths
14 years 3 months ago
Download
www.infsec.ethz.ch
Matthias Schmalz, Hagen Völzer, Daniele Varac...
claim paper
Read More »
« Prev
« First
page 30 / 869
Last »
Next »