Cyprian F. Ngolah

14 papers Journal 9Unranked 5
YearRankTypeTitle / Venue / Authors
2011 — conf
An intelligent fault recognizer for rotating machinery via remote characteristic vibration signal detection.
IEEE ICCI*CC
Cyprian F. Ngolah, Ed Morden, Yingxu Wang
2011 J jnl
Intelligent Fault Recognition and Diagnosis for Rotating Machines using Neural Networks.
Int. J. Softw. Sci. Comput. Intell.
Cyprian F. Ngolah, Ed Morden, Yingxu Wang
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
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 Model of a Real-Time Operating System (RTOS+): Conceptual and Architectural Frameworks.
Int. J. Softw. Sci. Comput. Intell.
Yingxu Wang, Cyprian F. Ngolah, Guangping Zeng, Phillip C.-Y. Sheu, C. Choy, Yousheng Tian
2010 J jnl
The Formal Design Model of a Real-Time Operating System (RTOS+): Static and Dynamic Behaviors.
Int. J. Softw. Sci. Comput. Intell.
Yingxu Wang, Guangping Zeng, Cyprian F. Ngolah, Phillip C.-Y. Sheu, C. Choy, Yousheng Tian
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
2009 J jnl
The Formal Design Model of a Lift Dispatching System (LDS).
Int. J. Softw. Sci. Comput. Intell.
Yingxu Wang, Cyprian F. Ngolah, Hadi Ahmadi, Phillip C.-Y. Sheu, Shi Ying
2008 J jnl
An Operational Semantics of Real-Time Process Algebra (RTPA).
Int. J. Cogn. Informatics Nat. Intell.
Yingxu Wang, Cyprian F. Ngolah
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
2005 — conf
Formal specification of CORBA-based distributed objects and behaviors.
IEEE ICCI
Cyprian F. Ngolah, Yingxu Wang
2004 — conf
Specification of the RTPA Grammar and Its Recognition.
IEEE ICCI
Xinming Tan, Yingxu Wang, Cyprian F. Ngolah