再问科研
基金查询
精品课程
学科分析
选题分析
AI润色
新闻公告
趋势报告
经验分享
社科查询
登录
注册
黄林鹏
面上项目
项目编号:
60970010 【年份:2009】
项目名称:
普适计算中可信服务构建的形式化分析与验证
资助金额:
30万
单位名称:
上海交通大学
学科分类:
F0203.软件理论、软件工程与服务
参与者:
上海交通大学
普适计算中可信服务构建的形式化分析与验证
项目批准号:
60970010
批准年份:
2009
学科分类:
F0203.软件理论、软件工程与服务
项目负责人:
黄林鹏
资助类别:
面上项目
负责人职称:
教授
依托单位:
上海交通大学
资助金额:
30万元
关键词:
可信计算;服务组合;普适计算
起止时间:
2010-01-01到2012-12-31
中英文摘要
结题摘要
结题报告
项目成果
项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
标题
类型
全部
期刊论文
会议论文
著作
奖励
专利
作者
搜索
重置
序号
标题
类型
作者
1
A Dependable Encapsulation and Composition Model for Component-Based Software
会议论文
Chen Li|Linpeng Huang|Luxi Chen|Chengyuan Yu|
2
PBDDR: Probe-Based Deadlock Detection and Recovery Strategy for Component-Based Systems
会议论文
Chen Li|Linpeng Huang|Luxi Chen|Weichao Luo|Xu Li|
3
事务控制的面向服务系统的动态更新协调
期刊论文
王德俊|黄林鹏|徐小辉|
4
A Solution for Data Inconsistency in Data Integration
期刊论文
Wang Xin|Huang Lin-Peng|Xu Xiao-Hui|Zhang Yi|Chen Jun-Qing|
5
A Formal Model for Resource Protections in Web Service Applications
会议论文
Junqing Chen|Linpeng Huang|
6
RRPSS: an architecture for rapid reconstruction of pervasive service composition
会议论文
Yu Chengyuan|Huang Linpeng|Chen Junqing|Du Siqi|
7
A Fault-Resilient Method for Wireless Sensor Networks in Pervasive Computing
期刊论文
Junqing Chen|Linpeng Huang|
8
A Fully Friendly Smart Home Architecture
期刊论文
Chengyuan YU|Linpeng HAUNG|Chen LI|
9
Using Dynamic Probe for Deadlock Detection in Component-Based System
会议论文
Chen Li|Linpeng Huang|Luxi Chen|Weichao Luo|
10
Trustworthiness Assessment Based Label Access Control for Internetware Systems
会议论文
Luxi Chen|Linpeng Huang|Chen Li|
11
Software Architecture Matching by Meta-model Extension and Refinement
会议论文
Luxi Chen|Linpeng Huang|Chen Li|Weichao Luo|
12
普适服务动态更新中服务对象状态转移系统及其方法
专利
*黄林鹏; 沈飞; 杜思奇
13
Dynamic Software Architectures: Formal Specification and Verification with CSP
会议论文
Chen Li|Linpeng Huang| Luxi Chen|Xu Li|Weichao Luo|
14
Supporting Dynamic Service Updates in Pervasive Applications
会议论文
Chen Junqing|Huang Linpeng|
15
普适环境中的动态更新模型
期刊论文
周文嘉|黄林鹏|陈俊清|
16
A Formal Model for Supporting Frameworks of Dynamic Service Update Based on OSGi
会议论文
Junqing Chen|Linpeng Huang|Siqi Du|Wenjia Zhou|
17
基于ASM的普适环境下的服务动态组合
期刊论文
曾慧清|黄林鹏|陈俊清|
18
A Formal Model for Dynamic Service Updates in Pervasive Computing.
会议论文
Siqi Du|Linpeng Huang|Jun-Qing Chen|
19
普适服务的动态更新方法及其更新系统
专利
陈俊清; *黄林鹏; 杜思奇; 于程远
20
一种面向普适计算的动态更新模型
期刊论文
杜思奇|黄林鹏|陈俊清|陈璐希|
21
A Type System for Behavior Consistent Service Substitution in Service Compositions
会议论文
Jun-Qing Chen|Huang Linpeng|
22
一种基于代理的面向服务软件系统的容错方法
专利
黄林鹏; 顾亮亮; 李晨
23
计算机组合服务快速重建系统及其重建方法
专利
于程远; *黄林鹏; 陈俊清
24
Component substitutability behavior consistency verification based on architecture-driven development
会议论文
Chen Luxi|Huang Linpeng| Li Chen|
25
A Solution of Data Inconsistencies in Data Integration - Designed for Pervasive Computing Environment
期刊论文
Wang, Xin|Huang, Lin-Peng|Zhang, Yi|Xu, Xiao-Hui|Chen, Jun-Qing|
查看更多信息请先登录或注册
趋势报告
经验分享
年份:
请选择
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年获得过国自然的请提交一下