1159 search results - page 15 / 232 » The LINK system: MUC-4 test results and analysis |
152
click to vote
ICC
2007
IEEE
16 years 12 days ago
2007
IEEE
— Application of Discrete Multi-tone (DMT) signaling to high-speed backplane interconnects requires major modifications to the well-known analysis methods applied to wireline com...
168
click to vote
SEMWEB
2007
Springer
16 years 6 days ago
2007
Springer
Numerous ontology alignment algorithms have appeared in the literature in recent years, but only a few make use of the semantics enclosed within the ontologies in order to improve ...
133
click to vote
ERCIM
2008
15 years 6 months ago
2008
The testing process for safety-critical systems is usually evaluated with code coverage criteria such as MC/DC (Modified Condition/Decision Coverage) defined in the standard DO-17...
143
click to vote
TACAS
2005
Springer
15 years 11 months ago
2005
Springer
This paper addresses the problem of generating symbolic test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of rea...
145
click to vote
IGPL
2000
15 years 5 months ago
2000
Recent years have seen the emergence of a new generation of heavily-optimised modal decision procedures. Several systems based on such procedures are now available and have proved...