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

Pubblicazioni

2005 Elimina filtro
Contributo in atti di convegno Elimina filtro

187 pubblicazioni

  • M. Magnani; D. Montesi, XML and relational data: towards a common model and algebra, in: Proceedings of International database engineering and applications symposium, s.l, IEEE Press, 2005(atti di: International database engineering and applications symposium, Montreal (Canada), July 25-27 2005) [Contributo in Atti di convegno]

  • N. Rizopoulos; M. Magnani; P. McBrien; D. Montesi, Uncertainty in semantic schema integration, in: 22nd British national conference on databases : workshops and posters, SUNDERLAND, University of Sunderland Press, 2005, 2, pp. 13 - 16 (atti di: British national conference on database, Sunderland (UK), 2005) [Contributo in Atti di convegno]

  • N. Rizopoulos; M. Magnani; P. McBrien; D. Montesi, Schema integration based on uncertainty semantic mappings, in: Proceedings of the International conference on conceptual modeling, BERLIN, Springer, 2005, 3716, pp. 31 - 46 (atti di: ER 2005, 24th International Conference on Conceptual Modeling, Klagenfurt (Austria), 2005 October 24-28) [Contributo in Atti di convegno]

  • M. Alberti; A. Ciampolini; F. Chesani; P. Mello; M. Montali; S. Storari; P. Torroni, Protocol Specification and Verification by Using Computational Logic, in: WOA 2005 Dagli Oggetti agli Agenti - Simulazione e Analisi Formale dei Sistemi Complessi, BOLOGNA, Pitagora Editrice, 2005(atti di: WOA 2005 Dagli Oggetti agli Agenti, Camerino, 14-16 Novembre 2005) [Contributo in Atti di convegno]

  • M. Alberti; F. Chesani; M. Gavanelli; A. Guerri; E. Lamma; P. Mello; M. Milano; P. Torroni, Expressing Interaction in Combinatorial Auctions Through Social Integrity Constraints, in: Proceedings of the 19th Workshop on (Constraint) Logic Programming (W(C)LP), ULM, University of Ulm, 2005, pp. 53 - 64 (atti di: 19th Workshop on (Constraint) Logic Programming (W(C)LP), Ulm, 21-23 February 2005) [Contributo in Atti di convegno]

  • N. Busi; R. Gorrieri; C. Guidi; R. Lucchi; G. Zavattaro;, Towards a formal framework for Choreography, in: Enabling Technologies: Infrastructure for Collaborative Enterprise, 2005. 14th IEEE International Workshops on, LOS ALAMITOS, s.n, 2005, pp. 107 - 112 (atti di: Enabling Technologies: Infrastructure for Collaborative Enterprise, 2005. 14th IEEE International Workshops on, Linkoping, Sweden, 13-15 June 2005) [Contributo in Atti di convegno]

  • D. Hirschkoff; D. Pous; D. Sangiorgi, A Correct Abstract Machine for Safe Ambients., in: Lecture Notes in Computer Science, BERLIN, Springer, 2005, 3454, pp. 17 - 32 (atti di: COORDINATION 2005, Namur, Belgium, April 20-23, 2005,) [Contributo in Atti di convegno]

  • Y. Deng; D. Sangiorgi, Ensuring Termination by Typability, in: International Conference on Theoretical Computer Science, s.l, Kluwer, 2005, pp. 619 - 632 (atti di: Exploring New Frontiers of Theoretical Informatics, IFIP 18th World Computer Congress, Toulouse, France, 22-27 August 2004) [Contributo in Atti di convegno]

  • Francesca Toni; Paolo Torroni, Multi-Agent Systems in Logic Programming: Challenges and Outcomes of the SOCS Project, in: AA.VV., Pre-proceedings of the Sixth International Workshop on Computational Logic in Multi-Agent Systems, LONDON, City University London, 2005, pp. 9 - 11 (atti di: Sixth International Workshop on Computational Logic in Multi-Agent Systems, City University London, UK, 27-29 June 2005) [Contributo in Atti di convegno]

  • G.Delzanno|; M.Gabbrielli|; M.C. Meo, A compositional semantics for CHR., in: Proceedings of PPDP, NEW YORK, ACM Press, 2005, pp. ? - ? (atti di: Principles and practice of declarative programming, Lisboa, 2005) [Contributo in Atti di convegno]

  • G. Lodi; F. Panzieri; D. Rossi; E. Turrini, Experimental Evaluation of a QoS-aware Application Server, in: Proc., WASHINGTON, DC, IEEE, 2005, pp. 259 - 262 (atti di: 4th IEEE Int. Symp. on Network Computing and Applications, Cambridge (MA, USA), 27-29 July, 2005) [Contributo in Atti di convegno]

  • A. Di Iorio; F. Vitali, From the writable web to global editability, in: Proceedings, NEW YORK, ACM, 2005(atti di: HT 2005 - Sixteenth ACM Conference on Hypertext and Hypermedia, Salzburg (AU), 6-9 settembre 2005) [Contributo in Atti di convegno]

  • A. Di Iorio; G. Montemari; F. Vitali, Beyond Proxies: XLink Support In The Browser, in: Proceedings, WREXHAM, North East Wales Institute, 2005(atti di: ITA05, the International Conference on Internet Technologies and Applications, Wrexham (UK), 7-9 September 2005) [Contributo in Atti di convegno]

  • F. Vitali; A. Di Iorio; D. Gubellini, Design patterns for document substructures, in: Proceedings, ALEXANDRIA (VA), IDEAlliance, 2005(atti di: Extreme Markup Languages 2005 Conference, Montreal (Canada) August 2005, 1-5 agosto 2006) [Contributo in Atti di convegno]

  • P. De Sabbata; N. Gessa; G. Cucchiara; T. Imolesi; F. Vitali, Supporting eBusiness with a dictionary designed in a vertical standardisation perspective, in: Proceedings, NEW YORK, IEEE, 2005(atti di: 7th International IEEE Conference on E-Commerce Technology 2005, München (D), July 19-22 2005) [Contributo in Atti di convegno]

  • S. Pepper; F. Vitali; L.M. Garshol; N. Gessa; V. Presutti, Survey of RDF/Topic Maps Interoperability Proposals, in: W3C Working Draft, BOSTON, W3C, 2005(atti di: W3C Semantic Web Best Practices and Deployment Working Group, s.l., 29 March 2005) [Contributo in Atti di convegno]

  • A. Di Iorio; F. Vitali, Web Authoring: A Closed Case?, in: Proceedings of the 38th Annual Hawaii International Conference on System Sciences (HICSS'05), NEW YORK, IEEE, 2005, pp. 95 - 103 (atti di: 38th Annual Hawaii International Conference on System Sciences (HICSS'05), Waikoloa (Hawaii), January 2005) [Contributo in Atti di convegno]

  • L. Baldacci; F. Capozzi; M. Golfarelli; A. Lumini; S. Rizzi; M. turano, Protein classification by surface analysis, in: LUCIANO MILANESI, GRAZIANO PESOLE, GIANCARLO MAURI, ALESSANDRO GUFFANTI, Bioinformatics ITalian Society BITS 2005, MILANO, s.n, 2005(atti di: Bioinformatics ITalian Society BITS 2005, Milano, 17-19 Marzo 2005) [Riassunto (Abstract)]

  • L. Baldacci; F. Capozzi; M. Golfarelli; A. Lumini; S. Rizzi; M. Turano, Pattern Recognition and data mining on protein surfaces, in: 1st European Conference on Chemistry for Life Sciences - Understanding the Chemical Mechanisms of Life, RIMINI, s.n, 2005, pp. 102 - 102 (atti di: 1st European Conference on Chemistry for Life Sciences - Understanding the Chemical Mechanisms of Life, Rimini, 4-8 ottobre, 2005) [Riassunto (Abstract)]

  • D. Rossi; E. Turrini, Analyzing the Impact of Components Replication in High Available J2EE Clusters, in: Joint International Conference on Autonomic and Autonomous Systems and International Conference on Networking and Services - (icas-icns'05), s.l, IEEE press, 2005, pp. 56 - 66 (atti di: Joint International Conference on Autonomic and Autonomous Systems and International Conference on Networking and Services - (icas-icns'05), Papeete, Tahiti, 23-28 Ottobre 2005) [Contributo in Atti di convegno]