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

Pubblicazioni

2005 Elimina filtro
Contributo in atti di convegno Elimina filtro

187 pubblicazioni

  • BRUNI R.; LANESE I.; MONTANARI U., Complete Axioms for Stateless Connectors, in: Proceedings of CALCO'05, First Conference on Algebra and Coalgebra in Computer Science, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2005, 3629, pp. 98 - 113 (atti di: First Conference on Algebra and Coalgebra in Computer Science, Swansea, Wales, UK, 3-6/9/2005) [Contributo in Atti di convegno]

  • LANESE I.; TUOSTO E., Synchronized Hyperedge Replacement for Heterogeneous Systems, in: Proceedings of COORDINATION'05, Seventh International Conference on Coordination Models and Languages, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2005, 3454, pp. 220 - 235 (atti di: Seventh International Conference on Coordination Models and Languages, Namur, Belgium, 20-23/4/2005) [Contributo in Atti di convegno]

  • BRUNI R.; LANESE I., Summary 3: On Graph(ic) Encodings, in: Proceedings of Dagstuhl Seminar n.04241, Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, DAGSTUHL, Schloss Dagstuhl, «DAGSTUHL SEMINAR PROCEEDINGS», 2005, 04241, pp. 23 - 39 (atti di: Dagstuhl Seminar n.04241, Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, Dagstuhl, Germany, 6-11/6/2004) [Contributo in Atti di convegno]

  • Lanese I.; Montanari U., Insights Emerged while Comparing Three Models for Global Computing, in: Proceedings of Dagstuhl Seminar n.05081, Foundations of global computing, DAGSTUHL, Schloss Dagstuhl, «DAGSTUHL SEMINAR PROCEEDINGS», 2005, 05081, pp. 1 - 20 (atti di: Dagstuhl Seminar n.05081, Foundations of global computing, Dagstuhl, Germany, 20-25/2/2005) [Contributo in Atti di convegno]

  • R. LANOTTE; A. MAGGIOLO-SCHETTINI; A. TROINA, Timed Automata with Data Structures for Distributed Systems Design and Analysis, in: -, Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on, IEEE CSP, 2005, pp. 44 - 53 (atti di: Third IEEE International Conference on Software Engineering and Formal Methods, 2005. SEFM 2005, Koblenz, Germany, September 2005) [Contributo in Atti di convegno]

  • R. BARBUTI; A. MAGGIOLO-SCHETTINI; P. MILAZZO; A. TROINA, An Alternative to Gillespie's Algorithm for Simulating Chemical Reactions, in: 3rd Int. Workshop on Computational Methods in Systems Biology (CMSB'05), 2005, pp. 167 - 178 (atti di: CMSB'05, Edinburgh, Scotland, April, 2005) [Contributo in Atti di convegno]

  • R. BARBUTI; A. MAGGIOLO-SCHETTINI; P. MILAZZO; A. TROINA, A Calculus of Looping Sequences for Modelling Microbiological Systems, in: 14th Int. Workshop on Concurrency Specification and Programming (CS&P'05), Varsavia, Warsaw University, 2005, 511/2005, pp. 29 - 40 (atti di: CS&P'05, Ruciane-Nida, Poland, September 2005) [Contributo in Atti di convegno]

  • Parker, Michael*; Nader-Tehrani, Amir; Nandan, Alok; Pau, Giovanni, Optimizing neighbors by objective functions in peer-to-peer networks, in: Parker, Michael*, GLOBECOM - IEEE Global Telecommunications Conference, 2005, 2, pp. 990 - 995 (atti di: GLOBECOM'05: IEEE Global Telecommunications Conference, 2005, St. Louis. MO, usa, 2005) [Contributo in Atti di convegno]

  • Das, Shirshanka*; Nandan, Alok; Parker, Michael G.; Pau, Giovanni; Gerla, Mario, Grido- An architecture for a grid-based overlay network, in: Das, Shirshanka*, Second International Conference on Quality of Service in Heterogeneous Wired/Wireless Networks, Qshine 2005, 2005, 2005, pp. 27 - 27 (atti di: 2nd International Conference on Quality of Service in Heterogeneous Wired/Wireless Networks, Qshine 2005, Orlando,FL, usa, 2005) [Contributo in Atti di convegno]

  • Antonella Carbonaro; Rodolfo Ferrini, Considering semantic abilities to improve a web-based distance learning system, in: ACM Combining Intelligent and Adaptive Hypermedia Methods/Techniques in Web Based Education Systems, 2005, pp. 27 - 32 (atti di: 16th ACM Conference on Hypertext and Hypermedia, Austria, 6-9 September, 2005) [Contributo in Atti di convegno]

  • Bighini C.; Carbonaro A.; Casadei G., InLinx for document classification, sharing and recommendation, in: Proceedings - 3rd IEEE International Conference on Advanced Learning Technologies, ICALT 2003, 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA, IEEE Computer Society, 2005, pp. 91 - 95 (atti di: 3rd IEEE International Conference on Advanced Learning Technologies, ICALT 2003, Athens, grc, 2003) [Contributo in Atti di convegno]

  • Carbonaro A.; Zingaretti P., A comprehensive approach to image-contrast enhancement, in: Proceedings - International Conference on Image Analysis and Processing, ICIAP 1999, 2005, pp. 241 - 246 (atti di: 10th International Conference on Image Analysis and Processing, ICIAP 1999, Venice, ita, 1999) [Contributo in Atti di convegno]

  • Mirri S.; Salomoni P., Providing accessible and portable video lecturing using content transcoding, in: EUROMEDIA 2005 - 11th Annual Scientific Conference on Web Technology, New Media Communications and Telematics Theory Methods, Tools and Applications, EUROSIS, 2005, pp. 97 - 101 (atti di: 11th Annual Scientific Conference on Web Technology, New Media Communications and Telematics Theory Methods, Tools and Applications, EUROMEDIA 2005, Toulouse, fra, 2005) [Contributo in Atti di convegno]

  • Bevilacqua A.; Gherardi A.; Guerrieri R., In vivo quantitative evaluation of skin ageing by capacitance image analysis, in: Proceedings of the Seventh IEEE Workshop on Applications of Computer Vision (WACV 2005), IEEE Computer Society, 2005, pp. 342 - 347 (atti di: The 7th IEEE Workshop on Applications of Computer Vision (WACV 2005), Breckenridge, CO, usa, January 5-7, 2005) [Contributo in Atti di convegno]

  • Moser R; Janes A; Russo B; Sillitti A; Succi G, PROM: taking an echography of your software process, in: XLIII Congresso Annuale AICA (AICA 2005), 2005, pp. 1 - 6 (atti di: Atti del Congresso Annuale AICA, Udine, Italy, October) [Contributo in Atti di convegno]

  • Sillitti A; Ceschi M; Russo B; Succi G, Managing Uncertainty in Requirements: a Survey in Plan-Based and Agile Companies, in: 11th IEEE International Symposium on Software Metrics (METRICS 2005), 2005, pp. 1 - 16 (atti di: 11th IEEE International Software Metrics Symposium (METRICS 2005), Como, Italy, September) [Contributo in Atti di convegno]

  • Russo B; Braghin C; Gasperi P; Sillitti A; Succi G, Defining the Total Cost of Ownership for the Transition to Open Source Systems, in: Proceedings of the First International Conference on Open Source Systems, 2005, pp. 1 - 6 (atti di: 1st International Conference on Open Source Systems (OSS2005), Genova, Italy, July) [Contributo in Atti di convegno]

  • Sillitti A; Succi G, Source code repositories and agile methods, in: Proceedings of the First International Conference on Open Source Systems, 2005, pp. 243 - 246 (atti di: XP2005, Genova, Italy, June) [Contributo in Atti di convegno]

  • Rossi B; Scotto M; Sillitti A; Succi G, Criteria for the non invasive transition to OpenOffice, in: Proceedings of the First International Conference on Open Source Systems (OSS2005), 2005, pp. 250 - 253 (atti di: 1st International Conference on Open Source Systems (OSS2005), Genoa, Italy, July) [Contributo in Atti di convegno]

  • Rossi B; Sillitti A; Succi G, Metodi agili e sistemi di gestione delle configurazioni, in: XLIII Congresso Annuale AICA (AICA 2005), 2005, pp. 1 - 4 (atti di: Atti del Congresso Annuale AICA, Udine, Italy, October) [Contributo in Atti di convegno]