Author of the publication

PSTECEQL: A NOVEL EVENT QUERY LANGUAGE FOR VANET’S UNCERTAIN EVENT STREAMS

, , and . International Journal on Foundations of Computer Science & Technology (IJFCST), 5 (3): 14 (March 2015)
DOI: 10.5121/ijfcst.2015.5201

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

Quantitative Analysis of Lattice-valued Kripke Structures., , , and . Fundam. Informaticae, 135 (3): 269-293 (2014)Two-thirds simulation indexes and modal logic characterization., , , and . Frontiers Comput. Sci. China, 5 (4): 454-471 (2011)A Novel Real-Time Traffic Signal Control Strategy for Emergency Vehicles., and . IEEE Access, (2022)Efficient tasks scheduling in multicore systems integrated with hardware accelerators., , and . J. Supercomput., 79 (7): 7244-7271 (May 2023)A Framework for Data-Driven Automata Design., , and . APRES, volume 558 of Communications in Computer and Information Science, page 33-47. Springer, (2015)A Quantitative Relation Model between Trustworthy Attributes., and . QLSC, volume 5 of World Scientific Proceedings Series on Computer Engineering and Informtion Science, World Scientific, (2012)A new metric model for trustworthiness of softwares., and . Telecommun. Syst., 51 (2-3): 95-105 (2012)Connection models for the Internet-of-Things., , , and . Frontiers Comput. Sci., 14 (3): 143401 (2020)A clock-based dynamic logic for the verification of CCSL specifications in synchronous systems., , , and . Sci. Comput. Program., (2021)A Self-Adaptive Traffic Light Control System Based on Speed of Vehicles., , and . QRS Companion, page 382-388. IEEE, (2016)