518 search results - page 26 / 104 » Time Window Temporal Logic |
120
click to vote
PODC
1990
ACM
15 years 3 months ago
1990
ACM
Abstract. We introduce a novel extension of propositional modal logic that is interpreted over Kripke structures in which a value is associated with every possible world. These val...
176
click to vote
ICDE
2006
IEEE
16 years 25 days ago
2006
IEEE
Adaptivity is a challenging open issue in data stream management. In this paper, we tackle the problem of memory adaptivity inside a system executing temporal sliding window queri...
DLOG
2008
15 years 1 months ago
2008
A fundamental requirement for cooperating agents is to agree on a selection of component values of objects that can be used for reliably communicating references to the objects, to...
AMAST
2004
Springer
15 years 3 months ago
2004
Springer
Since Z, being a state-based language, describes a system in terms of its state and potential state changes, it is natural to want to describe properties of a specified system also...
TIME
2006
IEEE
15 years 5 months ago
2006
IEEE
Published in: Proceedings of the 13th International Symposium on Temporal Representation and Reasoning (TIME-06), Budapest, Hungary, June 2006. IEEE Computer Society Press. Real-w...