5182 search results - page 674 / 1037 » COTS-Based Requirements Engineering |
142
click to vote
EKAW
2004
Springer
16 years 4 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...
170
click to vote
FOSSACS
2004
Springer
16 years 4 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...
215
click to vote
FOSSACS
2004
Springer
16 years 4 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...
173
click to vote
GCC
2004
Springer
16 years 4 days ago
2004
Springer
Defining the ways for components around the world to collaborate with each other to execute applications over the internet is one of the biggest challenges for computer scientists...
192
click to vote
IBERAMIA
2004
Springer
16 years 4 days ago
2004
Springer
Many approaches of the agent paradigm emphasize the social and intentional features of their systems, what are called social properties. The study of these aspects demands their ow...