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

Pubblicazioni

2004 Elimina filtro
Contributo in atti di convegno Elimina filtro

193 pubblicazioni

  • R. LANOTTE; A. MAGGIOLO-SCHETTINI; A. TROINA, Information Flow Analysis for Probabilistic Timed Automata, in: Proc. of IFIP Workshop on Formal Aspects in Security and Trust (FAST), Springer US, 2004, IFIP 173, pp. 13 - 26 (atti di: IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, Toulouse, France, August 22–27, 2004) [Contributo in Atti di convegno]

  • R. BARBUTI; S. CATAUDELLA; A. MAGGIOLO-SCHETTINI; P. MILAZZO; A. TROINA, A Probabilistic Calculus for Molecular Systems, in: CS&P'04, Berlino, Humboldt-Univeristaet, Informatik-Berichte, 2004, 170, pp. 202 - 216 (atti di: 13th Int. Workshop on Concurrency Specification and Programming (CS&P'04), Caputh, Germany, September, 2004) [Contributo in Atti di convegno]

  • R. LANOTTE; A. MAGGIOLO-SCHETTINI; S. TINI; A. TROINA, Verification of Hybrid Automata by Synthesis and Refinement, in: CS&P'04, Berlino, Humboldt-Univeristaet, Informatik-Berichte, 2004, 170, pp. 69 - 80 (atti di: 13th Int. Workshop on Concurrency Specification and Programming (CS&P'04), Caputh, Germany, September, 2004) [Contributo in Atti di convegno]

  • Nandan, Alok; Das, Shirshanka; Pau, Giovanni; Gerla, Mario; Sanadidi, M.Y., Co-operative downloading in vehicular ad-hoc wireless networks, in: Nandan, Alok, 2nd Annual Conference on Wireless On-Demand Network Systems and Services, WONS 2005, 2004, pp. 32 - 41 (atti di: 2nd Annual International Conference on Wireless On-Demand Network Systems and Services, WONS 2005, St. Moritz, che, 2005) [Contributo in Atti di convegno]

  • Das, Shirshanka*; Nandan, Alok; Pau, Giovanni; Sanadidi, M.Y.; Gerla, Mario, SPAWN: A swarming protocol for vehicular ad-hoc wireless networks, in: Das, Shirshanka*, VANET - Proceedings of the First ACM International Workshop on Vehicular Ad Hoc Networks, 2004, pp. 93 - 94 (atti di: VANET - Proceedings of the First ACM International Workshop on Vehicular Ad Hoc Networks, Held in Conjunction with MOBICOM 2004, Philadelphia, PA, usa, 2004) [Contributo in Atti di convegno]

  • Wang, Ren*; Pau, Giovanni; Yamada, Kenshin; Sanadidi, M.Y.; Gerla, Mario, TCP startup performance in large bandwidth delay networks, in: IEEE INFOCOM 2004: THE CONFERENCE ON COMPUTER COMMUNICATIONS, VOLS 1-4, PROCEEDINGS, IEEE, 2004, 2, pp. 796 - 805 (atti di: IEEE INFOCOM 2004 - Conference on Computer Communications - Twenty-Third Annual Joint Conference of the IEEE Computer and Communications Societies, Hongkong, China, 2004) [Contributo in Atti di convegno] Open Access

  • Zingaretti P.; Carbonaro A., Learning to acquire and select useful landmarks for route following, in: 1999 3rd European Workshop on Advanced Mobile Robots, Eurobot 1999 - Proceedings, Institute of Electrical and Electronics Engineers Inc., 2004, pp. 161 - 168 (atti di: 3rd European Workshop on Advanced Mobile Rob.ots, Eurobot 1999, che, 1999) [Contributo in Atti di convegno]

  • Scotto M; Sillitti A; Succi G; Vernazza T, A relational Approach to Software Metrics, in: 19th Annual ACM Symposium on Applied Computing (SAC 2004), 2004, pp. 1536 - 1540 (atti di: Proceedings of the 19th Annual ACM Symposium on Applied Computig, Nicosia, Cyprus, March, 2004) [Contributo in Atti di convegno]

  • Zuliani P; Russo B; Silitti A; Succi G, La migrazione delle pubbliche amministrazioni verso l'open source, in: Atti del Congresso Annuale AICA, 2004, pp. 1 - 7 (atti di: AICA, Benevento, Italy, September) [Contributo in Atti di convegno]

  • Scotto M; Silitti A; Succi G; Vernazza T, Raccolta non invasiva di metriche di prodotto, in: XLII Congresso Annuale AICA (AICA 2004), 2004, pp. 1 - 5 (atti di: AICA, Benevento, Italy, September) [Contributo in Atti di convegno]

  • Scotto M; Silitti A; Succi G; Vernazza T, Non-invasive product metrics collection: an Architecture, in: Proceedings of the 2004 Workshop on Quantitative Techniques for Software Agile Process, 2004, pp. 76 - 78 (atti di: Quantitative techniques for software agile processes at ACM SIGSOFT/FSE-12, Newport Beach, California, November) [Contributo in Atti di convegno]

  • Succi G; Zuliani P, Exploiting the Collaboration between Open Source Developers and Research, in: 4th Workshop on Open Source Software Engineering, 26th International Conference on Software Engineering, 2004, pp. 97 - 99 (atti di: Proceedings of the 4th workshop on Open Source Software Engineering (ICSE2004), Edinburgh, UK, May) [Contributo in Atti di convegno]

  • Silitti A; Janes A; Succi G; Vernazza T, Measuring the Architecture Design Process, in: International Conference on Software Engineering Research and Practice (SERP 2004), 2004, pp. 80 - 82 (atti di: Proceedings of the 2004 international Conference on Software Engineering Research and Practice, Las Vegas, Nevada, USA, June) [Contributo in Atti di convegno]

  • Moser R; Russo B; Succi G, Predicting defects using GCC compiler warnings, in: ACM IEEE International Symposium on Empirical Softare Engineering (ISESE 2004), 2004, pp. 1 - 2 (atti di: Proceedings of the 2004 ACM_IEEE international Symposium on Empirical Softare Engineering, Redondo Beach CA, USA, August) [Contributo in Atti di convegno]

  • Kovacs G; Drozdik S; Zuliani P; Succi G, Open Source Software and Open Data Standars in Public Administration, in: Proceedings of the IEEE International Conference on Computational Cybernetics (ICCC 2004), 2004, pp. 421 - 428 (atti di: Proceedings of the IEEE International Conference on Computational Cybernetics, Vienna, Austria, August) [Contributo in Atti di convegno]

  • Janes A; Russo B; Succi G, Using non-invasive measurement techniques in agile software development: a swot analysis, in: XLII Congresso Annuale AICA (AICA 2004), 2004, pp. 1 - 8 (atti di: AICA, Benevento, Italy, September) [Contributo in Atti di convegno]

  • Scotto M; Silitti A; Succi G; Vernazza T, Webmetrics: A tool for improving Software Development, in: Proceedings of the 2004 International Conference on Software Engineering Research and Practice (SERP 2004), 2004, pp. 545 - 548 (atti di: Proceedings of the 2004 International Conference on Software Engineering Research and Practice, Las Vegas, Nevada, USA, June) [Contributo in Atti di convegno]

  • Sillitti A; Janes A; Succi G; Vernazza T, Monitoring the development process with Eclipse, in: International Conference on Information Technology: Coding and Computing, 2004 ; Proceedings. ITCC 2004, IEEE Computer Socitey, 2004, pp. 133 - 134 (atti di: ITTC 2004 - International Conference on Information Technology: Coding and Computing, Las Vegas, 5.4.2004 - 7.4.2004) [Contributo in Atti di convegno]

  • Scotto M; Silitti A; Succi G; Vernazza T, Collecting and Integrating News from Heterogeneous Services, in: 8th World Multiconference on Systemics, Cybernetics and Informatics (WMSCI 2004), 2004, pp. 1 - 4 (atti di: Proceedings of the 8th World Multiconference on Systemics, Cybernetics and Informatics, Orlando, FL, USA, July) [Contributo in Atti di convegno]

  • Silitti A; Succi G, Un approccio lean alla generazione di modelli aziendali, in: XLII Congresso Annuale AICA (AICA 2004), 2004, pp. 1 - 5 (atti di: AICA, Benevento, Italy, September) [Contributo in Atti di convegno]