CSDL - Proceedings T

Conference Organization (PDF)

pp. ix-x

External Referees (PDF)

pp. xi

Invited Talks

Generalized Model Checking (PDF)

Patrice Godefroid, Lucent Technologies

pp. 3

Indexing Inventory Snapshots (PDF)

Betty Salzberg, Northeastern University

pp. 4

Time and the Semantic Web (Abstract)

James Pustejovsky, Brandeis University

pp. 5-8

PDF

Temporal Representation and Reasoning in AI

Using Inference for Evaluating Models of Temporal Discourse (Abstract)

Philippe Muller, Universit? Paul Sabatier

Axel Reymonet, Universit? Paul Sabatier

pp. 11-19

PDF

An Efficient Algorithm for Minimizing Time Granularity Periodical Representations (Abstract)

Claudio Bettini, University of Milan

Sergio Mascetti, University of Milan

pp. 20-25

PDF

Constraint-Based Qualitative Simulation (Abstract)

Krzysztof R. Apt, National University of Singapore, CWI and UvA

Sebastian Brand, National University of Singapore

pp. 26-34

PDF

A Local Method for Prioritized Fusion of Temporal Information (Abstract)

Mahat Khelfallah, Provence University

Belaïd Benhamou, Provence University

pp. 35-43

PDF

Temporal Databases

Temporal XML? SQL Strikes Back! (Abstract)

Fusheng Wang, Siemens Corporate Research

Carlo Zaniolo, University of California at Los Angeles

Xin Zhou, University of California at Los Angeles

pp. 47-55

PDF

"TellMe": A Novel Protocol and Location Prediction Scheme Exploiting the "One For All" Framework for Location Management (Abstract)

Amal ElNahas, German University in Cairo

Omar H. Karam, Ain Shams University

Ahmad Hamad, Ain Shams University

Ingy Ramzy, Ain Shams University

pp. 56-64

PDF

A Multilevel Distance-Based Index Structure for Multivariate Time Series (Abstract)

Kiyoung Yang, University of Southern California

Cyrus Shahabi, University of Southern California

pp. 65-73

PDF

Temporal Query Languages Expressive Power: ?TL versus T-WHILE (Abstract)

Nicole Bidoit, L.R.I. UMR 8623 CNRS

Matthieu Objois, L.R.I. UMR 8623 CNRS

pp. 74-82

PDF

CME: A Temporal Relational Model for Efficient Coalescing (Abstract)

Mohammed Al-Kateb, University of Vermont

Essam Mansour, Dublin Institute of Technology

Mohamed E. El-Sharkawi, Cairo University

pp. 83-90

PDF

A Uniform Algebraic Characterization of Temporal Functional Dependencies (Abstract)

C. Combi, Università degli Studi di Verona

A. Montanari, Università degli Studi di Udine

R. Rossato, Università degli Studi di Verona

pp. 91-99

PDF

Temporal Logic in Computer Science

A Trace Semantics for Positive Core XPath (Abstract)

Pieter H. Hartel, University of Twente

pp. 103-112

PDF

On the Freeze Quantifier in Constraint LTL: Decidability and Complexity (Abstract)

Stéphane Demri, LSV/CNRS UMR 8643 & INRIA Futurs projet SECSI & ENS Cachan

Ranko Lazić, University of Warwick

David Nowak, LSV/CNRS UMR 8643 & INRIA Futurs projet SECSI & ENS Cachan

pp. 113-121

PDF

Axiomatisation and Decidability of Multi-dimensional Duration Calculus (Abstract)

Andreas Schäfer, University of Oldenburg

pp. 122-130

PDF

Configuration Logic: A Multi-site Modal Logic (Abstract)

Roger Villemaire, Université du Québec à Montréal

Sylvain Hallé, Université du Québec à Montréal

Omar Cherkaoui, Université du Québec à Montréal

pp. 131-137

PDF

Quantitative Temporal Logics: PSPACE and Below (Abstract)

Carsten Lutz, Technical University Dresden

Dirk Walther, University of Liverpool

Frank Wolter, University of Liverpool

pp. 138-146

PDF

Temporal Logic with Predicate λ-Abstraction (Abstract)

Alexei Lisitsa, University of Liverpool

Igor Potapov, University of Liverpool

pp. 147-155

PDF

Deterministic CTL Query Solving (Abstract)

Marko Samer, Vienna University of Technology

Helmut Veith, Technische Universität München

pp. 156-165

PDF

LOLA: Runtime Monitoring of Synchronous Systems (Abstract)

Ben D'Angelo, Stanford University,

Sriram Sankaranarayanan, Stanford University

César Sánchez, Stanford University

Will Robinson, Stanford University

Bernd Finkbeiner, Saarland University

Henny B. Sipma, Stanford University

Sandeep Mehrotra, Synopsys, Inc.

Zohar Manna, Stanford University

pp. 166-174

PDF

Posters

Exploiting the Relationship between IA Networks and Finite Domain CSPs (Abstract)

Andr? Trudel, Acadia University

Haiyi Zhang, Acadia University

pp. 177-179

PDF

An XML-Based Framework for Temporal Database Implementation (Abstract)

Seo-Young Noh, Iowa State University

Shashi K. Gadia, Iowa State University

pp. 180-182

PDF

Probabilistic Calculation of Execution Intervals for Workflows (Abstract)

Johann Eder, University of Klagenfurt

Horst Pichler, University of Klagenfurt

pp. 183-185

PDF

A Data Compression Technique for Sensor Networks with Dynamic Bandwidth Allocation (Abstract)

Song Lin, University of California at Riverside

Dimitrios Gunopulos, University of California at Riverside

Vana Kalogeraki, University of California at Riverside

Stefano Lonardi, University of California at Riverside

pp. 186-188

PDF

Specification Patterns for Time-Related Properties (Abstract)

Volker Gruhn, University of Leipzig

Ralf Laue, University of Leipzig

pp. 189-191

PDF

Analysis of Timed Processes with Data Using Algebraic Transformations (Abstract)

Michel A. Reniers, Technical University of Eindhoven

Yaroslav S. Usenko, Technical University of Eindhoven

pp. 192-194

PDF

Search Strategies for Resolution in CTL-Type Logics: Extension and Complexity (Abstract)

Artie Basukoski, University of Westminster

Alexander Bolotov, University of Westminster

pp. 195-197

PDF

Invited Posters

Propositional Interval Temporal Logics: Some Promising Paths (Abstract)

Angelo Montanari, Università degli Studi di Udine

pp. 201-203

PDF

Time in Liverpool — An Overview of Temporal Research in the Logic and Computation Group (Abstract)

Logic and Computation Group, University of Liverpool

pp. 204-206

PDF

Version Management and Historical Queries in Digital Libraries (Abstract)

Fusheng Wang, Siemens Corporate Research

Carlo Zaniolo, University of California at Los Angeles

Xin Zhou, University of California at Los Angeles

Hyun J. Moon, University of California at Los Angeles

pp. 207-209

PDF

Efficient Rectangle Indexing Algorithms Based on Point Dominance (Abstract)

Peter Revesz, University of Nebraska-Lincoln

pp. 210-212

PDF

Author Index

Author Index (PDF)

pp. 213