Sciweavers

194 search results - page 3 / 39
» A Model for Temporal Interval Authorizations
Sort
View
CAV
2006
Springer
164views Hardware» more  CAV 2006»
13 years 9 months ago
Allen Linear (Interval) Temporal Logic - Translation to LTL and Monitor Synthesis
The relationship between two well established formalisms for temporal reasoning is first investigated, namely between Allen's interval algebra (or Allen's temporal logic,...
Grigore Rosu, Saddek Bensalem
GISCIENCE
2004
Springer
136views GIS» more  GISCIENCE 2004»
13 years 11 months ago
Simplifying Sets of Events by Selecting Temporal Relations
Reasoning about events or temporal aspects is fundamental for modeling geographic phenomena. This work concerns the analysis of events as configurations of temporal intervals. It...
Andrea Rodríguez, Nico Van de Weghe, Philip...
BPSC
2009
152views Business» more  BPSC 2009»
13 years 6 months ago
A Formal Temporal Semantics for Microsoft Project based on Allen's Interval Algebra
Process modelling systems are complex and difficult to compare. A key attribute of any process modelling formalism or tool is time which involves how it handles and represents tem...
Denis Gagné, André Trudel
ICDE
1998
IEEE
70views Database» more  ICDE 1998»
14 years 6 months ago
Point-Versus Interval-Based Temporal Data Models
The association of timestamps with various data items such as tuples or attribute values is fundamental to the management of time-varying information. Using intervals in timestamp...
Michael H. Böhlen, Renato Busatto, Christian ...
JAIR
2000
105views more  JAIR 2000»
13 years 5 months ago
Reasoning on Interval and Point-based Disjunctive Metric Constraints in Temporal Contexts
We introduce a temporal model for reasoning on disjunctive metric constraints on intervals and time points in temporal contexts. This temporal model is composed of a labeled tempo...
Federico Barber