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

Pubblicazioni

2006 Elimina filtro
Contributo in atti di convegno Elimina filtro

204 pubblicazioni

  • M. Bravetti; H. Hermanns; J.-P. Katoen, YMCA -Why Markov Chain Algebra?, in: null, 2006, 162, pp. 107 - 112 (atti di: Essays on Algebraic Process Calculi (APC 25), Bertinoro - ITALY, 01-05 August 2005) [Contributo in Atti di convegno]

  • J.C.M. Baeten; M. Bravetti, A Generic Process Algebra, in: Proceedings of the Workshop "Essays on Algebraic Process Calculi" (APC 25), Amsterdam, Elsevier, 2006, 162, pp. 65 - 71 (atti di: Essays on Algebraic Process Calculi (APC 25), Bertinoro, Italy, August 01-05, 2005) [Contributo in Atti di convegno]

  • M. Roffilli; V. Maniezzo; M. A. Boschetti, GRID-based services for optimized freight distribution, in: proc. IEEE International Conference on Services Systems and Services Management" (ICSSSM06), PISCATAWAY, ieee, 2006, pp. 558 - 563 (atti di: IEEE International Conference on Services Systems and Services Management" (ICSSSM06), Troyes - F, 25-27 October 2006) [Contributo in Atti di convegno]

  • M. Bravetti; A. Casalboni; M. Nunez; I. Rodriguez, From Theoretical e-barter Models to an Implementation Based on Web Services, in: null, 2006, 159, pp. 241 - 264 (atti di: IPM International Workshop on Foundations of Software Engineering (Theory and Practice) (FSEN'05), Tehran (Iran), October 2005) [Contributo in Atti di convegno]

  • A. Corradi; R. Montanari; A. Toninelli, Dynamic Configuration of Semantic-based Service Provisioning to Portable Devices, in: Proceedings of International Symposium on Applications and the Internet (SAINT 2006), s.l, IEEE Computer Society, 2006, pp. 62 - 71 (atti di: SAINT 2006 International Symposium onApplications and the Internet, Phoenix, 23-27 Jan. 2006) [Contributo in Atti di convegno]

  • A. Toninelli; R. Montanari; L. Kagal; O. Lassila, A Semantic Context-Aware Access Control Framework for Secure Collaborations in Pervasive Computing Environments, in: A Semantic Context-Aware Access Control Framework for Secure Collaborations in Pervasive Computing Environments, s.l, Springer-Verlag, 2006, pp. 473 - 486 (atti di: 5th International Semantic Web Conference, ISWC 2006, Athens, GA, USA, 5-9 November 2006) [Contributo in Atti di convegno]

  • Bononi L.; Bracuto M.; D'Angelo G.; Donatiello L., An Adaptive Load Balancing Middleware for Distributed Simulation, in: Frontiers of High Performance Computing and Networking, NEW YORK, Springer Berlin / Heidelberg, «LECTURE NOTES IN COMPUTER SCIENCE», 2006, 4331/2006, pp. 873 - 883 (atti di: International Workshop on Middleware Performance (WOMP 2006), Sorrento (Italy), December 4-7, 2006) [Contributo in Atti di convegno]

  • G. Cusimano; D. Gardini; S. Mirri; L.A. Muratori; P. Salomoni, AMA: un assistente alla gestione dell'accessibilità, in: Atti del Convegno Annuale AICA 2006 - TECNOLOGIE DIGITALI E COMPETITIVITÀ - Quale Ricerca, quali Professioni", FIRENZE, Alinea editrice, 2006, 1, pp. 281 - 290 (atti di: Convegno Annuale AICA 2006, Cesena (FC) - Italy, 21-22 settembre 2006) [Contributo in Atti di convegno]

  • A. Di Iorio; M. Fabbri; V. Presutti; F. Vitali, Automatic Deployment of Semantic Wikis: a Prototype, in: null, 2006, 206(atti di: SemWiki2006. First Workshop on Semantic Wikis - From Wiki to Semantics., Budva (Montenegro), June 12, 2006) [Contributo in Atti di convegno]

  • A. Di Iorio; V. Presutti; F. Vitali, Wikifactory: an ontology-based application to deploy domain-oriented wikis, in: The Semantic Web: Research and Applications: 3rd European Semantic Web Conference, ESWC - Lecture Notes in Computer Science, BERLIN, Springer Verlag, 2006, 4011, pp. 664 - 678 (atti di: ESWC 2006. 3rd European Semantic Web Conference, Budva (Montenegro), June 11-14, 2006) [Contributo in Atti di convegno]

  • A. Di Iorio; F. Vitali; G. Zonta, Dynamic Conversion between XML-based languages for vector graphics, in: Proceedings of IS&T/SPIE Symposium on Electronic Imaging, SAN JOSE, SPIE, 2006, 60610N(atti di: IS&T/SPIE Symposium on Electronic Imaging, San Jose, january 2006) [Contributo in Atti di convegno]

  • A. Di Iorio; L. Furini; F. Vitali, A total-fit page-breaking algorithm with user-defined adjustment strategies, in: Proceedings of IS&T/SPIE Symposium on Electronic Imaging, SAN JOSE, SPIE, 2006, 60760K(atti di: IS&T/SPIE Symposium on Electronic Imaging, San Jose, January 2006) [Contributo in Atti di convegno]

  • N. gessa; M. Busanelli; P. De Sabbata; F. Vitali, Extracting a semantic view from an ebusiness vocabulary, in: Proceedings of, NEW YORK, IEEE, 2006(atti di: IEEE Conference on Electronic Commerce, San Francisco, June 2006) [Contributo in Atti di convegno]

  • F. Vitali; F. Zeni, Working Towards Interoperability in African Parliamentary Information Systems, in: Proceedings of, DUBLIN, IIMC International Information Management Corporat, 2006(atti di: IST-AFRICA 2006 CONFERENCE, Pretoria (South Africa), May, 2006) [Contributo in Atti di convegno]

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

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