Xinming Tan

Publication Activity (10 Years)

Years Active: 2001-2011
Publications (10 Years): 0

Publications

Yingxu Wang, Xinming Tan
The Formal Design Models of Tree Architectures and Behaviors. Int. J. Softw. Sci. Comput. Intell. 3 (4) (2011)
Yingxu Wang, Cyprian F. Ngolah, Xinming Tan, Phillip C.-Y. Sheu
The Formal Design Model of Doubly-Linked-Circular Lists (DLC-Lists). Int. J. Softw. Sci. Comput. Intell. 3 (2) (2011)
Yingxu Wang, Cyprian F. Ngolah, Xinming Tan, Yousheng Tian, Phillip C.-Y. Sheu
The Formal Design Model of a File Management System (FMS). Int. J. Softw. Sci. Comput. Intell. 3 (1) (2011)
Yingxu Wang, Xinming Tan, Cyprian F. Ngolah
Design and Implementation of an Autonomic Code Generator Based on RTPA. Int. J. Softw. Sci. Comput. Intell. 2 (2) (2010)
Yingxu Wang, Xinming Tan, Cyprian F. Ngolah, Phillip C.-Y. Sheu
The Formal Design Models of a Set of Abstract Data Types (ADTs). Int. J. Softw. Sci. Comput. Intell. 2 (4) (2010)
Xinming Tan, Yingxu Wang
A Denotational Semantics of Real-Time Process Algebra (RTPA). Int. J. Cogn. Informatics Nat. Intell. 2 (3) (2008)
Xinming Tan, Yingxu Wang, Cyprian F. Ngolah
Design and Implementation of an Automatic RTPA Code Generator. CCECE (2006)
Cyprian F. Ngolah, Yingxu Wang, Xinming Tan
Implementing the Real-Time Processes of RTPA using Real-Time Java. CCECE (2006)
Xinming Tan, Yingxu Wang
Transforming RTPA Mathematical Models of System Behaviors Into C++. IEEE ICCI (2006)
Xinming Tan, Yingxu Wang, Cyprian F. Ngolah
Specification of the RTPA Grammar and Its Recognition. IEEE ICCI (2004)
Xinming Tan, Shaomei Wang
Implementation of Multi-Agent System Based on CORBA and COM. CSCWD (2001)