位置：成果数据库 > 期刊 > 期刊详情页
Specification and verification of dynamic evolution of software architectures
  • ISSN号：1383-7621
  • 期刊名称：Journal of Systems Architecture
  • 时间：0
  • 页码：523-533
  • 语言：英文
  • 相关项目：支持自验证自演化的可信网络软件体系结构及其机理
作者： Zeng Guosun|Xu Hongzhen|
同期刊论文项目
支持自验证自演化的可信网络软件体系结构及其机理
期刊论文 42 会议论文 14
同项目期刊论文
绿色评价模型的互模拟等价及逻辑保持
异构重构计算系统应用任务调度的性能分析
软件体系结构动态演化的条件超图文法及分析
组合E-服务的活动链行为模式设计及验证
基于随机Petri网的可重构核心单元分析
基于超图文法的软件体系结构动态演化
信息文档结构信任模式的提取及逻辑描述
Interest-driven reasoning based on commitment alternating temporal logic in the P2P reputation syste
基于动态阈值的陌生网络实体间信任建立方法
计算任务与体系结构匹配的异构计算可扩展性分析
Bayesian cognitive trust model based self-clustering algorithm for MANETs
一种基于非功能属性决策的可信Web服务发现模型
一种刻画功能和时间空间性能的统一验证模型atsFPM
An evidence-based iterative content trust algorithm for the credibility of online news
基于Delta-Grammar的软件体系结构演化的描述
P2P环境下文件共享的信任建立博弈模型及稳态分析
N体问题的FPGA求解和设计方法
一种基于温度感知的多核调度方法
基于模型检测的时间空间性能验证方法
Using evidence based content trust model for spam detection
一种面向方面软件体系结构模型
Description and verification of dynamic software architectures for distributed systems
基于Bayes认知信任模型的MANETs自聚集算法
基于自组织演化的多Agent可信联盟研究
A general data dependence analysis for parallelizing compilers(Journal of Supercomputing DOI:10.1007
属性委托授权逻辑系统中的主观信任控制
P2P网络中防止欺骗行为的一种信任度计算方法
一种基于四叉树的空间数据缓存策略
基于向量空间模型的网页文本可信性分类方法
Additional service security of e-commerce in mine enterprises
基于开放网络环境下信任建立的博弈模型
基于标签树的自动信任协商策略分析
A mechanism for grid service composition behavior specification and verification
基于安全多方计算的可信防共谋协议模型
基于模型检测的数据流异常测试技术研究
跳频技术在高频地波雷达中的应用
群体随机运动下可信联盟的约束演化方程及其概率计算
一种新的智能公交出行建模方法及其实现