21319 search results - page 202 / 4264 » An Approach for Method Reengineering |
141
Voted
FDTC
2009
Springer
15 years 10 months ago
2009
Springer
—Fault attacks constitute a major threat toward cryptographic products supporting RSA-based technologies. Most often, the public exponent is unknown, turning resistance to fault ...
153
Voted
NCA
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper we consider the frameworks of Process Algebra and I/O Automata and we apply both towards the verification of a distributed leader-election protocol. Based on the tw...
125
Voted
ICIP
2007
IEEE
15 years 10 months ago
2007
IEEE
We consider a recent parametric level-set segmentation approach where the implicit interface is the zero level of a continuous function expanded onto compactly supported radial ba...
126
Voted
ISQED
2006
IEEE
15 years 9 months ago
2006
IEEE
The continuing VLSI technology scaling leads to increasingly significant power supply fluctuations, which need to be modeled accurately in circuit design and verification. Meanwhi...
131
Voted
ICMCS
2005
IEEE
15 years 9 months ago
2005
IEEE
Motivated by the needs for efficient indexing structures adapted to real applications in video database, we present a new indexing structure named Kpyr. In Kpyr, we use a clusteri...