원문정보
초록
영어
We propose in this paper a formal methodology that makes it possible to check whether a multimedia presentation could behave consistently when it is processed in a resource-limited environment. The approach uses the TSPN model to specify the resource constraints of the environment as well as the time and the synchronization requirements of the presentation. A graph is then built from this specification to check over its consistency. Hence it becomes possible to manage more efficiently the resource availability, and to adapt the content of the presentation so that the latter can be performed consistently under the given environment constraints.
목차
Abstract
1. Introduction
2. Methodology
2.1. The modeling process
2.2. Example
3. Consistency verification
4. Conclusion
References
1. Introduction
2. Methodology
2.1. The modeling process
2.2. Example
3. Consistency verification
4. Conclusion
References