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

Search Results

Help

Item hits: (Results 161-170 of 194)

Filters    
Items/Page:    Sort:
search space partition and case basis exploration for reducing model checking complexity [会议论文]
2nd International Conference on Automated Technology for Verification and Analysis, Taipei, TAIWAN, OCT 31-NOV
Su B; Zhang WH
  |  
 
performance tuning for application server onceas [会议论文]
2nd International Symposium on Parallel and Distributed Processing and Applications, Hong Kong, PEOPLES R CHINA, DEC 13-15,
Zhang WB; Yang B; Jin BH; Chen NJ; Huang T
  |  
 
security analysis of user efficient blind signatures [会议论文]
Advanced Workshop on Content Computing, ZhenJiang, PEOPLES R CHINA, NOV 15-17,
Cao TJ; Lin DD; Xue R
  |  
 
physical object icons buttons gesture (pibg): a new interaction paradigm with pen [会议论文]
8th International Conference on Computer Supported Cooperative Work in Design, Xiamen, PEOPLES R CHINA, MAY 26-JUN
Dai GZ; Wang H
  |  
 
an arbitrated quantum message signature scheme [会议论文]
1st International Symposium on Computational and Information Science, Shanghai, PEOPLES R CHINA, DEC 16-18,
Lu X; Feng DG
  |  
 
an improved study of real-time fluid simulation on gpu [会议论文]
17th Annual Conference on Computer Animation and Social Agents (CASA 2004), Geneva, SWITZERLAND, JUL 07-09,
Wu EH; Liu YQ; Liu XH
  |  
 
survey on the end-to-end internet delay measurements [会议论文]
7th IEEE International Conference on High Speech Networks and Multimedia Communications, Toulouse, FRANCE, JUN 30-JUL
Wang JF; Zhou MT; Li YX
  |  
 
a new web application development methodology: web service composition [会议论文]
2nd International Workshop on Web Services, E-Business and the Semantic Web held in conjunction with the 15th International Conference on Advanced Information Systems Engineering (CAiSE 2003), Klagenfurt, AUSTRIA, JUN 16-17,
Ren ZH; Jin BH; Li J
  |  
 
discas: a distributed-parallel computer algebra system [会议论文]
4th International Conference on Computational Science (ICCS 2004), Krakow, POLAND, JUN 06-09,
Wu YW; Yang GW; Zheng WM; Lin DD
  |  
 
a ptas for embedding hypergraph in a cycle - (extended abstract) [会议论文]
31st International Colloquium on Automata, Languages and Programming (ICALP 2004), Turku, FINLAND, JUL 12-16,
Deng XT; Li GJ
  |  
 

previous 8 9 10 11 12 13 14 15 16 17 18 19 20 next

 

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