TIME
2009
IEEE
14 years 5 months ago
2009
IEEE
—The anonymization of location based queries through the generalization of spatio-temporal information has been proposed as a privacy preserving technique. We show that the prese...
TIME
2009
IEEE
14 years 5 months ago
2009
IEEE
—This paper presents various semantic interpretations for logics of knowledge and time with prefect recall. We allow both past and future operators and examine the interpretation...
TIME
2009
IEEE
14 years 5 months ago
2009
IEEE
TIME
2009
IEEE
14 years 5 months ago
2009
IEEE
TIME
2009
IEEE
14 years 5 months ago
2009
IEEE
—Rule-based filters are sequences of rules formed of a condition and a decision. Rules are applied sequentially up to the first fulfilled condition, whose matching decision de...
TIME
2009
IEEE
14 years 5 months ago
2009
IEEE
—Towards a data-centric workflow approach, we introduce an artifact model to capture data and workflow management activities in distributed settings. The model is built on Acti...
TIME
2009
IEEE
14 years 5 months ago
2009
IEEE
We investigate fragments of Halpern-Shoham’s interval logic HS involving the modal operators for the relations of left or right overlap of intervals. We prove that most of these...
TIME
2009
IEEE
14 years 5 months ago
2009
IEEE
Morris, Muscettola and Vidal (MMV) presented an algorithm for checking the dynamic controllability (DC) of temporal networks in which certain temporal durations are beyond the con...
TIME
2009
IEEE
14 years 5 months ago
2009
IEEE
—Past research on temporal databases has primarily focused on state-based representations and on relational query language extensions for such representations. This led to many d...
TIME
2009
IEEE
14 years 5 months ago
2009
IEEE
The model checking problem for CTL is known to be P-complete (Clarke, Emerson, and Sistla (1986), see Schnoebelen (2002)). We consider fragments of CTL obtained by restricting the...