592 search results - page 43 / 119 » Refining Goal Models by Evaluating System Behaviour |
163
Voted
ICSE
2003
IEEE-ACM
15 years 9 months ago
2003
IEEE-ACM
Architectural considerations play a key role in the success of any software-based development project. Architecture evaluation is an early risk reduction method for identifying ri...
132
Voted
CL
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We propose an extension of concurrent constraint programming with primitives for process migration within a hierarchical network, and we study its semantics. To this purp...
142
Voted
ASWEC
2009
IEEE
15 years 10 months ago
2009
IEEE
We propose a novel methodology for analysing change propagation in software using the domain-level behavioural model of a system. We hypothesize that change propagation analysis i...
126
click to vote
CJ
2010
15 years 1 months ago
2010
A policy for a minimal reactive agent is a set of condition-action rules used to determine its response to perceived environmental stimuli. When the policy pre-disposes the agent t...
129
Voted
IAT
2010
IEEE
15 years 1 months ago
2010
IEEE
It is widely acknowledged that providing explanations is an important capability of intelligent systems. Explanation capabilities are useful, for example, in scenario-based traini...