734 search results - page 111 / 147 » A Question-Answering System Using Argumentation |
124
Voted
CSFW
2006
IEEE
15 years 8 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...
113
Voted
HICSS
2006
IEEE
15 years 8 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...
150
Voted
RE
2001
Springer
15 years 7 months 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...
130
Voted
WSC
2008
15 years 5 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...
91
Voted
ECIS
2003
15 years 4 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 ...