Treffer 1 - 20 von 178 für Suche 'Vinh Cong Phan', Suchdauer: 3,53s Treffer weiter einschränken
  1. 1
    Context-Aware Systems and Applications: 12th EAI International Conference, ICCASA 2023, Ho Chi Minh City, Vietnam, October 26-27, 2023, Proceedings

    Context-Aware Systems and Applications: 12th EAI International Conference, ICCASA 2023, Ho Chi Minh City, Vietnam, October 26-27, 2023, Proceedings von Cong Vinh, Phan, Thanh Tung, Nguyen

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Nature of Computation and Communication: 9th EAI International Conference, ICTCC 2023, Ho Chi Minh City, Vietnam, October 26-27, 2023, Proceedings

    Nature of Computation and Communication: 9th EAI International Conference, ICTCC 2023, Ho Chi Minh City, Vietnam, October 26-27, 2023, Proceedings von Cong Vinh, Phan, Mahfooz Ul Haque, Hafiz

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Context-Aware Systems and Applications (ICCASA 2018) and Nature of Computation and Communication (ICTCC 2018)

    Context-Aware Systems and Applications (ICCASA 2018) and Nature of Computation and Communication (ICTCC 2018) von Vinh, Phan Cong


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Security Analysis of the Access Control Solution of NDN Using BAN Logic

    Security Analysis of the Access Control Solution of NDN Using BAN Logic von Fei, Yuan, Zhu, Huibiao, Vinh, Phan Cong


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Formalization and Analysis of Haystack Architecture from Process Algebra Perspective

    Formalization and Analysis of Haystack Architecture from Process Algebra Perspective von Yin, Jiaqi, Zhu, Huibiao, Vinh, Phan Cong


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Formal Verification of mCWQ Using Extended Hoare Logic

    Formal Verification of mCWQ Using Extended Hoare Logic von Xie, Wanling, Zhu, Huibiao, Wu, Xi, Vinh, Phan Cong


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Modeling and Verifying Basic Modules of Floodlight

    Modeling and Verifying Basic Modules of Floodlight von Xiang, Shuangqing, Wu, Xi, Zhu, Huibiao, Xie, Wanling, Xiao, Lili, Vinh, Phan Cong


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Modeling and Reasoning about Preference-Based Context-Aware Agents over Heterogeneous Knowledge Sources

    Modeling and Reasoning about Preference-Based Context-Aware Agents over Heterogeneous Knowledge Sources von Uddin, Ijaz, Rakib, Abdur, Haque, Hafiz Mahfooz Ul, Vinh, Phan Cong


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Context-Aware Systems and Applications (ICCASA 2016, 2017) and Nature of Computation and Communication (ICTCC 2016, 2017)

    Context-Aware Systems and Applications (ICCASA 2016, 2017) and Nature of Computation and Communication (ICTCC 2016, 2017) von Vinh, Phan Cong, Barolli, Leonard, Cabri, Giacomo, Vassev, Emil


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Formal Analysis of the PKMv3 Protocol

    Formal Analysis of the PKMv3 Protocol von Zhu, Xiaoran, Xu, Yuanmin, Li, Xin, Guo, Jian, Zhu, Huibiao, Cong Vinh, Phan


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Context-awareness and Nature of Computation and Communication: ICCASA and ICTCC 2021

    Context-awareness and Nature of Computation and Communication: ICCASA and ICTCC 2021 von Vinh, Phan Cong


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Book Titled Nature-Inspired Networking: Theory and Applications: An Introduction

    Book Titled Nature-Inspired Networking: Theory and Applications: An Introduction von Cong Vinh, Phan


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Context-Aware Computing and Nature-Inspired Computing: ICCASA and ICTCC 2019

    Context-Aware Computing and Nature-Inspired Computing: ICCASA and ICTCC 2019 von Vinh, Phan Cong


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Special Issue on Context‐Aware Computing: Theory and Applications

    Special Issue on Context‐Aware Computing: Theory and Applications von Vinh, Phan Cong

    Veröffentlicht in Concurrency and computation

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    A Framework for Similarity Search in Streaming Time Series based on Spark Streaming

    A Framework for Similarity Search in Streaming Time Series based on Spark Streaming von Giao, Bui Cong, Vinh, Phan Cong


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Modeling and Verifying PSO Memory Model Using CSP

    Modeling and Verifying PSO Memory Model Using CSP von Xiao, Lili, Zhu, Huibiao, Xu, Qiwen, Vinh, Phan Cong


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Verification of RabbitMQ with Kerberos Using Timed Automata

    Verification of RabbitMQ with Kerberos Using Timed Automata von Li, Ran, Yin, Jiaqi, Zhu, Huibiao, Vinh, Phan Cong


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Welcome message from the Editor-in-Chief

    Welcome message from the Editor-in-Chief von Cong Vinh, Phan


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    An Introduction to the Book Titled Nature of Computation and Communication

    An Introduction to the Book Titled Nature of Computation and Communication von Cong Vinh, Phan


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Concurrency of self- in autonomic systems

    Concurrency of self- in autonomic systems von Cong Vinh, Phan


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: