Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Shi Ying
2010 – today
- 2012
[j6]Kai Zhao, Linlin Zhang, Shi Ying: Ontology-Based Exception Handling for Semantic Business Process Execution. JSW 7(8): 1791-1798 (2012)- [c16]Yi Zheng, Shi Ying, Yibing Wang: Event Recognition Based on Co-occurrence Concept Analysis. CLSW 2012: 102-109
- [c15]Quanyu Wang, Guobin Lv, Shi Ying, Jing Wen: A policy-driven exception handling approach for service-oriented processes. CSCWD 2012: 449-455
- [c14]
- 2011
- [j5]Pei He, Lishan Kang, Colin G. Johnson, Shi Ying: Hoare logic-based genetic programming. SCIENCE CHINA Information Sciences 54(3): 623-637 (2011)
- [j4]Qinbao Song, Zihan Jia, Martin J. Shepperd, Shi Ying, Jin Liu: A General Software Defect-Proneness Prediction Framework. IEEE Trans. Software Eng. 37(3): 356-370 (2011)
- 2010
- [c13]Zhen You, Jinyun Xue, Shi Ying: Categorial Semantics of a Solution to Distributed Dining Philosophers Problem. FAW 2010: 172-184
- [e1]Der-Tsai Lee, Danny Z. Chen, Shi Ying (Eds.): Frontiers in Algorithmics, 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings. Lecture Notes in Computer Science 6213, Springer 2010, ISBN 978-3-642-14552-0
2000 – 2009
- 2009
- [j3]Yingxu Wang, Cyprian F. Ngolah, Hadi Ahmadi, Phillip C.-Y. Sheu, Shi Ying: The Formal Design Model of a Lift Dispatching System (LDS). IJSSCI 1(4): 111-137 (2009)
- [c12]Luokai Hu, Shi Ying, Xiangyang Jia, Kai Zhao: Towards an Approach of Semantic Access Control for Cloud Computing. CloudCom 2009: 145-156
- [c11]Xiangyang Jia, Shi Ying, Luokai Hu, Chunlin Chen: Scheduling Active Services in Clustered JBI Environment. CloudCom 2009: 413-422
- [c10]Wen-jie Yuan, Shi Ying: A Reflective Requirements Specification for Requirements Evolving. WGEC 2009: 23-26
- 2008
- [j2]Tao Zhang, Shi Ying, Sheng Cao, Jiankeng Zhang: A modelling approach to service-oriented architecture. Enterprise IS 2(3): 239-257 (2008)
- [c9]Youcong Ni, Shi Ying, Jing Wen, Linlin Zhang, Peng Ye, Jiajing Zhang: Study on Weaving Process at Software Architectural level. APSCC 2008: 1574-1577
- [c8]Zhang Lin-lin, Shi Ying, Ni You-cong, Wen Jing, Kai Zhao, Ye Peng: Towards Multi-Dimensional Separating of NFRs in Software Architecture. CSSE (2) 2008: 104-107
- [c7]Yao Jun-feng, Shi Ying, Wen-jie Yuan, Ye Peng, Luo Ju-bo, Jia Xiang-Yang: A Framework of Reflective Mechanism for Supporting OWL-S Requirements Specifications Evolution. CSSE (2) 2008: 288-291
- 2007
- [c6]Xiangyang Jia, Shi Ying, Tao Zhang, Honghua Cao, Dan Xie: A New Architecture Description Language for Service-Oriented Architec. GCC 2007: 96-103
- 2006
- [c5]Honghua Cao, Shi Ying, Dehui Du: Towards Model-based Verification of BPEL with Model Checking. CIT 2006: 190
- [c4]Tao Zhang, Shi Ying, Sheng Cao, Xiangyang Jia: A Modeling Framework for Service-Oriented Architecture. QSIC 2006: 219-226
- [c3]Shi Ying, ZaoQing Liang, JunLi Wang, FuDi Wang: A Reflection Mechanism for Reusing Software Architecture. QSIC 2006: 235-243
- 2004
- [c2]
- [c1]Dehui Du, Shi Ying, Keqing He, Yangfan He: An Approach for Constructing Software Component Repository in Grid Environments. GCC Workshops 2004: 75-82
1990 – 1999
- 1999
- [j1]Guoqing Wu, Xiang Liu, Shi Ying, Tamai Tetsuo: Automated analysis of the SCR-style requirements specifications. J. Comput. Sci. Technol. 14(4): 401-407 (1999)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-05-29 22:21 CEST by the dblp team