Declarative Networking: Recent Theoretical Work on Coordination, Correctness, and Declarative Semantics

Tom J. Ameloot

首页> 外文期刊>SIGMOD record >Declarative Networking: Recent Theoretical Work on Coordination, Correctness, and Declarative Semantics

【24h】

Declarative Networking: Recent Theoretical Work on Coordination, Correctness, and Declarative Semantics

机译：声明性网络：有关协调，正确性和声明性语义的最新理论工作

获取原文

获取原文并翻译 | 示例

获取外文期刊封面封底 >>

开具论文收录证明 >>

文献代查 >>

页面导航

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

摘要

We discuss recent theoretical results on declarative networking, in particular regarding the topics of coordination, correctness, and declarative semantics.

机译：我们讨论有关声明性网络的最新理论结果，尤其是有关协调性，正确性和声明性语义的主题。

著录项

来源
《SIGMOD record》 |2014年第2期|5-16|共12页
作者
Tom J. Ameloot;
展开▼
作者单位

Hasselt University & Transnational University of Limburg Diepenbeek, Belgium;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. On the Declarativity of Declarative Networking [J] . Yun Mao Operating systems review . 2009,第4期

机译：声明式网络的声明性
2. A Declarative Approach to Network Device Configuration Correctness [J] . Eric Lunaud Ngoupe, Clement Parisot, Sylvan Stoesel, Journal of network and systems management . 2017,第1期

机译：一种声明性的网络设备配置正确性方法
3. Relating Emerging Adaptive Network Behavior to Network Structure: A Declarative Network Analysis Perspective [J] . Jan Treur Vietnam Journal of Computer Science . 2021,第1期

机译：与网络结构相关的新兴自适应网络行为：声明性网络分析视角
4. On the Declarative Semantics of Inheritance Networks [C] . T. Krishnaprasad, Michael Kifer, David S. Warren International Joint Conference on Artificial Intelligence . 2007

机译：关于继承网络的声明语义
5. On the use of context and policies in declarative networked systems. [D] . Kodeswaran, Palanivel. 2011

机译：关于在声明性网络系统中使用上下文和策略的信息。
6. A Declarative Query Interface for Large Semantic Networks [O] . P. Mork, D. Suciu, J. F. Brinkley, 2002

机译：大型语义网络的声明性查询接口
7. A Declarative Query Interface for Large Semantic Networks [O] . Mork Peter, Suciu Dan, Brinkley James F, 2002

机译：大型语义网络的声明性查询接口

Declarative Networking: Recent Theoretical Work on Coordination, Correctness, and Declarative Semantics

摘要

著录项

相似文献

相关主题

期刊订阅