4340 search results - page 380 / 868 » Formal Methods and Cryptography |
141
click to vote
APLAS
2003
ACM
16 years 1 days ago
2003
ACM
We present a method for automatic program inversion in a first-order functional programming language. We formalize the transformation and illustrate it with several examples inclu...
174
click to vote
AUSAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In order to apply nonmonotonic logics for specifying industrial automation controllers, we define (1) a method to extend atemporal nonmonotonic logics with temporal opera...
183
click to vote
CLA
2007
15 years 8 months ago
2007
The paper presents a new method of decision tree induction based on formal concept analysis (FCA). The decision tree is derived using a concept lattice, i.e. a hierarchy of cluster...
174
click to vote
LICS
2006
IEEE
16 years 24 days ago
2006
IEEE
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...
195
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: A central goal of molecular biology is to understand the regulatory mechanisms of gene transcription and protein synthesis. Because of their solid basis in statistics,...