Cyprian F. Ngolah

According to our database, Cyprian F. Ngolah authored at least 14 papers between 2004 and 2011.

Collaborative distances:

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

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

Intelligent Fault Recognition and Diagnosis for Rotating Machines using Neural Networks.

Cyprian F. Ngolah, Ed Morden, Yingxu Wang

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

An intelligent fault recognizer for rotating machinery via remote characteristic vibration signal detection.

Cyprian F. Ngolah, Ed Morden, Yingxu Wang

Proceedings of the 10th IEEE International Conference on Cognitive Informatics and Cognitive Computing, 2011

2010

The Formal Design Model of a Real-Time Operating System (RTOS+): Static and Dynamic Behaviors.

Yingxu Wang, Guangping Zeng, Cyprian F. Ngolah, Phillip C.-Y. Sheu, C. Choy, Yousheng Tian

Int. J. Softw. Sci. Comput. Intell., 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

The Formal Design Model of a Real-Time Operating System (RTOS+): Conceptual and Architectural Frameworks.

Yingxu Wang, Cyprian F. Ngolah, Guangping Zeng, Phillip C.-Y. Sheu, C. Choy, Yousheng Tian

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

2009

The Formal Design Model of a Lift Dispatching System (LDS).

Yingxu Wang, Cyprian F. Ngolah, Hadi Ahmadi, Phillip C.-Y. Sheu, Shi Ying

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

2008

An Operational Semantics of Real-Time Process Algebra (RTPA).

Yingxu Wang, Cyprian F. Ngolah

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

2005

Formal specification of CORBA-based distributed objects and behaviors.

Cyprian F. Ngolah, Yingxu Wang

Proceedings of the 4th IEEE International Conference on Cognitive Informatics (ICCI 2005), 2005

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