Xinming Tan

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