592 search results - page 31 / 119 » Refining Goal Models by Evaluating System Behaviour |
ENTCS
2006
14 years 11 months ago
2006
Many formalisms use interleaving to model concurrency. To describe some system behaviours appropriately, we need to limit interleaving. For example, in componentbased systems, we ...
101
click to vote
WIAMIS
2009
IEEE
15 years 6 months ago
2009
IEEE
In this work, we propose a design for a user attention model featuring three core components. Our system components can work in real-time, offering indications of user attention f...
IAT
2007
IEEE
15 years 6 months ago
2007
IEEE
The goal of an autonomic system is to self-manage itself and adjust its actions in the face of environmental changes. In this paper, we adopt a multiagent approach to developing a...
104
click to vote
AWIC
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Negotiation plays a fundamental role in systems composed of multiple autonomous agents. Some negotiations may require a more elaborated dialogue where agents would explai...
122
click to vote
CDC
2010
IEEE
14 years 6 months ago
2010
IEEE
The focus of the work in this paper is the evaluation of a model of human decision making relative to experimental data. In sequential two-alternative forced choice decision tasks,...