4217 search results - page 12 / 844 » Computational indistinguishability logic |
MEMOCODE
2003
IEEE
14 years 4 months ago
2003
IEEE
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
AINA
2005
IEEE
14 years 4 months ago
2005
IEEE
Security of mobile communications comes with the cost of computational overhead. Reducing the overhead in security computations is critical to ensure the overall performance of a ...
IWANN
2009
Springer
14 years 5 months ago
2009
Springer
We survey on the theoretical and practical developments of the theory of fuzzy logic and soft computing. Specifically, we briefly review the history and main milestones of fuzzy ...
TPHOL
1995
IEEE
14 years 2 months ago
1995
IEEE
This paper presents a survey of HOLCF, a higher order logic of computable functions. The logic HOLCF is based on HOLC, a variant of the well known higher order logic HOL, which o e...
LOGCOM
2006
13 years 10 months ago
2006
In reference (Foundation of specification. Journal of Logic and Computation, 15, 951