再问科研
基金查询
学科分析
选题分析
AI润色(Beta)
新闻公告
趋势报告
经验分享
登录
注册
陈仪香
重大研究计划
项目编号:
90718013 【年份:2007】
项目名称:
基于多维属性的软件可信性度量模型的研究
资助金额:
50万
单位名称:
华东师范大学
学科分类:
F0203.软件理论、软件工程与服务
参与者:
华东师范大学
基于多维属性的软件可信性度量模型的研究
项目批准号:
90718013
批准年份:
2007
学科分类:
F0203.软件理论、软件工程与服务
项目负责人:
陈仪香
资助类别:
重大研究计划
负责人职称:
教授
依托单位:
华东师范大学
资助金额:
50万元
关键词:
近似算法与近似正确;软件可信性;软件多维属性;可信性度量模型
起止时间:
2008-01-01到2010-12-01
中英文摘要
结题摘要
结题报告
项目成果
项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
标题
类型
全部
期刊论文
会议论文
著作
奖励
专利
作者
搜索
重置
序号
标题
类型
作者
1
Trustworthiness Expectation of Real-time Web Services
会议论文
Xinxing Wu|Yixiang Chen|
2
A Computation Model of Trustworthy Degree
会议论文
MIn Zhang|Yanfang Ma|
3
An Improved Medium-Field Multivariate Public-Key Encryption Scheme
会议论文
Yixiang Chen|Hongwei Tao|
4
Another Metric Model for Trustworthiness of Softwares Based on Partition
期刊论文
Yixiang Chen|Hongwei Tao|
5
Max-Minimum Algorithm for Trust Transitivity in Trustworthy Networks
会议论文
TianMing Bu|Yixiang Chen|Ming Zhang|Hong Zhun\|
6
A New Metric Model for Trustworthiness of Softwares
会议论文
Hongwei Tao|Yixiang Chen|
7
A Measurement of Software Trustworthiness Based on Approximation Algorithms
会议论文
Hong Zhu|Jie Zhou|
8
A Metric Model for Trustworthiness of Softwares
会议论文
Yixiang Chen|Hongwei Tao|
9
Success Measurement of Web Services with BPEL
会议论文
Xinxing Wu|Yixiang Chen|
10
Parameterized Bisimulation Infinite Evolution Mechanism
会议论文
Min Zhang|Yanfang Ma|Yixiang Chen|
11
Research of A Multi-dimension Measurement Trusting Model Based on Markov Chain
会议论文
Yixiang Chen|Hongyan Mao|
12
完全相容稳定模糊谓词转换器
期刊论文
陈仪香|马艳芳|
13
Web服务的可信性度量
期刊论文
吴新星|陈仪香|
14
A Noisy Channel Model for Web Service
会议论文
Jie Zhou|Yixiang Chen|
15
Topological Construction of Parameterized Bisimulation Limit
期刊论文
Min Zhang|Yanfang Ma|
16
跳过程的μ不变测度--含单瞬时态情形
期刊论文
吴新星|
17
Measurement of Trust Transitivity in Trustworthy Networks
期刊论文
Yixiang Chen|Min Zhang|Hong Zhu|TianMing Bu|
18
Modeling Instability in a New Framework of Interval Valued Process Algebra
会议论文
Yixiang Chen|Jie Zhou|
19
On the Calculation Metrics of Programming Languages
会议论文
Yixiang Chen|Xinxing Wu|
20
跳过程的 μ 不变测度--含吸收态情形
期刊论文
吴新星|
21
Average Transitive Trustworthy Degrees for Trustworthy Networks
期刊论文
Yixiang Chen|Hong Zhu|Min Zhang|Tianming Bu|
22
Software Trustworthy Measurements Based on the Structures of Programming Languages
会议论文
Yixiang Chen|Xinxing Wu|
23
Trustworthy Scheduling based on Constraint Solving Scheme
会议论文
Yixiang Chen|Juyang Zhang|
24
A Duality Theorem for Quantitative Semantics
期刊论文
Yixiang Chen|Hengyang Wu|
25
信息技术当前的研究热点
期刊论文
陈仪香|
26
Multi-random Relation and Its Applications
期刊论文
Yixiang Chen|Xinxing Wu|
查看更多信息请先登录或注册
相关项目
1
开源社区贡献者的加入及其可持续发展研究
2
基于随机搜索的程序智能合成关键技术研究
3
可扩展的组合测试方法研究
趋势报告
国自然申请攻略干货全集(1月30日大更新)
【专业会员】独享&免费内容合集
2023年国自然二级学科资助率汇总
经验分享
国自然申请攻略干货全集(1月30日大更新)
【专业会员】独享&免费内容合集
2023年国自然二级学科资助率汇总
年份:
请选择
2022年
2021年
2020年
2019年
2018年
2017年
2016年
2015年
2014年
2013年
2012年
2011年
2010年
2009年
2008年
2007年
2006年
2005年
2004年
2003年
2002年
2001年
2000年
1999年
1998年
1997年
1996年
1995年
1994年
1993年
1992年
1991年
1990年
1989年
1988年
项目负责人:
单位名称:
提交
由于2020年国自然政策发生变化,若您身边有2020年获得过国自然的请提交一下