Author of the publication

A Model of Multi-agent Design for Virtualization Resource Configuration in Cloud Computing

, , and . Computers, Networks, Systems and Industrial Engineering (CNSI), 2011 First ACIS/JNU International Conference on, page 234-239. (May 2011)
DOI: 10.1109/CNSI.2011.15

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

Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System., , , , , , , , and . Int. J. Softw. Tools Technol. Transf., 5 (4): 308-319 (2004)Formal Verification of Blockchain Smart Contracts via ATL Model Checking., and . IEEE Access, (2022)Automatic web service composition with abstraction and refinement., , and . WWW, page 1121-1122. ACM, (2009)Modeling autonomous military robots using hybrid system framework., , , , , , and . ICTC, page 429-430. IEEE, (2010)Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition., and . ATVA, volume 4218 of Lecture Notes in Computer Science, page 170-185. Springer, (2006)Synthesis of interface specifications for Java classes., , , and . POPL, page 98-109. ACM, (2005)Computational Complexity of Web Service Composition Based on Behavioral Descriptions., , and . ICTAI (1), page 359-363. IEEE Computer Society, (2008)Active Learning of Plans for Safety and Reachability Goals With Partial Observability., and . IEEE Trans. Syst. Man Cybern. Part B, 40 (2): 412-420 (2010)Graph Theoretic Topological Analysis of Web Service Networks., , , , and . World Wide Web, 12 (3): 321-343 (2009)On the computational complexity of behavioral description-based web service composition., , and . Theor. Comput. Sci., 412 (48): 6736-6749 (2011)