30 search results - page 6 / 6 » Minimal Data Upgrading to Prevent Inference and Association |
POPL
2010
ACM
14 years 6 months ago
2010
ACM
We present Low-Level Liquid Types, a refinement type system for C based on Liquid Types. Low-Level Liquid Types combine refinement types with three key elements to automate verifi...
CSDA
2004
13 years 8 months ago
2004
We propose a copula based statistical method of fitting joint cumulative returns between a market index and a stock from the index family to daily data. Modifying the method of in...
TON
2010
13 years 3 months ago
2010
Abstract-- Security issues and attack management in transparent WDM (Wavelength Division Multiplexing) optical networks has become of prime importance to network operators due to t...
PODS
2011
ACM
12 years 11 months ago
2011
ACM
Scientific workflow systems increasingly store provenance information about the module executions used to produce a data item, as well as the parameter settings and intermediate...
BMCBI
2005
13 years 8 months ago
2005
Background: BLAST is one of the most common and useful tools for Genetic Research. This paper describes a software application we have termed Windows .NET Distributed Basic Local ...