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

Pubblicazioni

2007 Elimina filtro

303 pubblicazioni

  • BRUNI R; LANESE I., PRISMA: A Mobile Calculus with Parametric Synchronization, in: Proceedings of TGC'06, Second Symposium on Trustworthy Global Computing, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2007, 4661, pp. 132 - 149 (atti di: Second Symposium on Trustworthy Global Computing, Lucca, Italia, 7-9/11/2006) [Contributo in Atti di convegno]

  • LANESE I., Concurrent and Located Synchronizations in Pi-Calculus, in: Proceedings of SOFSEM'07, 33rd International Conference on Current Trends in Theory and Practice of Computer Science, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2007, 4362, pp. 388 - 399 (atti di: 33rd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, 20-26/1/2007) [Contributo in Atti di convegno]

  • LANESE I.; VASCONCELOS V.T.; MARTINS F.; RAVARA A., Disciplining Orchestration and Conversation in Service-Oriented Computing, in: Proceedings of SEFM'07, 5th IEEE International Conference on Software Engineering and Formal Methods, LOS ALAMITOS, IEEE Computer Society Press, 2007, pp. 305 - 314 (atti di: 5th IEEE International Conference on Software Engineering and Formal Methods, London, England, 10-14/09/2007) [Contributo in Atti di convegno]

  • I. Bartolini; P. Ciaccia; V. Oria; T. Özsu, Erratum: Flexible Integration of Multimedia Sub-queries with Qualitative Preferences, «MULTIMEDIA TOOLS AND APPLICATIONS», 2007, 33, pp. 273 - 273 [Replica/breve intervento (e simili)]

  • Pietro Di Lena, On Computing the Topological Entropy of one-sided Cellular Automata, «JOURNAL OF CELLULAR AUTOMATA», 2007, 2, pp. 121 - 130 [Articolo in rivista]

  • Morgan Conbere; Michael Erlinger; Renzo Davoli; Michael Goldweber, Environments for a Networking Laboratory, in: Proc. of the 20th Annual Conference of the Na- tional Advisory Committee on Computing Qualifications (NACCQ 2007), 2007, pp. 53 - 58 (atti di: the 20th Annual Conference of the Na- tional Advisory Committee on Computing Qualifications (NACCQ 2007), Nelson, New Zealand, 8 - 11 July 2007) [Contributo in Atti di convegno]

  • Willem Jan van Hoeve; Carla P. Gomes; Bart Selman; Michele Lombardi, Optimal multi-agent scheduling with constraint programming, in: PROCEEDINGS OF THE NINETEENTH CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE, The AAAI Press, 2007, 2, pp. 1813 - 1818 (atti di: NINETEENTH CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE, Vancouver, British Columbia, Canada, July 2007) [Contributo in Atti di convegno]

  • R. LANOTTE; A. MAGGIOLO-SCHETTINI; A. TROINA, Parametric Probabilistic Transition Systems for System Design and Analysis, «FORMAL ASPECTS OF COMPUTING», 2007, 19, pp. 93 - 109 [Articolo in rivista]

  • R. BARBUTI; A. MAGGIOLO-SCHETTINI; P. MILAZZO; A. TROINA, The Calculus of Looping Sequences for Modeling Biological Membranes, in: George Eleftherakis et al., Membrane Computing - 8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers, BERLIN HEIDELBERG, Springer-Verlag, 2007, LNCS 4860, pp. 54 - 76 (atti di: 8th International Workshop on Membrane Computing (WMC 2007), Thessaloniki, Greece, June 25-28, 2007) [Contributo in Atti di convegno]

  • J. GOUBAULT-LARRECQ; C. PALAMIDESSI; A. TROINA, A Probabilistic Applied Pi-Calculus, in: Zhong Shao, Programming Languages and Systems, Berlin Heidelberg, Springer, 2007, LNCS 4807, pp. 175 - 190 (atti di: 5th Asian Symposium on Programming Languages and Systems (APLAS'07), Singapore, November 2007) [Contributo in Atti di convegno]

  • Calegari, Roberta*; Musolesi, Mirco; Raimondi, Franco; Mascolo, Cecilia, CTG: A connectivity trace generator for testing the performance of opportunistic mobile systems, in: Calegari, Roberta*, 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2007, ACM Press, 2007, pp. 415 - 424 (atti di: 6th Joint Meeting of the European Software Engineering Conference and the 14th ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2007, Dubrovnik, hrv, 2007) [Contributo in Atti di convegno]

  • Carbonaro, Antonella; Ferrini, Rodolfo, Personalized information retreival in a semantic-based learning environment, in: Social information Retrieval Systems: emerging technologies and applications for searching the web efficiently, New York City, InformatIon scIence reference, 2007, pp. 270 - 288 [Capitolo/Saggio in libro]

  • Marfia, Gustavo*; Pau, Giovanni; Giordano, Eugenio; De Sena, Enzo; Gerla, Mario, VANET: On mobility scenarios and urban infrastructure. A case study, in: 2007 Mobile Networking for Vehicular Environments, MOVE, 2007, pp. 31 - 36 (atti di: 2007 Mobile Networking for Vehicular Environments, MOVE, Anchorage, AK, usa, 2007) [Contributo in Atti di convegno]

  • Marfia, Gustavo*; Pau, Giovanni; De Sena, Enzo; Giordano, Eugenio; Gerla, Mario, Evaluating vehicle network strategies for downtown Portland: Opportunistic infrastructure and the importance of realistic mobility models, in: Marfia, Gustavo*, MobiOpp'07: Proceedings of the First International MobiSys Workshop on Mobile Opportunistic Networking, 2007, pp. 47 - 51 (atti di: 5th International Conference on Mobile Systems, Applications and Services, San Juan, pri, 2007) [Contributo in Atti di convegno]

  • MALIZIA E; PALOPOLI LUIGI; SCARCELLO FRANCESCO, Infeasibility Certificates and the Complexity of the Core in Coalitional Games, in: Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007), 2007, pp. 1402 - 1407 (atti di: IJCAI 2007, Hyderabad, India, 6/01/2007 - 12/01/2007) [Contributo in Atti di convegno]

  • Roccetti M., EuroIMSA 2007 Foreword, in: Proceedings of the IASTED European Conference on Internet and Multimedia Systems and Applications, EuroIMSA 2007, IASTED - ACTA Press, 2007, pp. 1 - 2 (atti di: 2007 IASTED European Internet and Multimedia Systems and Applications Conference, EuroIMSA 2007, Chamonix, France, 2007) [Riassunto (Abstract)]

  • Guido Boella, Mehdi Dastani, Andrea Omicini, Ivana Černá, Isabelle Linden, Preface, in: Combined Proceedings of the Second International Workshop on Coordination and Organization (CoOrg 2006) and the Second International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2006), Amsterdam, Elsevier B.V., 2007, pp. 1 - 3 [Prefazione]

  • Palazzi C.E.; Chin B.; Ray P.; Pau G.; Gerla M.; Roccetti M., High mobility in a realistic wireless environment: A mobile IP handoff model for NS-2, in: Proceedings of the 3rd International Conference on Testbeds and Research Infrastructures for the Development of Networks and Communities, TridentCom 2007, 2007, pp. 1 - 7 (atti di: 3rd International Conference on Testbeds and Research Infrastructures for the Development of Networks and Communities, TridentCom 2007, Lake Buena Vista, FL, USA, 2007) [Contributo in Atti di convegno]

  • J. Elias; F. Martignon; A. Capone; G. Pujolle, A new approach to dynamic bandwidth allocation in Quality of Service networks: Performance and bounds, «COMPUTER NETWORKS», 2007, 51, pp. 2833 - 2853 [Articolo in rivista]

  • Bellavista, P, Middleware for next-generation converged networks and services: Myths or reality?, in: Proceedings of the International Computer Software and Applications Conference (COMPSAC 2007), 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA, IEEE COMPUTER SOC, 2007, pp. 10 - 15 (atti di: 31st Annual International Computer Software and Applications Conference (COMPSAC 2007), Beijing, China, July 24-27, 2007) [Contributo in Atti di convegno]