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

Pubblicazioni

2006 Elimina filtro

368 pubblicazioni

  • F. Grandi; F. Mandreoli; R. Martoglia; E. Ronchetti; M. R. Scalas; P. Tiberio, An eGovernment System for Temporal- and Semantic-aware Access to Norms, in: Semantic Web meets eGovernment, MENLO PARK, AAAI Press, 2006, SS-06-06, pp. 80 - 86 (atti di: AAAI Spring Symposium, Stanford, CA, Marzo 2006) [Contributo in Atti di convegno]

  • M. Wirsing; R. De Nicola; S. Gilmore; M. Holzl; R. Lucchi; M. Tribastone; G. Zavattaro, Sensoria Process Calculi for Service-Oriented Computing, in: Trustworthy Global Computing. Revised Selected Papers, BERLIN, Springer, 2006, 4661, pp. 30 - 50 (atti di: International Symposium on Trustworthy Global Computing (TGC'06), Lucca, ITALY, 7-9 Novembre 2006) [Contributo in Atti di convegno]

  • C. Laneve; S. Carpineti, A rude contract language for web services, «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2006, 162, pp. 147 - 152 [Articolo in rivista]

  • M.A. Boschetti; V. Maniezzo, Pianificazione integrata dei viaggi e del carico, «IL GIORNALE DELLA LOGISTICA», 2006, 3, Anno 6, pp. 100 - 101 [Articolo in rivista]

  • R. Davoli; M. Goldweber; L. Gardenghi, UMview: View-OS implemented as a System Call Virtual Machine, in: OSDI conference, SEATTLE, USENIX, 2006, pp. 0 - 0 (atti di: 7th USENIX Symposium on Operating Systems Design and Implementation (OSDI '06), Seattle, WA, USA, November 6–8, 2006) [Riassunto (Abstract)]

  • E. Lodolo; F. Marcolini; S. Mirri, On the Design of a Transcoding Component for a Dynamic Adaptation of Multimedia Resources, in: Distributed Agent-Based Retrieval Tools. Proceedings of the 1st International Workshop, MONZA, Polimetrica Publisher, 2006, pp. 87 - 101 (atti di: 1st International Workshop on Distributed Agent-Based Retrieval Tools - IEEE Symposium on Computers and Communications (ISCC 2006), Pula-Cagliari (Italy), June 2006) [Contributo in Atti di convegno]

  • S. Balsamo; M. Marzolla; R. Mirandola, Efficient Performance models in Component-Based Software Engineering, in: 32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2006), August 29 - September 1, 2006, Cavtat/Dubrovnik, Croatia, LOS ALAMITOS, CA, IEEE Computer Society, 2006, pp. 64 - 71 (atti di: 32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2006), Cavtat/Dubrovnik, Croatia, August 29 - September 1, 2006) [Contributo in Atti di convegno]

  • M. Marzolla; M. Mordacchini; S. Orlando, A P2P Resource Discovery System Based on a Forest of Trees, in: DEXA Workshops, LOS ALAMITOS, CA, IEEE Computer Society, 2006, pp. 261 - 265 (atti di: 17th International Workshop on Database and Expert Systems Applications (DEXA 2006), Krakow, Poland, 4-8 September 2006) [Contributo in Atti di convegno]

  • G. Avellino, S. Beco, A. Cavallini, A. Maraschini, F. Pacini, A. Parrini, C. Scarcella, M. Sottilaro, A. Terracina, F. Dvořák, D. Kouřil, A. Křenek, l. Matyska, M. Mulac, J. Pospíšil, M. Ruda, Z. Salvet, J. Sitera, J. Škrabal, M. Vocu, S. Monforte, M. Pappalardo, S. Andreozzi, M. Cecchi, V. Ciaschini, T. Ferrari, F. Giacomini, R. Lops, E. Ronchieri, V. Venturi, G. Fiorentino, V. Martellli, M. Mezzadri, E. Molinari, F. Prelz, D. Rebatto, P. Andreetto, A. S. Borgia, A. Dorigo, A. Giannelle, M. Marzolla, M. Mordacchini, M. Sgaravatto, L. Zangrando, A. Guarise, G. Patania, R. Piro, A. Werbrouck, Flexible Job Submission Using Web Services: the gLite WMProxy Experience, in: Proc. XV International Conference on Computing in High Energy and Nuclear Physics (CHEP'06), s.l, Macmillan, 2006, pp. 738 - 742 (atti di: XV International Conference on Computing in High Energy and Nuclear Physics (CHEP'06), Mumbay, India, Feb 13–17, 2006) [Contributo in Atti di convegno]

  • P. Andreetto, S. A. Borgia, A. Dorigo, A. Gianelle, M. Marzolla, M. Mordacchini, M. Sgaravatto, L. Zangrando, F. Dvořák, D. Kouřil, A. Křenek, l. Matyska, M. Mulac, J. Pospíšil, M. Ruda, Z. Salvet, J. Sitera, J. Škrabal, M. Vocu, G. Avellino, S. Beco, A. Cavallini, A. Maraschini, F. Pacini, A. Parrini, C. Scarcella, M. Sottilaro, A. Terracina, S. Monforte, M. Pappalardo, S. Andreozzi, M. Cecchi, V. Ciaschini, T. Ferrari, F. Giacomini, R. Lops, E. Ronchieri, V. Venturi, G. Fiorentino, V. Martelli, M. Mezzadri, E. Molinari, F. Prelz, D. Rebatto, A. Guarise, G. Patania, R. Piro, A. Werbrouck, CREAM: A simple, Grid-accessible, Job Management System for local Computational Resources, in: Proc. XV International Conference on Computing in High Energy and Nuclear Physics (CHEP'06), s.l, Macmillan, 2006, pp. 831 - 835 (atti di: XV International Conference on Computing in High Energy and Nuclear Physics (CHEP'06), Mumbay, India, Feb 13–17, 2006) [Contributo in Atti di convegno]

  • M. Marzolla; M. Mordacchini; S. Orlando, Tree Vector Indexes: Efficient Range Queries for Dynamic Content on Peer-to-Peer Networks, in: Proc. 14th Euromicro Conference on Parallel, Distributed and Network-Based Processing (PDP'2006), s.l, IEEE Computer Society, 2006, pp. 457 - 464 (atti di: 14th Euromicro Conference on Parallel, Distributed and Network-Based Processing (PDP'2006), Montbéliard-Sochaux, France, Feb 15–17, 2006) [Contributo in Atti di convegno]

  • R. Cappelli; M. Ferrara; D. Maltoni, The Quality of Fingerprint Scanners and its Impact on the Accuracy of Fingerprint Recognition Algorithms, in: Biometric Quality Workshop I - Proceedings, National Institute of Standards and Technology (NIST), 2006, pp. 8-1 - 8-20 (atti di: Biometric Quality Workshop I, Gaithersburg (USA), 08-09/03/2006) [Contributo in Atti di convegno]

  • R. BRUNI; I. LANESE; U. MONTANARI, A Basic Algebra of Stateless Connectors, «THEORETICAL COMPUTER SCIENCE», 2006, 366(1-2), pp. 98 - 120 [Articolo in rivista]

  • FERRARI G. L.; HIRSCH D.; LANESE I.; MONTANARI U.; TUOSTO E., Synchronised Hyperedge Replacement as a Model for Service Oriented Computing, in: Proceedings of FMCO'05, Fourth International Symposium on Formal Methods for Components and Objects, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2006, 4111, pp. 22 - 43 (atti di: Fourth International Symposium on Formal Methods for Components and Objects, Amsterdam, The Netherlands, 1-4/11/2005) [Contributo in Atti di convegno]

  • MAZZARA M.; LANESE I., Towards a Unifying Theory for Web Services Composition, in: Proceedings of WS-FM'06, 3rd International Workshop on Web Services and Formal Methods, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2006, 4184, pp. 257 - 272 (atti di: 3rd International Workshop on Web Services and Formal Methods, Vienna, Austria, 8-9/9/2006) [Contributo in Atti di convegno]

  • LANESE I.; MONTANARI U., Hoare vs Milner: Comparing Synchronizations in a Graphical Framework with Mobility, in: Proceedings of the Workshop on Graph Transformation for Verification and Concurrency (GT-VC 2005), Amsterdam, Elsevier B.V., 2006, 154, pp. 55 - 72 (atti di: GT-VC'05, Graph Transformation for Verification and Concurrency, San Francisco, California, USA, 23-26/8/2005) [Contributo in Atti di convegno]

  • A. Di Iorio; A. Feliziani; S. Mirri; P. Salomoni; F. Vitali, Continuously updated e-learning material through easy authoring processes, «JE-LKS. JOURNAL OF E-LEARNING AND KNOWLEDGE SOCIETY», 2006, 2, pp. 315 - 329 [Articolo in rivista]

  • A. Bevilacqua; S. Vaccari, A Novel Spatio-Temporal Approach to Handle Occlusions in Vehicle Tracking, in: Image Analysis and Recognition, Berlin, Springer-Verlag, 2006, pp. 910 - 921 (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro]

  • Andrea Omicini; Paolo Petta; Matjaz Gams, The Second AgentLink III Technical Forum: Main Issues and Hot Topics in European Agent Research – Part 2, «INFORMATICA», 2006, 30, pp. 1 - 1 [Articolo in rivista]

  • R. BARBUTI; A. MAGGIOLO-SCHETTINI; P. MILAZZO; A. TROINA, A Calculus of Looping Sequences for Modelling Microbiological Systems, «FUNDAMENTA INFORMATICAE», 2006, 72, pp. 21 - 35 [Articolo in rivista]