中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 151-158 of 158)

Filters        
Items/Page:    Sort:
a csp and z combined modeling of document exchange processes in e-commerce protocols [会议论文]
2nd Asia-Pacific Conference on Quality Software, HONG KONG, PEOPLES R CHINA, DEC 10-11,
Wang X; Cheung SC; Wei J

 
the software architecture of a problem solving environment for enterprise computing [会议论文]
International Conference on Computational Science, AMSTERDAM, NETHERLANDS, APR 21-24,
Gang XJ; An WH; Zhong DG

 
modelling real-time systems with continuous-time temporal logic [会议论文]
4th International Conference on Formal Engineering Methods (ICFEM 2002), SHANGHAI, PEOPLES R CHINA, OCT 21-25,
Li GY; Tang ZS

 
a new approach to hierarchically retrieve mpeg video [会议论文]
3rd International Conference on Intelligent Data Engineering and Automated Learning, MANCHESTER, ENGLAND, AUG 12-14,
Liu Y; Zhang HQ; Wu ZM

 
modeling video-on-demand system in temporal logic [会议论文]
2nd IEEE Pacific Rim Conference on Multimedia, BEIJING, PEOPLES R CHINA, OCT 22-24,
Liu WM; Ma HD

 
a complete axiomatisation for timed automata [会议论文]
20th Conference on Foundations of Software Technology and Theoretical Computer Science, NEW DELHI, INDIA, DEC 13-15,
Lin HM; Yi W
  |  
 
penbuilder: platform for the development of pen-based user interface [会议论文]
3rd International Conference on Multimodal Interfaces (ICMI 2000), BEIJING, PEOPLES R CHINA, OCT 14-16,
Li Y; Guan ZW; Chen YD; Dai GZ
  |  
 
heuristic walkthroughs evaluation of pen-based chinese word edit system (pcwes) usability [会议论文]
3rd International Conference on Multimodal Interfaces (ICMI 2000), BEIJING, PEOPLES R CHINA, OCT 14-16,
Guan ZW; Li Y; Chen YD; Dai GZ
  |  
 

previous 7 8 9 10 11 12 13 14 15 16

 

Valid XHTML 1.0!
Copyright © 2007-2020  中国科学院软件研究所 - Feedback
Powered by CSpace