Bisimulation proof methods in a path-based specification language for polynomial coalgebras.
Math. Struct. Comput. Sci., 2015
Educational Data Mining and Analyzing of Student Learning Outcomes from the Perspective of Learning Experience.
Proceedings of the 7th International Conference on Educational Data Mining, 2014
TSIR: A Chinese Temporal semantics Information Retrieval system based on MapReduce.
Proceedings of the IEEE 18th International Conference on Computer Supported Cooperative Work in Design, 2014
A collaborative framework for parallel view maintenance.
Proceedings of the 12th International Conference on CSCW in Design, 2008
A Task Balancing and Collaborative Strategy for View Maintenance Based on CSCW.
Proceedings of the 10th International Conference on CSCW in Design, 2006
A parallel multiple dimensional view re-evaluation strategy.
Proceedings of the Ninth International Conference on Computer Supported Cooperative Work in Design, 2005
Correction strategy for view maintenance anomaly after schema and data updating concurrently.
Proceedings of the Ninth International Conference on Computer Supported Cooperative Work in Design, 2005