12 search results - page 3 / 3 » Fuzzy Constraint Based Answer Validation |
TOOLS
2008
IEEE
15 years 3 months ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...
FQAS
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. With more and more electronic information sources becoming widely available, the issue of the quality of these often-competing sources has become germane. We propose a st...