1059 search results - page 17 / 212 » Standard Logics Are Valuation-Nonmonotonic |
158
click to vote
ISVLSI
2007
IEEE
16 years 10 days ago
2007
IEEE
Performance, power, and functionality, yield and manufacturability are rapidly becoming additional critical factors that must be considered at higher levels of ion. A possible sol...
154
click to vote
CHES
2005
Springer
15 years 11 months ago
2005
Springer
During the last years, several logic styles that counteract side-channel attacks have been proposed. They all have in common that their level of resistance heavily depends on imple...
148
click to vote
ICALP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We describe a cryptographically sound formal logic for proving protocol security properties without explicitly reasoning about probability, asymptotic complexity, or the ...
163
click to vote
NMR
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents statistical default logic, an expansion of classical (i.e., Reiter) default logic that allows us to model common inference patterns found in standard inferenti...
158
click to vote
CADE
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. Twelf is a meta-logical framework for the specification, implementation, and meta-theory of deductive systems from the theory of programming languages and logics. It rel...