位置：成果数据库 > 会议 > 会议详情页
Semantic Component Behavior Equivalence Analysis based on Higher-order Typed pi Calculus
  • 所属机构名称：杭州电子科技大学
  • 会议名称：International Symposium on Intelligent Information Systems and Applications
  • 成果类型：会议
  • 会场：Qingdao, PEOPLES R CHINA
  • 相关项目：普适环境下自适应中间件模型与方法研究
作者： Wu, Qing|Hu, Weihua|Zhao, Chunbo|
同会议论文项目
普适环境下自适应中间件模型与方法研究
期刊论文 9 会议论文 10 著作 1
同项目会议论文
A Context-aware based Application of Smart Vehicle Space for Ubiquitous Computing
A Context-aware Collaborative Muti-Agent Model for Smart Vehicle Space.
A PERCLOS-based driver fatigue recognition application for smart vehicle space
A HMM-based Driver Fatigue Recognition Application in Smart Vehicle Space
A driver abnormality recondition model based on dynamic Bayesian network for ubiquitous computing
An adaptive and semantic component model for adaptive middleware in ubiquitous computing environment
A semantic and adaptive context management service for smart vehicle space in ubiquitous computing e
ScudADL: An architecture description language for adaptive middleware in ubiquitous computing enviro
An Application Requirement-based Framework for Adaptive Middleware