English | 繁體

Search in the results

UM

Browse/Search Results:  1-2 of 2 Help

Selected(0)Clear Items/Page:    Sort:
Sova: A software-defined autonomic framework for virtual network allocations Journal article
Ye,Zhiyong, Wang,Yang, He,Shuibing, Xu,Chengzhong, Sun,Xian He. Sova: A software-defined autonomic framework for virtual network allocations[J]. IEEE Transactions on Parallel and Distributed Systems, 2020, 32(1), 116-130.
Authors:  Ye,Zhiyong;  Wang,Yang;  He,Shuibing;  Xu,Chengzhong;  Sun,Xian He
Favorite | TC[WOS]:5 TC[Scopus]:5  IF:5.6/4.5 | Submit date：2021/03/09
Autonomic Computing  Dynamic Sr-iov  Mape-k Loop  Network Allocation  Software-defined Approach  Virtual Machine Migration  
Colored Petri nets based hierarchical modeling and integrated model validation approach for complicated network software Journal article
Liu J., Ye X., Zhou J.. Colored Petri nets based hierarchical modeling and integrated model validation approach for complicated network software[J]. Gaojishu Tongxin/Chinese High Technology Letters, 2013, 23(11), 1139-1147.
Authors:  Liu J.;  Ye X.;  Zhou J.
Favorite | TC[Scopus]:1 | Submit date：2018/12/22
Colored Petri Nets (Cp-net)  Concurrency Control  Model Checking  Model Validation  Network Software