Sciweavers

5255 search results - page 105 / 1051
» Formal Methods for Privacy
Sort
View
POPL
2005
ACM
14 years 10 months ago
Enterprise privacy promises and enforcement
Several formal languages have been proposed to encode privacy policies, ranging from the Platform for Privacy Preferences (P3P), intended for communicating privacy policies to con...
Adam Barth, John C. Mitchell
ICFCA
2009
Springer
14 years 5 months ago
Identifying Ecological Traits: A Concrete FCA-Based Approach
Aurélie Bertaux, Florence Le Ber, Agn&egrav...
AFP
2008
Springer
241views Formal Methods» more  AFP 2008»
14 years 4 months ago
Libraries for Generic Programming in Haskell
Johan Jeuring, Sean Leather, José Pedro Mag...
ICFCA
2004
Springer
14 years 3 months ago
AddIntent: A New Incremental Algorithm for Constructing Concept Lattices
Dean van der Merwe, Sergei A. Obiedkov, Derrick G....
AGTIVE
2003
Springer
14 years 3 months ago
Proper Down-Coloring Simple Acyclic Digraphs
Geir Agnarsson, Ágúst S. Egilsson, M...