Karl R. P. H. Leung

According to our database, Karl R. P. H. Leung authored at least 40 papers between 1994 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

A Train-Once Approach for Location Estimation Using the Directional Propagation Model.

Joseph Kee-Yin Ng, Junyang Zhou, Kenneth Man-Kin Chu, Karl R. P. H. Leung

IEEE Trans. Veh. Technol., 2008

A directional propagation model for locating mobile stations within a mobile phone network.

Kenneth Man-Kin Chu, Karl R. P. H. Leung, Joseph Kee-Yin Ng, Chun Hung Li

Int. J. Wirel. Mob. Comput., 2008

Data scheduling for multi-item requests in multi-channel on-demand broadcast environments.

Kai Liu, Victor C. S. Lee, Karl R. P. H. Leung

Proceedings of the Seventh ACM International Workshop on Data Engineering for Wireless and Mobile Access, 2008

2007

Location Estimation via Support Vector Regression.

Zhili Wu, Chun-hung Li, Joseph Kee-Yin Ng, Karl R. P. H. Leung

IEEE Trans. Mob. Comput., 2007

Modelling and model checking suspendible business processes via statechart diagrams and CSP.

Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong

Sci. Comput. Program., 2007

Generating User Acceptance Test Plans from Test Cases.

Karl R. P. H. Leung, Wing Lok Yeung

Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

2006

Accessing embedded program in untestable mobile environment: Experience of a trustworthiness approach.

Karl R. P. H. Leung, Joseph Kee-Yin Ng, Wing Lok Yeung

J. Syst. Softw., 2006

Model Checking Suspendible Business Processes via Statechart Diagrams and CSP.

Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong

Proceedings of the Modelling, 2006

A New Approach for Locating Mobile Stations under the Statistical Directional Propagation Model.

Kenneth Man-Kin Chu, Joseph Kee-Yin Ng, Karl R. P. H. Leung

Proceedings of the 20th International Conference on Advanced Information Networking and Applications (AINA 2006), 2006

2005

A QoS-Enabled Transmission Scheme for MPEG Video Streaming.

Joseph Kee-Yin Ng, Karl R. P. H. Leung, Calvin Kin-Cheung Hui

Real Time Syst., 2005

Deriving Test Cases from B Machines Using Class Vectors.

Wing Lok Yeung, Karl R. P. H. Leung

Proceedings of the Modelling, 2005

Towards a Metamorphic Testing Methodology for Service-Oriented Software Applications.

W. K. Chan, S. C. Cheung, Karl R. P. H. Leung

Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005

Improvements Towards Formalizing UML State Diagrams in CSP.

Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong

Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005

2004

Large-Scale Location Estimation over GSM Networks: The Gear Approach.

William Hak-Lim Wong, Joseph Kee-Yin Ng, Karl R. P. H. Leung

Proceedings of the 24th International Conference on Distributed Computing Systems Workshops (ICDCS 2004 Workshops), 2004

An Experience of continuous development - formulating requirements concurrently with system implementation.

Karl R. P. H. Leung

Proceedings of the IASTED International Conference on Software Engineering, 2004

Embedded Program Testing in Untestable Mobile Environment: Embedded Program Testing in Untestable Mobile Environment.

Karl R. P. H. Leung, Joseph Kee-Yin Ng, Wing Lok Yeung

Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004

Using Hypergraph as Modeling Language for Generating Test Cases On Demand.

Karl R. P. H. Leung

Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004

Locating Mobile Stations with Statistical Directional Propagation Model.

Kenneth Man-Kin Chu, Karl R. P. H. Leung, Joseph Kee-Yin Ng, Chun Hung Li

Proceedings of the 18th International Conference on Advanced Information Networking and Applications (AINA 2004), 2004

2003

Generating test cases from class vectors.

Karl R. P. H. Leung, Wai Wong, Joseph Kee-Yin Ng

J. Syst. Softw., 2003

Network Based Mobile Station Positioning in Metropolitan Area.

Karl R. P. H. Leung, Joseph Kee-Yin Ng, Tim K. T. Chan, Kenneth Man-Kin Chu, Chun Hung Li

Proceedings of the Euro-Par 2003. Parallel Processing, 2003

A Synergistic Interweaving of Formal and Informal Methods.

Wing Lok Yeung, Karl R. P. H. Leung

Proceedings of the 27th International Computer Software and Applications Conference (COMPSAC 2003): Design and Assessment of Trustworthy Software-Based Systems, 2003

Domain-Based COTS-Product Selection Method.

Hareton K. N. Leung, Karl R. P. H. Leung

Proceedings of the Component-Based Software Quality - Methods and Techniques, 2003

2002

On the efficiency of domain-based COTS product selection method.

Karl R. P. H. Leung, Hareton K. N. Leung

Inf. Softw. Technol., 2002

Parallel Genetic Algorithms with Schema Migration.

Baowen Xu, Yu Guan, Zhenqiang Chen, Karl R. P. H. Leung

Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

2001

Handling signature purposes in workflow systems.

Karl R. P. H. Leung, Lucas Chi Kwong Hui

J. Syst. Softw., 2001

The Implementation of a Multi-Server Distributed MPEG Video System.

Calvin Kin-Cheung Hui, Joseph Kee-Yin Ng, Wai Wong, Karl R. P. H. Leung

Proceedings of the 7th IEEE Real-Time Technology and Applications Symposium (RTAS 2001), 30 May, 2001

2000

Multiple Signature Handling in Workflow Systems.

Karl R. P. H. Leung, Lucas Chi Kwong Hui

Proceedings of the 33rd Annual Hawaii International Conference on System Sciences (HICSS-33), 2000

Modeling Web Navigation by Statechart.

Karl R. P. H. Leung, Lucas Chi Kwong Hui, Siu-Ming Yiu, Ricky W. M. Tang

Proceedings of the 24th International Computer Software and Applications Conference (COMPSAC 2000), 2000

Deriving test cases using class vectors.

Karl R. P. H. Leung, Wai Wong

Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 2000

Extending Statecharts with ad lib and multi-thread features.

Karl R. P. H. Leung

Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 2000

Towards a More Efficient Way of Generating Test Cases: Class Graphs.

Karl R. P. H. Leung, Wai Wong

Proceedings of the 1st Asia-Pacific Conference on Quality Software (APAQS 2000), 2000

1999

Integrating Different Signature Purposes in Workflow Systems - A Case Study.

Karl R. P. H. Leung, Lucas Chi Kwong Hui, Ricky W. M. Tang

Proceedings of the Internet Applications, 5th International Computer Science Conference, 1999

The Liaison Workflow Engine Architecture.

Karl R. P. H. Leung, Jojo M. L. Chung

Proceedings of the 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), 1999

Signature Management in Workflow Systems.

Karl R. P. H. Leung, Lucas Chi Kwong Hui

Proceedings of the 23rd International Computer Software and Applications Conference (COMPSAC '99), 1999

1998

Valmont: A Language for Workflow Programming.

Daniel Kim Chung Chan, Karl R. P. H. Leung

Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences, 1998

Liaison: A Workflow Model for Novel Applications.

Daniel Kim Chung Chan, Karl R. P. H. Leung, Ching Ying Yan, Keith C. C. Chan

Proceedings of the 5th Asia-Pacific Software Engineering Conference (APSEC '98), 1998

1997

Software Development as a Workflow Process.

Daniel Kim Chung Chan, Karl R. P. H. Leung

Proceedings of the 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 1997

1996

Extending Statecharts with Duration.

Karl R. P. H. Leung, Daniel Kim Chung Chan

Proceedings of the COMPSAC '96, 1996

1995

Prototyping the Structured Specification as Logic Programs.

Karl R. P. H. Leung, Daniel Kim Chung Chan

Proceedings of the 2nd Asia-Pacific Software Engineering Conference (APSEC '95), 1995

1994

Reversing concurrent systems into formal specifications.

Karl R. P. H. Leung, Clement F. S. Yim

Proceedings of the First Asia-Pacific Software Engineering Conference, 1994