5243 search results - page 68 / 1049 » Reasoning About Strategies |
ICSE
1997
IEEE-ACM
15 years 4 months ago
1997
IEEE-ACM
TLCA
1997
Springer
15 years 4 months ago
1997
Springer
49
Voted
COOPIS
1993
IEEE
15 years 4 months ago
1993
IEEE
60
Voted
AMAST
1993
Springer
15 years 4 months ago
1993
Springer
108
Voted
ISMIS
1994
Springer
15 years 4 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...