【90718015】支持自验证自演化的可信网络软件体系结构及其机理国家自然基金项目

支持自验证自演化的可信网络软件体系结构及其机理

项目批准号： 90718015

批准年份： 2007

学科分类： F0203.软件理论、软件工程与服务

项目负责人：曾国荪

资助类别：重大研究计划

负责人职称：教授

依托单位：同济大学

资助金额： 50万元

关键词：网络软件;行为信任;自演化;体系结构..;自验证

起止时间： 2008-01-01到2010-12-01

中英文摘要
结题摘要
结题报告
项目成果
项目参与人

查看更多信息请先登录或注册

序号	标题	类型	作者
1	P2P环境下文件共享的信任建立博弈模型及稳态分析	期刊论文	项兴彬\|夏冬梅\|曾国荪\|
2	A general data dependence analysis for parallelizing compilers(Journal of Supercomputing DOI:10.1007/s11227-007-0168-7)	期刊论文	Zeng, Guosun\|Zhou, Jing\|
3	一种基于非功能属性决策的可信Web服务发现模型	期刊论文	胡旭东\|陈波\|曾国荪\|
4	Dynamic evolution of web-based systems	会议论文	Zeng, Guosun\|Xu, Hongzhen\|
5	Description and verification of dynamic software architectures for distributed systems	期刊论文	Xu, Hongzhen\|Zeng, Guosun\|Chen, Bo\|
6	基于Delta-Grammar的软件体系结构演化的描述	期刊论文	徐洪珍\|曾国荪\|程晓瑜\|
7	Detecting and resolving mismatches between pairs of services	会议论文	Liu, Tao\|Zeng, Guosun\|
8	基于Bayes认知信任模型的MANETs自聚集算法	期刊论文	曾国荪\|王伟\|
9	The property based on action sequence and compliance verification for compositional web service	会议论文	Xu, Hongzhen\|Zeng, Guosun\|Chen, Bo\|
10	一种基于四叉树的空间数据缓存策略	期刊论文	曾国荪\|李东军\|
11	基于向量空间模型的网页文本可信性分类方法	期刊论文	曾国荪\|毛雪云\|王伟\|
12	计算任务与体系结构匹配的异构计算可扩展性分析	期刊论文	谭一鸣\|曾国荪\|郝水侠\|
13	信息文档结构信任模式的提取及逻辑描述	期刊论文	曾国荪\|王伟\|陈路瑶\|
14	The reasoning rules based on CATL of P2P file sharing system	会议论文	Guosun, Zeng\|Xia, Dongmei\|Ke, Zhang\|Yu, Bao\|
15	A generalized model with spatial resources labels	会议论文	Zeng, Guosun\|Jun, Niu\|
16	Using evidence based content trust model for spam detection	期刊论文	Tang, Daizhong\|Wang, Wei\|Zeng, Guosun\|
17	Additional service security of e-commerce in mine enterprises	期刊论文	Liang, Zhao\|Guo-sun, Zeng\|Yu, Bao\|
18	Analysis of automated trust negotiation policy	会议论文	Huang, Yu\|Xia, Dongmei\|Zeng, Guosun\|Bao, Yu\|
19	基于自组织演化的多Agent可信联盟研究	期刊论文	曾国荪\|程柏良\|揭安全\|
20	Bayesian cognitive trust model based self-clustering algorithm for MANETs	期刊论文	Zeng GuoSun\|Wang Wei\|
21	The binary behavioral modes based on action sequence and compliance verification for compositional web service	会议论文	Chen, Bo\|Zeng, Guosun\|Xu, Hongzhen\|
22	一种基于温度感知的多核调度方法	期刊论文	宋鹏飞\|曾国荪\|
23	An Intelligent Ontology and Bayesian Network based Semantic Mashup for Tourism	会议论文	Zeng, Guosun\|Huang, Yu\|Wang, Xiaojun\|Zhang, Dongqi\|Qiu, Yufeng\|Wang, Wei\|
24	An evidence-based iterative content trust algorithm for the credibility of online news	期刊论文	Wang, Wei\|Zeng, Guosun\|
25	N体问题的FPGA求解和设计方法	期刊论文	曾国荪\|傅丽丽\|
26	Adaptation of mismatching services based on labelled interface automata	会议论文	Liu, Tao\|Zeng, Guosun\|
27	Interest-driven reasoning based on commitment alternating temporal logic in the P2P reputation system	期刊论文	Zeng, Guo-sun\|Bao, Yu\|Zhang, Ke\|
28	Specifying Dynamic Software Architectures for Distributed Systems	会议论文	Chen, Bo\|Xu, Hongzhen\|Zeng, Guosun\|
29	Specification and verification of dynamic evolution of software architectures	期刊论文	Zeng Guosun\|Xu Hongzhen\|
30	Reduction criteria for probabilistic models with spatial restrictions on states	会议论文	Jun, Niu\|Zeng, Guosun\|
31	Content trust based trustworthy news search engine	会议论文	Wang, Xiaojun\|Wang, Wei\|Zeng, Guosun\|
32	一种刻画功能和时间空间性能的统一验证模型atsFPM	期刊论文	陈波\|钮俊\|曾国荪\|
33	基于模型检测的时间空间性能验证方法	期刊论文	曾国荪\|王伟\|钮俊\|
34	Attribute delegation authorization based on subjective trust evaluation	会议论文	Li, Li\|Guo, Sun Zeng\|Chen, Bo\|
35	基于标签树的自动信任协商策略分析	期刊论文	曾国荪\|夏冬梅\|鲍宇\|陈波\|
36	基于开放网络环境下信任建立的博弈模型	期刊论文	曾国荪\|袁禄来\|刘继超\|
37	基于动态阈值的陌生网络实体间信任建立方法	期刊论文	鲍宇，曾国荪\|
38	A mechanism for grid service composition behavior specification and verification	期刊论文	Zeng, Guosun\|Zhou, Jing\|
39	属性委托授权逻辑系统中的主观信任控制	期刊论文	曾国荪\|陈波\|李莉\|
40	A bayesian knowledge engineering framework for service management	会议论文	Liu, Liang\|Zeng, Guosun\|Wang, Hao\|Wang, Wei\|Yang, Bo\|Liu, Peini\|
41	一种面向方面软件体系结构模型	期刊论文	朱春国\|曾国荪\|
42	P2P网络中防止欺骗行为的一种信任度计算方法	期刊论文	陈波\|王伟\|鲍宇\|曾国荪\|曾连荪\|

查看更多信息请先登录或注册

再问科研

相关项目

趋势报告

经验分享