439 search results - page 1 / 88 » Providing Informational Support for Argumentation: The ISA P... |
PAKM
2000
13 years 6 months ago
2000
This paper briefly presents the ISA project that addresses the issue of how argumentation processes can be supported by providing textual information from document databases. The ...
TSE
2008
13 years 4 months ago
2008
This paper presents a framework for security requirements elicitation and analysis. The framework is based on constructing a context for the system, representing security requireme...
DSN
2002
IEEE
13 years 9 months ago
2002
IEEE
This paper reports work to support dependability arguments about the future reliability of a product before there is direct empirical evidence. We develop a method for estimating ...
AAAI
1998
13 years 6 months ago
1998
This paper describes HERMES,a system that enhances group decision making by providing an argumentation frameworkto the agents involved. Thesystem organizes the existing knowledgei...
ISAS
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. This paper provides an overview of Proof-Based System Engineering (PBSE), which aims at improving the current practice of developing computer-based systems. PBSE is of pa...