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 …

Interactive videos have been applied to various areas due to their engagement potential and
efficiency improvement of information communication. However, creating interactive videos …

This paper describes a NCL 3.0 hypermedia application development toolchain which
supports the verification of temporal and spatial consistency of NCL applications. In this …

Over the years, different approaches to identify temporal and spatial conflicts in hypermedia
applications has been proposed. Most of them are based on formal verification techniques …

In this paper we define a formal semantics for the language SMIL which can be used in a
number of applications. First of all, we propose a computer aided authoring system which …

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 …

Authoring tools for editing hypermedia documents should be able to describe temporal and
spatial relationships among objects, and user interactions as well. These tools can also …

Nowadays, the use of multimedia for presentation needs has been widely used by various
parties. Multimedia authoring translates the input data in the form of spatial and temporal …