Search Results

Item hits: (Results 161-170 of 194)

Items/Page: 5101520253035404550556065707580859095100   Sort: SelectIssue Date AscendingIssue Date DescendingTitle AscendingTitle DescendingAuthor AscendingAuthor DescendingSubmitted Time AscendingSubmitted Time Descending
	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