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

Search Results

Help

Item hits: (Results 51-60 of 72)

Items/Page:    Sort:
what semantic equivalences are suitable for non-interference properties in computer security [会议论文]
9th International Conference on Information and Communications Security, ICICS 2007, Zhengzhou, China, 40878
Huang Xiaowei; Jiao Li; Lu Weiming
  |  
 
on the expressive power of qltl [会议论文]
4th International Colloquium on Theoretical Aspects of Computing (ICTAC 2007), Macao, PEOPLES R CHINA, SEP 26-28,
Wu Zhilin
  |  
 
efficient state space reduction for automata by fair simulation [会议论文]
International Symposium on Fundamentals of Software Engineering, Tehran, IRAN, APR 17-19,
Yi Jin; Zhang Wenhui
  |  
 
multiplicative linear secret sharing schemes based on connectivity of graphs [会议论文]
1st SKLOIS Conference on Information Security and Cryptology, Beijing, PEOPLES R CHINA, DEC 15-17,
Liu Mulan; Xiao Liangliang; Zhang Zhifang
  |  
 
adding adaptability to mailbox-based mobile ip [会议论文]
IFIP International Conference Embedded and Ubiquitous Computing, Taipei, TAIWAN, DEC 17-20,
Zhang Liang; Jin Beihong; Cao Jiannong
  |  
 
computing invariants for parameter abstraction [会议论文]
ACM/IEEE International Conference on Formal Methods and Models for Co-Design, Nice, FRANCE, MAY 30-JUN
Lv Yi; Lin Huimin; Pan Hong
  |  
 
minimizing response time implication in dvs scheduling for low power embedded systems [会议论文]
4th International Conference on Innovations in Information Technology, Dubai, U ARAB EMIRATES, NOV 18-20,
Min-Allah Nasro; Kazmi Asad-Raza; Ali Ishtiaq; Xing Jian-Sheng; Wang Yong-Ji
  |  
 
formal programming for the shortest path and its critical edge problems [会议论文]
2007 IEEE International Conference on Automation and Logistics, ICAL 2007, Jinan, China, August 18,
Zheng Yujun; Xue Jinyun; Shi Haihe
  |  
 
from mathematics to software engineering: introducing category theory into the computer science curriculum [会议论文]
7th International Conference on Computational Science (ICCS 2007), Beijing, PEOPLES R CHINA, MAY 27-30,
Zheng Yujun; Shi Haihe; Xue Jinyun
  |  
 
design of a micro-kernel based secure system architecture [会议论文]
7th Annual IEEE Information Assurance Workshop, W Point, NY, JUN 21-23,
Shen Jianjun; Qing Sihan; Shen Qingni
  |  
 

previous 1 2 3 4 5 6 7 8 next

 

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