1975 search results - page 94 / 395 » Property analysis and design understanding |
162
Voted
ICIP
2001
IEEE
16 years 7 months ago
2001
IEEE
This paper presents a morphological scale-space approach to the problem of feature extraction. The method relies on two steps: a hierarchical simplification step based on pyramids...
163
click to vote
FMICS
2009
Springer
16 years 20 days ago
2009
Springer
Cell libraries often contain a simulation model in a system design language, such as Verilog. These languages usually involve nondeterminism, which in turn, poses a challenge to th...
189
click to vote
CCS
2005
ACM
15 years 11 months ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
172
Voted
IFIP
2010
Springer
15 years 28 days ago
2010
Springer
The Trusted Platform Module (TPM) is a hardware chip designed to enable computers to achieve a greater level of security than is possible in software alone. To this end, the TPM pr...
159
click to vote
ICDM
2008
IEEE
16 years 16 days ago
2008
IEEE
Privacy-Preserving Data Re-publishing (PPDR) deals with publishing microdata in dynamic scenarios. Due to privacy concerns, data must be disguised before being published. Research...