位置：成果数据库 > 期刊 > 期刊详情页
SPI演算规范的建模、实现验证研究
  • 期刊名称：计算机科学
  • 时间：0
  • 相关项目：面向科研领域普适计算环境的按需聚合服务平台管理机制研究
同期刊论文项目
面向科研领域普适计算环境的按需聚合服务平台管理机制研究
期刊论文 10 会议论文 10
同项目期刊论文
Isotope Programming Model for Context aware Application
An Uncertain Reasoning Approach withApplications to Target Identification and Software Detection. ac
MAS-based dynamic web service composition formal mode
State fusion of fuzzy automata with application on target tracking
An Improved Heuristic for QoS-Aware Service Composition Framework
Towards Formal Basis for Security Aspects of Dynamic Web Services Composition
高阶信息检素问题相关研究进展
Exploration of Energy Conservation MAC Protocol of WSNs for Ubiquitous Environment
基于MAS系统的动态web服务组合形式化建模研究