Sciweavers

MM
1993
ACM
122views Multimedia» more  MM 1993»
13 years 11 months ago
Synchronization Models for Multimedia Presentation with User Participation
This paper addresses the key issue of providing flexible multimedia presentation with user participation and suggests synchronization models which can specify the user participat...
B. Prabhakaran, S. V. Raghavan
HASE
1999
IEEE
13 years 12 months ago
Automatic Dependability Analysis for Supporting Design Decisions in UML
Even though a thorough system specification improves the quality of the design , it is not sufficient to guarantee that a system will satisfy its reliability targets. Within this ...
Andrea Bondavalli, Ivan Mura, István Majzik
SOFSEM
2009
Springer
14 years 4 months ago
Symbolic Reachability Analysis of Integer Timed Petri Nets
Petri nets are an effective formalism to model discrete event systems, and several variants have been defined to explicitly include real time in the model. We consider two fundam...
Min Wan, Gianfranco Ciardo