( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Büchi automata based model checking framework for reo connectors.

, , и . SAC, стр. 1536-1543. ACM, (2012)

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.

Chokouh-Aazam Movaghar

ali

Ali Aassie Ali

Ali Yasen Ali

Ali Ramadan Ali

 

Другие публикации лиц с тем же именем

Compositional failure-based semantic equivalences for Reo specifications., и . SAVCBS, стр. 99-100. ACM, (2007)Cost-Efficient Scheduling for Deadline Constrained Grid Workflows., , и . Comput. Informatics, 37 (4): 838-864 (2018)Cache Subsidies for an Optimal Memory for Bandwidth Tradeoff in the Access Network., , , и . IEEE J. Sel. Areas Commun., 38 (4): 736-749 (2020)PDC: Prediction-based data-aware clustering in wireless sensor networks., , , , и . J. Parallel Distributed Comput., (2015)Vulnerability analysis of networks to detect multiphase attacks using the actor-based language Rebeca., , , , и . Comput. Electr. Eng., 36 (5): 874-885 (2010)Bandwidth-Delay Constrained Least Cost Multicast Routing for Multimedia Communication., , и . CSICC, том 6 из Communications in Computer and Information Science, стр. 737-740. (2008)Modeling Routing Protocols in Adhoc Networks., и . CSICC, том 6 из Communications in Computer and Information Science, стр. 419-426. (2008)A novel human mobility model for MANETs based on real data., , , и . ICCCN, стр. 1-7. IEEE, (2014)Non-Preemptive Earliest-Deadline-First Scheduling Policy: A Performance Study., и . MASCOTS, стр. 201-210. IEEE Computer Society, (2005)An improved replacement algorithm in fault-tolerant meshes., , и . SCSC, стр. 443-448. Simulation Councils, Inc., (2007)