Performance Evaluation of the NDN Data Plane Using Statistical Model Checking-Reference-Cited by-同舟云学术

Performance Evaluation of the NDN Data Plane Using Statistical Model Checking

Published:2019 Issue: Volume: Page:534-550
ISSN:0302-9743
Container-title:Automated Technology for Verification and Analysis
language:
Short-container-title:

Author:

Khoussi Siham,Nouri Ayoub,Shi Junxiao,Filliben James,Benmohamed Lotfi,Battou Abdella,Bensalem Saddek

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-31784-3_31

Reference19 articles.

1. Brown, B.: Cisco, UCLA & more launch named data networking consortium. [online] network world (2019). https://www.networkworld.com/article/2602109/ucla-cisco-more-join-forces-to-replace-tcpip.html

2. Dataplot homepage. https://www.itl.nist.gov/div898/software/dataplot/homepage.htm

3. NFD Developer’s Guide. Tech. rep. http://named-data.net/techreports.html

4. Lecture Notes in Computer Science;A Basu,2010

5. Lecture Notes in Computer Science;A Basu,2010

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. IoT Capabilities Composition and Decomposition: A Systematic Review;IEEE Access;2023

2. Named Data Networking for Genomics Data Management and Integrated Workflows;Frontiers in Big Data;2021-02-15

3. Named Data Networking for Content Delivery Network Workflows;2020 IEEE 9th International Conference on Cloud Networking (CloudNet);2020-11-09

4. Elastic Gigabit NDN Forwarder for Big Data Applications;2019 Global Information Infrastructure and Networking Symposium (GIIS);2019-12

5. Performance Evaluation of the NDN Data Plane Using Statistical Model Checking;Automated Technology for Verification and Analysis;2019