( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On the Verification of Behavioral and Probabilistic Web Services Using Transformation.

, , и . ICWS, стр. 548-555. IEEE Computer Society, (2011)

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.

Aygul Jamal

Wasifa Jamal

Natalie Jamal

Amal Jamal

Nawid Jamali

 

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

Verification and testing of safety-critical airborne systems: A model-based methodology., , , , и . Comput. Sci. Inf. Syst., 17 (1): 271-292 (2020)Computational logics and verification techniques of multi-agent commitments: survey., , , , и . Knowl. Eng. Rev., 30 (5): 564-606 (2015)Deep reinforcement learning for the computation offloading in MIMO-based Edge Computing., , , , и . Ad Hoc Networks, (марта 2023)A Trust and Energy-Aware Double Deep Reinforcement Learning Scheduling Strategy for Federated Learning on IoT Devices., , , и . ICSOC, том 12571 из Lecture Notes in Computer Science, стр. 319-333. Springer, (2020)Cloudchain: A Blockchain-Based Coopetition Differential Game Model for Cloud Computing., , , и . ICSOC, том 11236 из Lecture Notes in Computer Science, стр. 146-161. Springer, (2018)Explainable Trust-aware Selection of Autonomous Vehicles Using LIME for One-Shot Federated Learning., , и . IWCMC, стр. 524-529. IEEE, (2023)Explainable AI-based Federated Deep Reinforcement Learning for Trusted Autonomous Driving., , и . IWCMC, стр. 318-323. IEEE, (2022)Designing and Implementing B2B Applications Using Argumentative Agents., , , , и . SoMeT, том 182 из Frontiers in Artificial Intelligence and Applications, стр. 165-189. IOS Press, (2008)Simulating new markets by introducing new accepting policies for the conventional continuous double auction., , , , и . SpringSim, стр. 89-97. SCS/ACM, (2008)Model checking temporal knowledge and commitments in multi-agent systems using reduction., , , , и . Simul. Model. Pract. Theory, (2015)