位置：成果数据库 > 期刊 > 期刊详情页
Complete Axiomatization for Divergent-Sensitive Bisimulations in Basic Process Algebra with Prefix I
  • ISSN号：1571-0661
  • 期刊名称：Electronic Notes in Theoretical Computer Science
  • 时间：0
  • 页码：55-70
  • 语言：英文
  • 相关项目：服务计算的开放软件模型与协同机理研究
作者： Lu, Jian|Chen, Taolue|
同期刊论文项目
服务计算的开放软件模型与协同机理研究
期刊论文 56 会议论文 63 获奖 2 专利 9
同项目期刊论文
Ontology patterns for service-oriented software development
过程感知信息系统中过程的动态演化
基于Skyline和局部选择的启发式服务组合方法
一种基于动态语境组装的分布式构件框架的设计与实现
Web服务组合动态演化的实例可迁移性
A collaborative scheduling approach for service-driven scientific workflow execution
Partial Constraint Checking for Context Consistency in Pervasive Computing
Cooperative cache consistency maintenance for pervasive internet access
一种图文法制导的软件体系结构开发环境Artemis-GADE
面向可信服务选取的基于声誉的推荐者发现方法
Artemis-COOR:一个基于Agent的软件动态协同支撑平台
开放环境特性感知技术
A QoS-Aware Service Evaluation Method for Co-Selecting a Shared Service-extension
A QoS-Aware Composition Method Supporting Cross-Platform Service Invocation in Cloud Environment
A QoS-Aware Service Discovery Method for Elastic Cloud Computing in an Unstructured P2P Network
A Petri net-based approach for supporting aspect-oriented modeling
On environment-driven software model for Internetware
面向服务的建模:一种全过程复用的方法
软件服务多模式交互中间件模型及其支撑技术
需求驱动的服务Agent协作及其协商框架
Web Services Composing by Multiagent Negotiation
面向网构软件的环境驱动模型与支撑技术研究
基于图文法的动态软件体系结构支撑环境
A trust-based approach to estimating the confidence of the software system in open environments
Atomicity Analysis of Service Composition across Organizations
A workflow framework for intelligent service composition
一种基于QoS剪枝的Top-k自动服务组合方法
一种基于不变量的从工作流网到PERT图的转换方法
跨组织协同中基于局部服务质量优化的Web服务组合方法
层次化网关转发的agent迁移技术与应用
智能空间的资源管理及其应用研究
知识引导的软件可信性需求的提取
基于知识的软件可信性需求获取
一个描述可视化语言上下文属性化的图文法框架
ARDF：一种用于应用迁移的资源描述框架