4401 search results - page 669 / 881 » Computing with Default Logic |
153
click to vote
SACMAT
2003
ACM
15 years 9 months ago
2003
ACM
In large organizations the administration of access privileges (such as the assignment of an access right to a user in a particular role) is handled cooperatively through distribu...
138
click to vote
ICCS
2001
Springer
15 years 9 months ago
2001
Springer
Nowadays, people start to accept fuzzy rule–based systems as flexible and convenient tools to solve a myriad of ill–defined but otherwise (for humans) straightforward tasks s...
172
Voted
EDBT
2000
ACM
15 years 8 months ago
2000
ACM
In high-dimensional query processing, the optimization of the logical page-size of index structures is an important research issue. Even very simple query processing techniques suc...
143
Voted
SPAA
1998
ACM
15 years 8 months ago
1998
ACM
Modern shared-memory multiprocessors use complex memory system implementations that include a variety of non-trivial and interacting optimizations. More time is spent in verifying...
182
click to vote
PODC
1994
ACM
15 years 8 months ago
1994
ACM
The notion of belief has been useful in reasoning about authentication protocols. In this paper, we show how the notion of belief can be applied to reasoning about cache coherence...