Author of the publication

Modeling and Verification of Interactive Flexible Multimedia Presentations Using PROMELA/SPIN.

, and . SPIN, volume 2318 of Lecture Notes in Computer Science, page 205-212. Springer, (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

SynchRuler: A Rule-Based Flexible Synchronization Model with Model Checking., and . IEEE Trans. Knowl. Data Eng., 17 (12): 1706-1720 (2005)Mirage: an O(n) time analytical solution to 3D camera pose estimation with multi-camera support., , and . Robotica, 35 (12): 2278-2296 (2017)Blockchain-based video forensics and integrity verification framework for wireless Internet-of-Things devices., , , , , and . Secur. Priv., (2021)Privacy-Preserving and Efficient Sharing of Drone Videos in Public Safety Scenarios using Proxy Re-encryption., , , , and . IRI, page 45-52. IEEE, (2020)Protein crystallization screening using enhanced associative experimental design., , and . Netw. Model. Anal. Health Informatics Bioinform., 8 (1): 17 (2019)The impact of data aggregation on the performance of wireless sensor networks., , and . Wirel. Commun. Mob. Comput., 8 (2): 171-193 (2008)Retinal Biomarkers for Detecting Diabetic Retinopaty Using Smartphone-Based Deep Learning Frameworks., and . ICASSP, page 1-5. IEEE, (2023)Analyzing the Performance of Hierarchical Binary Classifiers for Multi-class Classification Problem Using Biological Data., and . ICMLA (2), page 145-150. IEEE, (2012)978-1-4673-4651-1.Global motion estimation from semi-dynamic video using motion sensors., and . ICIP (2), page 273-276. IEEE, (2002)NetMedia: Giving Control to Distributed Multimedia Presentation Systems., , , and . SSDBM, page 276. IEEE Computer Society, (1999)