Author of the publication

Model based verification of dynamically evolvable service oriented systems.

, , , and . Sci. China Inf. Sci., 59 (3): 32101:1-32101:17 (2016)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Retrieving Similar Software from Large-scale Open-source Repository by Constructing Representation of Project Description., , , and . IoTBDS, page 296-303. SCITEPRESS, (2020)Task Offloading for Scientific Workflow Application in Mobile Cloud., , , , , , and . IoTBDS, page 136-148. SciTePress, (2017)A Utility-Based Optimization Framework for Edge Service Entity Caching., , , , , and . IEEE Trans. Parallel Distributed Syst., 30 (11): 2384-2395 (2019)Automatically Classify Chinese Judgment Documents Utilizing Machine Learning Algorithms., , , , , , and . DASFAA Workshops, volume 10179 of Lecture Notes in Computer Science, page 3-17. Springer, (2017)Real-time and dynamic fault-tolerant scheduling for scientific workflows in clouds., , , , , and . Inf. Sci., (2021)Statute recommendation: Re-ranking statutes by modeling case-statute relation with interpretable hand-crafted features., , , , and . Inf. Sci., (2022)Synergy between Machine/Deep Learning and Software Engineering: How Far Are We?, , , , , , , and . CoRR, (2020)Multi-objective scheduling for scientific workflow in multicloud environment., , , , , , and . J. Netw. Comput. Appl., (2018)Energy cost minimization with job security guarantee in Internet data center., , , , , , and . Future Gener. Comput. Syst., (2017)Optimizing makespan and resource utilization for multi-DNN training in GPU cluster., , , , , and . Future Gener. Comput. Syst., (2021)