Scifaro

中文

第三届交互与并发经验会议论文集：有保证的交互

计算机科学中的逻辑 2010-10-27 v1 分布式、并行与集群计算多智能体系统

作者: Simon Bliudze , Roberto Bruni , Davide Grohmann , Alexandra Silva

在 arXiv 上查看 ↗ PDF ↗ DOI ↗

摘要

本卷收录了第三届交互与并发经验（ICE 2010）研讨会论文集，该研讨会于2010年6月10日在荷兰阿姆斯特丹作为DisCoTec'10的卫星会议举行。每年，该研讨会聚焦于一个特定主题：ICE 2010的主题是“有保证的交互”，我们以此意指，例如，保证安全性、反应性、服务质量或分析假设的满足。

关键词

交互并发有保证的交互安全性反应性服务质量

引用

@article{arxiv.1010.5308,
  title  = {Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction},
  author = {Simon Bliudze and Roberto Bruni and Davide Grohmann and Alexandra Silva},
  journal= {arXiv preprint arXiv:1010.5308},
  year   = {2010}
}