Pubblicazioni

Boschetti, MARCO ANTONIO; Maniezzo, Vittorio, An Ant System Heuristic for the Two-Dimensional Finite Bin Packing Problem: preliminary results, in: CAPASSO V.; PRIAUX J., Multidisciplinary Methods for Analysis, Optimization and Control of Complex Systems, Series: Mathematics in Industry, Subseries: The European Consortium for Mathematics in Industry, BERLIN, Springer Verlag, 2004, pp. 233 - 247 [Capitolo/Saggio in libro]

OMICINI ANDREA; RICCI ALESSANDRO; VIROLI MIRKO; CASTELFRANCHI CRISTIANO; TUMMOLINI LUCA, Coordination Artifacts: Environment-based Coordination for Intelligent Agents, in: Proceedings of the 3rd international Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), NEW YORK, ACM, 2004, 1, pp. 286 - 293 (atti di: 3rd international Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), New York, NY, USA, 19-23 Luglio 2004) [Contributo in Atti di convegno]

A. Bevilacqua; A. Gherardi, Age-related Skin Analysis by Capacitance Images, in: J.KITTLER,M.PETROU,M.NIXON, Proceedings of the 17th IEEE-IAPR International Conference on Pattern Recognition (ICPR 2004), LOS ALAMITOS, IEEE Computer Society, 2004, 2, pp. 703 - 706 (atti di: 17th IEEE-IAPR International Conference on Pattern Recognition (ICPR 2004), Cambridge (UK), 23-26 Agosto) [Contributo in Atti di convegno]

A. Pira; E. Tassi; R. Davoli, User Level Networking-Personal IP: assigning each user his/her own IP addresses in multiuser operating systems, in: Proceedings of ICN 04 - Interational Conference on Networking, SL, IEEE, 2004(atti di: ICN 04 - Interational Conference on Networking, Guadeloupe, France, April 2004) [Contributo in Atti di convegno]

M. Marzolla, libcppsim: a Simula-like, Portable Process-Oriented simulation library in C++, in: Proceedings of ESM'04, the 18th European Simulation Multiconference, s.l, SCS, 2004, pp. 222 - 227 (atti di: ESM'04, the 18th European Simulation Multiconference, Magdeburg, Germany, jun 13–16 2004) [Contributo in Atti di convegno]

Bellavista, Paolo; Bottazzi, Dario; Corradi, Antonio; Montanari, Rebecca; Vecchi, Silvia, Mobile Agent Middlewares for Context-aware Applications, in: I. MAHGOUB; M. ILYAS EDITORS, Handbook of Mobile Computing, BOCA RATON, FLORIDA, CRC Press, 2004, pp. 315 - 334 [Capitolo/Saggio in libro]

Boukerche, A.; Bononi, Luciano, Simulation and Modeling of Wireless, Mobile and Ad Hoc Networks, in: Mobile Ad Hoc Networking, NEW YORK, IEEE/Wiley, 2004, pp. 373 - 410 [Capitolo/Saggio in libro]

Callegati, Franco; M., Casoni; Raffaelli, Carla, TCP/IP Performance over Optical Networks, in: M. HASSAN; R. JAIN, High Performance TCP/IP Networking, UPPER SADDLE RIVER, NJ, Pearson Prentice Hall, 2004, pp. 185 - 205 (Pearson education) [Capitolo/Saggio in libro]

Bellavista, Paolo; Corradi, Antonio; Stefanelli, C., Policy-based Access Control for Context-aware Services over the Wireless Internet, in: WEN-CHEN HU; CHUNG-WEI LEE; AND WEIDONG KOU EDITORS, Advances in Security and Payment Methods for Mobile Commerce, HERSHEY, PENNSYLVANIA, Idea Group, 2004, pp. 81 - 108 [Capitolo/Saggio in libro]

Bellavista, Paolo; Corradi, Antonio; Federici, Corrado; Montanari, Rebecca; Tibaldi, Daniela, Security for Mobile Agents: Issues and Challenges, in: I. MAHGOUB; M. ILYAS EDITORS, Handbook of Mobile Computing, BOCA RATON, FLORIDA, CRC Press, 2004, pp. 941 - 960 [Capitolo/Saggio in libro]

BONONI L.; CONTI M.; GREGORI E., Run-Time Optimization of IEEE 802.11 Wireless LANs performance, «IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS», 2004, 15, pp. 66 - 80 [Articolo in rivista]

BONONI L.; BRACUTO M.; D'ANGELO G.; DONATIELLO L., ARTIS: A parallel and distributed simulation middleware for performance evaluation, in: Computer and Information Sciences - ISCIS 2004, BERLIN, HEIDELBERG, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2004, 3280, pp. 627 - 637 (atti di: ISCIS 2004 19th International Symposium. Proceedings, Kemer-Antalya, Turkey, October 27-29, 2004) [Contributo in Atti di convegno]

Busi, Nadia; Zavattaro, Gianluigi, On the Expressive Power of Movement and Restriction in Pure Mobile Ambients, «THEORETICAL COMPUTER SCIENCE», 2004, 322(3), pp. 477 - 515 [Articolo in rivista]

Busi, Nadia; Montresor, A.; Zavattaro, Gianluigi, Data-Driven Coordination in Peer-to-Peer Information System, «INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS», 2004, 13(1), pp. 63 - 90 [Articolo in rivista]

BUSI N.; R. GORRIERI, A Survey on Non-Interference with Petri Nets, in: Lectures on Concurrency and Petri Nets, Heidelberg, Springer, 2004, pp. 328 - 344 [Capitolo/Saggio in libro]

BUSI N.; R. GORRIERI, Positive Non–Interference in Elementary and Trace Nets, in: Applications and Theory of Petri Nets 2004, Heidelberg, Springer, 2004, pp. 307 - 319 (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro]

F. CALLEGATI; C. DEVELDER; W. CERRONI; M. PICKAVET; CORAZZA G.; P. DEMEESTER, Scheduling Algorithms for a Slotted Packet Switch with either Fixed or Variable Length Packets, «PHOTONIC NETWORK COMMUNICATIONS», 2004, 8, pp. 163 - 176 [Articolo in rivista]

DE BOER, F; Gabbrielli, Maurizio; Meo, M. C., Proving Correctness of Timed Concurrent Constraint Programs, «ACM TRANSACTIONS ON COMPUTATIONAL LOGIC», 2004, 5(4), pp. xx - yy [Articolo in rivista]

Danos, V.; Laneve, Cosimo, Formal Molecular Biology, «THEORETICAL COMPUTER SCIENCE», 2004, 325(1), pp. 69 - 110 [Articolo in rivista]

OMICINI ANDREA; RICCI ALESSANDRO; VIROLI MIRKO; CIOFFI MARCO; RIMASSA GIOVANNI, Multi-agent Infrastructures for Objective and Subjective Coordination, «APPLIED ARTIFICIAL INTELLIGENCE», 2004, 18, pp. 815 - 831 [Articolo in rivista]