3008 search results - page 311 / 602 » Information and Control in Gray-Box Systems |
139
Voted
PPDP
2005
Springer
16 years 7 days ago
2005
Springer
We address the problem of controlling information leakage in a concurrent declarative programming setting. Our aim is to define verification tools in order to distinguish betwee...
154
click to vote
SIGIR
2010
ACM
15 years 10 months ago
2010
ACM
Several studies have found that the Cranfield approach to evaluation can report significant performance differences between retrieval systems for which little to no performance...
156
click to vote
COOPIS
2004
IEEE
15 years 10 months ago
2004
IEEE
1 Although ontology has gained wide attention in the area of information systems, a criticism typical of the early days is still rehearsed here and there. Roughly, this criticism s...
161
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper presents a multicast algorithm for peer-topeer dissemination of events in a distributed topic-based publish-subscribe system, where processes publish events of certain ...
186
click to vote
SACMAT
2006
ACM
16 years 21 days ago
2006
ACM
We propose an integrity measurement approach based on information flow integrity, which we call the Policy-Reduced Integrity Measurement Architecture (PRIMA). The recent availabi...