3573 search results - page 58 / 715 » Reasoning about Codata |
AMAST
1993
Springer
15 years 3 months ago
1993
Springer
ISMIS
1994
Springer
15 years 3 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...
VLDB
1994
ACM
15 years 3 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...
PODC
1989
ACM
15 years 3 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...
CBSE
2006
Springer
15 years 2 months ago
2006
Springer