2705 search results - page 475 / 541 » Privacy in Data Mining Using Formal Methods |
128
Voted
SAC
2003
ACM
15 years 7 months ago
2003
ACM
Based on the limitations raised by existing approaches in the context of the Semantic Web, we propose a formalism, Web Sources Global Ontology (WebSOGO), a data meta-model for the...
114
click to vote
ENTCS
2002
15 years 1 months ago
2002
Many tools have been constructed using different formal methods to process various parts of a language specification (e.g., scanner generators, parser generators and compiler gene...
101
Voted
GFKL
2006
Springer
15 years 5 months ago
2006
Springer
Finding the right pricing for music downloads is of ample importance to the recording industry and music download service providers. For the recently introduced music downloads, re...
114
click to vote
CAV
2003
Springer
15 years 7 months ago
2003
Springer
Run-time monitoring of temporal properties and assertions is used for testing and as a component of execution-based model checking techniques. Traditional run-time monitoring howev...
ENTCS
2008
15 years 1 months ago
2008
RZ is a tool which translates axiomatizations of mathematical structures to program specifications using the realizability interpretation of logic. This helps programmers correctl...