5378 search results - page 328 / 1076 » Base Logics in Argumentation |
212
click to vote
TPHOL
2009
IEEE
16 years 2 months ago
2009
IEEE
ion and equality to base types but retains lambda abstractions and higher-order variables. We show that this fragment enjoys the characteristic properties of first-order logic: co...
164
click to vote
DATE
2006
IEEE
16 years 1 months ago
2006
IEEE
—In this paper we describe a methodology to measure exactly the quality of fault-tolerant designs by combining faultinjection in high level design (HLD) descriptions with a forma...
226
click to vote
CSFW
2005
IEEE
16 years 1 months ago
2005
IEEE
Authentication and secrecy properties are proved by very different methods: the former by local reasoning, leading to matching knowledge of all principals about the order of their...
176
click to vote
MEMOCODE
2005
IEEE
16 years 1 months ago
2005
IEEE
In principle, bounded model checking (BMC) leads to semidecision procedures that can be used to verify liveness properties and to falsify safety properties. If the procedures fail...
224
Voted
CHES
2005
Springer
16 years 1 months ago
2005
Springer
In this paper, we propose new models for directly evaluating DPA leakage from logic information in CMOS circuits. These models are based on the transition probability for each gate...