Abstract:
We develop a general, theoretical temporal model for discussing synchronization and specification scheme. A temporal algebra is constructed to deal with qualitative and q...Show MoreMetadata
Abstract:
We develop a general, theoretical temporal model for discussing synchronization and specification scheme. A temporal algebra is constructed to deal with qualitative and quantitative temporal relationships and to reason about definite and indefinite time. The algebra integrates instant points and even intervals. Several computation tables are proposed, and each table include a set of complete temporal logics. The synchronization models are generalized by composing point-interval temporal relations with qualitative and quantitative functions. The mechanism is efficiently to eliminate conflict specification and to generate synchronization scenarios. The timed framework can also handle knowledge queries, presentation schedule, and composing of the temporal semantics among distributed multimedia objects.
Published in: 17th International Conference on Advanced Information Networking and Applications, 2003. AINA 2003.
Date of Conference: 29-29 March 2003
Date Added to IEEE Xplore: 08 April 2003
Print ISBN:0-7695-1906-7