modeling video-on-demand system in temporal logic

ISCAS OpenIR

	modeling video-on-demand system in temporal logic
	Liu WM; Ma HD
	2001
会议名称	2nd IEEE Pacific Rim Conference on Multimedia
页码	983-988
会议日期	OCT 22-24,
会议地点	BEIJING, PEOPLES R CHINA
收录类别	sci ; istp
出版地	HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY
出版者	ADVANCES IN MUTLIMEDIA INFORMATION PROCESSING - PCM 2001, PROCEEDINGS
ISSN	0302-9743
ISBN	3-540-42680-9
部门归属	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.
摘要	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
主办者	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
语种	英语
WOS记录号	WOS:000174348000132
引用统计
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/13474
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	Liu WM,Ma HD. modeling video-on-demand system in temporal logic[C]. HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY:ADVANCES IN MUTLIMEDIA INFORMATION PROCESSING - PCM 2001, PROCEEDINGS,2001:983-988.