1860 search results - page 94 / 372 » A Temporal Logic of Robustness |
110
click to vote
DBISP2P
2003
Springer
15 years 5 months ago
2003
Springer
In this paper we give a robust logical and computational characterisation of peer-to-peer (p2p) database systems. We first define a precise model-theoretic semantics of a p2p sys...
129
Voted
LOGCOM
2000
15 years 11 days ago
2000
The product of two modal logics L1 and L2 is the modal logic determined by the class of frames of the form FG such that F and G validate L1 and L2, respectively. This paper proves...
94
Voted
BMVC
1998
15 years 1 months ago
1998
Temporal stereo vision algorithms can offer improved robustness, however, this can only be delivered after several frames of a stereo image sequence have been processed. We presen...
100
click to vote
CADE
2008
Springer
16 years 27 days ago
2008
Springer
Abstract. A proof method is described which combines compositional proofs of interleaved parallel programs with the intuitive and highly automatic strategy of symbolic execution. A...
105
click to vote
ICCAD
2007
IEEE
15 years 9 months ago
2007
IEEE
While circuit density and power efficiency increase with each major advance in IC technology, reliability with respect to soft errors tends to decrease. Current solutions to this...