1033 search results - page 42 / 207 » Properties of Exercise Strategies |
166
click to vote
CCS
2006
ACM
15 years 9 months ago
2006
ACM
We give the first systematic investigation of the design space of worm defense system strategies. We accomplish this by g a taxonomy of defense strategies by abstracting away impl...
147
click to vote
TIT
2002
15 years 5 months ago
2002
The problem of optimal sequential decision for individual sequences, relative to a class of competing o -line reference strategies, is studied for general loss functions with memo...
134
click to vote
SIGSOFT
2003
ACM
16 years 6 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
159
click to vote
PPOPP
2009
ACM
16 years 6 months ago
2009
ACM
In Software Transactional Memory (STM), contention management refers to the mechanisms used to ensure forward progress-to avoid livelock and starvation, and to promote throughput ...
168
click to vote
GECCO
2010
Springer
15 years 10 months ago
2010
Springer
The family of natural evolution strategies (NES) offers a principled approach to real-valued evolutionary optimization by following the natural gradient of the expected fitness....