3384 search results - page 465 / 677 » More Testable Properties |
159
click to vote
ECSQARU
2007
Springer
15 years 10 months ago
2007
Springer
In possibility theory, the degree of inconsistency is commonly used to measure the level of conflict in information from multiple sources after merging, especially conjunctive merg...
170
click to vote
ICLP
2010
Springer
15 years 10 months ago
2010
Springer
Answer set programs with time predicates are useful to model systems whose properties depend on time, like for example gene regulatory networks. A state of such a system at time po...
196
click to vote
ESORICS
2007
Springer
15 years 10 months ago
2007
Springer
As the XML model gets more popular, new needs arise to specify access control within XML model. Various XML access control models and enforcement methods have been proposed recentl...
184
click to vote
PODC
2010
ACM
15 years 10 months ago
2010
ACM
In this paper, we present a framework for achieving anonymity and trust, two seemingly contradictory properties, in distributed systems. Our approach builds on webs of trust, a we...
162
click to vote
SIGIR
2010
ACM
15 years 10 months ago
2010
ACM
In this paper, we present a novel near-duplicate document detection method that can easily be tuned for a particular domain. Our method represents each document as a real-valued s...