1638 search results - page 90 / 328 » Properties of input-consuming derivations |
103
click to vote
CSFW
2007
IEEE
15 years 1 months ago
2007
IEEE
We present interpretations of type systems for secure information flow in Hoare logic, complementing previous encodings in binary (e.g. relational) program logics. Treating base-l...
ECSQARU
2009
Springer
15 years 1 months ago
2009
Springer
In this paper, a new algebraic representation by the non-Archimedean fields is proposed to model stratified/ranked knowledge bases. The non-Archimedean representation is in the for...
CGI
2004
IEEE
15 years 1 months ago
2004
IEEE
An efficient low-cost, low-power hardware implementation of a novel run-time pixel coverage mask generation algorithm for embedded 3-D graphics antialiasing purposes is presented....
BIRTHDAY
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. A paraconsistent logic is a logic which allows non-trivial inconsistent theories. One of the oldest and best known approaches to the problem of designing useful paraconsi...
CRYPTO
2006
Springer
15 years 1 months ago
2006
Springer
We build concurrently executable blind signatures schemes in the common reference string model, based on general complexity assumptions, and with optimal round complexity. Namely, ...