4211 search results - page 525 / 843 » A formal approach to MASQ |
177
click to vote
RECOMB
2008
Springer
16 years 7 months ago
2008
Springer
In the past years, many combinatorial arguments have been made to support the theory that mammalian genome rearrangement scenarios rely heavily on breakpoint reuse. Different model...
152
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
We present a tool for automatic generation of packed bitfields and tagged unions for systems-level C, along with automatic, machine checked refinement proofs in Isabelle/HOL. Our a...
267
click to vote
SIGMOD
2005
ACM
16 years 6 months ago
2005
ACM
We present techniques for privacy-preserving computation of multidimensional aggregates on data partitioned across multiple clients. Data from different clients is perturbed (rand...
189
click to vote
ESORICS
2002
Springer
16 years 6 months ago
2002
Springer
Abstract. An important goal of security in information systems is confidentiality. A confidentiality policy specifies which users should be forbidden to acquire what kind of inform...
271
click to vote
ICIP
2009
IEEE
16 years 5 months ago
2009
IEEE
This paper presents a study aimed to the realization of a novel
multiresolution registration framework. The transformation
function is computed iteratively as a composition of lo...