Pubblicazioni

Roman Bartak; Michela Milano, Special Issue on the International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CP-AI-OR 2005), AH Dordrecht, Springer Verlag, 2006, pp. 185 (Constraints Journal). [Curatela]

M. Milano; M. Lombardi, Stochastic Allocation and Scheduling for Conditional Task Graphs in MPSoCs, in: ., «LECTURE NOTES IN COMPUTER SCIENCE», 2006, 3709, pp. 299 - 313 (atti di: International confedence on Principles and Practice of Constraint Programming, Nantes, Set 2006) [Contributo in Atti di convegno]

A. Guerri; M. Milano, The importance of Relaxations and Benders Cuts in Decomposition Techniques: Two Case Studies, in: null, 2006, 3709, pp. - - - (atti di: International Conference on Principles and Practice of Constraint Programming, Nantes, Set. 2006) [Contributo in Atti di convegno]

M. Boreale; R. Bruni; L. Caires; R. De Nicola; I. Lanese; M. Loreti; F. Martins; U. Montanari; A. Ravara; D. Sangiorgi; V. Vasconcelos; G. Zavattaro;, SCC: a Service Centered Calculus, in: M. BRAVETTI, G. ZAVATTARO, Web Services and Formal Methods, BERLIN, Springer, 2006, 4184, pp. 38 - 57 (atti di: Third International Workshop on Web Services and Formal Methods, Vienna, 8-9 Settembre 2006) [Contributo in Atti di convegno]

M. Bravetti; M. Nunez; G. Zavattaro (a cura di): PIU' DI 30 AUTORI INTERNAZIONALI (NON SI INDICANO LE SPECIFICHE NAZIONALITA'), Web Services and Formal Methods, BERLIN, springer, 2006, pp. 287 (Lecture Notes in Computer Science n. 4184). [Curatela]

Carpineti, Samuele; Castagna, G.; Laneve, Cosimo; Padovani, L., A formal account of contracts for web services, in: Web Services and Formal Methods, Third International Workshop, WS-FM 2006, Proceedings, Heidelberg, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2006, 4184, pp. 148 - 162 (atti di: Web Services and Formal Methods, Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006) [Contributo in Atti di convegno]

G. Sousa Pavani; H. Waldman; F. Callegati; A. Campi; W. Cerroni, Adaptive Routing in Optical Packet Switching Networks using Ant Colony Optimization, in: Proceedings of ICT 2006, AVEIRO, Instituto Telecomunicações – Pólo de Aveiro, 2006(atti di: ICT 2006 - 13th International Conference on Telecommunications, Funchal, Madeira island, Portugal, 9-12 May 2006) [Contributo in Atti di convegno]

F. Callegati; W. Cerroni; L. H. Bonani; F. R. Barbosa; E. Moschim; G. S. Pavani, Congestion Resolution in Optical Burst/Packet Switching with Limited Wavelength Conversion, in: Communications: A Global Bridge - Proceedings of IEEE GLOBECOM 2006, PISCATAWAY, NJ, IEEE, 2006(atti di: IEEE GLOBECOM 2006 - 2006 Global Telecommunications Conference, San Francisco, CA, USA, 27/11-01/12/2006) [Contributo in Atti di convegno]

F. Callegati; W. Cerroni; C. Raffaelli, Impact of Optical Packet Loss and Reordering on TCP Performance, in: Communications: A Global Bridge - Proceedings of IEEE GLOBECOM 2006, PISCATAWAY, NJ, IEEE, 2006(atti di: IEEE GLOBECOM 2006 - 2006 Global Telecommunications Conference, San Francisco, CA, USA, 27/11-01/12/2006) [Contributo in Atti di convegno]

F. Callegati; A. Campi; W. Cerroni, Efficient Implementation of Scheduling Algorithms for Optical Burst Switching, in: Examining the Case for Optical Burst Switching, s.l, s.n, 2006(atti di: The Seventh International Workshop on Optical Networking Technologies - IEEE GLOBECOM 2006, San Francisco, CA, USA, 27/11/2006) [Contributo in Atti di convegno]

F. Callegati; A. Campi; W. Cerroni, Efficient Implementation of Scheduling Algorithms for Optical Burst/Packet Switching, in: Proceedings of ONDM 2006, COPENHAGEN, Technical University of Denmark, 2006(atti di: ONDM 2006 - 10th Conference on Optical Network Design and Modelling., Copenhagen, Denmark, 22-24/05/2006) [Contributo in Atti di convegno]

F. Callegati; W. Cerroni, Which trade-off between time and wavelength congestion resolution in Optical Burst or Packet Switching?, in: Proceedings of Photonics in Switching 2006, PISCATAWAY, NJ, IEEE, 2006, pp. 48 - 50 (atti di: 2006 International Conference on Photonics in Switching, Heraklion, Crete, Greece, 16-18/10/2006) [Contributo in Atti di convegno]

Omicini Andrea; Ricci Alessandro; Viroli Mirko, Agent Coordination Contexts for the Formal Specification and Enactment of Coordination and Security Policies, «SCIENCE OF COMPUTER PROGRAMMING», 2006, 63, pp. 88 - 107 [Articolo in rivista]

Molesini Ambra; Denti Enrico; Omicini Andrea, Metodologie per l'ingegneria del software: approccio ad agenti, in: Atti Congresso Annuale AICA 2006, FIRENZE, Alinea Editrice, 2006, 1, pp. 271 - 280 (atti di: XLIV Congresso Annuale dell'Associazione Italiana per l'Informatica ed il Calcolo Automatico (AICA 2006), Cesena, Italy, 21-22 settembre 2006) [Contributo in Atti di convegno]

S. Bellavia; S. Lodi; B. Morini, Inferences on Kernel Density Estimates by Solving Nonlinear Systems, in: Proceedings 18th International Conference on Scientific and Statistical Database Management SSDBM 2006, LOS ALAMITOS, CALIFORNIA, IEEE Computer Society, 2006, pp. 389 - 397 (atti di: 18th International Conference on Scientific and Statistical Database Management, Vienna, Austria, 3-5 Luglio 2006) [Contributo in Atti di convegno]

S. Lodi; G. Moro; C. Sartori, Stream Clustering Based on Kernel Density Estimation, in: ECAI 2006 17th European Conference on Artificial Intelligence, AMSTERDAM, IOS Press, 2006, 141, pp. 799 - 800 (atti di: The 17th European Conference on Artificial Intelligence, Riva del Garda, Italy, 29 Agosto - 1 Settembre 2006) [Contributo in Atti di convegno]

J. C. da Silva; M. Klusch; S. Lodi; G. Moro, Privacy-preserving agent-based distributed data clustering, «WEB INTELLIGENCE AND AGENT SYSTEMS», 2006, 4, pp. 221 - 238 [Articolo in rivista]

P. Ciancarini; H. Wiklicky, Coordination Models and Languages. Proc. 8th International Conference, COORDINATION 2006, BERLIN HEIDELBERG, Springer, 2006, pp. 297 (Lecture Notes in Computer Science). [Curatela]

P. Ciancarini; J. vandenHerik, Computer and Games. 5th International Conference. Torino 2006., MAASTRICHT, Università di Maastricht, 2006, pp. . . [Curatela]

G. Buratti; D. Montesi, XQuery Full-Text Optimization through a Formal Algebra, in: Proceedings of the 2nd International Advanced Database Conference (IADC-2006), San Diego, California, June 2006., SAN DIEGO, CA, US Education Service, 2006, pp. 71 - 75 (atti di: 2nd International Advanced Database Conference (IADC-2006), San Diego, California, USA, 27-29 June 2006) [Contributo in Atti di convegno]