4224 search results - page 68 / 845 » Reasoning about Choice |
170
click to vote
ISMIS
1994
Springer
15 years 9 months ago
1994
Springer
We assume that safety of information stored in a database depends on the reliability of the agents who have performed the insertions in the database. We present a logic S to repres...
125
click to vote
VLDB
1994
ACM
15 years 9 months ago
1994
ACM
In this paper, we consider various spatial relationships that are of general interest in pictorial database systems. We present a set of rules that allow us to deduce new relation...
122
click to vote
PODC
1989
ACM
15 years 9 months ago
1989
ACM
A deterministic message-communicating process can be characterized by a “continuous” function f which describes the relationship between the inputs and the outputs of the proc...
