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,.
|
|
|