9110 search results - page 1736 / 1822 » Formally-Based Design Evaluation |
150
click to vote
SIGMOD
2010
ACM
15 years 11 months ago
2010
ACM
We present SecureBlox, a declarative system that uniļ¬es a distributed query processor with a security policy framework. SecureBlox decouples security concerns from system speciļ...
149
click to vote
SYSTOR
2010
ACM
15 years 11 months ago
2010
ACM
I/O intensive workloads running in virtual machines can suffer massive performance degradation. Direct assignment of I/O devices to virtual machines is the best performing I/O vir...
175
click to vote
GECCO
2010
Springer
15 years 11 months ago
2010
Springer
Derandomization by means of mirrored samples has been recently introduced to enhance the performances of (1, Ī»)and (1 + 2)-Evolution-Strategies (ESs) with the aim of designing fa...
183
click to vote
MPC
2010
Springer
15 years 11 months ago
2010
Springer
d Abstract) Jane Hillston Laboratory for Foundations of Computer Science, The University of Edinburgh, Scotland Quantitative Analysis Stochastic process algebras extend classical p...
244
click to vote
COLCOM
2009
IEEE
15 years 11 months ago
2009
IEEE
āGeospatial tagging (geotagging) is an emerging and very promising application that can help users ļ¬nd a wide variety of location-speciļ¬c information, and facilitate the deve...