4340 search results - page 137 / 868 » Formal Methods and Cryptography |
112
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
In this article we present a method for formally proving the correctness of the lazy algorithms for computing homographic and quadratic transformations -- of which field operations...
174
click to vote
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...
113
click to vote
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...
116
click to vote
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...
173
click to vote
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...