12 search results - page 3 / 3 » Fuzzy Constraint Based Answer Validation |
TOOLS
2008
IEEE
14 years 11 days 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
13 years 10 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...