Karl R. P. H. Leung

发表

The implementation of a multi-server distributed MPEG video system

Joseph Kee-Yin Ng, Wai Wong, Calvin Kin-Cheung Hui, 2001, Proceedings Seventh IEEE Real-Time Technology and Applications Symposium.

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

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

Generating User Acceptance Test Plans from Test Cases

Karl R. P. H. Leung, Wing Lok Yeung, 2007, 31st Annual International Computer Software and Applications Conference (COMPSAC 2007).

Locating mobile stations with statistical directional propagation model

Joseph Kee-Yin Ng, Chun-hung Li, Karl R. P. H. Leung, 2004, 18th International Conference on Advanced Information Networking and Applications, 2004. AINA 2004..

Modeling Web navigation by statechart

Siu-Ming Yiu, Lucas Chi Kwong Hui, Karl R. P. H. Leung, 2000, Proceedings 24th Annual International Computer Software and Applications Conference. COMPSAC2000.

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

Joseph Kee-Yin Ng, Karl R. P. H. Leung, Kenneth Man-Kin Chu, 2006, 20th International Conference on Advanced Information Networking and Applications - Volume 1 (AINA'06).

Using hypergraph as modeling language for generating test cases on demand

Karl R. P. H. Leung, 2004, 11th Asia-Pacific Software Engineering Conference.

Towards a more efficient way of generating test cases: class graphs

Wai Wong, Karl R. P. H. Leung, 2000, Proceedings First Asia-Pacific Conference on Quality Software.

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

Joseph Kee-Yin Ng, Chun-hung Li, Karl R. P. H. Leung, 2008, Int. J. Wirel. Mob. Comput..

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

Karl R. P. H. Leung, 2004, IASTED Conf. on Software Engineering.

Handling signature purposes in workflow systems

Lucas Chi Kwong Hui, Karl R. P. H. Leung, 2001, J. Syst. Softw..

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

Joseph Kee-Yin Ng, Karl R. P. H. Leung, Wing Lok Yeung, 2006, J. Syst. Softw..

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

Ji Wang, Wei Dong, Karl R. P. H. Leung, 2007, Sci. Comput. Program..

Large-scale location estimation over GSM networks: the gear approach

Joseph Kee-Yin Ng, Karl R. P. H. Leung, William Hak-Lim Wong, 2004, 24th International Conference on Distributed Computing Systems Workshops, 2004. Proceedings..

Valmont: a language for workflow programming

Karl R. P. H. Leung, Daniel K. C. Chan, K. Leung, 1998, Proceedings of the Thirty-First Hawaii International Conference on System Sciences.

Embedded program testing in untestable mobile environment: an experience of trustworthiness approach

Joseph Kee-Yin Ng, Karl R. P. H. Leung, Wing Lok Yeung, 2004, 11th Asia-Pacific Software Engineering Conference.

Domain-Based COTS-Product Selection Method

Hareton K. N. Leung, Karl R. P. H. Leung, H. Leung, 2003, Component-Based Software Quality.

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

Joseph Kee-Yin Ng, Karl R. P. H. Leung, Junyang Zhou, 2008, IEEE Transactions on Vehicular Technology.

Integrating Different Signature Purposes in Workflow Systems - A Case Study

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

Parallel genetic algorithms with schema migration

Baowen Xu, Yu Guan, Karl R. P. H. Leung, 2002, Proceedings 26th Annual International Computer Software and Applications.

Extending statecharts with duration

Karl R. P. H. Leung, Daniel K. C. Chan, 1996, Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96.

Improvements towards formalizing UML state diagrams in CSP

Ji Wang, Wei Dong, Karl R. P. H. Leung, 2005, 12th Asia-Pacific Software Engineering Conference (APSEC'05).

Liaison: a workflow model for novel applications

Keith C. C. Chan, Karl R. P. H. Leung, Daniel K. C. Chan, 1998, Proceedings 1998 Asia Pacific Software Engineering Conference (Cat. No.98EX240).

Multiple signature handling in workflow systems

Lucas Chi Kwong Hui, Karl R. P. H. Leung, 2000, Proceedings of the 33rd Annual Hawaii International Conference on System Sciences.

Software development as a workflow process

Karl R. P. H. Leung, Daniel K. C. Chan, K. Leung, 1997, Proceedings of Joint 4th International Computer Science Conference and 4th Asia Pacific Software Engineering Conference.

Towards a metamorphic testing methodology for service-oriented software applications

Shing-Chi Cheung, W. K. Chan, Karl R. P. H. Leung, 2005, Fifth International Conference on Quality Software (QSIC'05).

Location Estimation via Support Vector Regression

Joseph Kee-Yin Ng, Chun-hung Li, Karl R. P. H. Leung, 2007, IEEE Transactions on Mobile Computing.

The Liaison Workflow engine architecture

Karl R. P. H. Leung, Jojo M. L. Chung, 1999, Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32. Abstracts and CD-ROM of Full Papers.

Reversing concurrent systems into formal specifications

Karl R. P. H. Leung, Clement F. S. Yim, 1994, Proceedings of 1st Asia-Pacific Software Engineering Conference.

Generating test cases from class vectors

Joseph Kee-Yin Ng, Wai Wong, Karl R. P. H. Leung, 2003, J. Syst. Softw..

Network Based Mobile Station Positioning in Metropolitan Area

Joseph Kee-Yin Ng, Chun-hung Li, Karl R. P. H. Leung, 2003, Euro-Par.

A synergistic interweaving of formal and informal methods

Karl R. P. H. Leung, Wing Lok Yeung, W. Yeung, 2003, Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003.

Extending Statecharts with ad lib and multi-thread features

Karl R. P. H. Leung, 2000, Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000.

Deriving Test Cases from B Machines Using Class Vectors

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

Signature management in workflow systems

Lucas Chi Kwong Hui, Karl R. P. H. Leung, 1999, Proceedings. Twenty-Third Annual International Computer Software and Applications Conference (Cat. No.99CB37032).

A QoS-Enabled Transmission Scheme for MPEG Video Streaming

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

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

Victor C. S. Lee, Kai Liu, Karl R. P. H. Leung, 2008, MobiDE '08.

On the efficiency of domain-based COTS product selection method

Hareton K. N. Leung, Karl R. P. H. Leung, H. Leung, 2002, Inf. Softw. Technol..

A Metamorphic Testing Approach for Online Testing of Service-Oriented Software Applications

W. Chan, S. Cheung, K. Leung, 2007, Int. J. Web Serv. Res..

So Kin Ming Location Estimation via Missing Value Support Vector Regression

Karl R. P. H. Leung, Zhi-Li Wu, Chun-hung Li, 2003 .