5255 search results - page 388 / 1051 » Formal Methods for Privacy |
133
click to vote
MOC
2010
14 years 12 months ago
2010
Consider the space of two dimensional vector functions whose components and curl are square integrable with respect to the degenerate weight given by the radial variable. This spac...
286
click to vote
AMW
2011
14 years 8 months ago
2011
The goal of this paper is to permit secure outsourced system evaluation. We propose a method for generating synthetic databases and obfuscating a workload of queries in order to pr...
233
click to vote
ICDE
2012
IEEE
13 years 7 months ago
2012
IEEE
—We demonstrate DPCube, a component in our Health Information DE-identification (HIDE) framework, for releasing differentially private data cubes (or multi-dimensional histogram...
136
Voted
IAT
2009
IEEE
15 years 12 months ago
2009
IEEE
—The import of the notion of institution in the design of MASs requires to develop formal and efficient methods for modeling the interaction between agents’ behaviour and norm...
159
click to vote
FMICS
2009
Springer
15 years 11 months ago
2009
Springer
We describe a dynamic partitioning scheme usable by model checking techniques that divide the state space into partitions, such as most external memory and distributed model checki...