14809 search results - page 2876 / 2962 » Model transformation by demonstration |
155
Voted
FOCS
2003
IEEE
15 years 6 months ago
2003
IEEE
Concurrent general composition relates to a setting where a secure protocol is run in a network concurrently with other, arbitrary protocols. Clearly, security in such a setting i...
118
Voted
ICCAD
2003
IEEE
15 years 6 months ago
2003
IEEE
The impact of power supply integrity on a design has become a critical issue, not only for functional verification, but also for performance verification. Traditional analysis has...
124
click to vote
INFOCOM
2003
IEEE
15 years 6 months ago
2003
IEEE
— The success of a P2P file-sharing network highly depends on the scalability and versatility of its search mechanism. Two particularly desirable search features are scope (abil...
119
Voted
INFOCOM
2003
IEEE
15 years 6 months ago
2003
IEEE
— It has been clear since 1988 that self-propagating code can quickly spread across a network by exploiting homogeneous security vulnerabilities. However, the last few years have...
114
Voted
MICRO
2003
IEEE
15 years 5 months ago
2003
IEEE
Silicon technology will continue to provide an exponential increase in the availability of raw transistors. Effectively translating this resource into application performance, how...