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

Pubblicazioni

2007 Elimina filtro
Contributo in atti di convegno Elimina filtro

177 pubblicazioni

  • M.S. Memon; A.S. Memon; M. Riedel; B. Schuller; D. Mallmann; B. Tweddell; A. Streit; S. van den Berghe; D. Snelling; V. Li; M. Marzolla; P. Andreetto, Enhanced Resource Management Capabilities using Standardized Job Management and Data Access Interfaces within UNICORE Grids, in: Proceedings of 3rd Workshop on Scheduling and Resource Management for Parallel and Distributed Systems SRMPDS 2007, ICPADS'07—The 13th International Conference on Parallel and Distributed Systems, LOS ALAMITOS, CA, IEEE Computer Society, 2007, pp. 1 - 6 (atti di: 3rd Workshop on Scheduling and Resource Management for Parallel and Distributed Systems SRMPDS 2007, ICPADS'07—The 13th International Conference on Parallel and Distributed Systems, Hsinchu, Taiwan, December 5-7, 2007) [Contributo in Atti di convegno]

  • M. Marzolla; R. Mirandola, Performance Prediction of Web Service Workflows, in: Software Architectures, Components, and Applications / Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11–13, 2007, Revised Selected Papers, BERLIN/HEIDELBERG, Springer, 2007, 4880, pp. 127 - 144 (atti di: Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11–13, 2007) [Contributo in Atti di convegno]

  • 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]

  • 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. 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]

  • 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)]

  • 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]

  • 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]

  • Bernardo, Marco; Padovani, Luca, Performance-Oriented Comparison of Web Services via Client-Specific Testing Preorders, in: Proceedings of the 9th IFIP international conference on formal methods for open object-based distributed systems (FMOODS’07), DEU, Springer, 2007, LNCS 4468, pp. 269 - 284 (atti di: 9th IFIP international conference on formal methods for open object-based distributed systems (FMOODS’07), Cyprus, June 6-8 2007) [Contributo in Atti di convegno]