8828 search results - page 210 / 1766 » Formal methods in practice |
123
click to vote
ICFCA
2009
Springer
15 years 11 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...
184
click to vote
FORTE
1994
15 years 6 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...
151
click to vote
ICDAR
2003
IEEE
15 years 10 months ago
2003
IEEE
Neural networks are a powerful technology for classification of visual inputs arising from documents. However, there is a confusing plethora of different neural network methods th...
162
Voted
DATE
2002
IEEE
15 years 10 months ago
2002
IEEE
The design of application (-domain) specific instructionset processors (ASIPs), optimized for code size, has traditionally been accompanied by the necessity to program assembly, ...
135
click to vote
JAVACARD
2000
15 years 8 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...