734 search results - page 111 / 147 » A Question-Answering System Using Argumentation |
CSFW
2006
IEEE
14 years 2 months ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...
HICSS
2006
IEEE
14 years 2 months ago
2006
IEEE
Information technologies (IT) have spread throughout all areas of modern society. However, the evolution of ethics that guide their use lags behind technological advances [2]. A p...
RE
2001
Springer
14 years 27 days ago
2001
Springer
pture, at different levels of abstraction, the various objectives the system under consideration should achieve. Goal-oriented requirements engineering is concerned with the use o...
WSC
2008
13 years 10 months ago
2008
Healthcare organizations exhibit both detailed and dynamic complexity. Effective and sustainable decisionmaking in healthcare requires tools that can comprehend this complexity. D...
ECIS
2003
13 years 9 months ago
2003
The paper argues for the use of discourse analysis in information systems research by drawing on a discourse analysis study of virtual organizing. It identifies a range of issues ...