592 search results - page 44 / 119 » Refining Goal Models by Evaluating System Behaviour |
157
click to vote
PE
2011
Springer
14 years 10 months ago
2011
Springer
Performance and dependability evaluation of complex systems by means of dynamic stochastic models (e.g. Markov chains) may be impaired by the combinatorial explosion of their stat...
133
click to vote
HOTOS
2003
IEEE
15 years 9 months ago
2003
IEEE
Understanding the performance of distributed systems requires correlation of thousands of interactions between numerous components — a task best left to a computer. Today’s sy...
135
click to vote
DAGSTUHL
2007
15 years 5 months ago
2007
iary models in order to bridge the semantic gap between high-level, abstract user requirements and low-level, concrete programs and to support a stepwise refinement process. This d...
147
click to vote
AMET
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. Auction-based electronic commerce is an increasingly interesting domain for AI researchers. In this paper we present an attempt towards the construction of trading agents...
128
click to vote
AVI
2004
15 years 5 months ago
2004
In this paper we propose ValueCharts, a set of visualizations and interactive techniques intended to support decision-makers in inspecting linear models of preferences and evaluat...