中国科学院软件研究所机构知识库
Register
Email:
Passwd
验 证:
换一张
Have you forgotten your password? Log In
Advanced  
在结果中检索
  Communities
  Subjects
  All Items
作者
徐文文 [1]
Content Type
期刊论文 [15]
Issued Date
Language
Project
Indexed
Spnsorship
ISCAS OpenIR

Search Results

 Help

Item hits: (Results 1-10 of 15)

Filters    
Items/Page:    Sort:
a generalized real-time obstacle avoidance method without the cspace calculation [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2005-01-01, 卷号: 20, 期号: 6, 页码: 774-787
Wang YJ; Cartmell M; Tao QM; Liu H
  |  
 
a probability-guaranteed adaptive timeout algorithm for high-speed network flow detection [期刊论文]
COMPUTER NETWORKS-THE INTERNATIONAL JOURNAL OF COMPUTER AND TELECOMMUNICATIONS NETWORKING, 2005-01-01, 卷号: 48, 期号: 2, 页码: 215-233
Wang JF; Li L; Sun FC; Zhou MT
  |  
 
handling synchronization problem in petri net-based system design by property-preserving transition-reduction [期刊论文]
COMPUTER JOURNAL, 2005-01-01, 卷号: 48, 期号: 6, 页码: 692-701
Jiao L; Cheung TY; Lu WM
  |  
 
new semantic model for authentication protocols in asms [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2004-01-01, 卷号: 19, 期号: 4, 页码: 555-563
Xue R; Feng DG
  |  
 
model checking real-time value-passing systems [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2004-01-01, 卷号: 19, 期号: 4, 页码: 459-471
Chen J; Cao ZN
  |  
 
an orientation update message filtering algorithm in collaborative virtual environments [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2004-01-01, 卷号: 19, 期号: 3, 页码: 423-429
Zhang MJ; Georganas ND
  |  
 
automatic generation of symbolic model for parameterized synchronous systems [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2004-01-01, 卷号: 19, 期号: 6, 页码: 812-819
Xu WenWen(徐文文)
  |  
 
decomposing a kind of weakly invertible finite automata with delay 2 [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2003-01-01, 卷号: 18, 期号: 3, 页码: 354-360
Yao G
  |  
 
a context-aware infrastructure for supporting applications with pen-based interaction [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2003-01-01, 卷号: 18, 期号: 3, 页码: 343-353
Li Y; Guan ZW; Dai GZ; Ren XS; Han Y
  |  
 
fast algorithms for revision of some special propositional knowledge bases [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2003-01-01, 卷号: 18, 期号: 3, 页码: 388-392
Luan SM; Dai GZ
  |  
 

1 2 next

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