5180 search results - page 645 / 1036 » Requirements Engineering |
181
Voted
CBSE
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. This paper proposes a conceptual framework for the reliability assessment of software components that incorporates test case execution and output evaluation. Determining ...
303
click to vote
DEXA
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. Previous works in change detection on XML focused on detecting changes to text file using ordered and unordered tree model. These approaches are not suitable for detecti...
142
click to vote
EKAW
2004
Springer
16 years 7 days ago
2004
Springer
Among the various tasks involved in building a Bayesian network for a real-life application, the task of eliciting all probabilities required is generally considered the most daunt...
171
click to vote
FOSSACS
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. Motivated by recent work on the derivation of labelled transitions and bisimulation congruences from unlabelled reaction rules, we show how to solve this problem in the D...
222
click to vote
FOSSACS
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. We show how to generate well-founded and stable term orderings based on polynomial interpretations over the real numbers. Monotonicity (another usual requirement in termi...