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

Search Results

Help

Item hits: (Results 1-9 of 9)

Items/Page:    Sort:
formal based operation strategy design for collaborative shared teleoperation system [会议论文]
International Conference on Control, Automation and Systems, ICCAS 2010, Gyeonggi, 40843
Fengge Wu; Junsuo Zhao; Huaping Liu; Xiaohui Hu; Fanjiang Xu
  |  
 
characterizations of stable model semantics for logic programs with arbitrary constraint atoms [期刊论文]
THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2009-01-01, 卷号: 9, 期号: 4, 页码: 529-564
Shen Yi-Dong; You Jia-Huai; Yuan Li-Yan

 
parallel preconditioners for large scale partial difference equation systems [期刊论文]
Elsevier, 2009-01-01, 卷号: 226, 期号: 1, 页码: 125-135
Sun Jia-Chang; Cao Jianwen; Yang Chao
  |  
 
a flexible transformation scheme between the or of bpmn and link of bpel [会议论文]
3rd IEEE Asia-Pacific Service Computing Conference (APSCC 2008), Yilan, TAIWAN, DEC 09-12,
Bai Lin; Wei Jun
  |  
 
a generalized gelfond-lifschitz transformation for logic programs with abstract constraints [会议论文]
AAAI-07/IAAI-07 Proceedings: 22nd AAAI Conference on Artificial Intelligence and the 19th Innovative Applications of Artificial Intelligence Conference, Vancouver, BC, Canada, 37459
Shen Yi-Dong; You Jia-Huai
  |  
 
distinguishing between automatic and manual aspects of model driven development [会议论文]
13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems, Potsdam, GERMANY, MAR 27-30,
Duan Yucong; Gu Yuqing; Cheung S. C.; Fu Xiaolan; Wang Jing; Hu Qingwu
  |  
 
distinguishing between automatic and manual aspects of model driven development [会议论文]
13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems, Potsdam, GERMANY, MAR 27-30,
Duan Yucong; Gu Yuqing; Cheung S. C.; Fu Xiaolan; Wang Jing; Hu Qingwu
  |  
 
a metamodel based model transformation approach [会议论文]
3rd International Conference on Software Engineering Research, Management and Applications, Mt Pleasant, MI, AUG 11-13,
Duan YC; Cheung SC; Fu XL; Gu YQ
  |  
 
multifractal analysis and model of the mpeg-4 video traffic [会议论文]
IEEE International Performance, Computing and Communications Conference, PHOENIX, AZ, APR 09-11,
Hong F; Wu ZM
  |  
 

1

 

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