1446 search results - page 239 / 290 » Formal analysis of hardware requirements |
155
click to vote
ATAL
2009
Springer
16 years 4 days ago
2009
Springer
Several agent-oriented software engineering methodologies address the emerging challenges posed by the increasing need of adaptive software. A common denominator of such methodolo...
171
click to vote
SACMAT
2003
ACM
15 years 10 months ago
2003
ACM
In large organizations the administration of access privileges (such as the assignment of an access right to a user in a particular role) is handled cooperatively through distribu...
186
Voted
AFRICACRYPT
2009
Springer
16 years 11 days ago
2009
Springer
We present the first simple power analysis (SPA) of software implementations of KeeLoq. Our attack drastically reduces the efforts required for a complete break of remote keyless...
176
click to vote
ISLPED
2003
ACM
15 years 10 months ago
2003
ACM
Security is critical to a wide range of wireless data applications and services. While several security mechanisms and protocols have been developed in the context of the wired In...
188
Voted
DAC
2007
ACM
16 years 6 months ago
2007
ACM
This paper argues for an implicitly parallel programming model for many-core microprocessors, and provides initial technical approaches towards this goal. In an implicitly paralle...