| dc.creator (作者) | Jeng, Mu-Der;Wen, Yuan-Lin | |
| dc.date (日期) | 2000-12 | |
| dc.date.accessioned | 16-Aug-2016 15:08:47 (UTC+8) | - |
| dc.date.available | 16-Aug-2016 15:08:47 (UTC+8) | - |
| dc.date.issued (上傳時間) | 16-Aug-2016 15:08:47 (UTC+8) | - |
| dc.identifier.uri (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 | |
