普适计算中可信服务构建的形式化分析与验证

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|
查看更多信息请先登录或注册

趋势报告

经验分享