Representing trends and trend dependencies with multiple granularities
Combi, C.; Rossato, R.
Page(s): 3-10
Digital Object Identifier 10.1109/TIME.2006.24 Abstract
| Full Text: PDF (291 KB)
Rights and Permissions
Is There a Future for Deductive Temporal Verification?
Dixon, C.; Fisher, M.; Konev, B.
Page(s): 11-18
Digital Object Identifier 10.1109/TIME.2006.19 Abstract
| Full Text: PDF (274 KB)
Rights and Permissions
Automated Verification of Continuous Time Systems by Discrete Temporal Induction
Gargantini, A.; Morzenti, A.
Page(s): 19-26
Digital Object Identifier 10.1109/TIME.2006.8 Abstract
| Full Text: PDF (249 KB)
Rights and Permissions
CTL Model Checking for Labelled Tree Queries
Halle, S.; Villemaire, R.; Cherkaoui, O.
Page(s): 27-35
Digital Object Identifier 10.1109/TIME.2006.11 Abstract
| Full Text: PDF (349 KB)
Rights and Permissions
Condotta, J.-F.; Ligozat, G.; Saade, M.; Tripakis, S.
Page(s): 69-77
Digital Object Identifier 10.1109/TIME.2006.33 Abstract
| Full Text: PDF (360 KB)
Rights and Permissions
A Generic Toolkit for n-ary Qualitative Temporal and Spatial Calculi
Condotta, J.-F.; Ligozat, G.; Saade, M.
Page(s): 78-86
Digital Object Identifier 10.1109/TIME.2006.2 Abstract
| Full Text: PDF (308 KB)
Rights and Permissions
An automaton-based approach to the verification of timed workflow schemas
De Maria, E.; Montanari, A.; Zantoni, M.
Page(s): 87-94
Digital Object Identifier 10.1109/TIME.2006.6 Abstract
| Full Text: PDF (390 KB)
Rights and Permissions
Conditional and Composite Temporal Constraints with Preferences
Mouhoub, M.; Sukpan, A.
Page(s): 95-102
Digital Object Identifier 10.1109/TIME.2006.10 Abstract
| Full Text: PDF (276 KB)
Rights and Permissions
Measuring, monitoring and controlling software maintenance efforts
Zanker, M.; Gordea, S.
Page(s): 103-110
Digital Object Identifier 10.1109/TIME.2006.21 Abstract
| Full Text: PDF (480 KB)
Rights and Permissions
Efficient Heuristics for Solving Probabilistic Interval Algebra Networks
Kai Zhang; Tradel, A.
Page(s): 111-120
Digital Object Identifier 10.1109/TIME.2006.13 Abstract
| Full Text: PDF (481 KB)
Rights and Permissions
How Would You Like to Aggregate Your Temporal Data?
Bohlen, M.F.L.; Gamper, J.; Jensen, C.S.
Page(s): 121-136
Digital Object Identifier 10.1109/TIME.2006.17 Abstract
| Full Text: PDF (371 KB)
Rights and Permissions
Extracting Uncertain Temporal Relations from Mined Frequent Sequences
Guil, F.; Marin, R.
Page(s): 152-159
Digital Object Identifier 10.1109/TIME.2006.14 Abstract
| Full Text: PDF (280 KB)
Rights and Permissions
Formal Verification of an Optimistic Concurrency Control Algorithm using SPIN
Makni, A.; Bouaziz, R.; Gargouri, F.
Page(s): 160-167
Digital Object Identifier 10.1109/TIME.2006.15 Abstract
| Full Text: PDF (222 KB)
Rights and Permissions
A Spatiotemporal Database for Ozone in the Conterminous U.S.
Lixin Li; Xingyou Zhang; Piltner, R.
Page(s): 168-176
Digital Object Identifier 10.1109/TIME.2006.3 Abstract
| Full Text: PDF (893 KB)
Rights and Permissions
k-Anonymity in Databases with Timestamped Data
Mascetti, S.; Bettini, C.; Wang, X.S.; Jajodia, S.
Page(s): 177-186
Digital Object Identifier 10.1109/TIME.2006.20 Abstract
| Full Text: PDF (256 KB)
Rights and Permissions
Task-Oriented Extraction of Temporal Information: The Case of Clinical Narratives
Gaizauskas, R.; Harkema, H.; Hepple, M.; Setzer, A.
Page(s): 188-195
Digital Object Identifier 10.1109/TIME.2006.27 Abstract
| Full Text: PDF (216 KB)
Rights and Permissions
Cart
