Search Sciweavers | Sciweavers

5255 search results - page 105 / 1051

» Formal Methods for Privacy

238

Voted

POPL
2005
ACM

124views Programming Languages» more POPL 2005»

Enterprise privacy promises and enforcement

16 years 3 months ago

Download www.adambarth.com

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

claim paper

Read More »

110

Voted

ICFCA
2009
Springer

132views Formal Methods» more ICFCA 2009»

Identifying Ecological Traits: A Concrete FCA-Based Approach

15 years 10 months ago

Download www.loria.fr

Aurélie Bertaux, Florence Le Ber, Agn&egrav...

claim paper

Read More »

113

Voted

AFP
2008
Springer

241views Formal Methods» more AFP 2008»

Libraries for Generic Programming in Haskell

15 years 9 months ago

Download www.cs.uu.nl

Johan Jeuring, Sean Leather, José Pedro Mag...

claim paper

Read More »

127

click to vote

ICFCA
2004
Springer

343views Formal Methods» more ICFCA 2004»

AddIntent: A New Incremental Algorithm for Constructing Concept Lattices

15 years 8 months ago

Download www.cs.up.ac.za

Dean van der Merwe, Sergei A. Obiedkov, Derrick G....

claim paper

Read More »

104

click to vote

AGTIVE
2003
Springer

91views Formal Methods» more AGTIVE 2003»

Proper Down-Coloring Simple Acyclic Digraphs

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers