160 search results - page 1 / 32 » Probabilistic Model Checking and Reliability of Results |
DDECS
2008
IEEE
13 years 11 months ago
2008
IEEE
SIGIR
2002
ACM
13 years 4 months ago
2002
ACM
The intuition that different text classifiers behave in qualitatively different ways has long motivated attempts to build a better metaclassifier via some combination of classifie...
VLSID
2004
IEEE
14 years 5 months ago
2004
IEEE
As we move from deep submicron technology to nanotechnology for device manufacture, the need for defect-tolerant architectures is gaining importance. This is because, at the nanos...
ARTS
1999
Springer
13 years 9 months ago
1999
Springer
Model checking can tell us whether a system is correct; probabilistic model checking can also tell us whether a system is timely and reliable. Moreover, probabilistic model checkin...
RV
2007
Springer
13 years 11 months ago
2007
Springer
Probabilistic correctness is another important aspect of reliable systems. A soft real-time system, for instance, exhibits probabilistic behaviors from tolerating some degrees of ...