5084 search results - page 664 / 1017 » Proving Possibility Properties |
190
click to vote
TARK
2007
Springer
16 years 27 days ago
2007
Springer
In the most popular logics combining knowledge and awareness, it is not possible to express statements about knowledge of unawareness such as “Ann knows that Bill is aware of so...
185
click to vote
VLDB
2007
ACM
16 years 27 days ago
2007
ACM
We consider the privacy problem in data publishing: given a database instance containing sensitive information “anonymize” it to obtain a view such that, on one hand attackers...
192
click to vote
WDAG
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. We examine the problem of detecting nested temporal predicates given the execution trace of a distributed program. We present a technique that allows efficient detection ...
171
click to vote
WDAG
2007
Springer
16 years 27 days ago
2007
Springer
We consider the problem of minimizing the number of ADMs in optical networks. All previous theoretical studies of this problem dealt with the off-line case, where all the lightpat...
229
click to vote
CCECE
2006
IEEE
16 years 26 days ago
2006
IEEE
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...