290 search results - page 45 / 58 » A Metamodeling Approach for Reasoning about Requirements |
OPODIS
2004
14 years 10 months ago
2004
Abstract. We present a formalism for modeling replication in a distributed system with concurrent users sharing information. It is based on actions, which represent operations requ...
ICAI
2003
14 years 10 months ago
2003
– Existing team training software often requires that trainees be organized as physical teams and the members of the same team be trained at the same time. To demonstrate that te...
72
Voted
AIPS
1998
14 years 10 months ago
1998
We describe a framework for planning in dynamic environments. A central question is how to focus the sensing performed by such a system, so that it responds appropriately to relev...
AAAI
1990
14 years 10 months ago
1990
Explanation requires a dialogue. Users must be allowed to ask questions about previously given explanations. However, building an interface that allows users to ask follow-up ques...
ASWEC
2010
IEEE
14 years 9 months ago
2010
IEEE
—When building software systems, developers have to weigh the benefits of using one specific solution approach against the risks and costs of using another one. This process is...