Search the dblp DataBase

Publications of Author

1. Guilan Dai, Xiaoying Bai, Chongchong Zhao
   A Framework for Time Consistency Verification for Web Processes Based on Annotated OWL-S. [Citation Graph (0, 0)][DBLP]
   GCC, 2007, pp:346-353 [Conf]
   
2. 
   Verification for Time Consistency of Web Service Flow. [Citation Graph (, )][DBLP]
   
   
3. 
   A Verification Method for Temporal Consistency of Service Flow. [Citation Graph (, )][DBLP]
   
   
4. 
   Semantic Data Integration in Materials Science Based on Semantic Model. [Citation Graph (, )][DBLP]
   
   
5. 
   A New Keywords Method to Improve Web Search. [Citation Graph (, )][DBLP]
   
   
6. 
   A Framework for Model Checking Web Service Compositions Based on BPEL4WS. [Citation Graph (, )][DBLP]
   
   
7. 
   Adaptive Line Size Cache for Irregular References on Cell Multicore Processor. [Citation Graph (, )][DBLP]
   
   
8. 
   Model Checking for Web Service Flow Based on Annotated OWL-S. [Citation Graph (, )][DBLP]
   
   
9. 
   Ontology-Based Semantic Integration Method for Domain-Specific Scientific Data. [Citation Graph (, )][DBLP]
   
   
10. 
    A Software Complexity Metric for SCA Specification. [Citation Graph (, )][DBLP]
    
    
11. 
    An Architectural Quality Assessment for Domain-Specific Software. [Citation Graph (, )][DBLP]
    
    
12. 
    A Service-Oriented Modeling Technique for Domain-Specific Software. [Citation Graph (, )][DBLP]
    
    
13. 
    Timing Constraints Specification and Verification for Web Service Compositions. [Citation Graph (, )][DBLP]