![]() | ![]() |
S. C. Cheung
張成志
List of publications from the DBLP Bibliography Server - FAQ
2009 | ||
---|---|---|
101 | EE | Chunyang Ye, Shing-Chi Cheung, Wing Kwon Chan, Chang Xu: Atomicity Analysis of Service Composition across Organizations. IEEE Trans. Software Eng. 35(1): 2-28 (2009) |
100 | EE | Lionel M. Ni, Yanmin Zhu, Jian Ma, Qiong Luo, Yunhao Liu, S. C. Cheung, Qiang Yang, Minglu Li, Min-You Wu: Semantic Sensor Net: an extensible framework. IJAHUC 4(3/4): 157-167 (2009) |
2008 | ||
99 | EE | Chang Xu, Shing-Chi Cheung, Wing Kwon Chan, Chunyang Ye: Heuristics-Based Strategies for Resolving Context Inconsistencies in Pervasive Computing Applications. ICDCS 2008: 713-721 |
98 | EE | Zhifeng Lai, Shing-Chi Cheung, Wing Kwon Chan: Inter-context control-flow and data-flow test adequacy criteria for nesC applications. SIGSOFT FSE 2008: 94-104 |
97 | EE | Wan-Chun Dou, Jinjun Chen, Shaokun Fan, S. C. Cheung: A context- and role-driven scientific workflow development pattern. Concurrency and Computation: Practice and Experience 20(15): 1741-1757 (2008) |
96 | EE | Shing-Chi Cheung, Dickson K. W. Chiu, Cedric Ho: The Use of Digital Watermarking for Intelligence Multimedia Document Distribution. JTAER 3(3): 103-118 (2008) |
2007 | ||
95 | S. C. Cheung, Yinsheng Li, Kuo-Ming Chao, Muhammad Younas, Jen-Yao Chung: Proceedings of ICEBE 2007, IEEE International Conference on e-Business Engineering and the Workshops SOAIC 2007, SOSE 2007, SOKM 2007, 24-26 October, 2007, Hong Kong, China IEEE Computer Society 2007 | |
94 | EE | W. K. Chan, Tsong Yueh Chen, S. C. Cheung, T. H. Tse, Zhenyu Zhang: Towards the Testing of Power-Aware Software Applications for Wireless Sensor Networks. Ada-Europe 2007: 84-99 |
93 | EE | Chunyang Ye, S. C. Cheung, W. K. Chan, Chang Xu: Detection and resolution of atomicity violation in service composition. ESEC/SIGSOFT FSE 2007: 235-244 |
92 | EE | Chang Xu, S. C. Cheung, W. K. Chan, Chunyang Ye: On impact-oriented automatic resolution of pervasive context inconsistency. ESEC/SIGSOFT FSE 2007: 569-572 |
91 | EE | Chang Xu, Shing-Chi Cheung, Wing Kwon Chan, Chunyang Ye: On impact-oriented automatic resolution of pervasive context inconsistency. ESEC/SIGSOFT FSE (Companion) 2007: 569-572 |
90 | EE | Dickson K. W. Chiu, Dan Hong, S. C. Cheung, Eleanna Kafeza: Towards Ubiquitous Government Services through Adaptations with Context and Views in a Three-Tier Architecture. HICSS 2007: 94 |
89 | EE | Jogesh K. Muppala, Zonghua Gu, S. C. Cheung: Teaching embedded systems software: The HKUST experience. ICPADS 2007: 1-6 |
88 | EE | T. H. Ng, S. C. Cheung, W. K. Chan, Y. T. Yu: Do Maintainers Utilize Deployed Design Patterns Effectively?. ICSE 2007: 168-177 |
87 | EE | Frank K. W. Cheong, Dickson K. W. Chiu, Shing-Chi Cheung, Patrick C. K. Hung: Developing a Distributed e-Monitoring System for Enterprise Website and Web Services: An Experience Report with Free Libraries and Tools. ICWS 2007: 1008-1015 |
86 | EE | Dan Hong, Dickson K. W. Chiu, Vincent Y. Shen, S. C. Cheung, Eleanna Kafeza: Ubiquitous enterprise service adaptations based on contextual user behavior. Information Systems Frontiers 9(4): 343-358 (2007) |
85 | EE | Wan-Chun Dou, Xiping Liu, Guihai Chen, S. C. Cheung, Shijie Cai: Knowledge flow management supporting complex problem solving: learning spectrum and its infrastructure. Int. J. Knowledge Learning 3(1): 88-105 (2007) |
84 | EE | Xiping Liu, Wanchun Dou, Jinjun Chen, Shaokun Fan, Shing-Chi Cheung, Shijie Cai: On design, verification, and dynamic modification of the problem-based scientific workflow model. Simulation Modelling Practice and Theory 15(9): 1068-1088 (2007) |
2006 | ||
83 | EE | W. K. Chan, S. C. Cheung, Jeffrey C. F. Ho, T. H. Tse: Reference Models and Automatic Oracles for the Testing of Mesh Simplification Software for Graphics Rendering. COMPSAC (1) 2006: 429-438 |
82 | EE | Yucong Duan, Yuqing Gu, Xiaolan Fu, Shing-Chi Cheung, Jing Wang, Qingwu Hu: Distinguishing between Automatic and Manual Aspects of Model Driven Development. ECBS 2006: 487-488 |
81 | EE | Dickson K. W. Chiu, Dan Hong, S. C. Cheung, Eleanna Kafeza: Adapting Ubiquitous Enterprise Services with Context and Views. EDOC 2006: 391-394 |
80 | Yucong Duan, Xiaolan Fu, Shing-Chi Cheung, Yuqing Gu: An Entity-Relationship Model based Conceptual Framework for Model Driven Development. IASTED Conf. on Software Engineering 2006: 200-205 | |
79 | EE | Hong Zhu, Joseph Robert Horgan, S. C. Cheung, J. Jenny Li: The first international workshop on automation of software test. ICSE 2006: 1028-1029 |
78 | EE | Chang Xu, Shing-Chi Cheung, W. K. Chan: Incremental consistency checking for pervasive context. ICSE 2006: 292-301 |
77 | EE | Chunyang Ye, S. C. Cheung, W. K. Chan: Publishing and composition of atomicity-equivalent services for B2B collaboration. ICSE 2006: 351-360 |
76 | EE | Qing Li, Zhe Shan, Patrick C. K. Hung, Dickson K. W. Chiu, S. C. Cheung: Flows and views for scalable scientific process integration. Infoscale 2006: 30 |
75 | EE | Zhifeng Lai, S. C. Cheung, Yunfei Jiang: Dynamic Model Learning Using Genetic Algorithm under Adaptive Model Checking Framework. QSIC 2006: 410-417 |
74 | EE | T. H. Ng, S. C. Cheung, W. K. Chan, Y. T. Yu: Work experience versus refactoring to design patterns: a controlled experiment. SIGSOFT FSE 2006: 12-22 |
73 | EE | Chunyang Ye, S. C. Cheung, W. K. Chan, Chang Xu: Local analysis of atomicity sphere for B2B collaboration. SIGSOFT FSE 2006: 186-196 |
72 | EE | Wan-Chun Dou, Guihai Chen, S. C. Cheung, Shijie Cai: Cooperative Cognition and Its Implementation under Web Environment. SKG 2006: 46 |
71 | EE | Gang Huang, Li Zhou, Xuanzhe Liu, Hong Mei, Shing-Chi Cheung: Performance Aware Service Pool in Dependable Service Oriented Architecture. J. Comput. Sci. Technol. 21(4): 565-573 (2006) |
70 | EE | W. K. Chan, M. Y. Cheng, S. C. Cheung, T. H. Tse: Automatic goal-oriented classification of failure behaviors for testing XML-based multimedia software applications: An experimental case study. Journal of Systems and Software 79(5): 602-612 (2006) |
2005 | ||
69 | EE | Chang Xu, Shing-Chi Cheung: Inconsistency detection and resolution for context-aware middleware support. ESEC/SIGSOFT FSE 2005: 336-345 |
68 | EE | Wan-Chun Dou, Shing-Chi Cheung, Guihai Chen, Jie Wang, Shijie Cai: A Hybrid Workflow Paradigm for Integrating Self-managing Domain-Specific Applications. GCC 2005: 1084-1095 |
67 | EE | Wan-Chun Dou, S. C. Cheung, Guihai Chen, Shijie Cai: Certificate-Driven Grid Workflow Paradigm Based on Service Computing. GCC 2005: 155-160 |
66 | EE | Dickson K. W. Chiu, Shing-Chi Cheung, Ho-fung Leung: A Multi-Agent Infrastructure for Mobile Workforce Management in a Service Oriented Enterprise. HICSS 2005 |
65 | EE | Dickson K. W. Chiu, Shing-Chi Cheung, Patrick C. K. Hung, Ho-fung Leung: Facilitating e-Negotiation Processes with Semantic Web Technologies. HICSS 2005 |
64 | EE | Lionel M. Ni, Yanmin Zhu, Jian Ma, Minglu Li, Qiong Luo, Yunhao Liu, S. C. Cheung, Qiang Yang: Semantic Sensor Net: An Extensible Framework. ICCNMC 2005: 1144-1153 |
63 | EE | W. K. Chan, S. C. Cheung, T. H. Tse: Fault-Based Testing of Database Application Programs with Conceptual Data Model. QSIC 2005: 187-196 |
62 | EE | W. K. Chan, S. C. Cheung, Karl R. P. H. Leung: Towards a Metamorphic Testing Methodology for Service-Oriented Software Applications. QSIC 2005: 470-476 |
61 | EE | Yucong Duan, Shing-Chi Cheung, Xiaolan Fu, Yuqing Gu: A Metamodel Based Model Transformation Approach. SERA 2005: 184-191 |
60 | EE | Dickson K. W. Chiu, Shing-Chi Cheung, Patrick C. K. Hung, Sherina Y. Y. Chiu, Andriy K. K. Chung: Developing e-Negotiation support with a meta-modeling approach in a Web services environment. Decision Support Systems 40(1): 51-69 (2005) |
59 | EE | Changjie Wang, Ho-fung Leung, S. C. Cheung, Yumin Wang: Use of cryptographic technologies for privacy protection of watermarks in internet retails of digital contents. IJHPCN 3(5/6): 385-394 (2005) |
58 | EE | T. H. Ng, S. C. Cheung: Enhancing class commutability in the deployment of design patterns. Information & Software Technology 47(12): 797-804 (2005) |
57 | EE | Dickson K. W. Chiu, Danny Kok, Alex K. C. Lee, Shing-Chi Cheung: Integrating Legacy Sites into Web Services with WebXcript. Int. J. Cooperative Inf. Syst. 14(1): 25-44 (2005) |
56 | EE | Wen Gao, Lionel M. Ni, Zhiwei Xu, S. C. Cheung, Li Cui, Qiong Luo: BLOSSOMS: Building Lightweight Optimized Sensor Systems on a Massive Scale. J. Comput. Sci. Technol. 20(1): 105-177 (2005) |
2004 | ||
55 | EE | Changjie Wang, Ho-fung Leung, Shing-Chi Cheung, Yumin Wang: Use of Cryptographic Technologies for Privacy Protection of Watermarks in Internet Retails of Digital Contents. AINA (1) 2004: 414-419 |
54 | EE | Chang Xu, Shing-Chi Cheung, Xiangye Xiao: Semantic Interpretation and Matching of Web Services. ER 2004: 542-554 |
53 | EE | Xiaoling Wang, Shing-Chi Cheung: Grammar Based Interface Processing in Web Service Composition. ER (Workshops) 2004: 323-334 |
52 | EE | Shing-Chi Cheung, Ho-fung Leung, Changjie Wang: A Commutative Encrypted Protocol for the Privacy Protection of Watermarks in Digital Contents. HICSS 2004 |
51 | EE | Dickson K. W. Chiu, Benny W. C. Kwok, Ray L. S. Wong, Shing-Chi Cheung, Eleanna Kafeza: Alert-Driven E-Service Management. HICSS 2004 |
50 | EE | Dickson K. W. Chiu, Benny W. C. Kwok, Ray L. S. Wong, Shing-Chi Cheung, Eleanna Kafeza, Marina Kafeza: Alerts for Healthcare Process and Data Integration. HICSS 2004 |
49 | EE | Dickson K. W. Chiu, Shing-Chi Cheung, Patrick C. K. Hung, Ho-fung Leung: Constraint-Based Negotiation in a Multi-Agent Information System with Multiple Platform Support. HICSS 2004 |
48 | EE | Chang Xu, Shing-Chi Cheung, Cindy Lo, K. C. Leung, Jun Wei: Cabot: On the Ontology for the Middleware Support of Context-Aware Pervasive Applications. NPC 2004: 568-575 |
47 | EE | M. Y. Cheng, S. C. Cheung, T. H. Tse: Towards the Application of Classification Techniques to Test and Identify Faults in Multimedia Systems. QSIC 2004: 32-40 |
46 | Eleanna Kafeza, Dickson K. W. Chiu, Shing-Chi Cheung, Marina Kafeza: Alerts in Mobile Healthcare Applications: Requirements and Pilot Study. IEEE Transactions on Information Technology in Biomedicine 8(2): 173-181 (2004) | |
45 | EE | S. C. Cheung, Samuel T. Chanson, Zhendong Xu: Applying generic timing tests for distributed multimedia software systems. IEEE Transactions on Reliability 53(3): 329-341 (2004) |
2003 | ||
44 | EE | Dickson K. W. Chiu, Shing-Chi Cheung, Ho-fung Leung: A Three-Tier View-Based Methodology for Adapting Human-Agent Collaboration Systems. CAiSE 2003: 226-241 |
43 | EE | Tsz Hin Ng, Shing-Chi Cheung: Proactive Views on Concrete Aspects: A Pattern Documentation Approach for Software Evolution. COMPSAC 2003: 242- |
42 | EE | Dickson K. W. Chiu, Danny Kok, Alex K. C. Lee, Shing-Chi Cheung: Integrating Heterogeneous Web Services with WebXcript. COMPSAC 2003: 272-277 |
41 | EE | Shing-Chi Cheung, Dickson K. W. Chiu: A Watermarking Infrastructure for Enterprise Document Management. HICSS 2003: 105 |
40 | EE | Dickson K. W. Chiu, Wesley C. W. Chan, Gary K. W. Lam, Shing-Chi Cheung, Franklin T. Luk: An Event Driven Approach to Customer Relationship Management in e-Brokerage Industry. HICSS 2003: 182 |
39 | EE | Shing-Chi Cheung, Dickson K. W. Chiu, Sven Till: Data-driven Methodology to Extending Workflows to E-services over the Internet. HICSS 2003: 202 |
38 | EE | Shing-Chi Cheung, Patrick C. K. Hung, Dickson K. W. Chiu: On the e-Negotiation of Unmatched Logrolling Views. HICSS 2003: 29 |
37 | EE | Dickson K. W. Chiu, Shing-Chi Cheung, Sven Till: A Three-Layer Architecture for E-Contract Enforcement in an E-Service Environment. HICSS 2003: 74 |
36 | Eleanna Kafeza, Dickson K. W. Chiu, Shing-Chi Cheung: Alert-Driven Process Integration in a Web Services Environment. ICWS 2003: 145-151 | |
35 | Shing-Chi Cheung, Hanif Curreem, Dickson K. W. Chiu, Patrick C. K. Hung: Implementing Watermark Token in WS-Security for Digital Content Distribution. ICWS 2003: 415-419 | |
34 | Dickson K. W. Chiu, Shing-Chi Cheung, Patrick C. K. Hung: Developing e-Negotiation Process Support by Web Services. ICWS 2003: 97-103 | |
33 | EE | Sai Ho Kwok, S. C. Cheung, K. C. Wong, K. F. Tsang, Siu Man Lui, Kar Yan Tam: Integration of digital rights management into the Internet Open Trading Protocol. Decision Support Systems 34(4): 413-425 (2003) |
32 | EE | Sai Ho Kwok, Siu Man Lui, S. C. Cheung, Kar Yan Tam: Digital Rights Management in Web Services. Electronic Markets 13(2): (2003) |
31 | Dickson K. W. Chiu, Shing-Chi Cheung, Eleanna Kafeza, Ho-fung Leung: A three-tier view-based methodology for M-services adaptation. IEEE Transactions on Systems, Man, and Cybernetics, Part A 33(6): 725-741 (2003) | |
2002 | ||
30 | EE | Shing-Chi Cheung, Hanif Curreem: Rights Protection for Digital Contents Redistribution Over the Internet. COMPSAC 2002: 105-110 |
29 | EE | Shing-Chi Cheung, Patrick C. K. Hung, Dickson K. W. Chiu: A Meta-model for e-Contract Template Variable Dependencies Facilitating e-Negotiation. ER 2002: 50-64 |
28 | EE | Dickson K. W. Chiu, Shing-Chi Cheung, Kamalakar Karlapalem, Qing Li, Sven Till: Workflow View Driven Cross-Organizational Interoperability in a Web-Service Environment. WES 2002: 41-56 |
27 | EE | Shing-Chi Cheung, Dickson K. W. Chiu, Sven Till: A Three-Layer Framework for Cross-Organizational e-Contract Enactment. WES 2002: 78-92 |
26 | Xu Wang, Shing-Chi Cheung, Jun Wei: A CSP and Z combined modeling of document exchange processes in e-commerce protocols. Information & Software Technology 44(14): 875-889 (2002) | |
25 | EE | Jian Zhang, S. C. Cheung: Automated test case generation for the stress testing of multimedia systems. Softw., Pract. Exper. 32(15): 1411-1435 (2002) |
2001 | ||
24 | EE | Jian Zhang, Chen Xu, S. C. Cheung: Automatic Generation of Database Instances for White-box Testing. COMPSAC 2001: 161-165 |
23 | EE | Jun Wei, Shing-Chi Cheung, Xu Wang: Exploiting Automatic Analysis of E-Commerce Protocols. COMPSAC 2001: 55- |
22 | EE | Jun Wei, Shing-Chi Cheung, Huan Zhou, Xu Wang, Jing Li, Yulin Feng: Modeling and Verifying Strong Cache Consistency for Mobile Data Access . ISSRE 2001: 103-111 |
21 | EE | Shing-Chi Cheung, Samuel T. Chanson, Zhendong Xu: Toward Generic Timing Tests for Distributed Multimedia Software Systems. ISSRE 2001: 210-221 |
1999 | ||
20 | Man-yee Chan, Shing-Chi Cheung: Testing Database Applications with SQL Semantics. CODAS 1999: 364-376 | |
19 | Jian Zhang, Shing-Chi Cheung, Samuel T. Chanson: Stress Testing of Distributed Multimedia Software Systems. FORTE 1999: 119-133 | |
18 | EE | Paul Leung, Shing-Chi Cheung: A CSCW Framework for the Flexible Coupling of Groupware Widgets. ICECCS 1999: 9-20 |
17 | EE | Shing-Chi Cheung, Jeff Kramer: Checking Safety Properties Using Compositional Reachability Analysis. ACM Trans. Softw. Eng. Methodol. 8(1): 49-78 (1999) |
16 | Dimitra Giannakopoulou, Jeff Kramer, Shing-Chi Cheung: Behaviour Analysis of Distributed Systems Using the Tracta Approach. Autom. Softw. Eng. 6(1): 7-35 (1999) | |
15 | EE | Shing-Chi Cheung, Samuel T. Chanson: A model-based authorware for the construction of distributed multimedia systems. Information & Software Technology 41(11-12): 715-727 (1999) |
1998 | ||
14 | EE | Shing-Chi Cheung, Kam-Keung Wong, Samuel T. Chanson: A Two-Tier Technique for Authoring Distributed Multimedia Applications. ICMCS 1998: 368-371 |
13 | EE | Shing-Chi Cheung, Kam-Keung Wong: Construction of Distributed Multimedia Applications using Multiple Views. PDSE 1998: 166-175 |
12 | EE | Jelena V. Misic, Samuel T. Chanson, Shing-Chi Cheung: Towards a Framework for Testing Distributed Multimedia Software Systems. PDSE 1998: 72- |
1997 | ||
11 | EE | Shing-Chi Cheung, Dimitra Giannakopoulou, Jeff Kramer: Verification of Liveness Properties Using Compositional Reachability Analysis. ESEC / SIGSOFT FSE 1997: 227-243 |
10 | Alan C. Y. Wong, Samuel T. Chanson, Shing-Chi Cheung, Holger Fuchs: A Framework for Distributed Object-Oriented Testing. FORTE 1997: 39-56 | |
1996 | ||
9 | EE | Shing-Chi Cheung, Jeff Kramer: Checking Subsystem Safety Properties in Compositional Reachability Analysis. ICSE 1996: 144-154 |
8 | EE | Shing-Chi Cheung, Jeff Kramer: Context Constraints for Compositional Reachability Analysis. ACM Trans. Softw. Eng. Methodol. 5(4): 334-377 (1996) |
1995 | ||
7 | EE | Shing-Chi Cheung, Jeff Kramer: Compositional Reachability Analysis of Finite-State Distributed Systems with User-Specified Constraints. SIGSOFT FSE 1995: 140-150 |
6 | Shing-Chi Cheung, Jeff Kramer: Contextual Local Analysis in the Design of Distributed Systems. Autom. Softw. Eng. 2(1): 5-32 (1995) | |
1994 | ||
5 | EE | Shing-Chi Cheung, Jeff Kramer: An Integrated Method for Effective Behaviour Analysis of Distributed Systems. ICSE 1994: 309-320 |
4 | EE | Shing-Chi Cheung, Jeff Kramer: Tractable Dataflow Analysis for Distributed Systems. IEEE Trans. Software Eng. 20(8): 579-593 (1994) |
1993 | ||
3 | Shing-Chi Cheung, Jeff Kramer: Tractable Flow Analysis for Anomaly Detection in Distributed Programs. ESEC 1993: 283-300 | |
2 | EE | Shing-Chi Cheung, Jeff Kramer: Enhancing Compositional Reachability Analysis with Context Constraints. SIGSOFT FSE 1993: 115-125 |
1991 | ||
1 | Jeff Magee, Shing-Chi Cheung: Parallel Algorithm Design for Workstation Clusters. Softw., Pract. Exper. 21(3): 235-250 (1991) |