首页>外文会议>International Federated Conference on Distributed Computing Techniques;IFIP WG 6.1 International Conference on Coordination Models and Languages

International Federated Conference on Distributed Computing Techniques;IFIP WG 6.1 International Conference on Coordination Models and Languages

召开年：2019
召开地：Kongens Lyngby(DK)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Bridging the Gap Between Supervisory Control and Coordination of Services: Synthesis of Orchestrations and Choreographies

机译：弥合监督控制与服务协调之间的鸿沟：编排与编排的综合
- 作者：Davide Basile;Maurice H. ter Beek;Rosario Pugliese
- 会议名称：《International Federated Conference on Distributed Computing Techniques;IFIP WG 6.1 International Conference on Coordination Models and Languages》 | 2019年
- Service contracts;
- Contract automata;
- Controller synthesis;
- Orchestration;
- Choreography;
2.No More, No Less A Formal Model for Serverless Computing

机译：没有了，也没有了无服务器计算的正式模型
- 作者：Maurizio Gabbrielli;Saverio Giallorenzo;Ivan Lanese;Fabrizio Montesi;Marco Peressotti;Stefano Pio Zingaro
- 会议名称：《International Federated Conference on Distributed Computing Techniques;IFIP WG 6.1 International Conference on Coordination Models and Languages》 | 2019年
3.Verification of Concurrent Design Patterns with Data

机译：用数据验证并发设计模式
- 作者：Simon Bliudze;Ludovic Henrio;Eric Madelaine
- 会议名称：《International Federated Conference on Distributed Computing Techniques;IFIP WG 6.1 International Conference on Coordination Models and Languages》 | 2019年
- Symbolic verification;
- Composition;
- Safety;
- Interaction models;
4.Self-organising Coordination Regions: A Pattern for Edge Computing

机译：自组织协调区域：边缘计算的模式
- 作者：Roberto Casadei;Danilo Pianini;Mirko Viroli;Antonio Natali
- 会议名称：《International Federated Conference on Distributed Computing Techniques;IFIP WG 6.1 International Conference on Coordination Models and Languages》 | 2019年
- Coordination;
- Distributed systems;
- Design patterns;
- Decentralised orchestration;
- Self-organisation;
- Edge computing;
5.Aggregate Processes in Field Calculus

机译：场演算中的聚合过程
- 作者：Roberto Casadei;Mirko Viroli;Giorgio Audrito;Danilo Pianini;Ferruccio Damiani
- 会议名称：《International Federated Conference on Distributed Computing Techniques;IFIP WG 6.1 International Conference on Coordination Models and Languages》 | 2019年
- Aggregate processes;
- Computational fields;
- Distributed computing;
- Collective coordination;
- Dynamic ensembles;
- Self-*;
6.Automatic Quality-of-Service Evaluation in Service-Oriented Computing

机译：面向服务的计算中的自动服务质量评估
- 作者：Agustfn E. Martinez Sune;Carlos G. Lopez Pombo
- 会议名称：《International Federated Conference on Distributed Computing Techniques;IFIP WG 6.1 International Conference on Coordination Models and Languages》 | 2019年
7.DiRPOMS: Automatic Checker of Distributed Realizability of POMSets

机译：DiRPOMS：POMSets的分布式可实现性的自动检查器
- 作者：Roberto Guanciale
- 会议名称：《International Federated Conference on Distributed Computing Techniques;IFIP WG 6.1 International Conference on Coordination Models and Languages》 | 2019年
- Pomsets;
- Choreography;
- Realisability;
- CFSMs;
8.Coordination of Tasks on a Real-Time OS

机译：实时操作系统上的任务协调
- 作者：Guillermina Cledou;Jose Proenca;Bernhard H. C. Sputh;Eric Verhulst
- 会议名称：《International Federated Conference on Distributed Computing Techniques;IFIP WG 6.1 International Conference on Coordination Models and Languages》 | 2019年
9.Machine-Learning Techniques for Systematically Engineering Adaptive Systems (Invited Talk)

机译：系统工程自适应系统的机器学习技术（特邀演讲）
- 作者：Martin Wirsing
- 会议名称：《International Federated Conference on Distributed Computing Techniques;IFIP WG 6.1 International Conference on Coordination Models and Languages》 | 2019年
10.Foreword

机译：前言
- 作者：Alberto Lluch Lafuente
- 会议名称：《International Federated Conference on Distributed Computing Techniques;IFIP WG 6.1 International Conference on Coordination Models and Languages》 | 2019年
11.Preface

机译：前言
- 作者：Hanne Riis Nielson;Emilio Tuosto
- 会议名称：《International Federated Conference on Distributed Computing Techniques;IFIP WG 6.1 International Conference on Coordination Models and Languages》 | 2019年
12.Representing Dependencies in Event Structures

机译：表示事件结构中的依赖关系
- 作者：G. Michele Pinna
- 会议名称：《International Federated Conference on Distributed Computing Techniques;IFIP WG 6.1 International Conference on Coordination Models and Languages》 | 2019年
13.Reversing P/T Nets

机译：倒车网
- 作者：Hernan Melgratti;Claudio Antares Mezzina;Irek Ulidowski
- 会议名称：《International Federated Conference on Distributed Computing Techniques;IFIP WG 6.1 International Conference on Coordination Models and Languages》 | 2019年
14.Towards Races in Linear Logic

机译：迈向线性逻辑竞赛
- 作者：Wen Kokke;J. Garrett Morris;Philip Wadler
- 会议名称：《International Federated Conference on Distributed Computing Techniques;IFIP WG 6.1 International Conference on Coordination Models and Languages》 | 2019年
- π-calculus;
- Linear logic;
- Session types;
- Non-determinism;
- Deadlock freedom;
15.The share Operator for Field-Based Coordination

机译：野外协调的份额运营商
- 作者：Giorgio Audrito;Jacob Beal;Ferruccio Damiani;Danilo Pianini;Mirko Viroli
- 会议名称：《International Federated Conference on Distributed Computing Techniques;IFIP WG 6.1 International Conference on Coordination Models and Languages》 | 2019年
- Aggregate programming;
- Computational field;
- Information propagation speed;
- Spatial computing;
16.Scan: A Simple Coordination Workbench

机译：扫描：一个简单的协调工作台
- 作者：Jean-Marie Jacquet;Manel Barkallah
- 会议名称：《International Federated Conference on Distributed Computing Techniques;IFIP WG 6.1 International Conference on Coordination Models and Languages》 | 2019年
- Coordination;
- Bach;
- Animation;
- Verification;
17.CHOReVOLUTION: Automating the Realization of Highly—Collaborative Distributed Applications

机译：CHOREVOLUTION：自动化实现高度协作的分布式应用程序
- 作者：Marco Autili;Amleto Di Salle;Francesco Gallo;Claudio Pompilio;Massimo Tivoli
- 会议名称：《International Federated Conference on Distributed Computing Techniques;IFIP WG 6.1 International Conference on Coordination Models and Languages》 | 2019年
- Service choreographies;
- Distributed computing;
- Automated synthesis;
18.ABEL - A Domain Specific Framework for Programming with Attribute-Based Communication

机译：ABEL-使用基于属性的通信进行编程的领域特定框架
- 作者：Rocco De Nicola;Tan Duong;Michele Loreti
- 会议名称：《International Federated Conference on Distributed Computing Techniques;IFIP WG 6.1 International Conference on Coordination Models and Languages》 | 2019年
- Attribute-based communication;
- Process calculi;
- Distributed programming;
- Erlang;