Sciweavers

1931 search results - page 163 / 387
» Why we blog
Sort
View
ESOP
2007
Springer
15 years 10 months ago
Controlling the What and Where of Declassification in Language-Based Security
Abstract. While a rigorous information flow analysis is a key step in obtaining meaningful end-to-end confidentiality guarantees, one must also permit possibilities for declassific...
Heiko Mantel, Alexander Reinhard
GECCO
2006
Springer
123views Optimization» more  GECCO 2006»
15 years 10 months ago
Reconsidering the progress rate theory for evolution strategies in finite dimensions
This paper investigates the limits of the predictions based on the classical progress rate theory for Evolution Strategies. We explain on the sphere function why positive progress...
Anne Auger, Nikolaus Hansen
EKAW
2000
Springer
15 years 10 months ago
Construction and Deployment of a Plant Ontology
Although the necessity of an ontology and ontological engineering is well-understood, there has been few success stories about ontology construction and its deployment to date. Thi...
Riichiro Mizoguchi, Kouji Kozaki, Toshinobu Sano, ...
ISCA
1995
IEEE
121views Hardware» more  ISCA 1995»
15 years 10 months ago
A Comparative Analysis of Schemes for Correlated Branch Prediction
Modern high-performance architectures require extremely accurate branch prediction to overcome the performance limitations of conditional branches. We present a framework that cat...
Cliff Young, Nicholas C. Gloy, Michael D. Smith
WSC
2008
15 years 9 months ago
Stochastic kriging for simulation metamodeling
We extend the basic theory of kriging, as applied to the design and analysis of deterministic computer experiments, to the stochastic simulation setting. Our goal is to provide fl...
Bruce E. Ankenman, Barry L. Nelson, Jeremy Staum