Search the dblp DataBase

Publications of Author

1. Hai Wan, Lei Li
   Design and Implementation of Semantic Caching Coherency Control Scheme Toward Distributed Environment. [Citation Graph (0, 0)][DBLP]
   APPT, 2005, pp:41-51 [Conf]
   
2. Hai Wan, Xiao-Wei Hao, Tao Zhang, Lei Li
   Semantic Caching Services for Data Grids. [Citation Graph (0, 0)][DBLP]
   GCC, 2004, pp:959-962 [Conf]
   
3. Hai Wan, Lei Li
   E-business Software Architecture based on Temporal ECA Rules and Actions Conflicts Management. [Citation Graph (0, 0)][DBLP]
   ICEBE, 2005, pp:208-211 [Conf]
   
4. Hai Wan, Yunxiang Zheng, Yin Chen, Lei Li
   Building Business Process Description and Reasoning Meta-model M_bp in A-Prolog. [Citation Graph (0, 0)][DBLP]
   SPW/ProSim, 2006, pp:195-203 [Conf]
   
5. Yunxiang Zheng, Lei Li, Hai Wan
   State-based Process Description Model in Chinese E-government Affair System. [Citation Graph (0, 0)][DBLP]
   COMPSAC (1), 2007, pp:565-568 [Conf]
   
6. Hankui Zhuo, Lei Li, Rui Bian, Hai Wan
   Requirement Specification Based on Action Model Learning. [Citation Graph (0, 0)][DBLP]
   ICIC (1), 2007, pp:565-574 [Conf]
   
7. 
   Formalization and Verification of PLC Timers in Coq. [Citation Graph (, )][DBLP]
   
   
8. 
   An Adaptive-Granularity Locking Algorithm and Its Application in Collaborative Authoring System. [Citation Graph (, )][DBLP]
   
   
9. 
   Formal Specification and Code Generation of Programable Logic Controllers. [Citation Graph (, )][DBLP]
   
   
10. 
    dl2asp: Implementing Default Logic via Answer Set Programming. [Citation Graph (, )][DBLP]