Rujuan Liu

According to our database, Rujuan Liu authored at least 4 papers in 2008.

Collaborative distances:

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

2008

Model Checking for Web Service Flow Based on Annotated OWL-S.

Rujuan Liu, Changjun Hu, Chongchong Zhao

Proceedings of the Ninth ACIS International Conference on Software Engineering, 2008

A Verification Method for Temporal Consistency of Service Flow.

Rujuan Liu, Guilan Dai, Changjun Hu, Chongchong Zhao

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

Timing Constraints Specification and Verification for Web Service Compositions.

Guilan Dai, Rujuan Liu, Chongchong Zhao, Changjun Hu

Proceedings of the 3rd IEEE Asia-Pacific Services Computing Conference, 2008

Verification for Time Consistency of Web Service Flow.

Rujuan Liu, Changjun Hu, Chongchong Zhao, Zhong Gao

Proceedings of the 7th IEEE/ACIS International Conference on Computer and Information Science, 2008