5525 search results - page 404 / 1105 » Verification of Model Transformations |
166
click to vote
ISQED
2006
IEEE
16 years 28 days 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...
163
click to vote
AVBPA
2001
Springer
15 years 11 months ago
2001
Springer
Person identification and verification using biometric methods is getting more and more important in today’s information society; resulting in increased utilization of systems th...
171
click to vote
ASPDAC
2007
ACM
15 years 11 months ago
2007
ACM
- In this paper we showed the signal degradation parts in High-speed channel of FB-DiMM system. And we also showed possible countermeasure. For the verification propose and also fo...
177
click to vote
CISC
2007
Springer
15 years 11 months ago
2007
Springer
This paper proposes a new ID-based proxy signature scheme based on the bilinear pairings. The number of paring operation involved in the verification procedure of our scheme is onl...
191
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
An approach to handle the complex dynamics of a multi-agent system is based on distinguishing aggregation levels by structuring the system into parts or components. The behavior of...