Automated model checking and testing for composite web services H Huang, WT Tsai, R Paul Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed …, 2005 | 183 | 2005 |
A software reliability model for web services. WT Tsai, D Zhang, Y Chen, H Huang, RA Paul, N Liao IASTED Conf. on Software Engineering and Applications, 144-149, 2004 | 137 | 2004 |
Adaptive testing, oracle generation, and test case ranking for web services WT Tsai, Y Chen, R Paul, H Huang, X Zhou, X Wei 29th Annual International Computer Software and Applications Conference …, 2005 | 101 | 2005 |
Cooperative and group testing in verification of dynamic composite web services WT Tsai, Y Chen, R Paul, N Liao, H Huang Proceedings of the 28th Annual International Computer Software and …, 2004 | 89 | 2004 |
Services-oriented dynamic reconfiguration framework for dependable distributed computing WT Tsai, W Song, R Paul, Z Cao, H Huang COMPSAC 1, 554-559, 2004 | 88 | 2004 |
Developing and assuring trustworthy web services WT Tsai, X Wei, Y Chen, B Xiao, R Paul, H Huang Proceedings Autonomous Decentralized Systems, 2005. ISADS 2005., 43-50, 2005 | 83 | 2005 |
Dynamic coverage in ad-hoc sensor networks H Huang, AW Richa, M Segal Mobile Networks and Applications 10 (1), 9-17, 2005 | 61 | 2005 |
Testing web services using progressive group testing WT Tsai, Y Chen, Z Cao, X Bai, H Huang, R Paul Content Computing: Advanced Workshop on Content Computing, AWCC 2004 …, 2004 | 59 | 2004 |
Approximation algorithms for the mobile piercing set problem with applications to clustering in ad-hoc networks H Huang, AW Richa, M Segal Proceedings of the 6th international workshop on Discrete algorithms and …, 2002 | 53 | 2002 |
Model checking technologies for web services H Huang, RA Mason The Fourth IEEE Workshop on Software Technologies for Future Embedded and …, 2006 | 33 | 2006 |
Voting multi-dimensional data with deviations for web services under group testing WT Tsai, Y Chen, D Zhang, H Huang 25th IEEE International Conference on Distributed Computing Systems …, 2005 | 26 | 2005 |
Score identity distillation: Exponentially fast distillation of pretrained diffusion models for one-step generation M Zhou, H Zheng, Z Wang, M Yin, H Huang Forty-first International Conference on Machine Learning, 2024 | 21 | 2024 |
Semantic interoperability and its verification and validation in C2 systems WT Tsai, R Paul, H Huang, B Xiao, Y Chen 10th International command and control research and technology symposium …, 2005 | 18 | 2005 |
Scheduling simulation in a distributed wireless embedded system Y Chen, H Huang, WT Tsai Simulation 81 (6), 425-436, 2005 | 13 | 2005 |
Proof slicing with application to model checking web services H Huang, WT Tsai, R Paul Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed …, 2005 | 13 | 2005 |
Relative preference optimization: Enhancing llm alignment through contrasting responses across identical and diverse prompts Y Yin, Z Wang, Y Gu, H Huang, W Chen, M Zhou arXiv preprint arXiv:2402.10958, 2024 | 8 | 2024 |
A scenario-based service-oriented rapid multi-agent distributed modeling and simulation framework for SoS/SOA and its applications WT Tsai, C Fan, Z Cao, B Xiao, H Huang, X Liu, X Wei, R Paul, Y Chen, ... Foundations 4, 2004 | 8 | 2004 |
E2E testing and evaluation of high assurance systems R Paul, WT Tsai, Y Chen, C Fan, Z Cao, H Huang Handbook of Engineering Statistics, edited by H. Pham, Springer-Verlag, London, 2006 | 5 | 2006 |
Autonomous hot patching for web-based applications H Huang, WK Tsai, Y Chen 29th Annual International Computer Software and Applications Conference …, 2005 | 5 | 2005 |
Long and Short Guidance in Score identity Distillation for One-Step Text-to-Image Generation M Zhou, Z Wang, H Zheng, H Huang arXiv preprint arXiv:2406.01561, 2024 | 4 | 2024 |