A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
A Framework for Composition, Verification and Real-Time Performance of Multimedia Interactive Scenarios
2015
2015 15th International Conference on Application of Concurrency to System Design
Preserved Fulltext
Also, we would like to thank Jean-Michaël Celerier for his valuable remarks about the paper. ...
This work has been supported by the ANR project OSSIA (ANR-12-CORD-0024) and SCRIME (Studio de Création et de Recherche en Informatique et Musique Électroacoustique). ...
CONCLUDING REMARKS AND RELATED WORK In this paper, we have presented a novel framework for composition, verification and real-time performance of interactive multimedia scenarios. ...
doi:10.1109/acsd.2015.8
dblp:conf/acsd/AriasDR15
fatcat:dn7ohmiayrhwbo2m5ghpytrgpy
xTune
2008
ACM SIGBED Review
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
Adaptive resource management is critical to ensuring the quality of real-time multimedia communication, particularly for energy-constrained mobile handheld devices. ...
Our unified framework tunes the parameters in a compositional manner allowing coordinated interaction among sub-layer optimizers that enables holistic cross-layer optimization. ...
a distributed real-time environment. ...
doi:10.1145/1366283.1366307
fatcat:3cksnmaiizhprlvbl6r5ztsg7m
A Brief of Review: Multimedia Authoring Tool Attributes
2021
Ingénierie des Systèmes d'Information
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
The use of the Petri net model, the Hoare Logic, and the Simple Interactive Multimedia Model as a formal verification model can improve the performance of the Multimedia Authoring Tool. ...
These attributes are Editing, Services, Performance, and the Formal Verification Model. Editing attribute is an attribute for interfacing with the author. ...
A secure framework for multimedia distribution needs to be used to ensure its security, performance, and to protect digital privacy [7] [8] [9] [10] . ...
doi:10.18280/isi.260101
fatcat:yftuowdfvrgtrity5gp5opyjpa
Spatiotemporal Specification & Verification of Multimedia Scenarios
[chapter]
1999
Database Semantics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
The tool may be used both for prototyping and verification of multimedia presentations or spatiotemporal compositions in general. ...
A Multimedia Application (MAP) consists of a set of media objects ordered in the spatial and tempocal domains. ...
interactive and temporal multimedia compositions. ...
doi:10.1007/978-0-387-35561-0_11
fatcat:euv2rrs7brfynoo42z2rrwtbxi
Design of an Online Charging System to Support IMS-Based Inter-domain Composite Services
[chapter]
2009
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
The 3rd Generation Partnership Project (3GPP) has developed a framework for off-line and online charging of IMS-based services. ...
The design consists of a service composition information model guided by the NGOSS and SID concepts of the Tele-Management Forum, a set of functional charging system components and their interactions at ...
With the uptake of more valuable, complex services most customers of composite multimedia services want to obtain (near) real-time charging and billing information to manage their expenses during usage ...
doi:10.1007/978-3-642-04994-1_1
fatcat:unr4w5s6cvfcriay7mctck2e5q
An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems
[chapter]
2009
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The FORCES project aims at providing robust and declarative formalisms for analyzing systems in the emerging areas of Security Protocols, Biological Systems and Multimedia Semantic Interaction. ...
This short paper describes FORCES's motivations, results and future research directions. ...
In multimedia interaction settings the real-time execution of models is central. ...
doi:10.1007/978-3-642-02846-5_44
fatcat:p5icbugmf5cilciphhqle7rhci
Enhanced Telecom Operation Management Scenarios for IMS Networks
2011
International Journal of Next-Generation Networks
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
Moreover the eTOM Framework includes the scenarios of monitoring service delivery that enable real-time tracking services being supplies. ...
The integration of IMS networks will enable telecom operators to evolve in a manner transparent to the incessant demand for the multimedia services. ...
ACKNOWLEDGEMENTS This work was supported in part by a grant from MÉDITELECOM. ...
doi:10.5121/ijngn.2011.3202
fatcat:fm3l4mfp5jatzfyj2smutlxuha
Authoring and Automatic Verification of Interactive Multimedia Scores
2016
Journal of New Music Research
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Acknowledgements We thank the anonymous reviewers for their detailed comments that helped us to improve this paper. ...
Also, we would like to thank Jean-Michel Couturier for his valuable remarks about the paper. This work has been
References ...
Hierarchical interactive multimedia scenarios To conclude, a hierarchical interactive multimedia scenario is a network of timed automata representing the execution in parallel of the TOs and TRs defined ...
doi:10.1080/09298215.2016.1248444
fatcat:g6xjapsic5ayzghegn2knb6rm4
An Extension of Interactive Scores for Multimedia Scenarios with Temporal Relations for Micro and Macro Controls
[article]
2015
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
On the contrary, the formalism of interactive scores can describe multimedia scenarios with flexible and fixed temporal relations among the objects of the scenario, but cannot express neither temporal ...
Software to design multimedia scenarios is usually based either on a fixed timeline or on cue lists, but both models are unrelated temporally. ...
Using Faust and Ntccrt, we achieved an efficient and real-time capable performance of a scenario -even under high CPU-load. ...
arXiv:1510.03090v1
fatcat:dewvlrliwffu3i6spwa6r57c6m
Formal Design of Interactive Multimedia Documents
[chapter]
2003
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
The expressiveness power and flexibility of high-level authoring models (such as W3C SMIL 2.0 language) used for editing complex interactive multimedia documents can lead authors to specify inter-media ...
It is shown how the results of the verification phase can be used by a scheduling automaton for avoiding undesirable temporal inconsistencies at presentation time, as well as for generating a new document ...
Thanks are also due to Pierre de Saqui-Sannes for proofreading this paper. ...
doi:10.1007/978-3-540-39979-7_23
fatcat:skezsmb2dfc7dmmu2pfbfkadbu
A Formal Methodology for Compositional Cross-Layer Optimization
[chapter]
2011
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The xTune framework employs iterative tuning using lightweight formal verification at runtime with feedback for dynamic adaptation of mobile real-time embedded systems. ...
Finally, we propose a composition method for coordinated interaction of optimizers at different abstraction layers. ...
Using multimedia as a demonstrator, we have developed general principles and a framework. ...
doi:10.1007/978-3-642-24933-4_10
fatcat:vocrn6zoizcgdfzkscymtz3wfu
Formalization and Verification of a Live Multimedia Presentation Model
2011
International Journal of Computer Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Finally, to verify the model we used scenario-based and developed an application as a tool to accomplish the verification process. ...
and playing out the multimedia elements are done during presentation time. ...
It is a continuation of previous author's work about developing and proposing a live multimedia presentation model. ...
doi:10.5120/2404-3198
fatcat:bm3fek22rven5lkl5u67i2nbee
Current Trends and Future Research Directions for Interactive Music
[article]
2018
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
languages, synchronous dataflow languages, process calculi, temporal constraints and interactive scores. ...
Formal approaches have the advantage of providing rigorous semantics of the behavior of the model and proving correctness during execution. ...
However, we argue that OpenMusic [22] is a software for composition and is not meant for real-time interaction. ...
arXiv:1810.04276v1
fatcat:oeo3xp422jfaragsx7o23sobn4
Ensuring Security and Availability through Model-Based Cross-Layer Adaptation
[chapter]
2011
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
The operating scenarios are highly networked, and involve interactions among multiple abstraction layers (application, middleware, OS, hardware) in a distributed real-time environment. ...
These studies successfully addressed system adaptation and explored the tradeoff with performance, energy, quality of service (QoS), and timeliness for mobile multimedia applications. ...
Additional support from National Science Foundation Grant 0932397 (A Logical Framework for Self-Optimizing Networked Cyber-Physical Systems) is gratefully acknowledged. ...
doi:10.1007/978-3-642-23641-9_26
fatcat:odykiggea5b2vixqebvvij2gp4
Real-Time Multimedia Stream Data Processing in a Supercomputer Environment
[chapter]
2012
Interactive Multimedia
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
PBS), the platform provides service-oriented and real-time features, enabling easy development of the live multimedia streams services and user applications. ...
The multimedia processing, related to the video and audio surveillance systems, requires a real-time environment, supporting the continuous processing of live data streams, which brings new challenges ...
Performance is crucial for real-time processing, both processor speed and network bandwidth need to be examined, for the platform to work in the real environment. ...
doi:10.5772/36673
fatcat:natzpbvax5biphnmriy3hbzapq
« Previous
Showing results 1 — 15 out of 3,470 results