Moments and points in an interval-based temporal logic
Computational Intelligence
Constraint propagation algorithms for temporal reasoning: a revised report
Readings in qualitative reasoning about physical systems
Handbook of theoretical computer science (vol. B)
Journal of the ACM (JACM)
The grid: blueprint for a new computing infrastructure
The grid: blueprint for a new computing infrastructure
Proving Liveness Properties of Concurrent Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Maintaining knowledge about temporal intervals
Communications of the ACM
"Sometime" is sometimes "not never": on the temporal logic of programs
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
A Model for Accessing Resources of the Distributed File Systems
IWCC '01 Proceedings of the NATO Advanced Research Workshop on Advanced Environments, Tools, and Applications for Cluster Computing-Revised Papers
A RDF-based Model for Expressing Spatio-Temporal Relations Between Web Sites
WISE '02 Proceedings of the 3rd International Conference on Web Information Systems Engineering
Logics and Models of Real Time: A Survey
Proceedings of the Real-Time: Theory in Practice, REX Workshop
Introducing Temporal Description Logics
TIME '99 Proceedings of the Sixth International Workshop on Temporal Representation and Reasoning
Actions and Events in Interval Temporal Logic
Actions and Events in Interval Temporal Logic
A Tiered System for Serving Differentiated Content
World Wide Web
The temporal logic of programs
SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
Hi-index | 0.01 |
The paper describes ITW - a multi-platform and multilanguage architecture used to discover (multimedia) resources. The ITW system is based on Web services and software agents, exploiting the relations between Web sites' resources. To represent these relations, a high-level RDF model is adopted, using Interval Temporal Logic.