195 search results - page 33 / 39 » A Case for Automatic Exception Handling |
170
Voted
AUSAI
2007
Springer
16 years 1 months ago
2007
Springer
This paper details updated results concerning an implementation of a Multiple Classification Ripple Down Rules (MCRDR) system which can be used to provide quality Decision Support ...
180
click to vote
EDOC
2006
IEEE
16 years 1 months ago
2006
IEEE
Business performance modeling and model-driven business transformation are two research directions that are attracting much attention lately. In this study, we propose an approach...
170
Voted
MICRO
2006
IEEE
16 years 1 months ago
2006
IEEE
Although processor design verification consumes ever-increasing resources, many design defects still slip into production silicon. In a few cases, such bugs have caused expensive...
197
Voted
ICSOC
2004
Springer
16 years 24 days ago
2004
Springer
Service-based approaches are widely used to integrate heterogenous systems. Web services allow for the definition of highly dynamic systems where components (services) can be dis...
186
Voted
SAS
2001
Springer
15 years 12 months ago
2001
Springer
Model checking would answer all finite-state verification problems, if it were not for the notorious state-space explosion problem. A problem of practical importance, which attra...