Filters








3,470 Hits in 6.5 sec

A Framework for Composition, Verification and Real-Time Performance of Multimedia Interactive Scenarios

Jaime Arias, Myriam Desainte-Catherine, Camilo Rueda
2015 2015 15th International Conference on Application of Concurrency to System Design  
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

Minyoung Kim
2008 ACM SIGBED Review  
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

Marvin Chandra Wijaya, Zulisman Maksom, Muhammad Haziq Lim Abdullah
2021 Ingénierie des Systèmes d'Information  
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]

I. Kostalas, T. Sellis, M. Vazirgiannis
1999 Database Semantics  
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]

M. van Le, G. B. Huitema, F. J. Rumph, L. J. M. Nieuwenhuis, B. J. F. van Beijnum
2009 Lecture Notes in Computer Science  
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]

Jesús Aranda, Gerard Assayag, Carlos Olarte, Jorge A. Pérez, Camilo Rueda, Mauricio Toro, Frank D. Valencia
2009 Lecture Notes in Computer Science  
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

Errais Mohammed, Raouyane Brahim, Mostafa Bellafkih, Ramdani Mohammed
2011 International Journal of Next-Generation Networks  
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

Jaime Arias, Jean-Michaël Celerier, Myriam Desainte-Catherine
2016 Journal of New Music Research  
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]

Mauricio Toro and Myriam Desainte-Catherine and Julien Castet
2015 arXiv   pre-print
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]

Jean-Pierre Courtiat
2003 Lecture Notes in Computer Science  
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]

Minyoung Kim, Mark-Oliver Stehr, Carolyn Talcott, Nikil Dutt, Nalini Venkatasubramanian
2011 Lecture Notes in Computer Science  
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

Rustam Asnawi, Wan Fatimah Wan Ahmad, Dayang Rohaya Awang Rambli
2011 International Journal of Computer Applications  
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]

Mauricio Toro
2018 arXiv   pre-print
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]

Minyoung Kim, Mark-Oliver Stehr, Ashish Gehani, Carolyn Talcott
2011 Lecture Notes in Computer Science  
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]

Henryk Krawczyk, Jerzy Proficz
2012 Interactive Multimedia  
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