中文
相关论文

相关论文: Proceedings 8th Interaction and Concurrency Experi…

200 篇论文

This volume contains the proceedings of ICE 2014, the 7th Interaction and Concurrency Experience, which was held in Berlin, Germany on the 6th of June 2014 as a satellite event of DisCoTec 2014. The ICE procedure for paper selection allows…

计算机科学中的逻辑 · 计算机科学 2014-10-28 Ivan Lanese , Alberto Lluch Lafuente , Ana Sokolova , Hugo Torres Vieira

This volume contains the proceedings of ICE 2016, the 9th Interaction and Concurrency Experience, which was held in Heraklion, Greece on the 8th and 9th of June 2016 as a satellite event of DisCoTec 2016. The ICE procedure for paper…

编程语言 · 计算机科学 2016-08-11 Massimo Bartoletti , Ludovic Henrio , Sophia Knight , Hugo Torres Vieira

This volume contains the proceedings of ICE 2013, the 6th Interaction and Concurrency Experience workshop, which was held in Florence, Italy on the 6th of June 2013 as a satellite event of DisCoTec 2013. The ICE procedure for paper…

编程语言 · 计算机科学 2013-10-16 Marco Carbone , Ivan Lanese , Alberto Lluch Lafuente , Ana Sokolova

This volume contains the proceedings of ICE'12, the 5th Interaction and Concurrency Experience workshop, which was held in Stockholm, Sweden on the 16th of June 2012 as a satellite event of DisCoTec'12. The topic of ICE'12 was Distributed…

编程语言 · 计算机科学 2012-12-17 Marco Carbone , Ivan Lanese , Alexandra Silva , Ana Sokolova

This volume contains the proceedings of ICE'25, the 18th Interaction and Concurrency Experience, which was held on Friday 20th June 2025 at the \'Ecole National Sup\'erieure des Arts et M\'etiers in Lille, France, as a satellite workshop of…

分布式、并行与集群计算 · 计算机科学 2025-08-19 Clément Aubert , Cinzia Di Giusto , Simon Fowler , Violet Ka I Pun

This volume contains the proceedings of ICE'22, the 15th Interaction and Concurrency Experience, which was held as an hybrid event in Lucca, Italy, and as a satellite event of DisCoTec'22. The ICE workshop series features a distinguishing…

分布式、并行与集群计算 · 计算机科学 2022-08-09 Clément Aubert , Cinzia Di Giusto , Larisa Safina , Alceste Scalas

This volume contains the proceedings of ICE 2017, the 10th Interaction and Concurrency Experience, which was held in Neuch\^atel, Switzerland on the 21st and 22nd of June 2017 as a satellite event of DisCoTec'17. The ICE procedure for paper…

计算机科学中的逻辑 · 计算机科学 2017-11-30 Massimo Bartoletti , Laura Bocchi , Ludovic Henrio , Sophia Knight

This volume contains the proceedings of ICE'20, the 13th Interaction and Concurrency Experience, which was held online on the 19th of June 2020, as a satellite event of DisCoTec'20. The ICE workshop series features a distinguishing review…

编程语言 · 计算机科学 2020-09-17 Julien Lange , Anastasia Mavridou , Larisa Safina , Alceste Scalas

This volume contains the proceedings of ICE'18, the 11th Interaction and Concurrency Experience, which was held in Madrid, Spain on the 20th and 21st of June 2018 as a satellite event of DisCoTec'18. The ICE workshop series features a…

计算机科学中的逻辑 · 计算机科学 2018-10-05 Massimo Bartoletti , Sophia Knight

This volume contains the proceedings of ICE'19, the 12th Interaction and Concurrency Experience, which was held in Copenhagen, Denmark on the 20th and 21st of June 2019, as a satellite event of DisCoTec'19. The ICE workshop series features…

编程语言 · 计算机科学 2019-09-12 Massimo Bartoletti , Ludovic Henrio , Anastasia Mavridou , Alceste Scalas

This volume contains the proceedings of ICE'21, the 14th Interaction and Concurrency Experience, which was held online on the 18th of June 2021, as a satellite event of DisCoTec'21. The ICE workshop series features a distinguishing review…

编程语言 · 计算机科学 2021-10-01 Julien Lange , Anastasia Mavridou , Larisa Safina , Alceste Scalas

This volume contains the proceedings of ICE'23, the 16th Interaction and Concurrency Experience, which was held at the NOVA University in Lisbon, Portugal, as a satellite event of DisCoTec'22. The ICE workshop series features a…

分布式、并行与集群计算 · 计算机科学 2023-08-21 Clément Aubert , Cinzia Di Giusto , Simon Fowler , Larisa Safina

This volume contains the pre-proceedings of ICE'11, the 4th Interaction and Concurrency Experience workshop, which was held in Reykjavik, Iceland on the 9th of June 2011 as a satellite event of DisCoTec'11. The topic of ICE'11 was Reliable…

计算机科学中的逻辑 · 计算机科学 2011-08-02 Alexandra Silva , Simon Bliudze , Roberto Bruni , Marco Carbone

This volume contains the proceedings of ICE'24, the 17th Interaction and Concurrency Experience, which was held on Friday 21th June 2024 at the University of Groningen in Groningen, The Netherlands, as a satellite workshop of DisCoTec 2024.…

分布式、并行与集群计算 · 计算机科学 2024-12-11 Clément Aubert , Cinzia Di Giusto , Simon Fowler , Violet Ka I Pun

This volume contains the proceedings of the 3rd Interaction and Concurrency Experience (ICE 2010) workshop, which was held in Amsterdam, Netherlands on 10th of June 2010 as a satellite event of DisCoTec'10. Each year, the workshop focuses…

计算机科学中的逻辑 · 计算机科学 2010-10-27 Simon Bliudze , Roberto Bruni , Davide Grohmann , Alexandra Silva

PLACES 2015 (full title: Programming Language Approaches to Concurrency- and Communication-Centric Software) is the eighth edition of the PLACES workshop series. After the first PLACES, which was affiliated to DisCoTec in 2008, the workshop…

编程语言 · 计算机科学 2016-02-11 Simon Gay , Jade Alglave

This volume contains the post-proceedings of PLACES 2014, the seventh Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, which was held in Grenoble, France, on April 12th 2014, and co-located with…

分布式、并行与集群计算 · 计算机科学 2014-06-13 Alastair F. Donaldson , Vasco T. Vasconcelos

This volume contains the proceedings of the 2nd Workshop on Interaction and Concurrency Experience (ICE'09). The workshop was held in Bologna, Italy on 31th of August 2009, as a satellite workshop of CONCUR'09. The previous edition of ICE…

计算机科学中的逻辑 · 计算机科学 2009-12-07 Filippo Bonchi , Davide Grohmann , Paola Spoletini , Emilio Tuosto

This volume contains the proceedings of the 8th Workshop on Security Issues in Concurrency (SecCo 2010). The workshop was held in Paris, France on August 30th, 2010, as a satellite workshop of CONCUR'10. The aim of the SecCo workshop series…

密码学与安全 · 计算机科学 2011-02-28 Konstantinos Chatzikokolakis , Véronique Cortier

PLACES 2012 (full title: Programming Language Approaches to Concurrency- and Communication-Centric Software) is the fifth edition of the PLACES workshop series. After the first PLACES, which was affiliated to DisCoTec in 2008, the workshop…

编程语言 · 计算机科学 2013-02-26 Simon Gay , Paul Kelly
‹ 上一页 1 2 3 10 下一页 ›