首页>外文会议>其他>International Conference on Coordination Languages and Models

International Conference on Coordination Languages and Models

召开年：
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.A logical interface description language for components

机译：组件的逻辑接口描述语言
- 作者：F. Arbab;F. S. de Boer;M. M. Bonsangue
- 会议名称：《International Conference on Coordination Languages and Models》 | 2000年
2.On timed coordination languages

机译：关于定时协调语言
- 作者：J. -M. Jacquet;K. De Bosschere;A. Brogi
- 会议名称：《International Conference on Coordination Languages and Models》 | 2000年
3.Coordination models and software architectures in a unified software development process

机译：统一软件开发过程中的协调模型和软件架构
- 作者：Paola Inverardi;Henry Muccini
- 会议名称：《International Conference on Coordination Languages and Models》 | 2000年
4.Coordination models for dynamic resource allocation

机译：动态资源分配的协调模型
- 作者：Stefan Johansson;Paul Davidsson;Bengt Carlsson
- 会议名称：《International Conference on Coordination Languages and Models》 | 2000年
5.An agent mediated approach to dynamic change in coordination policies

机译：代理人介导协调政策动态变化的方法
- 作者：Prasanta Bose;Mark G. Matthews
- 会议名称：《International Conference on Coordination Languages and Models》 | 2000年
6.A formalization of the IWIM model

机译：IWIM模型的正式化
- 作者：P. Katis;N. Sabadini;R. F. C. Walters
- 会议名称：《International Conference on Coordination Languages and Models》 | 2000年
7.Scripting coordination styles

机译：脚本协调样式
- 作者：Franz Achermann;Stefan Kneubuehl;Oscar Nierstrasz
- 会议名称：《International Conference on Coordination Languages and Models》 | 2000年
8.Coordination-based design of distributed systems

机译：基于协调的分布式系统设计
- 作者：Joost N. Kok;Kaisa Sere
- 会议名称：《International Conference on Coordination Languages and Models》 | 2000年
9.Coordination technology for workflows on the web: workspaces

机译：Web上工作流的协调技术：工作区
- 作者：Robert Tolksdorf
- 会议名称：《International Conference on Coordination Languages and Models》 | 2000年
10.MobileML: a programming language for mobile computation

机译：Mobileml：用于移动计算的编程语言
- 作者：Masatomo Hashimoto;Akinori Yonezawa
- 会议名称：《International Conference on Coordination Languages and Models》 | 2000年
11.GCCS: a graphical coordination language for system specification

机译：GCCS：系统规范的图形协调语言
- 作者：Rance Cleaveland;Xiaoqun Du;Scott A. Smolka
- 会议名称：《International Conference on Coordination Languages and Models》 | 2000年
12.A principled semantics for INP

机译：INP的主要语义
- 作者：Jeremy L. Jacob;Alan M. Wood
- 会议名称：《International Conference on Coordination Languages and Models》 | 2000年
13.Mobile agents coordination in Mob{sub}(adtl)

机译：Mob {sub}（ADTL）中的移动代理协调
- 作者：Gianluigi Ferrari;Carlo Montangero;Laura Semini;Simone Semprini
- 会议名称：《International Conference on Coordination Languages and Models》 | 2000年
14.A timed Linda language

机译：一个定时的琳达语
- 作者：Frank S. de Boer;Maurizio Gabbrielli;Maria Chiara Meo
- 会议名称：《International Conference on Coordination Languages and Models》 | 2000年
15.Hybrid models for mobile computing

机译：用于移动计算的混合模型
- 作者：Mika Katara
- 会议名称：《International Conference on Coordination Languages and Models》 | 2000年
16.Coordination and access control in open distributed agent systems: the TuCSoN approach

机译：开放分布式代理系统中的协调和访问控制：图森方法
- 作者：Marco Cremonini;Andrea Omicini;Franco Zambonelli
- 会议名称：《International Conference on Coordination Languages and Models》 | 2000年
17.Scoped coordination in open distributed systems

机译：开放分布式系统中的范围协调
- 作者：Iain Merrick;Alan Wood
- 会议名称：《International Conference on Coordination Languages and Models》 | 2000年
18.On the verification of coordination

机译：关于协调的验证
- 作者：Paul Dechering;Izak van Langevelde
- 会议名称：《International Conference on Coordination Languages and Models》 | 2000年
19.Patterns for coordination

机译：协调模式
- 作者：L. F. Andrade;J. L. Fiadeiro;J. Gouveia;A. Lopes;M. Wermelinger
- 会议名称：《International Conference on Coordination Languages and Models》 | 2000年
20.Wilde: supporting change in groupware

机译：Wilde：支持组件的变化
- 作者：Stephen Barrett;Brendan Tangney
- 会议名称：《International Conference on Coordination Languages and Models》 | 2000年
21.Reconfiguration of software architecture styles with name mobility

机译：具有名称移动性的软件架构样式的重新配置
- 作者：Dan Hirsch;Paola Inverardi;Ugo Montanari
- 会议名称：《International Conference on Coordination Languages and Models》 | 2000年
22.OpenSpaces: an object-oriented framework for reconfigurable coordination spaces

机译：OpenSpaces：可重新配置的协调空间面向对象的框架
- 作者：Stephane Ducasse;Thomas Hofmann;Oscar Nierstrasz
- 会议名称：《International Conference on Coordination Languages and Models》 | 2000年
- Object-oriented languages;
- Frameworks;
- White box reuse;
- Black box reuse;
- Dynamic reconfiguration;
23.Proving the correctness of optimising destructive and non-destructive reads over tuple spaces

机译：证明优化破坏性和非破坏性读取元组空间的正确性
- 作者：Rocco De Nicola;Rosario Pugliese;Antony Rowstron
- 会议名称：《International Conference on Coordination Languages and Models》 | 2000年
24.Guaranteing coherent software systems when composing coordinated components

机译：构成协调组件时保障相干软件系统
- 作者：Marisol Sanchez;Jose Luis Herrero;Juan Manuel Murillo;Juan Hernandez
- 会议名称：《International Conference on Coordination Languages and Models》 | 2000年
25.The LuCe coordination technology for MAS design and development on the internet

机译：互联网上MAS设计和开发的劳斯协调技术
- 作者：Andrea Omicini;Enrico Denti;Vladimiro Toschi
- 会议名称：《International Conference on Coordination Languages and Models》 | 2000年
26.Law-governed internet communities

机译：法律管理的互联网社区
- 作者：Xuhui Ao;Naftaly Minsky;Thu D. Nguyen;Victoria Ungureanu
- 会议名称：《International Conference on Coordination Languages and Models》 | 2000年
27.Distributed splitting of constraint satisfaction problems

机译：分布式分裂约束满足问题
- 作者：Farhad Arbad;Eric Monfroy
- 会议名称：《International Conference on Coordination Languages and Models》 | 2000年