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

软件学报 2006年第01期杂志 文档列表

软件学报杂志理论计算机科学

有限精度时间自动机的可达性检测第1-10页

关键词: 有限精度时间自动机；  符号化方法；  模型检测；  可达性；  

Petri网精细化操作及其在系统设计中的应用第11-19页

关键词: petri网；  精细化操作；  活性；  有界性；  系统设计；  

基于描述逻辑的模糊ER模型第20-30页

关键词: 模糊数据库；  模糊er模型；  描述逻辑；  模糊描述逻辑；  

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

一种任务类型敏感的J2EE事务调度算法第31-38页

关键词: j2ee；  事务调度；  优先级；  启发式；  

基于特征的构件模型及其规范化设计过程第39-47页

关键词: 构件；  特征空间；  特征依赖；  复用度；  规范化模式；  构件设计；  

基于场景构件式实时软件设计的一致性检验第48-58页

关键词: 实时软件；  构件式设计；  模型检验；  接口自动机；  顺序图；  统一建模语言；  

基于有向超图的资源约束下企业过程结构优化第59-68页

关键词: 有向超图；  资源约束；  企业过程结构优化；  有向超图切割；  

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

一种笔式用户界面软件领域模型及其应用第69-78页

关键词: 笔式用户界面软件；  以用户为中心的设计；  最终用户；  领域模型；  xml；  

《软件学报》网格计算专刊征文通知第78-78页

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

基于快速组播切换的分层移动组播体系结构第86-95页

关键词: 移动；  组播；  快速切换；  分层结构；  移动ip；  

Peer-to-Peer环境下多粒度Trust模型构造第96-107页

关键词: 对等网络；  本体；  信任树；  档案点；  多粒度信任模型；  

端到端的可用带宽测量方法第108-116页

关键词: 可用带宽；  瓶颈带宽；  容量；  蒙特卡洛；  带宽测量；  

延迟约束的分布式演化网络监测模型第117-123页

关键词: 分布式监测；  演化网络；  延迟约束；  np难；  近似算法；  

自动信任协商研究第124-133页

关键词: 信息安全；  信任协商；  访问控制策略；  信任证；  协商策略；