1779 search results - page 78 / 356 » A Formal Model of Data Privacy |
122
click to vote
AINA
2008
IEEE
15 years 3 months ago
2008
IEEE
A link farm is a set of web pages constructed to mislead the importance of target pages in search engine results by boosting their link-based ranking scores. In this paper, we int...
124
click to vote
SDM
2010
SIAM
15 years 3 months ago
2010
SIAM
Large graph databases are commonly collected and analyzed in numerous domains. For reasons related to either space efficiency or for privacy protection (e.g., in the case of socia...
100
click to vote
ISQED
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper describes the use of integer equations for high level modeling digital circuits for application of formal verification properties at this level. Most formal verificatio...
102
click to vote
TOSEM
1998
15 years 1 months ago
1998
Many software process methods and tools presuppose the existence of a formal model of a process. Unfortunately, developing a formal model for an on-going, complex process can be d...
ISI
2005
Springer
15 years 7 months ago
2005
Springer
This work identifies the limitations of n-way data analysis techniques in multidimensional stream data, such as Internet chatroom communications data, and establishes a link betwe...