5550 search results - page 249 / 1110 » Different Approaches to Proof Systems |
144
click to vote
WEBI
2010
Springer
15 years 4 months ago
2010
Springer
The ESP game belongs to the genre called Games with a Purpose (GWAP), which leverage people's desire to be entertained and also outsource certain steps of the computational p...
154
click to vote
DSD
2006
IEEE
16 years 20 days ago
2006
IEEE
System Level Design (SLD) is widely seen as a solution for bridging the gap between chip complexity and design productivity of Systems on Chip (SoC). SLD relieves the designer fro...
191
Voted
VALUETOOLS
2006
ACM
16 years 17 days ago
2006
ACM
Run-time management of modern Web-based services requires the integration of several algorithms and mechanisms for job dispatching, load sharing, admission control, overload detec...
180
click to vote
ICSM
2003
IEEE
15 years 12 months ago
2003
IEEE
Software systems no longer evolve as separate entities but are also integrated with each other. The purpose of integrating software systems can be to increase user-value or to dec...
219
click to vote
HPCA
2009
IEEE
16 years 7 months ago
2009
IEEE
Software cache-based side channel attacks present serious threats to modern computer systems. Using caches as a side channel, these attacks are able to derive secret keys used in ...