icalp 2013 paper: add "to appear" mention
authorStefano Zacchiroli <zack@upsilon.cc>
Sat, 13 Apr 2013 12:09:46 +0000 (14:09 +0200)
committerStefano Zacchiroli <zack@upsilon.cc>
Sat, 13 Apr 2013 12:09:46 +0000 (14:09 +0200)
research/publications.mdwn

index fe9b0cf..4a15ff5 100644 (file)
@@ -88,9 +88,9 @@ in reverse chronological order.
 
 # <span title="international, peer-reviewed conferences">international, peer-reviewed conference proceedings</span>
 
- 1. <a class="bibtex-download" href="icalp2013-aeolus.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <a href="http://www.dicosmo.org">Roberto Di Cosmo</a>, <a href="http://www.cs.unibo.it/~jmauro/">Jacopo Mauro</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>, <a href="http://www.cs.unibo.it/~zavattar/">Gianluigi Zavattaro</a>. **Component Reconfiguration in the Presence of Conflicts**.  <em>In proceedings of ICALP 2013: <a href="http://www.icalp2013.lu.lv/">40th International Colloquium on
-      Automata, Languages and Programming</a>, Riga, Latvia,
-      8-12 July, 2013.</em>
+ 1. <a class="bibtex-download" href="icalp2013-aeolus.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <a href="http://www.dicosmo.org">Roberto Di Cosmo</a>, <a href="http://www.cs.unibo.it/~jmauro/">Jacopo Mauro</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>, <a href="http://www.cs.unibo.it/~zavattar/">Gianluigi Zavattaro</a>. **Component Reconfiguration in the Presence of Conflicts**.  <em>To appear in proceedings of ICALP 2013: <a href="http://www.icalp2013.lu.lv/">40th International Colloquium on
+      Automata, Languages and Programming</a>, Riga, Latvia, 8-12
+      July, 2013.</em>
     [[!toggle id=id45 text="Abstract..."]] [[!toggleable id=id45 text="""
     *Abstract:* Components are traditionally modeled as black-boxes equipped with interfaces that indicate provided/required ports and, often, also conflicts with other components that cannot coexist with them. In modern tools for automatic system management, components become grey-boxes that show relevant internal states and the possible actions that can be acted on the components to change such state during the deployment and reconfiguration phases. However, state-of-the-art tools in this field do not support a systematic management of conflicts. In this paper we investigate the impact of conflicts by precisely characterizing the increment of complexity on the reconfiguration problem.
     """]]