5255 search results - page 748 / 1051 » Formal Methods for Privacy |
166
click to vote
KDD
2007
ACM
16 years 7 months ago
2007
ACM
Clustering methods can be either data-driven or need-driven. Data-driven methods intend to discover the true structure of the underlying data while need-driven methods aims at org...
172
click to vote
OOPSLA
2004
Springer
16 years 20 hour ago
2004
Springer
Predicate dispatch is an object-oriented (OO) language mechanism for determining the method implementation to be invoked upon a message send. With predicate dispatch, each method ...
201
click to vote
JDFP
2006
15 years 6 months ago
2006
Over the past decade, the advancement of a myriad of methods, techniques and technologies to conceal digital evidence and covertly communicate have increased at an alarming rate. I...
182
click to vote
SIGSOFT
2002
ACM
16 years 7 months ago
2002
ACM
We propose a unifying framework for model-based specification notations. Our framework captures the execution semantics that are common among model-based notations, and leaves the...
199
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
Syndication systems on the Web have attracted vast amounts of attention in recent years. As technologies have emerged and matured, there has been a transition to more expressive s...