6167 search results - page 1126 / 1234 » Can Refinement be Automated |
115
click to vote
ACMICEC
2004
ACM
15 years 8 months ago
2004
ACM
In this paper, we describe the operation of barter trade exchanges by identifying key techniques used by trade brokers to stimulate trade and satisfy member needs, and present alg...
131
click to vote
ISSTA
2004
ACM
15 years 8 months ago
2004
ACM
Evolutionary testing is an effective technique for automatically generating good quality test data. However, for structural testing, the technique degenerates to random testing i...
148
click to vote
EWCBR
2004
Springer
15 years 8 months ago
2004
Springer
The complexity of software systems makes design reuse a necessary task in the software development process. CASE tools can provide cognitive assistance in this task, helping the so...
181
click to vote
KR
2004
Springer
15 years 8 months ago
2004
Springer
We discuss the representation of knowledge and of belief from the viewpoint of decision theory. While the Bayesian approach enjoys general-purpose applicability and axiomatic foun...
128
click to vote
LOPSTR
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Context-sensitive analysis provides information which is potentially more accurate than that provided by context-free analysis. Such information can then be applied in or...