Search the dblp DataBase
Shing-Chi Cheung :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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. [Citation Graph (0, 0)][DBLP ] AINA (1), 2004, pp:414-419 [Conf ] Dickson K. W. Chiu , Shing-Chi Cheung , Ho-fung Leung A Three-Tier View-Based Methodology for Adapting Human-Agent Collaboration Systems. [Citation Graph (0, 0)][DBLP ] CAiSE, 2003, pp:226-241 [Conf ] Man-yee Chan , Shing-Chi Cheung Testing Database Applications with SQL Semantics. [Citation Graph (0, 0)][DBLP ] CODAS, 1999, pp:364-376 [Conf ] Shing-Chi Cheung , Hanif Curreem Rights Protection for Digital Contents Redistribution Over the Internet. [Citation Graph (0, 0)][DBLP ] COMPSAC, 2002, pp:105-110 [Conf ] Dickson K. W. Chiu , Danny Kok , Alex K. C. Lee , Shing-Chi Cheung Integrating Heterogeneous Web Services with WebXcript. [Citation Graph (0, 0)][DBLP ] COMPSAC, 2003, pp:272-277 [Conf ] Tsz Hin Ng , Shing-Chi Cheung Proactive Views on Concrete Aspects: A Pattern Documentation Approach for Software Evolution. [Citation Graph (0, 0)][DBLP ] COMPSAC, 2003, pp:242-0 [Conf ] Jun Wei , Shing-Chi Cheung , Xu Wang Exploiting Automatic Analysis of E-Commerce Protocols. [Citation Graph (0, 0)][DBLP ] COMPSAC, 2001, pp:55-0 [Conf ] Yucong Duan , Yuqing Gu , Xiaolan Fu , Shing-Chi Cheung , Jing Wang , Qingwu Hu Distinguishing between Automatic and Manual Aspects of Model Driven Development. [Citation Graph (0, 0)][DBLP ] ECBS, 2006, pp:487-488 [Conf ] Shing-Chi Cheung , Patrick C. K. Hung , Dickson K. W. Chiu A Meta-model for e-Contract Template Variable Dependencies Facilitating e-Negotiation. [Citation Graph (0, 0)][DBLP ] ER, 2002, pp:50-64 [Conf ] Xiaoling Wang , Shing-Chi Cheung Grammar Based Interface Processing in Web Service Composition. [Citation Graph (0, 0)][DBLP ] ER (Workshops), 2004, pp:323-334 [Conf ] Chang Xu , Shing-Chi Cheung , Xiangye Xiao Semantic Interpretation and Matching of Web Services. [Citation Graph (0, 0)][DBLP ] ER, 2004, pp:542-554 [Conf ] Shing-Chi Cheung , Dimitra Giannakopoulou , Jeff Kramer Verification of Liveness Properties Using Compositional Reachability Analysis. [Citation Graph (0, 0)][DBLP ] ESEC / SIGSOFT FSE, 1997, pp:227-243 [Conf ] Shing-Chi Cheung , Jeff Kramer Tractable Flow Analysis for Anomaly Detection in Distributed Programs. [Citation Graph (0, 0)][DBLP ] ESEC, 1993, pp:283-300 [Conf ] Alan C. Y. Wong , Samuel T. Chanson , Shing-Chi Cheung , Holger Fuchs A Framework for Distributed Object-Oriented Testing. [Citation Graph (0, 0)][DBLP ] FORTE, 1997, pp:39-56 [Conf ] Jian Zhang , Shing-Chi Cheung , Samuel T. Chanson Stress Testing of Distributed Multimedia Software Systems. [Citation Graph (0, 0)][DBLP ] FORTE, 1999, pp:119-133 [Conf ] Wan-Chun Dou , Shing-Chi Cheung , Guihai Chen , Jie Wang , Shijie Cai A Hybrid Workflow Paradigm for Integrating Self-managing Domain-Specific Applications. [Citation Graph (0, 0)][DBLP ] GCC, 2005, pp:1084-1095 [Conf ] Shing-Chi Cheung , Dickson K. W. Chiu A Watermarking Infrastructure for Enterprise Document Management. [Citation Graph (0, 0)][DBLP ] HICSS, 2003, pp:105- [Conf ] Shing-Chi Cheung , Dickson K. W. Chiu , Sven Till Data-driven Methodology to Extending Workflows to E-services over the Internet. [Citation Graph (0, 0)][DBLP ] HICSS, 2003, pp:202- [Conf ] Shing-Chi Cheung , Patrick C. K. Hung , Dickson K. W. Chiu On the e-Negotiation of Unmatched Logrolling Views. [Citation Graph (0, 0)][DBLP ] HICSS, 2003, pp:29- [Conf ] Shing-Chi Cheung , Ho-fung Leung , Changjie Wang A Commutative Encrypted Protocol for the Privacy Protection of Watermarks in Digital Contents. [Citation Graph (0, 0)][DBLP ] HICSS, 2004, pp:- [Conf ] 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. [Citation Graph (0, 0)][DBLP ] HICSS, 2004, pp:- [Conf ] Dickson K. W. Chiu , Shing-Chi Cheung , Patrick C. K. Hung , Ho-fung Leung Facilitating e-Negotiation Processes with Semantic Web Technologies. [Citation Graph (0, 0)][DBLP ] HICSS, 2005, pp:- [Conf ] Dickson K. W. Chiu , Shing-Chi Cheung , Ho-fung Leung A Multi-Agent Infrastructure for Mobile Workforce Management in a Service Oriented Enterprise. [Citation Graph (0, 0)][DBLP ] HICSS, 2005, pp:- [Conf ] 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. [Citation Graph (0, 0)][DBLP ] HICSS, 2003, pp:182- [Conf ] Dickson K. W. Chiu , Shing-Chi Cheung , Sven Till A Three-Layer Architecture for E-Contract Enforcement in an E-Service Environment. [Citation Graph (0, 0)][DBLP ] HICSS, 2003, pp:74- [Conf ] Dickson K. W. Chiu , Benny W. C. Kwok , Ray L. S. Wong , Shing-Chi Cheung , Eleanna Kafeza Alert-Driven E-Service Management. [Citation Graph (0, 0)][DBLP ] HICSS, 2004, pp:- [Conf ] 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. [Citation Graph (0, 0)][DBLP ] HICSS, 2004, pp:- [Conf ] Yucong Duan , Xiaolan Fu , Shing-Chi Cheung , Yuqing Gu An Entity-Relationship Model based Conceptual Framework for Model Driven Development. [Citation Graph (0, 0)][DBLP ] IASTED Conf. on Software Engineering, 2006, pp:200-205 [Conf ] Paul Leung , Shing-Chi Cheung A CSCW Framework for the Flexible Coupling of Groupware Widgets. [Citation Graph (0, 0)][DBLP ] ICECCS, 1999, pp:9-20 [Conf ] Shing-Chi Cheung , Kam-Keung Wong , Samuel T. Chanson A Two-Tier Technique for Authoring Distributed Multimedia Applications. [Citation Graph (0, 0)][DBLP ] ICMCS, 1998, pp:368-371 [Conf ] Shing-Chi Cheung , Jeff Kramer An Integrated Method for Effective Behaviour Analysis of Distributed Systems. [Citation Graph (0, 0)][DBLP ] ICSE, 1994, pp:309-320 [Conf ] Shing-Chi Cheung , Jeff Kramer Checking Subsystem Safety Properties in Compositional Reachability Analysis. [Citation Graph (0, 0)][DBLP ] ICSE, 1996, pp:144-154 [Conf ] Chang Xu , Shing-Chi Cheung , W. K. Chan Incremental consistency checking for pervasive context. [Citation Graph (0, 0)][DBLP ] ICSE, 2006, pp:292-301 [Conf ] Dickson K. W. Chiu , Shing-Chi Cheung , Patrick C. K. Hung Developing e-Negotiation Process Support by Web Services. [Citation Graph (0, 0)][DBLP ] ICWS, 2003, pp:97-103 [Conf ] Shing-Chi Cheung , Hanif Curreem , Dickson K. W. Chiu , Patrick C. K. Hung Implementing Watermark Token in WS-Security for Digital Content Distribution. [Citation Graph (0, 0)][DBLP ] ICWS, 2003, pp:415-419 [Conf ] Eleanna Kafeza , Dickson K. W. Chiu , Shing-Chi Cheung Alert-Driven Process Integration in a Web Services Environment. [Citation Graph (0, 0)][DBLP ] ICWS, 2003, pp:145-151 [Conf ] Shing-Chi Cheung , Samuel T. Chanson , Zhendong Xu Toward Generic Timing Tests for Distributed Multimedia Software Systems. [Citation Graph (0, 0)][DBLP ] ISSRE, 2001, pp:210-221 [Conf ] Jun Wei , Shing-Chi Cheung , Huan Zhou , Xu Wang , Jing Li , Yulin Feng Modeling and Verifying Strong Cache Consistency for Mobile Data Access . [Citation Graph (0, 0)][DBLP ] ISSRE, 2001, pp:103-111 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] NPC, 2004, pp:568-575 [Conf ] Shing-Chi Cheung , Kam-Keung Wong Construction of Distributed Multimedia Applications using Multiple Views. [Citation Graph (0, 0)][DBLP ] PDSE, 1998, pp:166-175 [Conf ] Jelena V. Misic , Samuel T. Chanson , Shing-Chi Cheung Towards a Framework for Testing Distributed Multimedia Software Systems. [Citation Graph (0, 0)][DBLP ] PDSE, 1998, pp:72-0 [Conf ] Yucong Duan , Shing-Chi Cheung , Xiaolan Fu , Yuqing Gu A Metamodel Based Model Transformation Approach. [Citation Graph (0, 0)][DBLP ] SERA, 2005, pp:184-191 [Conf ] Shing-Chi Cheung , Jeff Kramer Enhancing Compositional Reachability Analysis with Context Constraints. [Citation Graph (0, 0)][DBLP ] SIGSOFT FSE, 1993, pp:115-125 [Conf ] Shing-Chi Cheung , Jeff Kramer Compositional Reachability Analysis of Finite-State Distributed Systems with User-Specified Constraints. [Citation Graph (0, 0)][DBLP ] SIGSOFT FSE, 1995, pp:140-150 [Conf ] Chang Xu , Shing-Chi Cheung Inconsistency detection and resolution for context-aware middleware support. [Citation Graph (0, 0)][DBLP ] ESEC/SIGSOFT FSE, 2005, pp:336-345 [Conf ] Shing-Chi Cheung , Dickson K. W. Chiu , Sven Till A Three-Layer Framework for Cross-Organizational e-Contract Enactment. [Citation Graph (0, 0)][DBLP ] WES, 2002, pp:78-92 [Conf ] Dickson K. W. Chiu , Shing-Chi Cheung , Kamalakar Karlapalem , Qing Li , Sven Till Workflow View Driven Cross-Organizational Interoperability in a Web-Service Environment. [Citation Graph (0, 0)][DBLP ] WES, 2002, pp:41-56 [Conf ] Shing-Chi Cheung , Jeff Kramer Contextual Local Analysis in the Design of Distributed Systems. [Citation Graph (0, 0)][DBLP ] Autom. Softw. Eng., 1995, v:2, n:1, pp:5-32 [Journal ] Dimitra Giannakopoulou , Jeff Kramer , Shing-Chi Cheung Behaviour Analysis of Distributed Systems Using the Tracta Approach. [Citation Graph (0, 0)][DBLP ] Autom. Softw. Eng., 1999, v:6, n:1, pp:7-35 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] Decision Support Systems, 2005, v:40, n:1, pp:51-69 [Journal ] Dickson K. W. Chiu , Danny Kok , Alex K. C. Lee , Shing-Chi Cheung Integrating Legacy Sites into Web Services with WebXcript. [Citation Graph (0, 0)][DBLP ] Int. J. Cooperative Inf. Syst., 2005, v:14, n:1, pp:25-44 [Journal ] Shing-Chi Cheung , Samuel T. Chanson A model-based authorware for the construction of distributed multimedia systems. [Citation Graph (0, 0)][DBLP ] Information & Software Technology, 1999, v:41, n:11-12, pp:715-727 [Journal ] Xu Wang , Shing-Chi Cheung , Jun Wei A CSP and Z combined modeling of document exchange processes in e-commerce protocols. [Citation Graph (0, 0)][DBLP ] Information & Software Technology, 2002, v:44, n:14, pp:875-889 [Journal ] Gang Huang , Li Zhou , Xuanzhe Liu , Hong Mei , Shing-Chi Cheung Performance Aware Service Pool in Dependable Service Oriented Architecture. [Citation Graph (0, 0)][DBLP ] J. Comput. Sci. Technol., 2006, v:21, n:4, pp:565-573 [Journal ] Jeff Magee , Shing-Chi Cheung Parallel Algorithm Design for Workstation Clusters. [Citation Graph (0, 0)][DBLP ] Softw., Pract. Exper., 1991, v:21, n:3, pp:235-250 [Journal ] Eleanna Kafeza , Dickson K. W. Chiu , Shing-Chi Cheung , Marina Kafeza Alerts in Mobile Healthcare Applications: Requirements and Pilot Study. [Citation Graph (0, 0)][DBLP ] IEEE Transactions on Information Technology in Biomedicine, 2004, v:8, n:2, pp:173-181 [Journal ] Shing-Chi Cheung , Jeff Kramer Context Constraints for Compositional Reachability Analysis. [Citation Graph (0, 0)][DBLP ] ACM Trans. Softw. Eng. Methodol., 1996, v:5, n:4, pp:334-377 [Journal ] Shing-Chi Cheung , Jeff Kramer Checking Safety Properties Using Compositional Reachability Analysis. [Citation Graph (0, 0)][DBLP ] ACM Trans. Softw. Eng. Methodol., 1999, v:8, n:1, pp:49-78 [Journal ] Shing-Chi Cheung , Jeff Kramer Tractable Dataflow Analysis for Distributed Systems. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1994, v:20, n:8, pp:579-593 [Journal ] Dickson K. W. Chiu , Shing-Chi Cheung , Eleanna Kafeza , Ho-fung Leung A three-tier view-based methodology for M-services adaptation. [Citation Graph (0, 0)][DBLP ] IEEE Transactions on Systems, Man, and Cybernetics, Part A, 2003, v:33, n:6, pp:725-741 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] ICWS, 2007, pp:1008-1015 [Conf ] Heuristics-Based Strategies for Resolving Context Inconsistencies in Pervasive Computing Applications. [Citation Graph (, )][DBLP ] Taming coincidental correctness: Coverage refinement with context patterns to improve fault localization. [Citation Graph (, )][DBLP ] Detecting atomic-set serializability violations in multithreaded programs through active randomized testing. [Citation Graph (, )][DBLP ] Process Evolution with Atomicity Consistency. [Citation Graph (, )][DBLP ] Goal-Directed Context Validation for Adaptive Ubiquitous Systems. [Citation Graph (, )][DBLP ] On impact-oriented automatic resolution of pervasive context inconsistency. [Citation Graph (, )][DBLP ] Inter-context control-flow and data-flow test adequacy criteria for nesC applications. [Citation Graph (, )][DBLP ] Search in 0.009secs, Finished in 0.014secs