SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

IEEE International Conference on Multi-Media and Expo

Volumn , Issue III/WEDNESDAY, 2000, Pages 1675-1678

About the semantic verification of SMIL documents

(3) Sampaio, P N M a Santos, C A S a Courtiat, J P a

a LAAS CNRS (France)

Author keywords

Formal Methods; Multimedia and Hypermedia Documents; RT LOTOS; SMIL

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; GRAPH THEORY; HYPERMEDIA SYSTEMS; INTERACTIVE COMPUTER SYSTEMS; SEMANTICS; XML;

INERACTIVE MULTIMEDIA DOCUMENTS (IMD); SYNCHRONIZED MULTIMEDIA INTEGRATION LANGUAGE (SMIL);

INFORMATION RETRIEVAL SYSTEMS;

EID: 0034503085 PISSN: None EISSN: None Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper

Times cited : (21)

References (16)

1
- 0001835548
- Automatically generating consistent schedules for multimedia documents
- (1993) Multimedia Systems Journal , vol.1 , Issue.2 , pp. 55-67
- Buchanan, M.C.¹ Zellweger, P.T.²

2
- 0030685963
- Events in interactive multimedia applications: Modelling and implementation design
- Ottawa - Canada, June
- (1997) Proc. of IEEE International Conference on Multimedia Computing and Systems (ICMCS'97)
- Vazirgiannis, M.¹ Boll, S.²

3
- 84905867089
- Madeus, an authoring environment for interactive multimedia documents
- Bristol, UK, Sep.
- (1998) Proc. of ACM Multimedia'98 , pp. 267-272
- Jourdan, M.¹ Layaïda, N.² Roisin, C.³ Sabry-Ismail, L.⁴ Tardif, L.⁵

4
- 0006507076
- June
- (1998) W3C Recommendation. Synchronized Multimedia Integration Language (SMIL) 1.0 Specification

5
- 84905853285
- Design methodology and formal validation of hypermedia documents
- Bristol, UK, Sep.
- (1998) Proc. of ACM Multimedia'98 , pp. 39-48
- Santos, C.A.S.¹ Soares, L.F.G.² Souza, G.L.³ Courtiat, J.-P.⁴

6
- 38149040112
- Revisiting the concept of hypermedia document consistency
- Orlando, USA, November
- (1999) ACM Multimedia'99
- Santos, C.A.S.¹ Sampaio, P.N.M.² Courtiat, J.-P.³

7
- 0033746535
- Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique
- Computer Communications N.23
- Courtiat, J.P.¹ Santos, C.A.S.² Lohr, C.³ Outtaj, B.⁴

8
- 0003086869
- Introduction to the ISO specification language LOTOS
- P.H.J. van Eijk, C.A. Vissers, and M.Diaz, editors, Elsevier Science Publishers B.V. North-Holland
- (1989) The Formal Description Technique LOTOS , pp. 23-76
- Bolognesi, T.¹ Brinksma, E.²

9
- 0001449044
- Nested composite nodes and version control in an open hypermedia system
- Sep.
- (1995) Information Systems Journal , pp. 501-519
- Soares, L.F.G.¹ Rodriguez, N.L.R.² Casanova, M.A.³

10
- 0006499240
- A design methodology for the formal specification and verification of hypermedia documents
- Paris, France, November, Chapman & Hall
- (1998) Proc. of FORTE/PSTV'98
- Santos, C.A.S.¹ Courtiat, J.-P.² Saqui-Sannes, P.³

11
- 0030394832
- Proving temporal consistency in a new multimedia synchronization model
- Boston, USA, Nov.
- (1996) Proc. of ACM Multimedia'96 , pp. 141-152
- Courtiat, J.-P.¹ Oliveira, R.C.²

12
- 0006497567
- RealSystem G2 Home Page (Version 6.0)

13
- 0006432205
- GRiNS Home Page (Version 1.0)

14
- 0006424234
- HPAS Home Page (Version 1.0)

15
- 0006455936
- Helio Barbizon Home Page (Version Cherbourg 1.0)

16
- 0006470189
- Submitted for publication
- (2000) Time Labeled Automata
- Lohr, C.¹ Santos, C.A.S.² Sampaio, P.N.M.³ Courtiat, J.-P.⁴

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.