466 search results - page 3 / 94 » Critical Reasoning |
ECIS
2001
13 years 8 months ago
2001
This paper addresses ways in which theorizing gender may be important in forming an understanding of the topic of emancipation which is central to the new critical information sys...
IEEEARES
2009
IEEE
14 years 2 months ago
2009
IEEE
—The security assessment of the ICT components of critical infrastructures is nowadays a prominent problem. Risk assessment methodologies require, in order to be effective, to be...
LPNMR
2004
Springer
14 years 24 days ago
2004
Springer
Abstract. Answer Set Programming is a new paradigm based on logic programming. The main component of answer set programming is a system that finds the answer sets of logic program...
LWA
2008
13 years 8 months ago
2008
How does someone react when he faces a critical situation in his life? In this paper we present an initial initial implementation architecture based on a simulation model described...
ESOP
2011
Springer
12 years 11 months ago
2011
Springer
We present a static analysis by Abstract Interpretation to check for run-time errors in parallel C programs. Following our work on Astr´ee, we focus on embedded critical programs ...