1581 search results - page 200 / 317 » Mechanizing Inductive Reasoning |
133
click to vote
HASE
2008
IEEE
15 years 9 months ago
2008
IEEE
A high assurance system requires both functional and nonfunctional correctness before the system is put into operation. To examine whether a system’s actual performance complies...
101
click to vote
SSDBM
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper describes a tool for providing transparent access to online meteorological databases by way of local file system. It is realized by FUSE, an implementation of usermode ...
128
click to vote
AIMS
2008
Springer
15 years 9 months ago
2008
Springer
It has been shown that sets of convergent operators with a shared fixed point can simulate autonomic control mechanisms, but many questions remain about this management technique....
108
click to vote
CIE
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. When defined with general elimination/application rules, natural deduction and λ-calculus become closer to sequent calculus. In order to get real isomorphism, normalisa...
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
Keystroke authentication is a biometric method utilizing the typing characteristics of users. In this paper, we propose an evolutionary method for stable keystroke authentication....