Show simple item record

dc.contributor.authorKutar, M.
dc.contributor.authorBritton, C.
dc.contributor.authorNehaniv, C.L.
dc.identifier.citationKutar , M , Britton , C & Nehaniv , C L 2001 , ' Specifying Multiple Time Granularities in Interactive Systems ' , Lecture Notes in Computer Science (LNCS) , vol. 1946 , pp. 51-63 .
dc.identifier.otherPURE: 97724
dc.identifier.otherPURE UUID: 3cc5718c-970d-427e-bbb5-32d51a65318d
dc.identifier.otherdspace: 2299/4432
dc.identifier.otherScopus: 67649704872
dc.description“The original publication is available at”. Copyright Springer. DOI: 10.1007/3-540-44675-3_4 [Full text of this article is not available in the UHRA]
dc.description.abstractTime plays an important role in interactive systems, but can be difficult to specify, particularly where temporal properties exist at several different time granularities. The relationship between different time granularities is complex and translation between them can be difficult. In this paper, we discuss this relationship and highlight the way in which translation between different time granularities within a single specification may have important consequences for system behaviour. Using the notation TRIO≠, we provide examples from an interactive case study of the ways in which system behaviour may be influ enced, and illustrate some of the potential difficulties which arise in the specification of temporal properties such as pace and regularity.en
dc.relation.ispartofLecture Notes in Computer Science (LNCS)
dc.titleSpecifying Multiple Time Granularities in Interactive Systemsen
dc.contributor.institutionSchool of Computer Science
dc.contributor.institutionScience & Technology Research Institute
dc.description.statusPeer reviewed
rioxxterms.typeJournal Article/Review

Files in this item


There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record