Xinming Tan

According to our database, Xinming Tan authored at least 11 papers between 2001 and 2011.

Collaborative distances:

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

2011

The Formal Design Models of Tree Architectures and Behaviors.

Yingxu Wang, Xinming Tan

Int. J. Softw. Sci. Comput. Intell., 2011

The Formal Design Model of a File Management System (FMS).

Yingxu Wang, Cyprian F. Ngolah, Xinming Tan, Yousheng Tian, Phillip C.-Y. Sheu

Int. J. Softw. Sci. Comput. Intell., 2011

The Formal Design Model of Doubly-Linked-Circular Lists (DLC-Lists).

Yingxu Wang, Cyprian F. Ngolah, Xinming Tan, Phillip C.-Y. Sheu

Int. J. Softw. Sci. Comput. Intell., 2011

2010

The Formal Design Models of a Set of Abstract Data Types (ADTs).

Yingxu Wang, Xinming Tan, Cyprian F. Ngolah, Phillip C.-Y. Sheu

Int. J. Softw. Sci. Comput. Intell., 2010

Design and Implementation of an Autonomic Code Generator Based on RTPA.

Yingxu Wang, Xinming Tan, Cyprian F. Ngolah

Int. J. Softw. Sci. Comput. Intell., 2010

2008

A Denotational Semantics of Real-Time Process Algebra (RTPA).

Xinming Tan, Yingxu Wang

Int. J. Cogn. Informatics Nat. Intell., 2008

2006

Design and Implementation of an Automatic RTPA Code Generator.

Xinming Tan, Yingxu Wang, Cyprian F. Ngolah

Proceedings of the Canadian Conference on Electrical and Computer Engineering, 2006

Implementing the Real-Time Processes of RTPA using Real-Time Java.

Cyprian F. Ngolah, Yingxu Wang, Xinming Tan

Proceedings of the Canadian Conference on Electrical and Computer Engineering, 2006

Transforming RTPA Mathematical Models of System Behaviors Into C++.

Xinming Tan, Yingxu Wang

Proceedings of the Firth IEEE International Conference on Cognitive Informatics, 2006

2004

Specification of the RTPA Grammar and Its Recognition.

Xinming Tan, Yingxu Wang, Cyprian F. Ngolah

Proceedings of the 3rd IEEE International Conference on Cognitive Informatics (ICCI 2004), 2004

2001

Implementation of Multi-Agent System Based on CORBA and COM.

Xinming Tan, Shaomei Wang

Proceedings of the Sixth International Conference on Computer Supported Cooperative Work in Design, 2001