4341 search results - page 30 / 869 » Quantitative Model checking |
CJ
2002
15 years 2 months ago
2002
111
Voted
INFORMATICALT
2002
15 years 1 months ago
2002
This paper presents model-based forecasting of the Lithuanian education system in the period of 2001
81
Voted
BIOINFORMATICS
2010
14 years 11 months ago
2010
153
Voted
EMSOFT
2008
Springer
15 years 4 months ago
2008
Springer
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...
81
Voted
FSTTCS
2007
Springer
15 years 8 months ago
2007
Springer
