...
机译:关于上下文无关和上下文感知的云服务可替代性验证
LIRE Laboratory, Constantine 2 - Abdelhamid Mehri University, Constantine, Algeria;
LIRE Laboratory, Constantine 2 - Abdelhamid Mehri University, Constantine, Algeria;
web service; web services substitutability; open coloured Petri nets; OCNets; context-awareness; context-aware; structural verification; behavioural verification; web services composition; composability; cloud services;
机译:每个云都有推送数据的内容:将云服务集成到上下文感知的应用程序中
机译:每个云都有推送数据的内容:将云服务集成到上下文感知的应用程序中
机译:管理在云环境中部署的上下文感知软件资源,以提高移动云服务的质量
机译:上下文无关服务替换的行为兼容性分析
机译:云计算中服务级别协议的形式化建模和动态验证。
机译:用于存储在云服务中的文件完整性的信任验证的安全体系结构和协议
机译:上下文感知和模型驱动的方法,用于将安全性嵌入和验证到组合的Web服务中。 (c2013)