1399 search results - page 109 / 280 » Verification of Test Suites |
133
click to vote
IJCAI
1997
15 years 6 months ago
1997
This paper describes QUEM, a method for assessing the skill level of a knowledge-based system based on the quality of the solutions it produces. QUEM is demonstrated by using it t...
152
click to vote
EURODAC
1994
IEEE
15 years 8 months ago
1994
IEEE
synchronisation also play a fundamental role in overall system robustness. ElectroMagnetic Compatibility (EMC) and ElectroMagnetic Interference (EMI) issues also have to be conside...
138
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: The size and magnitude of the metabolome, the ratio between individual metabolites and the response of metabolic networks is controlled by multiple cellular factors. A...
202
click to vote
SIGMOD
2008
ACM
16 years 4 months ago
2008
ACM
Data management lies at the core of most modern information technology deployments. Accordingly, the reliability of the database management system (DBMS) is critical to the reputa...
160
Voted
RSP
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...