Accepted: 16 January 2021 Multimedia authoring is the process of assembling various types
of media content such as audio, video, text, images, and animation into a multimedia …

Multimedia Authoring is a way to develop a multimedia presentation. Multimedia content
includes images, sounds, videos, texts, and animations. The Kernel Mechanism of …

We present in this article a temporal SMIL editor with incremental verification capabilities,
based on a formal Petri Net--based model. Our authoring tool, named SMIL Builder, allows …

In this paper, we consider the problem of automatic verification of SMIL documents and
present a tool which can assist the user in the complex task of authoring a multimedia …

We provide a framework for hierarchical specification called Hierarchical Decision Process
Petri Nets (HDPPNs). It is an extension of Decision Process Petri Nets (DPPNs) including a …

Abstract Multimedia Authoring Tool is a tool for creating multimedia presentations. With this
tool, a user can produce playable multimedia documents. A Multimedia Authoring Tool …

The challenging problem of formal verification of SMIL (Synchronized Multimedia Integration
Language Specification) documents is considered in this paper, where we propose a hybrid …

Multimedia authoring tool performs to combine various kinds of media, both visual and non-
visual media into a multimedia document. The process for converting media objects into …

The Internet of things aims to create a continuity between real and digital worlds, by
integrating physical objects into the digital universe. This will increase the number of …

The development of wireless Internet technologies and mobile devices make it possible to
move a large-scale Internet site to a mobile phone. The number of mobile users keeps …