1235 search results - page 64 / 247 » Formalizing information security knowledge |
DAGSTUHL
1998
13 years 9 months ago
1998
Abstract. During the last years, a number of formal specification languages for knowledge-based systems have been developed. Characteristic for knowledge-based systems are a comple...
ASIAN
2007
Springer
14 years 3 days ago
2007
Springer
Current information systems are more and more complex. They require more interactions between different components and users. So, ensuring system security must not be limited to us...
TCS
2008
13 years 8 months ago
2008
Type systems and program logics are often conceived to be at opposing ends of the spectrum of formal software analyses. In this paper we show that a flow-sensitive type system ensu...
SIGIR
1993
ACM
14 years 5 days ago
1993
ACM
According to the logical model of Information Retrieval (IR), the task of IR can be described as the extraction, from a given document base, of those documents d that, given a que...
COOPIS
2002
IEEE
14 years 1 months ago
2002
IEEE
This paper presents a specifically database-inspired approach (called DOGMA) for engineering formal ontologies, implemented as shared resources used to express agreed formal semant...