W. L. Yeung

Publication Activity (10 Years)

Years Active: 1990-2016
Publications (10 Years): 1

Top Topics

Contract Net Protocol

Navigation Paths

Top Venues

CHI Extended Abstracts

Publications

W. L. Yeung, Simon Y. W. Li
Prototyping the Machine-Human Dialogues in a Smartphone Voice Call Application With Task Resumption Support. CHI Extended Abstracts (2016)
W. L. Yeung
Applications of data mining in online retailing: A case for mining prefix-ordered web site navigation paths. ICSAI (2014)
W. L. Yeung
Short paper adapting the contract net protocol for publish/subscribe messaging. HPCS (2013)
W. L. Yeung
Behavioral modeling and verification of multi-agent systems for manufacturing control. Expert Syst. Appl. 38 (11) (2011)
W. L. Yeung
A formal and visual modeling approach to choreography based web services composition and conformance verification. Expert Syst. Appl. 38 (10) (2011)
W. L. Yeung
A Comparison of Visual Modeling Notations for Web Services Choreography. PACIS (2010)
W. L. Yeung
CSP-Based Verification for Web Service Orchestration and Choreography. Simul. 83 (1) (2007)
W. L. Yeung, S. A. Schneider
Formal verification of fault-tolerant software design: the CSP approach. Microprocess. Microsystems 29 (5) (2005)
Walter Dosch, W. L. Yeung
High-Level Design of a Ternary Asynchronous Multiplexer. IASSE (2005)
W. L. Yeung
Comparing the State-Based and Behavioural Approaches to Checking Consistency between Associations and State Machines in UML. IASSE (2004)
W. L. Yeung
Checking Consistency between UML Class and State Models Based on CSP and B. J. Univers. Comput. Sci. 10 (11) (2004)
W. L. Yeung
A Dual-Formalism Approach to Checking Consistency of Class and State Diagrams in UML. VVEIS (2004)
W. L. Yeung
Semantics-Based Support Tools for High Integrity Ada Software. Ada-Europe (1997)
W. L. Yeung, P. Smith, G. Topping, E. Bailey
Theoretical basis for Jackson System Development. Inf. Softw. Technol. 34 (8) (1992)
W. L. Yeung, G. Topping
Implementing JSD designs in Ada: a tutorial. ACM SIGSOFT Softw. Eng. Notes 15 (3) (1990)