Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
Sci2ools
International Keyboard
Graphical Social Symbols
CSS3 Style Generator
OCR
Web Page to Image
Web Page to PDF
Merge PDF
Split PDF
Latex Equation Editor
Extract Images from PDF
Convert JPEG to PS
Convert Latex to Word
Convert Word to PDF
Image Converter
PDF Converter
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
5255
search results - page 105 / 1051
»
Formal Methods for Privacy
Sort
relevance
views
votes
recent
update
View
thumb
title
84
click to vote
POPL
2005
ACM
124
views
Programming Languages
»
more
POPL 2005
»
Enterprise privacy promises and enforcement
14 years 10 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 »
29
click to vote
ICFCA
2009
Springer
132
views
Formal Methods
»
more
ICFCA 2009
»
Identifying Ecological Traits: A Concrete FCA-Based Approach
14 years 5 months ago
Download
www.loria.fr
Aurélie Bertaux, Florence Le Ber, Agn&egrav...
claim paper
Read More »
29
click to vote
AFP
2008
Springer
241
views
Formal Methods
»
more
AFP 2008
»
Libraries for Generic Programming in Haskell
14 years 4 months ago
Download
www.cs.uu.nl
Johan Jeuring, Sean Leather, José Pedro Mag...
claim paper
Read More »
29
click to vote
ICFCA
2004
Springer
343
views
Formal Methods
»
more
ICFCA 2004
»
AddIntent: A New Incremental Algorithm for Constructing Concept Lattices
14 years 3 months ago
Download
www.cs.up.ac.za
Dean van der Merwe, Sergei A. Obiedkov, Derrick G....
claim paper
Read More »
29
click to vote
AGTIVE
2003
Springer
91
views
Formal Methods
»
more
AGTIVE 2003
»
Proper Down-Coloring Simple Acyclic Digraphs
14 years 3 months ago
Download
math.gmu.edu
Geir Agnarsson, Ágúst S. Egilsson, M...
claim paper
Read More »
« Prev
« First
page 105 / 1051
Last »
Next »