1737 search results - page 143 / 348 » On Interpolation in Existence Logics |
155
click to vote
IFIP
2009
Springer
15 years 11 months ago
2009
Springer
Trust dilution and trust fusion are two operators that are used to calculate transitive trust in a trust network. Various implementations of these operators already exist but are n...
162
click to vote
ICCD
2004
IEEE
16 years 3 months ago
2004
IEEE
— Reduction in test power is important to improve battery life in portable devices employing periodic self-test, to increase reliability of testing and to reduce test-cost. In sc...
186
click to vote
TLDI
2009
ACM
16 years 3 months ago
2009
ACM
We present a possible world semantics for a call-by-value higherorder programming language with impredicative polymorphism, general references, and recursive types. The model is o...
207
click to vote
ICST
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, we consider typical applications in which the business logic is separated from the access control logic, implemented in an independent component, called the Policy ...
154
click to vote
GLVLSI
2007
IEEE
16 years 21 days ago
2007
IEEE
A probabilistic power estimation technique for combinational circuits is presented. A novel set of simple waveforms is the kernel of this technique. The transition density of each...