3028 search results - page 104 / 606 » Integrating Temporal Logics |
155
click to vote
LOGCOM
2000
15 years 4 months 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...
132
click to vote
CADE
2008
Springer
16 years 4 months 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...
158
click to vote
TIME
2007
IEEE
15 years 10 months ago
2007
IEEE
Transaction-time temporal databases and query languages provide a solid framework for analyzing properties of queries over data streams. In this paper we focus on issues connected...
138
click to vote
ICTAC
2004
Springer
15 years 9 months ago
2004
Springer
Among the possible approaches for expressing real-time problems with the B method, two are dominant : the use of the usual B mechanisms to define temporal constraints on the one h...
130
click to vote
NIPS
2004
15 years 5 months ago
2004
In contrast to the equivalence of linear blind source separation and linear independent component analysis it is not possible to recover the original source signal from some unkno...