FORMAL DESIGN OF SMIL DOCUMENTS

Abdelkader Belkhir; Samia Bouyakoub-Smail

Research.Publish.Connect.

*Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Country:
Subject:

Advanced Search Affiliations Search

If you're looking for an exact phrase use quotation marks on text fields.

Proceedings

Proceedings Search *Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Papers

Papers Search *Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Authors

Authors Search *Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Advanced Search

Paper

FORMAL DESIGN OF SMIL DOCUMENTS

Topics: Multimedia and User Interfaces; User Modeling; XML and Data Management

In Proceedings of the Third International Conference on Web Information Systems and Technologies - Volume 1: WEBIST, 396-399, 2007 , Barcelona, Spain

Authors: Abdelkader Belkhir and Samia Bouyakoub-Smail

Affiliation: Faculty of Electronics and Computer Science, USTHB University, Algeria

Keyword(s): Multimedia presentations, modelling and verification, formal techniques, Petri nets, SMIL.

Related Ontology Subjects/Areas/Topics: Internet Technology ; Multimedia and User Interfaces ; User Modeling ; Web Information Systems and Technologies ; Web Interfaces and Applications ; XML and Data Management

Abstract: This article introduces a new formal technique based on extended timed Petri nets, called SMIL-Net for the modelling and the verification of SMIL presentations. We also propose a technique for the temporal and hyper-temporal consistency checking of the document based on the SMIL-Net model.

CC BY-NC-ND 4.0

Guest: Register as new SciTePress user now for free.

SciTePress user: please login.

My Papers

You are not signed in, therefore limits apply to your IP address 18.119.137.175

In the current month:

Recent papers: 100 available of 100 total

2⁺ years older papers: 200 available of 200 total

Paper citation in several formats:

Belkhir, A. and Bouyakoub-Smail, S. (2007). FORMAL DESIGN OF SMIL DOCUMENTS. In Proceedings of the Third International Conference on Web Information Systems and Technologies - Volume 1: WEBIST; ISBN 978-972-8865-78-8; ISSN 2184-3252, SciTePress, pages 396-399. DOI: 10.5220/0001271403960399

@conference{webist07,
author={Abdelkader Belkhir. and Samia Bouyakoub{-}Smail.},
title={FORMAL DESIGN OF SMIL DOCUMENTS},
booktitle={Proceedings of the Third International Conference on Web Information Systems and Technologies - Volume 1: WEBIST},
year={2007},
pages={396-399},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001271403960399},
isbn={978-972-8865-78-8},
issn={2184-3252},
}

TY - CONF

JO - Proceedings of the Third International Conference on Web Information Systems and Technologies - Volume 1: WEBIST
TI - FORMAL DESIGN OF SMIL DOCUMENTS
SN - 978-972-8865-78-8
IS - 2184-3252
AU - Belkhir, A.
AU - Bouyakoub-Smail, S.
PY - 2007
SP - 396
EP - 399
DO - 10.5220/0001271403960399
PB - SciTePress