417 search results - page 62 / 84 » Results on Reasoning about Updates in Transaction Logic |
113
click to vote
KR
1991
Springer
15 years 4 months ago
1991
Springer
Theories of rational belief revision recently proposed by Alchourron, Gardenfors, Makinson, and Nebel illuminate many important issues but impose unnecessarily strong standards fo...
107
Voted
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
A database view is a dynamic virtual table composed of the result set of a query, often executed over different underlying databases. The view maintenance problem concerns how a v...
113
Voted
CADE
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. First order logic provides a convenient formalism for describing a wide variety of verification conditions. Two main approaches to checking such conditions are pure first...
FOSSACS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Logics that can reason about sets and their cardinality bounds are useful in program analysis, program verification, databases, and knowledge bases. This paper presents ...
118
Voted
CCS
2005
ACM
15 years 6 months ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...