Karl R. P. H. Leung

Publication Activity (10 Years)

Years Active: 1994-2008
Publications (10 Years): 0

Publications

Joseph Kee-Yin Ng, Junyang Zhou, Kenneth Man-Kin Chu, Karl R. P. H. Leung
A Train-Once Approach for Location Estimation Using the Directional Propagation Model. IEEE Trans. Veh. Technol. 57 (4) (2008)
Kenneth Man-Kin Chu, Karl R. P. H. Leung, Joseph Kee-Yin Ng, Chun Hung Li
A directional propagation model for locating mobile stations within a mobile phone network. Int. J. Wirel. Mob. Comput. 3 (1/2) (2008)
Kai Liu, Victor C. S. Lee, Karl R. P. H. Leung
Data scheduling for multi-item requests in multi-channel on-demand broadcast environments. MobiDE (2008)
Zhili Wu, Chun-hung Li, Joseph Kee-Yin Ng, Karl R. P. H. Leung
Location Estimation via Support Vector Regression. IEEE Trans. Mob. Comput. 6 (3) (2007)
Karl R. P. H. Leung, Wing Lok Yeung
Generating User Acceptance Test Plans from Test Cases. COMPSAC (2) (2007)
Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong
Modelling and model checking suspendible business processes via statechart diagrams and CSP. Sci. Comput. Program. 65 (1) (2007)
Kenneth Man-Kin Chu, Joseph Kee-Yin Ng, Karl R. P. H. Leung
A New Approach for Locating Mobile Stations under the Statistical Directional Propagation Model. AINA (1) (2006)
Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong
Model Checking Suspendible Business Processes via Statechart Diagrams and CSP. MSVVEIS (2006)
Karl R. P. H. Leung, Joseph Kee-Yin Ng, Wing Lok Yeung
Accessing embedded program in untestable mobile environment: Experience of a trustworthiness approach. J. Syst. Softw. 79 (7) (2006)
Wing Lok Yeung, Karl R. P. H. Leung
Deriving Test Cases from B Machines Using Class Vectors. MSVVEIS (2005)
Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong
Improvements Towards Formalizing UML State Diagrams in CSP. APSEC (2005)
W. K. Chan, S. C. Cheung, Karl R. P. H. Leung
Towards a Metamorphic Testing Methodology for Service-Oriented Software Applications. QSIC (2005)
Joseph Kee-Yin Ng, Karl R. P. H. Leung, Calvin Kin-Cheung Hui
A QoS-Enabled Transmission Scheme for MPEG Video Streaming. Real Time Syst. 30 (3) (2005)
Karl R. P. H. Leung
An Experience of continuous development - formulating requirements concurrently with system implementation. IASTED Conf. on Software Engineering (2004)
William Hak-Lim Wong, Joseph Kee-Yin Ng, Karl R. P. H. Leung
Large-Scale Location Estimation over GSM Networks: The Gear Approach. ICDCS Workshops (2004)
Karl R. P. H. Leung, Joseph Kee-Yin Ng, Wing Lok Yeung
Embedded Program Testing in Untestable Mobile Environment: Embedded Program Testing in Untestable Mobile Environment. APSEC (2004)
Karl R. P. H. Leung
Using Hypergraph as Modeling Language for Generating Test Cases On Demand. APSEC (2004)
Kenneth Man-Kin Chu, Karl R. P. H. Leung, Joseph Kee-Yin Ng, Chun Hung Li
Locating Mobile Stations with Statistical Directional Propagation Model. AINA (1) (2004)
Karl R. P. H. Leung, Joseph Kee-Yin Ng, Tim K. T. Chan, Kenneth Man-Kin Chu, Chun Hung Li
Network Based Mobile Station Positioning in Metropolitan Area. Euro-Par (2003)
Wing Lok Yeung, Karl R. P. H. Leung
A Synergistic Interweaving of Formal and Informal Methods. COMPSAC (2003)
Karl R. P. H. Leung, Wai Wong, Joseph Kee-Yin Ng
Generating test cases from class vectors. J. Syst. Softw. 66 (1) (2003)
Hareton K. N. Leung, Karl R. P. H. Leung
Domain-Based COTS-Product Selection Method. Component-Based Software Quality (2003)
Baowen Xu, Yu Guan, Zhenqiang Chen, Karl R. P. H. Leung
Parallel Genetic Algorithms with Schema Migration. COMPSAC (2002)
Karl R. P. H. Leung, Hareton K. N. Leung
On the efficiency of domain-based COTS product selection method. Inf. Softw. Technol. 44 (12) (2002)
Karl R. P. H. Leung, Lucas Chi Kwong Hui
Handling signature purposes in workflow systems. J. Syst. Softw. 55 (3) (2001)
Calvin Kin-Cheung Hui, Joseph Kee-Yin Ng, Wai Wong, Karl R. P. H. Leung
The Implementation of a Multi-Server Distributed MPEG Video System. IEEE Real Time Technology and Applications Symposium (2001)
Karl R. P. H. Leung, Lucas Chi Kwong Hui, Siu-Ming Yiu, Ricky W. M. Tang
Modeling Web Navigation by Statechart. COMPSAC (2000)
Karl R. P. H. Leung, Wai Wong
Deriving test cases using class vectors. APSEC (2000)
Karl R. P. H. Leung
Extending Statecharts with ad lib and multi-thread features. APSEC (2000)
Karl R. P. H. Leung, Lucas Chi Kwong Hui
Multiple Signature Handling in Workflow Systems. HICSS (2000)
Karl R. P. H. Leung, Wai Wong
Towards a More Efficient Way of Generating Test Cases: Class Graphs. APAQS (2000)
Karl R. P. H. Leung, Lucas Chi Kwong Hui, Ricky W. M. Tang
Integrating Different Signature Purposes in Workflow Systems - A Case Study. ICSC (1999)
Karl R. P. H. Leung, Lucas Chi Kwong Hui
Signature Management in Workflow Systems. COMPSAC (1999)
Karl R. P. H. Leung, Jojo M. L. Chung
The Liaison Workflow Engine Architecture. HICSS (1999)
Daniel K. C. Chan, Karl R. P. H. Leung
Valmont: A Language for Workflow Programming. HICSS (7) (1998)
Daniel K. C. Chan, Karl R. P. H. Leung, Ching Ying Yan, Keith C. C. Chan
Liaison: A Workflow Model for Novel Applications. APSEC (1998)
Daniel K. C. Chan, Karl R. P. H. Leung
Software Development as a Workflow Process. DEXA Workshop (1997)
Daniel K. C. Chan, Karl R. P. H. Leung
Software Development as a Workflow Process. APSEC (1997)
Karl R. P. H. Leung, Daniel K. C. Chan
Extending Statecharts with Duration. COMPSAC (1996)
Karl R. P. H. Leung, Daniel K. C. Chan
Prototyping the Structured Specification as Logic Programs. APSEC (1995)
Karl R. P. H. Leung, Clement F. S. Yim
Reversing concurrent systems into formal specifications. APSEC (1994)