Vai alla Homepage del Portale
Dipartimento di Informatica - Scienza e Ingegneria

Pubblicazioni

2012 Elimina filtro
Contributo in atti di convegno Elimina filtro

165 pubblicazioni

  • Paolo Bellavista;Antonio Corradi;Andrea Reale, Design and Implementation of a Scalable and QoS-aware Stream Processing Framework: The Quasit Prototype, in: 2012 IEEE International Conference on Green Computing and Communications, Los Alamitos, CA, IEEE, 2012, pp. 458 - 467 (atti di: 2012 IEEE International Conference on Green Computing and Communications, Besancon, France, 20-23 Novembre 2012) [Contributo in Atti di convegno]

  • D. Maltoni; E.M. Rehn, Incremental Learning by Message Passing in Hierarchical Temporal Memory, in: Artificial Neural Networks in Pattern Recognition, Berlin, Springer Verlag, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2012, pp. 24 - 35 (atti di: 5th Workshop on Artificial Neural Networks in Pattern Recognition (ANNPR12), Trento (Italy), 17/09/2012) [Contributo in Atti di convegno]

  • Franco Callegati; Aldo Campi; Walter Cerroni; Giovanni Pau; Mario Gerla, Automated Configuration of Vehicular Communication Services2012 International Conference on Connected Vehicles and Expo (ICCVE), in: 2012 International Conference on Connected Vehicles and Expo (ICCVE), 2012 IEEE, 2012, pp. 128 - 129 (atti di: The 1st International Conference on Connected Vehicles & Expo, Beijing, 12-16/12/2012) [Riassunto (Abstract)]

  • M. Gharbaoui; B. Martini; W. Cerroni; P. Castoldi; F. Callegati, Network resource allocation in data center interconnection with anycast service provisioning, in: 2012 IEEE Global Communications Conference (GLOBECOM 2012), Piscataway, NJ, IEEE, «GLOBECOM», 2012, pp. 2511 - 2516 (atti di: 2012 IEEE Global Communications Conference (Globecom 2012), Anaheim, CA, USA, 3-7 Dec. 2012) [Contributo in Atti di convegno]

  • Daniel Hirschkoff;Jean-Marie Madiot;Davide Sangiorgi, Duality and i/o-Types in the π-Calculus, in: CONCUR 2012 –Concurrency Theory: 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012: Proceedings, Berlino, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2012, 7454, pp. 302 - 316 (atti di: 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012) [Contributo in Atti di convegno]

  • Marfia; G.; Roccetti; M.; Marcomini; A.; Bertuccioli; C.; Matteucci; G., Reframing haute couture handcraftship: How to preserve artisans' abilities with gesture recognition, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - LNCS 7624, Berlin, Springer Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2012, pp. 437 - 444 (atti di: 9th International Conference on Advances in Computer Entertainment, ACE 2012, Kathmandu; Nepal;, November 2012) [Contributo in Atti di convegno]

  • Frank S. Boer;Mahdi M. Jaghoori;Cosimo Laneve;Gianluigi Zavattaro, Decidability Problems for Actor Systems, in: Proceedings of CONCUR 2012 - Concurrency Theory - 23rd International Conference, CONCUR 2012, Berlin, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2012, 7454, pp. 562 - 577 (atti di: CONCUR 2012 - Concurrency Theory - 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012) [Contributo in Atti di convegno]

  • Mario Bravetti;Cinzia Giusto;Jorge A. Pérez;Gianluigi Zavattaro, Towards the Verification of Adaptable Processes, in: Proceedings of Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, part I, Berlin, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2012, 7609, pp. 269 - 283 (atti di: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012) [Contributo in Atti di convegno]

  • Roberto Cosmo;Stefano Zacchiroli;Gianluigi Zavattaro, Towards a Formal Component Model for the Cloud, in: Proceedings of Software Engineering and Formal Methods - 10th International Conference, SEFM 2012, Berlin, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2012, 7504, pp. 156 - 171 (atti di: Software Engineering and Formal Methods - 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012) [Contributo in Atti di convegno]

  • G. Delzanno;A. Sangnier;R. Traverso;G. Zavattaro, On the Complexity of Parameterized Reachability in Reconfigurable Broadcast Networks, in: Proceedings of IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, Dagstuhl, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2012, 18, pp. 289 - 300 (atti di: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, Hyderabad, India, December 15-17, 2012) [Contributo in Atti di convegno]

  • Paolo Bellavista; Veronica Conti; Carlo Giannelli; Jukka Honkola, The Smart-M3 Semantic Information Broker (SIB) plug-in extension: Implementation and evaluation experiences, in: Proceedings - 2012 IEEE Int. Conf. on Green Computing and Communications, GreenCom 2012, Conf. on Internet of Things, iThings 2012 and Conf. on Cyber, Physical and Social Computing, CPSCom 2012, 2012, pp. 704 - 711 (atti di: SN4MS CPSCom, Besancon, Francia, Novembre 2012) [Contributo in Atti di convegno]

  • Ornela Dardha;Elena Giachino;Davide Sangiorgi, Session types revisited, in: Proceedings of the 14th symposium on Principles and practice of declarative programming - PPDP '12, ACM, 2012, pp. 139 - 150 (atti di: Symposium on Principles and practice of declarative programming, Leuven, September 19 - 21, 2012) [Contributo in Atti di convegno]

  • Romain Demangeon;Daniel Hirschkoff;Davide Sangiorgi, Strong Normalisation in λ-Calculi with References, in: Fundamentals of Software Engineering: Revised Selected Papers, Berlino, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2012, 7141, pp. 128 - 142 (atti di: 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011) [Contributo in Atti di convegno]

  • B. Kantarci;L. Foschini;A. Corradi;H. Mouftah, Inter-and-intra data center VM-placement for energy-efficient large-Scale cloud systems, in: Proceedings of the IEEE Globcom Workshops (GC Wkshps 2012), IEEE Computer Society Press, 2012, PISCATAWAY, NJ, pp. 708 - 713 (atti di: IEEE International Workshop on Management and Security technologies for Cloud Computing 2012 (ManSec-CC'12), within IEEE Globecom Workshops (GC Wkshps), Disneyland Hotel, Anaheim, California, USA, 3-7 December, 2012) [Contributo in Atti di convegno]

  • Alberto Dennunzio; Pietro Di Lena; Luciano Margara, Strictly Temporally Periodic Points in Cellular Automata, in: Proceedings 18th international workshop on Cellular Automata and Discrete Complex Systems and 3rd international symposium Journées Automates Cellulaires, 2012, 90, pp. 225 - 235 (atti di: 18th international workshop on Cellular Automata and Discrete Complex Systems and 3rd international symposium Journées Automates Cellulaires, AUTOMATA & JAC 2012, La Marana, Corsica, September 19-21, 2012) [Contributo in Atti di convegno]

  • Michaël Lienhardt;Mario Bravetti;Davide Sangiorgi, An Object Group-Based Component Model, in: Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I, Berlino, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2012, 7609, pp. 64 - 78 (atti di: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012) [Contributo in Atti di convegno]

  • M. Casadei;M. Viroli, Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems, in: Self-Adaptive and Self-Organizing Systems Workshops (SASOW), Los Alamitos, IEEE CS, 2012, pp. 199 - 204 (atti di: 2012 IEEE 6th International Conference on Self-Adaptive and Self-Organizing Systems Workshops, Lyon, France, 10-14 September, 2012) [Contributo in Atti di convegno]

  • Graeme Stevenson;Juan Ye;Simon Dobson; Mirko Viroli;Sara Montagna, Self-Organising Semantic Resource Discovery for Pervasive Systems, in: Self-Adaptive and Self-Organizing Systems Workshops (SASOW), Los Alamitos, IEEE CS, 2012, pp. 181 - 186 (atti di: 012 IEEE 6th International Conference on Self-Adaptive and Self-Organizing Systems Workshops, Lyon, France, 10-14 September, 2012) [Contributo in Atti di convegno]

  • Sara Montagna;Mirko Viroli;Danilo Pianini;Jose Louis Fernandez-Marquez, Towards a comprehensive approach to spontaneous self-composition in pervasive ecosystems, in: 13th Workshop on Objects and Agents, WOA 2012, Aachen, CEUR-WS, «CEUR WORKSHOP PROCEEDINGS», 2012, 892, pp. 1 - 9 (atti di: 13th Workshop on Objects and Agents, WOA 2012, Milano, Italy, 17-19 September, 2012) [Contributo in Atti di convegno]

  • M. Casadei;M. Viroli, A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems, in: Proceedings of the 13th Workshop on Objects and Agents, Aachen, CEUR-WS, «CEUR WORKSHOP PROCEEDINGS», 2012, 892, pp. 1 - 10 (atti di: 13th Workshop on Objects and Agents, WOA 2012, Milano, Italy, 17-19 September, 2012) [Contributo in Atti di convegno]