| Title: | modeling video-on-demand system in temporal logic |
| Author: | Liu WM
; Ma HD
|
| Conference Name: | 2nd IEEE Pacific Rim Conference on Multimedia
|
| Conference Date: | OCT 22-24,
|
| Issued Date: | 2001
|
| Conference Place: | BEIJING, PEOPLES R CHINA
|
| Publisher: | ADVANCES IN MUTLIMEDIA INFORMATION PROCESSING - PCM 2001, PROCEEDINGS
|
| Publish Place: | HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY
|
| Indexed Type: | sci
; istp
|
| ISSN: | 0302-9743
|
| ISBN: | 3-540-42680-9
|
| Department: | Beijing Univ Posts & Telecommun, Coll Comp Sci & Technol, Beijing 100876, Peoples R China. Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China.
|
| Sponsorship: | IEEE Circuits & Syst Soc, IEEE Signal Processing Soc, China Comp Fdn, China Soc Image & Graph, Microsoft, Legend, GE, Intel, Microsoft Res, Tsinghua Univ, Natl Nat Sci Fdn China
|
| English Abstract: | Based on the temporal logic language XYZ, this paper proposes a specification model of Video-on-Demand (VoD) system. By this model, we specify the behaviors of VoD system and discusses the features of VoD system. The advantages of this method |
| Language: | 英语
|
| Citation statistics: |
|
| Content Type: | 会议论文
|
| URI: | http://ir.iscas.ac.cn/handle/311060/13474
|
| Appears in Collections: | 软件所图书馆_会议论文
|
|
There are no files associated with this item.
|
| Recommended Citation: | |
Liu WM,Ma HD. modeling video-on-demand system in temporal logic[C]. 见:2nd IEEE Pacific Rim Conference on Multimedia. BEIJING, PEOPLES R CHINA. OCT 22-24,.
|
|
|
