1912 search results - page 74 / 383 » On the evaluation of argumentation formalisms |
144
click to vote
CCS
2003
ACM
15 years 11 months ago
2003
ACM
Security is a crucial aspect in any modern software system. To ensure security in the final product, security requirements must be considered in the entire software development p...
156
click to vote
EURODAC
1995
IEEE
15 years 9 months ago
1995
IEEE
This paper presents a formal approach to test combinational circuits. For the sake of explanation we describe the basic algorithms with the help of the stuck–at fault model. Ple...
199
click to vote
ICCS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This work takes place in the general context of the construction and validation of a domain expertise. It aims at the cooperation of two kinds of knowledge, heterogeneous...
172
click to vote
WSPI
2004
15 years 7 months ago
2004
Conceptual Modeling is a discipline of great relevance to several areas in Computer Science. In a series of papers [1,2,3] we have been using the General Ontological Language (GOL)...
190
click to vote
IJNSEC
2010
15 years 1 months ago
2010
One of the major threats that an enterprise Information system networks are facing today is the Insider threat. As part of the Insider Threat study, lack of an effective access co...