347 search results - page 8 / 70 » From Separation Logic to First-Order Logic |
ISMIS
1994
Springer
13 years 11 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...
118
click to vote
Book
Very well organized and easy to follow book. The table of content can be downloaded from the attachment section below.
GG
2008
Springer
13 years 8 months ago
2008
Springer
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Middleware technologies, often limit the way in which object classes may be used in distributed applications due to the fixed distribution policies imposed by the Middleware system...
ECEASST
2008
13 years 7 months ago
2008
