Please use this identifier to cite or link to this item:
https://ah.lib.nccu.edu.tw/handle/140.119/100243
DC Field | Value | Language |
---|---|---|
dc.creator | Jeng, Mu-Der;Wen, Yuan-Lin | |
dc.date | 2000-12 | |
dc.date.accessioned | 2016-08-16T07:08:47Z | - |
dc.date.available | 2016-08-16T07:08:47Z | - |
dc.date.issued | 2016-08-16T07:08:47Z | - |
dc.identifier.uri | http://nccur.lib.nccu.edu.tw/handle/140.119/100243 | - |
dc.description.abstract | In an interactive multimedia presentation system the user should be allowed to manipulate the presentation sequence such as to repeat a sub-sequence, choose a sequence branch, change the playing speed, and reverse the playing sequence through the keyboard, mouse or program. The synchronization scheme should also allow the user to modify the sequence of the presentation dynamically. This paper presents a formal model that describes synchronization behaviors in multimedia systems, called Object Slice Petri Nets (OSPN). Since an OSPN representing a real-world multimedia scenario, may develop a very complex behavior whose qualitative properties are difficult to verify with reasonably computational cost, a systematic synthesis method based on an extension of the knitting technique is used for macro level scenario synthesis. The goal is to synthesize well-behaved nets. In this paper, deadlock-free Macro-level OSPNs classified into static and dynamic scenario nets are proposed and analyzed. | |
dc.format.extent | 1341873 bytes | - |
dc.format.mimetype | application/pdf | - |
dc.relation | 資管評論, 10, 61-85 | |
dc.relation | MIS review | |
dc.subject | Multimedia;Multimedia Synchronization;Timed Petri Nets;Synthesis Technique | |
dc.title | Synchronization Models for Interactive Multimedia Presentations Using Timed Petri Nets | |
dc.type | article | |
item.openairecristype | http://purl.org/coar/resource_type/c_18cf | - |
item.openairetype | article | - |
item.grantfulltext | open | - |
item.fulltext | 全文 | - |
item.cerifentitytype | Publications | - |
Appears in Collections: | 期刊論文 |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
10-61-85.pdf | 1.31 MB | Adobe PDF2 | View/Open |
Google ScholarTM
Check
Items in NCCU Academic Hub are protected by copyright, with all rights reserved, unless otherwise indicated.