396 search results - page 33 / 80 » Using Refinement Checking as System Testing |
108
click to vote
TCAD
2010
14 years 4 months ago
2010
The growing complexity of systems and their implementation into silicon encourages designers to look for model designs at higher levels of abstraction and then incrementally build ...
112
click to vote
DLOG
1998
14 years 11 months ago
1998
Effective systems for expressive description logics require a heavily-optimised subsumption checker incorporating a range of optimisation techniques. Because of the correspondence...
SSDBM
2006
IEEE
15 years 3 months ago
2006
IEEE
Biological web data sources have now become essential information sources for researchers. However, their use is tedious, labor-intensive, repetitive, and possibly involve the int...
114
click to vote
FAC
2008
14 years 9 months ago
2008
This paper describes the Mondex case study with UML class diagrams and restricting OCL constraints. The constraints have been formulated either as OCL class invariants or as OCL pr...
108
click to vote
LREC
2010
14 years 11 months ago
2010
We propose a Word Sense Disambiguation (WSD) method that accurately classifies ambiguous words to concepts in the Associative Concept Dictionary (ACD) even when the test corpus an...