8828 search results - page 1734 / 1766 » Formal methods in practice |
ESORICS
2010
Springer
14 years 11 months ago
2010
Springer
Web browser history detection using CSS visited styles has long been dismissed as an issue of marginal impact. However, due to recent changes in Web usage patterns, coupled with br...
GECCO
2008
Springer
14 years 11 months ago
2008
Springer
While recent attempts to search a conceptual software engineering design search space with multi-objective evolutionary algorithms have yielded promising results, the practical ap...
GECCO
2008
Springer
14 years 11 months ago
2008
Springer
The crossover bias theory for bloat [18] is a recent result which predicts that bloat is caused by the sampling of short, unfit programs. This theory is clear and simple, but it ...
AIPS
2010
14 years 10 months ago
2010
We introduce the Scanalyzer planning domain, a domain for classical planning which models the problem of automatic greenhouse logistic management. At its mathematical core, the Sc...
102
click to vote
CCS
2010
ACM
14 years 10 months ago
2010
ACM
An aggregate signature scheme is a digital signature scheme where anyone given n signatures on n messages from n users can aggregate all these signatures into a single short signa...