首页> 外文OA文献 >Framework of evidence collection with temporal logic and first-order logic for providing accountability in Cloud Service

【2h】

Framework of evidence collection with temporal logic and first-order logic for providing accountability in Cloud Service

机译：具有时间逻辑和一阶逻辑的证据收集框架，用于在Cloud Service中提供责任

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

AI期刊论文写作 >>

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

Master's thesis in Computer Science

机译：计算机科学硕士论文

著录项

作者
Ang Suryanto;
展开▼
作者单位

展开▼
年度 2014
总页数
原文格式 PDF
正文语种 eng
中图分类

相似文献

外文文献
中文文献
专利

1. Modeling Accountable Cloud Services Based on Dynamic Logic for Accountability [J] . Zou Jun, Wang Yan, Orgun Mehmet A. International journal of web services research . 2015,第3期

机译：基于动态逻辑的责任云服务建模
2. Relating first-order monadic omega-logic, propositional linear-time temporal logic, propositional generalized definitional reflection logic and propositional infinitary logic [J] . Kamide Norihiro Journal of logic and computation . 2017,第7期

机译：与一阶单声道ω-逻辑，命题线性时间时序逻辑，命题广义定义反射逻辑和命题不定式逻辑相关
3. Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting [J] . Hampson Christopher, Kurucz Agi ACM transactions on computational logic . 2015,第3期

机译：不确定的命题双峰逻辑和带计数的一变量一阶线性时间逻辑
4. Introduction in First-Order Combinatorics Providing a Conceptual Framework for Computation in Predicate Logic [C] . Mikhail G. Peretyatkin International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking . 2013

机译：一阶组合中的介绍为谓词逻辑提供了一个概念性框架
5. Model checking for a first-order temporal logic using multiway decision graphs. [D] . Xu, Ying. 1999

机译：使用多路决策图对一阶时间逻辑进行模型检查。
6. Expanding a First-Order Logic Mitigation Framework to Handle Multimorbid Patient Preferences [O] . Martin Michalowski, Szymon Wilk, Daniela Rosu, 2015

机译：扩展一阶逻辑缓解框架以处理多种病态的患者偏好
7. Undecidable propositional bimodal logics and one-variable first-order linear temporal logics with counting [O] . Hampson, Christopher, Kurucz, Agi 2015

机译：不确定的命题双峰逻辑和带计数的一变量一阶线性时间逻辑
8. An Introduction to the Model Theory of First-Order Predicate Logic and a Related Temporal Logic [R] . Mattison, R. 1969

机译：一阶谓词逻辑模型理论及相关时态逻辑

Framework of evidence collection with temporal logic and first-order logic for providing accountability in Cloud Service

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅