9110 search results - page 1736 / 1822 » Formally-Based Design Evaluation |
SIGMOD
2010
ACM
14 years 2 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ļ...
SYSTOR
2010
ACM
14 years 2 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...
GECCO
2010
Springer
14 years 2 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...
MPC
2010
Springer
14 years 2 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...
COLCOM
2009
IEEE
14 years 2 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...