Sciweavers

23201 search results - page 283 / 4641
» Rewriting Systems with Data
Sort
View
SP
2010
IEEE
152views Security Privacy» more  SP 2010»
15 years 4 months ago
Scalable Parametric Verification of Secure Systems: How to Verify Reference Monitors without Worrying about Data Structure Size
The security of systems such as operating systems, hypervisors, and web browsers depend critically on reference monitors to correctly enforce their desired security policy in the ...
Jason Franklin, Sagar Chaki, Anupam Datta, Arvind ...
NCA
2008
IEEE
16 years 1 months ago
APART: Low Cost Active Replication for Multi-tier Data Acquisition Systems
This paper proposes APART (A Posteriori Active ReplicaTion), a novel active replication protocol specifically tailored for multi-tier data acquisition systems. Unlike existing ac...
Paolo Romano, Diego Rughetti, Francesco Quaglia, B...
BMCBI
2006
126views more  BMCBI 2006»
15 years 6 months ago
JUICE: a data management system that facilitates the analysis of large volumes of information in an EST project workflow
Background: Expressed sequence tag (EST) analyses provide a rapid and economical means to identify candidate genes that may be involved in a particular biological process. These E...
Mariano Latorre, Herman Silva, Juan Saba, Carito G...
ICDE
2006
IEEE
285views Database» more  ICDE 2006»
16 years 8 months ago
An Approach to Adaptive Memory Management in Data Stream Systems
Adaptivity is a challenging open issue in data stream management. In this paper, we tackle the problem of memory adaptivity inside a system executing temporal sliding window queri...
Bernhard Seeger, Jürgen Krämer, Michael ...
ICC
2007
IEEE
16 years 1 months ago
Non-Data Aided Symbol Timing Estimation in MIMO Systems
—We present two Maximum Likelihood (ML) based estimators for Non-Data-Aided (NDA) symbol timing recovery in MIMO systems. These estimators are based on the classical Unconditiona...
Ketan Rajawat, Ajit K. Chaturvedi