Sch. of Software, Shanghai Jiaotong Univ., Shanghai, China;
Abstracts; Context; Educational institutions; Electronic mail; Semantics; Web services; Classic linear logic; Domain abstract template; Requirement context; Service composition;
机译:Seca N-末端氨基酰基残基用于互补,膜结合,脂质特异性结构域和沟道活动的可分配性和要求
机译:SecA N末端氨酰基残基的互补性,膜结合,脂质特异性结构域和通道活性的可分散性和要求
机译:SecA N末端氨酰基残基的互补性,膜结合,脂质特异性结构域和通道活性的可分散性和要求
机译:使用时间逻辑模板验证Web服务组合的事务需求
机译:业务领域中独立于本体且启用QOS的Web服务的动态组合
机译:SecA N末端氨酰基残基的互补性膜结合脂质特异性结构域和通道活性的可分配性和要求
机译:使用时态逻辑模板验证Web服务组合的事务要求