5255 search results - page 194 / 1051 » Formal Methods for Privacy |
170
Voted
ESWS
2010
Springer
15 years 2 months ago
2010
Springer
Recent work in Ontology learning and Text mining has mainly focused on engineering methods to solve practical problem. In this thesis, we investigate methods that can substantially...
110
Voted
ICFCA
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In a previous ICFCA paper we have shown that, in the Description Logics EL and ELgfp, the set of general concept inclusions holding in a finite model always has a finit...
114
Voted
QSIC
2003
IEEE
15 years 9 months ago
2003
IEEE
The goal of this paper is to examine the Japanese experience with the software development process, the challenges they face and how formal engineering methods, in particular SOFL...
171
Voted
FORTE
1994
15 years 5 months ago
1994
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
121
Voted
JAVACARD
2000
15 years 7 months ago
2000
Abstract This note discusses a verification in PVS of the AID (Application Identifier) class from JavaCard's API. The properties that are verified are formulated in the interf...