27 search results - page 2 / 6 » A Formal Analysis of Logic-Based Argumentation Systems |
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...
COLING
1990
13 years 5 months ago
1990
This paper proposes that sentence analysis should be treated as defeasible reasoning, and presents such a treatment lbr Japanese sentence analyses using an argumentation system by...
IUI
2005
ACM
13 years 10 months ago
2005
ACM
When designing mixed-initiative systems, full formalization of all potentially relevant knowledge may not be cost-effective or practical. This paper motivates the need for semi-fo...
RE
2010
Springer
12 years 11 months ago
2010
Springer
An approach is suggested for arguing that a system is dependable. The key idea is to structure the system so that critical requirements are localized in small, reliable subsets of ...
KES
2006
Springer
13 years 4 months ago
2006
Springer
Distributing pieces of knowledge in large, usually distributed organizations is a central problem in Knowledge and Organization management. Policies for distributing knowledge and...