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

Pubblicazioni

in corso di stampa Elimina filtro

7503 pubblicazioni

  • G. Chan; M. Merabti; S. Moyer; M. Roccetti; M. Ulema; H.Yu (a cura di): JIANGCHUAN LIU, MING ZHOU, EUNSAM KIM, JONATHAN C. LIU, A. MINGKHWAN, P. FERGUS, O. ABUELMA'ATTI, M. MERABTI, B. ASKWITH, M. B. HANNEGHAN, SONIA WAHARTE, RAOUF BOUTABA, YOUSSEF IRAQI, BRENT ISHIBASHI, JARI KORHONEN, YICHENG HUANG, YE WANG, ALOK NANDAN, MICHAEL G. PARKER, GIOVANNI PAU, PAOLA SALOMONI, Multimedia Tools and Applications - Special Issue on Advances in Consumer Communications and Networking, vol. 29, n. 3, June 2006, NEW YORK, Springer, 2006, pp. 131 . [Curatela]

  • F. Chesani; P. De Matteis; P. Mello; M. Montali; S. Storari, A Framework for Defining and Verifying Clinical Guidelines: A Case Study on Cancer Screening., in: Foundations of Intelligent Systems, «LECTURE NOTES IN COMPUTER SCIENCE», 2006, 4203, pp. 338 - 343 (atti di: 16th International Symposium on Methodologies for Intelligent Systems, Bari, 27- 29 Settembre 2006) [Contributo in Atti di convegno]

  • M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello, A Verifiable Logic-Based Agent Architecture., in: Foundations of Intelligent Systems, Berlin, Springer Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2006, 4203, pp. 188 - 197 (atti di: Foundations of Intelligent Systems. 16th International Symposium on Methodologies for Intelligent Systems (ISMIS 2006), Bari, Italy, 27-29 Settembre 2006) [Contributo in Atti di convegno]

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