5255 search results - page 369 / 1051 » Formal Methods for Privacy |
138
click to vote
KBSE
1999
IEEE
15 years 9 months ago
1999
IEEE
Many domain specialists are not familiar or comfortable with formal notations and formal tools like theorem provers or model generators. To address this problem we developed Attem...
116
click to vote
FOIS
2010
15 years 6 months ago
2010
Science aims to develop an accurate understanding of reality through a variety of rigorously empirical and formal methods. Ontologies are used to formalize the meaning of terms wit...
143
Voted
WISEC
2010
ACM
15 years 2 months ago
2010
ACM
Despite increasing popularity, Location-based Services (LBS) (e.g., searching nearby points-of-interest on map) on mobile handheld devices have been subject to major privacy conce...
180
click to vote
ICDE
2012
IEEE
13 years 7 months ago
2012
IEEE
— Differential privacy has recently emerged as the de facto standard for private data release. This makes it possible to provide strong theoretical guarantees on the privacy and ...
128
Voted
RTA
1987
Springer
15 years 8 months ago
1987
Springer
We present completion methods for rewriting modulo a congruence, generalizing previous methods by Peterson and Stickel (1981) and Jouannaud and Kirchner (1986). We formalize our me...