2517 search results - page 443 / 504 » Specifying Weak Sets |
102
click to vote
WWW
2003
ACM
16 years 16 days ago
2003
ACM
The Semantic Web envisions a World Wide Web in which data is described with rich semantics and applications can pose complex queries. To this point, researchers have defined new l...
213
click to vote
POPL
2009
ACM
16 years 15 days ago
2009
ACM
ibe an abstract interpretation based framework for proving relationships between sizes of memory partitions. Instances of this framework can prove traditional properties such as m...
PODC
2009
ACM
16 years 12 days ago
2009
ACM
In the interference scheduling problem, one is given a set of n communication requests described by pairs of points from a metric space. The points correspond to devices in a wire...
104
click to vote
KDD
2002
ACM
16 years 8 days ago
2002
ACM
Data on individuals and entities are being collected widely. These data can contain information that explicitly identifies the individual (e.g., social security number). Data can ...
215
click to vote
POPL
2006
ACM
16 years 5 days ago
2006
ACM
Noninterference is the basic semantical condition used to account for confidentiality and integrity-related properties in programming languages. There appears to be an at least im...