软件学报杂志北大期刊CSCD期刊统计源期刊

软件学报 2005年第10期杂志 文档列表

软件学报杂志算法设计与分析

求解QAP问题的近似骨架导向快速蚁群算法第1691-1698页

关键词: oap；  近似骨架；  abfant；  qaplib；  

最大节约原则下单倍型推导问题的实用算法第1699-1707页

关键词: 基因型；  单倍型；  snp；  单倍型推导；  最大节约原则；  贪心算法；  

软件学报杂志系统软件与软件工程

并发Java程序同步操作的有效删除第1708-1716页

关键词: 并发程序；  程序分析；  escape分析；  同步删除；  

基于分布式认知理论的扩展资源模型第1717-1725页

关键词: 人机交互；  分布式认知；  交互动作；  扩展资源模型；  交互策略；  

基于语法树的实时动态电压调节低功耗算法第1726-1734页

关键词: 编译器；  语法树；  实时；  动态电压调节；  低功耗；  rtlpower；  

基于事件约束的软件过程验证第1735-1742页

关键词: 软件工程；  软件过程；  软件过程改进；  过程模型；  过程验证；  事件约束；  

软件学报杂志默认

《2005年度计算机科学技术发展报告》征稿启事第1725-1725页

敬告作者第1756-1756页

欢迎加入中国计算机学会第1841-1841页

第2届中国可信计算与信息安全学术会议CTCIS2006征文通知第1852-1852页

《软件学报》投稿指南第-F0003页

软件学报杂志计算机网络与信息安全

可证明安全性理论与方法研究第1743-1756页

关键词: 可证明安全性；  密码方案；  安全协议；  标准模型；  

一种电子商务协议形式化分析方法第1757-1765页

关键词: 形式化分析；  电子商务协议；  可追究性；  公平性；  可信第三方；  

应用层组播的最小延迟生成树算法第1766-1773页

关键词: 应用层组播；  最小延迟生成树；  实时传输；  

多级安全DBMS的通用审计策略模型第1774-1783页

关键词: 审计；  策略模型；  多级安全数据库；