位置：成果数据库 > 期刊 > 期刊详情页
A formal method to model and analyze QoS-Aware fault tolerant service composition
  • 期刊名称：International Journal of Autonomous and Adaptive C
  • 时间：0
  • 页码：-
  • 相关项目：基于服务的信息物理融合系统软件结构建模方法
作者： Guisheng Fan|Huiqun Yu|Liqiong Chen|Dongmei Liu|
同期刊论文项目
基于服务的信息物理融合系统软件结构建模方法
期刊论文 71 会议论文 22
同项目期刊论文
基于安全进程代数的非演绎安全模型的分析与验证
Sequence Composition Analysis of Noninterference in Cyber-Physical System with Petri Net
A reputation evaluation technique for web services
Securing personal health records in clouds by enforcing sticky policies
A Game Theory Approach to Fair and Efficient Resource Allocation in Cloud Computing
CDN缓存资源分配的细胞优化算法
基于Petri网的CPS系统安全量化分析模型
分布式嵌入式系统的自适应能耗管理和分析
基于效用的云计算容错策略和模型
群蚊子追踪算法
基于实时UML顺序图的物联网交互模型
一种改进的BM字符串匹配算法
Modeling and analyzing reliable cyber-physical systems based on aspect orientation
Analysis of the Composition of Non-Deducibility in Cyber-Physical Systems
Crystal energy optimization algorithm
一种基于RSSI距离比的传感器节点定位算法
Research on the encryption and digital signatures in remote attestation from elliptic curve group
Social group search optimizer algorithm for Ad Hoc network
A novel optimization algorithm inspired by the creative thinking process
基于信任度的并行化社区发现算法
Securing cloud emails using two factor authentication based on password/apps in cloud computing
基于容器的云资源管理博弈模型
云计算中基于进化算法的任务调度策略
基于多群体公平模型的特征选择算法
基于安全灰箱演算的物联网移动性建模验证
Formal Modeling and Analysis the Reliability of Cloud Application
Analysis of non-interference in cyber-physical systems
基于社会群体搜索算法的机器人路径规划
Modelling UML sequence diagrams with aspect-oriented extended petri nets
仿生蚊子追踪算法
大数据分析与隐私保护
基于HCPN的面向方面NVP建模与分析
基于广义随机着色Petri网的Web服务组合模型
Behavioral modeling with the new bio-inspired coordination generalized molecule model algorithm
Aspect-Oriented Design Method for Embedded Systems Based on Timed Statecharts
Energy-aware self-organisation algorithms with heterogeneous connectivity in wireless sensor network
A novel bio-inspired approach based on the behavior of mosquitoes
Petri net based techniques for constructing reliable service composition
云计算安全模型与管理
一种云存储数据完整性验证方法
一种基于AOcontPN的信息物理系统建模方法
TSP湖水能量优化算法
Modeling of Adaptive Cyber Physical Systems Using Aspect-Oriented Approach
基于ZigBee技术的井下人员定位算法研究
Fine-grained access controlvia XACML policy optimization in cloud computing
A requirement-driven method for secure and reliable Web service composition
基于副本分布策略的MapReduce性能优化技术
基于社区发现及主题分析的微博用户推荐
基于互斥条件的云数据中心虚拟机整合策略
带Mismatch算子的高阶π演算