| |
 |      |
                                              |
Note: Links lead to the DBLP on the Web. Shing-Chi Cheung Shing-Chi Cheung, Ho-Fung Leung , Changjie Wang : A Commutative Encrypted Protocol for the Privacy Protection of Watermarks in Digital Contents. HICSS 2004 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 Tsz Hin Ng , Shing-Chi Cheung: Proactive Views on Concrete Aspects: A Pattern Documentation Approach for Software Evolution. COMPSAC 2003 : 242- Dickson K. W. Chiu , Danny Kok , Alex K. C. Lee , Shing-Chi Cheung: Integrating Heterogeneous Web Services with WebXcript. COMPSAC 2003 : 272-277 Shing-Chi Cheung, Dickson K. W. Chiu : A Watermarking Infrastructure for Enterprise Document Management. HICSS 2003 : 105 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 Shing-Chi Cheung, Dickson K. W. Chiu , Sven Till : Data-driven Methodology to Extending Workflows to E-services over the Internet. HICSS 2003 : 202 Shing-Chi Cheung, Patrick C. K. Hung , Dickson K. W. Chiu : On the e-Negotiation of Unmatched Logrolling Views. HICSS 2003 : 29 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 Eleanna Kafeza , Dickson K. W. Chiu , Shing-Chi Cheung: Alert-Driven Process Integration in a Web Services Environment. ICWS 2003 : 145-151 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 Dickson K. W. Chiu , Shing-Chi Cheung, Patrick C. K. Hung : Developing e-Negotiation Process Support by Web Services. ICWS 2003 : 97-103 Shing-Chi Cheung, Hanif Curreem : Rights Protection for Digital Contents Redistribution Over the Internet. COMPSAC 2002 : 105-110 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 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 Shing-Chi Cheung, Dickson K. W. Chiu , Sven Till : A Three-Layer Framework for Cross-Organizational e-Contract Enactment. WES 2002 : 78-92 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) Jun Wei , Shing-Chi Cheung, Xu Wang : Exploiting Automatic Analysis of E-Commerce Protocols. COMPSAC 2001 : 55- Man-yee Chan , Shing-Chi Cheung: Testing Database Applications with SQL Semantics. CODAS 1999 : 364-376 Jian Zhang , Shing-Chi Cheung, Samuel T. Chanson : Stress Testing of Distributed Multimedia Software Systems. FORTE 1999 : 119-133 Paul Leung , Shing-Chi Cheung: A CSCW Framework for the Flexible Coupling of Groupware Widgets. ICECCS 1999 : 9-20 Shing-Chi Cheung, Jeff Kramer : Checking Safety Properties Using Compositional Reachability Analysis. ACM Trans. Softw. Eng. Methodol. 8 (1): 49-78 (1999) Dimitra Giannakopoulou , Jeff Kramer , Shing-Chi Cheung: Behaviour Analysis of Distributed Systems Using the Tracta Approach. Autom. Softw. Eng. 6 (1): 7-35 (1999) Shing-Chi Cheung, Kam-Keung Wong , Samuel T. Chanson : A Two-Tier Technique for Authoring Distributed Multimedia Applications. ICMCS 1998 : 368-371 Shing-Chi Cheung, Kam-Keung Wong : Construction of Distributed Multimedia Applications using Multiple Views. PDSE 1998 : 166-175 Jelena V. Misic , Samuel T. Chanson , Shing-Chi Cheung: Towards a Framework for Testing Distributed Multimedia Software Systems. PDSE 1998 : 72- Shing-Chi Cheung, Dimitra Giannakopoulou , Jeff Kramer : Verification of Liveness Properties Using Compositional Reachability Analysis. ESEC / SIGSOFT FSE 1997 : 227-243 Alan C. Y. Wong , Samuel T. Chanson , Shing-Chi Cheung, Holger Fuchs : A Framework for Distributed Object-Oriented Testing. FORTE 1997 : 39-56 Shing-Chi Cheung, Jeff Kramer : Checking Subsystem Safety Properties in Compositional Reachability Analysis. ICSE 1996 : 144-154 Shing-Chi Cheung, Jeff Kramer : Context Constraints for Compositional Reachability Analysis. ACM Trans. Softw. Eng. Methodol. 5 (4): 334-377 (1996) Shing-Chi Cheung, Jeff Kramer : Compositional Reachability Analysis of Finite-State Distributed Systems with User-Specified Constraints. SIGSOFT FSE 1995 : 140-150 Shing-Chi Cheung, Jeff Kramer : Contextual Local Analysis in the Design of Distributed Systems. Autom. Softw. Eng. 2 (1): 5-32 (1995) Shing-Chi Cheung, Jeff Kramer : An Integrated Method for Effective Behaviour Analysis of Distributed Systems. ICSE 1994 : 309-320 Shing-Chi Cheung, Jeff Kramer : Tractable Dataflow Analysis for Distributed Systems. IEEE Trans. Software Eng. 20 (8): 579-593 (1994) Shing-Chi Cheung, Jeff Kramer : Tractable Flow Analysis for Anomaly Detection in Distributed Programs. ESEC 1993 : 283-300 Shing-Chi Cheung, Jeff Kramer : Enhancing Compositional Reachability Analysis with Context Constraints. SIGSOFT FSE 1993 : 115-125 Jeff Magee , Shing-Chi Cheung: Parallel Algorithm Design for Workstation Clusters. Softw., Pract. Exper. 21 (3): 235-250 (1991) 1 [ 19 ] 2 [ 32 ] 3 [ 10 ] [ 12 ] [ 14 ] [ 18 ] 4 [ 22 ] [ 23 ] [ 24 ] [ 26 ] [ 27 ] [ 28 ] [ 29 ] [ 30 ] [ 31 ] [ 32 ] [ 33 ] [ 34 ] [ 36 ] 5 [ 25 ] [ 27 ] 6 [ 10 ] 7 [ 11 ] [ 15 ] 8 [ 24 ] [ 26 ] [ 27 ] [ 30 ] 9 [ 28 ] 10 [ 23 ] 11 [ 34 ] 12 [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 6 ] [ 7 ] [ 8 ] [ 9 ] [ 11 ] [ 15 ] [ 16 ] 13 [ 32 ] 14 [ 34 ] 15 [ 36 ] [ 37 ] 16 [ 17 ] 17 [ 23 ] 18 [ 32 ] 19 [ 1 ] 20 [ 12 ] 21 [ 35 ] 22 [ 22 ] [ 23 ] [ 29 ] [ 31 ] 23 [ 37 ] 24 [ 20 ] [ 21 ] 25 [ 20 ] [ 21 ] 26 [ 10 ] 27 [ 13 ] [ 14 ] 28 [ 18 ]  ©2004 Association for Computing Machinery |
