Sciweavers

4595 search results - page 79 / 919
» Reasoning about Plans
Sort
View
ICSE
1997
IEEE-ACM
15 years 8 months ago
Using Formal Methods to Reason about Architectural Standards
Kevin J. Sullivan, John Socha, Mark Marchukov
COOPIS
1993
IEEE
15 years 8 months ago
Reasoning about Goals to Resolve Conflicts
Nancy D. Griffeth, Hugo Velthuijsen
ISMIS
1994
Springer
15 years 8 months ago
Reasoning About the Safety of Information: From Logical Formalization to Operational Definition
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...
Laurence Cholvy, Robert Demolombe, Andrew J. I. Jo...