2488 search results - page 333 / 498 » An improvement in formal verification |
141
click to vote
ICCAD
1994
IEEE
15 years 5 months ago
1994
IEEE
In this paper we present an enhanced design flow model that increases the capabilities of a CAD framework to support design activities on hierarchical multi-view design descriptio...
110
click to vote
ACNS
2004
Springer
15 years 5 months ago
2004
Springer
The concept of group signature allows a group member to sign message anonymously on behalf of the group. In the event of a dispute, a designated entity can reveal the identity of a...
131
click to vote
AVSS
2006
IEEE
15 years 5 months ago
2006
IEEE
The success of any Bayesian particle filtering based tracker relies heavily on the ability of the likelihood function to discriminate between the state that fits the image well an...
107
click to vote
FLOPS
2006
Springer
15 years 5 months ago
2006
Springer
We describe the design and implementation of a trust-management system Soutei, a dialect of Binder, for access control in distributed systems. Soutei policies and credentials are w...
149
click to vote
ATS
2001
IEEE
15 years 5 months ago
2001
IEEE
Testing and diagnosis are important issues in system-onchip (SOC) development, as more and more embedded cores are being integrated into the chips. In this paper we propose a buil...