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

Pubblicazioni

2006 Elimina filtro
Contributo in atti di convegno Elimina filtro

204 pubblicazioni

  • Molesini Ambra; Omicini Andrea; Ricci Alessandro; Denti Enrico, Zooming Multi-Agent Systems, in: 6th International Workshop "Agent-Oriented Software Engineering" (AOSE 2005), 2006, pp. 193 - 204 (atti di: 6th International Workshop on "Agent-Oriented Software Engineering" (AOSE-2005), Utrecht (NL), 25-26 luglio 2005) [Contributo in Atti di convegno]

  • Rubino Rossella; Omicini Andrea; Denti Enrico, Computational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifacts, in: Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems, UTRECHT, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2006, 3913, pp. 127 - 141 (atti di: 1st International Workshop "Agents, Norms and Institutions for Regulated Multi-Agent Systems" (ANI@REM 2005), Utrecht, The Netherlands, 25 luglio 2005) [Contributo in Atti di convegno]

  • I. Bartolini, Context-based Image Similarity Queries, in: Adaptive Multimedia Retrieval: User, Context, and Feedback, HEIDELBERG, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2006, 3877, pp. 222 - 235 (atti di: 3rd International Workshop on Adaptive Multimedia Retrieval (AMR 2005), Glasgow, UK, July 28-29, 2005) [Contributo in Atti di convegno]

  • A. Amoroso; M. Masotti, Lightweight Steganography on Smartphones, in: Proceedings of 2006 3rd IEEE Consumer Communications and Networking Conference, PISCATAWAY (NJ), IEEE, 2006(atti di: 2006 3rd IEEE Consumer Communications and Networking Conference, Las Vegas (NV, USA), January 8-10, 2006) [Contributo in Atti di convegno]

  • T. SALMON CINOTTI; L. DI STEFANO; G. RAFFA; L. ROFFIA; M. PETTINARI; M. MOLA, Dead reckoning supports stereo vision in pedestrians tracking, in: PERCOM 2006 - Fourth IEEE International Conference on Pervasive Computing and Communications - WORKSHOPS, s.l, The Printing House, 2006, pp. 628 - 631 (atti di: Fourth Annual IEEE International Conference on Pervasive Computing and Communications (PERCOM2006), Pisa - Italy, 13-17 Marzo 2006) [Contributo in Atti di convegno]

  • SACERDOTI COEN, Claudio, A semi-reflexive tactic for (sub-)equational reasoning, in: Types for Proofs and ProgramsInternational Workshop, TYPES 2004, s.l, Springer, 2006, 3839, pp. 99 - 115 (atti di: Types for Proofs and ProgramsInternational Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004) [Contributo in Atti di convegno]

  • Sacerdoti Coen, C., Explanation in Natural language of lambda-bar-mu-mu-tilde-terms, in: Lecture Notes in Computer Science-Lecture Notes in Artificial IntelligenceMathematical Knowledge Management4th International Conference, MKM 2005, s.l, Springer, 2006, 3863, pp. 234 - 249 (atti di: Mathematical Knowledge Management4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005) [Contributo in Atti di convegno]

  • Asperti, Andrea; Geuvers, H.; Loeb, I.; Mamane, L. E.; SACERDOTI COEN, Claudio, An Interactive Algebra Course with Formalised Proofs and Definitions, in: Lecture Notes in Computer Science-Lecture Notes in Artificial Intelligence Mathematical Knowledge Management 4th International Conference, MKM 2005, s.l, Springer, 2006, 3863, pp. 315 - 329 (atti di: Mathematical Knowledge Management 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005) [Contributo in Atti di convegno]

  • C. E. Palazzi; S. Ferretti; M. Roccetti; G. Pau; M. Gerla, Buscar el Levante por el Poniente: In Search of Fairness Through Interactivity in Massively Multiplayer Online Games, in: Proceedings of 2006 3rd IEEE Consumer Communications and Networking Conference, PISCATAWAY, NJ, IEEE Communications Society, 2006, pp. 1183 - 1187 (atti di: 2006 3rd IEEE Consumer Communications and Networking Conference, Las Vegas, NV, USA, 8-10 gennaio 2006) [Contributo in Atti di convegno]

  • Vittorio Ghini; Stefano Cacciaguerra; Fabio Panzieri; Paola Salomoni, A Hidden Proxy for Seamless & ABC Multimedia Mobile Blogging, in: Proc. 3rd IEEE Consumer Communications and Networking Conference (CCNC), s.l, IEEE Computer Society Press, 2006, pp. 1204 - 1208 (atti di: 3rd IEEE Consumer Communications and Networking Conference (CCNC), Las Vegas (Nevada, USA), 8 - 10 gennaio 2006) [Contributo in Atti di convegno]

  • S. Mirri; D. Pantieri; M. Roccetti; P. Salomoni, A Multimedia Broker for Accessible Learning Objects Transcoding, in: IEEE International Conference on Information and Communication Technologies: from Theory to Applications, PISCATAWAY, IEEE Communications Society, 2006, I, pp. 225 - 230 (atti di: Proceedings 2nd IEEE International Conference on Information and Communication Technologies: from Theory to Applications, Damascus, Syria, April 2006) [Contributo in Atti di convegno]

  • S. Andreozzi; P. Ciancarini; D. Montesi; R. Moretti, Towards a language for a satisfaction-based selection of Grid services, in: Parallel Processing and Applied Mathematics. 6th International Conference, PPAM 2005. Revised Selected Papers, BERLIN, Springer, 2006, LNCS 3911, pp. 723 - 730 (atti di: 2nd Grid Resource Management Workshop in conjunction with the International Conference on Parallel Processing and Applied Mathematics, Poznan (Poland), September 11-14 2005) [Contributo in Atti di convegno]

  • Marco Alberti; Federico Chesani; Marco Gavanelli; Evelina Lamma; Paola Mello; Paolo Torroni, Security protocols verification in abductive logic programming: a case study., in: O. DIKENELLI, M.-P. GLEIZES, A. RICCI, Engineering Societies in the Agents World VI, IZMIR, s.n, «LECTURE NOTES IN COMPUTER SCIENCE», 2006, 3963, pp. 106 - 124 (atti di: 6th International Workshop, ESAW 2005, Kuşadasi, October 26-28, 2005) [Contributo in Atti di convegno]

  • Federico Chesani; Marco Gavanelli; Marco Alberti; Evelina Lamma; Paola Mello; Paolo Torroni, Specification and verification of agent interaction using Abductive Reasoning, in: Computational Logic in Multi-Agent Systems, «LECTURE NOTES IN COMPUTER SCIENCE», 2006, 3900, pp. 243 - 264 (atti di: 6th International Workshop, CLIMA VI, London, June 27-29, 2005) [Contributo in Atti di convegno]

  • Furini, M.; Ghini, Vittorio, An Audio-Video Summarization Scheme Based on Audio and Video Analysis, in: Proc. 3rd IEEE Consumer Communications and Networking Conference (CCNC), s.l, IEEE Computer Society Press, 2006, pp. 1209 - 1213 (atti di: 3rd IEEE Consumer Communications and Networking Conference (CCNC), Las Vegas (Nevada, USA), 8 - 10 gennaio 2006) [Contributo in Atti di convegno]

  • A. Amoroso; D. D. Hughes; T. Micheletti; F. Panzieri, SCALABLE ARCHITECTURES FOR RESPONSIVE AUCTIONS, in: null, 2006, 1(atti di: Grid in Finance 2006: 1st International Workshop on Grid Technology for Financial Modeling and Simulation, Palermo (Italy), February 3-4, 2006) [Contributo in Atti di convegno]

  • CARPINETI S.; LANEVE C., A basic contract language for web services, in: Programming Languages and Systems: 15th European Symposium on Programming, ESOP 2006, BERLIN / HEIDELBERG, Springer Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2006, 3924, pp. 197 - 213 (atti di: Programming Languages and Systems: 15th European Symposium on Programming, ESOP 2006, Vienna, Marzo 2006) [Contributo in Atti di convegno]

  • Laneve C.; Padovani L., Smooth Orchestrators, in: Foundations of Software Science and Computation Structures: 9th International Conference, FOSSACS 2006, BERLIN / HEIDELBERG, Springer Verrlag, 2006, 3921, pp. 32 - 46 (atti di: Foundations of Software Science and Computation Structures: 9th International Conference, FOSSACS 2006, Vienna, Marzo 2006) [Contributo in Atti di convegno]

  • L. Bononi; N. Concer, Simulation and Analysis of Network on Chip Architectures: Ring, Spidergon and 2D Mesh, in: Proceedings of the 9-th IEEE Conference on Design, Automation and Test in Europe (DATE 2006), s.l, ACM SIGDA, 2006, pp. 154 - 159 (atti di: 9-th IEEE Conference on Design, Automation and Test in Europe (DATE 2006), Munich, Germany, March 6-10, 2006) [Contributo in Atti di convegno]

  • M. Golfarelli; A. Proli; S. Rizzi, M-FIRE: A Metaphor-based Framework for Information Representation and Exploration, in: Proceedings WEBIST'06, s.l, s.n, 2006, pp. 332 - 340 (atti di: International Conference on Web Information Systems and Technologies, Setubal, Portogallo, Aprile 2006) [Contributo in Atti di convegno]