786 search results - page 84 / 158 » Adequacy of Limited Testing for Knowledge Based Systems |
JANCL
2002
13 years 7 months ago
2002
ABSTRACT. It has long been recognized that the concept of inconsistency is a central part of commonsense reasoning. In this issue, a number of authors have explored the idea of rea...
EUROSYS
2008
ACM
14 years 5 months ago
2008
ACM
Causal request traces are valuable to developers of large concurrent and distributed applications, yet difficult to obtain. Traces show how a request is processed, and can be anal...
ICSE
1999
IEEE-ACM
14 years 3 days ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
ISSRE
2007
IEEE
13 years 9 months ago
2007
IEEE
This paper describes a study performed in an industrial setting that attempts to build predictive models to identify parts of a Java system with a high probability of fault. The s...
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
Many multi-agent systems consist of a complex network of autonomous yet interdependent agents. Examples of such networked multi-agent systems include supply chains and sensor netw...