1779 search results - page 309 / 356 » A Formal Model of Data Privacy |
133
click to vote
CIKM
2009
Springer
16 years 1 days ago
2009
Springer
Data generalization is widely used to protect identities and prevent inference of sensitive information during the public release of microdata. The k-anonymity model has been exte...
142
click to vote
LATIN
2010
Springer
16 years 8 days ago
2010
Springer
Concurrent compositions of recursive programs with finite a natural abstraction model for concurrent programs. Since reachability is undecidable for this class, a restricted form ...
158
click to vote
RTAS
2006
IEEE
15 years 11 months ago
2006
IEEE
Distributed hard real-time systems require guaranteed communication. One common approach is to restrict network access by enforcing a time-division multiple access (TDMA) schedule...
241
click to vote
WWW
2005
ACM
15 years 11 months ago
2005
ACM
Semantic Web Information Systems (SWIS) are Web Information Systems that use Semantic Web technologies. Hera is a modeldriven design methodology for SWIS. In Hera, models are repr...
150
click to vote
FC
2005
Springer
15 years 11 months ago
2005
Springer
Approximate Message Authentication Code (AMAC) is a recently introduced cryptographic primitive with several applications in the areas of cryptography and coding theory. Briefly s...