Pubblicazioni

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]

Zambonelli, Franco; Omicini, Andrea, Challenges and Research Directions in Agent-Oriented Software Engineering, «AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS», 2004, 9, pp. 253 - 283 [Articolo in rivista]

MENEZES RONALDO; OMICINI ANDREA; VIROLI MIRKO, On the Semantics of Coordination Models for Distributed Systems: The LogOp Case Study, «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2004, 97, pp. 97 - 124 [Articolo in rivista]

Andrea Omicini; Alessandro Ricci, MAS Organisation within a Coordination Infrastructure: Experiments in TuCSoN, in: Engineering Societies in the Agents World IV, Berlin, Heidelberg, Springer, 2004, pp. 200 - 217 (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro]

Omicini, Andrea; Ossowski, Sascha, Coordination and Collaboration Activities in Cooperative Information Systems, «INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS», 2004, 13, pp. 1 - 7 [Articolo in rivista]