Pubblicazioni

Barabucci G.; Cervone L.; Di Iorio A.; Palmirani M.; Peroni S.; Vitali F., Managing semantics in XML vocabularies: an experience in the legal and legislative domain, in: Balisage Series on Markup Technologies Vol 5. Proceedings of Balisage: The Markup Conference 2010, MONTREAL, Balisage, 2010, 5(atti di: Balisage: The Markup Conference 2010, Montreal, 3-6 Agosto 2010) [Contributo in Atti di convegno]

Di Iorio A.; Musetti A.; Peroni S.; Vitali F, Crowdsourcing semantic content: A model and two applications, in: Proceedings of the 3rd Conference on Human System Interactions HSI 2010, NEW YORK, IEEE Computer Society, 2010, pp. 563 - 570 (atti di: Human System Interactions HSI 2010, Rzeszow (PL), 13-15 May 2010) [Contributo in Atti di convegno]

S. Lodi; R. Ñanculef; C.Sartori, Learning Multi-Class Support Vector Models from Distributed Data using Core-Sets (Extended Abstract), in: Proceedings of SEBD 2010 - 18th Italian Symposium on Advanced Database Systems, BOLOGNA, Società Editrice Esculapio, 2010, pp. 150 - 157 (atti di: SEBD 2010 - 18th Italian Symposium on Advanced Database Systems, Rimini, Italy, June 20-23, 2010) [Riassunto (Abstract)]

Di Iorio A.; Feliziani A.A.; Furini L.; Vitali F., A cross-format architecture for professional publishing, in: Proceedings of the IADIS International Conference on Applied Computing, NEW YORK, IADIS Press, 2010, pp. 97 - 104 (atti di: IADIS International Conference on Applied Computing, Timosoara (Ro), 14-16 October 2010) [Contributo in Atti di convegno]

C. Sacerdoti Coen; S. Valentini, General Recursion and Formal Topology, in: Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers, s.l, Electronic Proceedings in Theoretical Computer Sci, 2010, 43, pp. 65 - 75 (atti di: Workshop on Partiality and Recursion in Interactive Theorem Provers (PAR 2010), Edinburgh, 15th July 2010) [Contributo in Atti di convegno]

I. LANESE; C. VAZ; C. FERREIRA, On the Expressive Power of Primitives for Compensation Handling, in: Proceedings of the 19th European Symposium on Programming, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2010, 6012, pp. 366 - 386 (atti di: 19th European Symposium on Programming, Paphos, Cyprus, 22-26 Marzo 2010) [Contributo in Atti di convegno]

Lanese I., Static vs Dynamic SAGAs, in: Third Interaction and Concurrency Experience (ICE 2010), 2010, 38, pp. 51 - 65 (atti di: 3rd Interaction and Concurrency Experience, Amsterdam, Netherlands, 10/6/2010) [Contributo in Atti di convegno]

I. LANESE; A. BUCCHIARONE A; F. MONTESI, A Framework for Rule-Based Dynamic Adaptation, in: Proceedings of the 5th International Symposium on Trustworthly Global Computing, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2010, 6084, pp. 284 - 300 (atti di: 5th International Symposium on Trustworthly Global Computing, Munich, Germany, 24-26/2/2010) [Contributo in Atti di convegno]

I. LANESE; C. A. MEZZINA; J. STEFANI, Reversing Higher-Order Pi, in: Proceedings of the 21th International Conference on Concurrency Theory - CONCUR 2010, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2010, 6269, pp. 478 - 493 (atti di: 21th International Conference on Concurrency Theory - CONCUR 2010, Parigi, Francia, 31/8/2010 - 3/9/2010) [Contributo in Atti di convegno]

I. LANESE; F. MONTESI, Error Handling: From Theory to Practice, in: Proceedings of the 4th International Symposium on Leveraging Applications, ISoLA 2010, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2010, 6416, pp. 66 - 81 (atti di: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, 18-21/10/2010) [Contributo in Atti di convegno]

P. Ciancarini; G. Favini, Algorithmic explorations of a well known wargame, in: The Spain-Italy-Netherlands Sixth Meeting on Game Theory (SING 6), PALERMO, sine nomine, 2010, pp. 33 - 34 (atti di: Spain-Italy-Netherlands Sixth Meeting on Game Theory, Palermo, Luglio) [Contributo in Atti di convegno]

Gangemi A.; Peroni S.; Vitali F., Literal Reification, in: Proceedings of the 2nd International Workshop on Ontology Patterns - WOP2010, 2010, pp. 65 - 66 (atti di: 2nd International Workshop on Ontology Patterns - WOP2010, Shanghai (China), November 8, 2010) [Riassunto (Abstract)]

G. Monti; G. Moro; M. Rosetti; G. Tufano;, Self-Organizing Mobile Mesh Networks with Peer-to-Peer Routing and Information Search Services, in: The Third International Conference on Advances in Mesh Networks MESH 2010, LOS ALAMITOS, CA 90720-1314, IEEE Computer Society, 2010, pp. 17 - 22 (atti di: The Third IEEE International Conference on Advances in Mesh Networks MESH 2010, Venice, Italy, 18-25 July 2010) [Contributo in Atti di convegno]

M. ter Beek; S. Gnesi; A. Fantechi; G. Zavattaro, Modeling Variability, Evolvability, and Adaptability in Service Computing (a vision for future research), in: Proceedings of the 1st International Workshop on Automated Configuration and Tailoring of Applications, AC0TA 2010, Aachen, CEUR Workshop Proceedings (CEUR-WS.org), «CEUR WORKSHOP PROCEEDINGS», 2010, 688, pp. 14 - 19 (atti di: 1st International Workshop on Automated Configuration and Tailoring of Applications, Antwerp, Belgium, September 20, 2010) [Contributo in Atti di convegno]

W. Kim; A. J. Kassler; M. Di Felice; M. Gerla, Urban-X: Towards Distributed Channel Assignment in Cognitive Multi-Radio Mesh Networks, in: Proceedings of the IEEE/IFIP Conference Wireless Days 2010, PISCATAWAY, NJ, IEEE, 2010, pp. 1 - 5 (atti di: Wireless Days 2010, Venice, Italy, October 20-22, 2010) [Contributo in Atti di convegno]

R. Doost; K. R. Chowdhury; M. Di Felice, Routing and Link Layer Protocol Design for Sensor Networks with Wireless Energy Transfer, in: Proceedings of the 2010 IEEE Global Telecommunications Conference (IEEE GLOBECOM 2010), PISCATAWAY, NJ, IEEE, 2010, pp. 1 - 5 (atti di: IEEE Global Telecommunications Conference (GLOBECOM 2010), Miami, FL, US, 6-10 December 2010) [Contributo in Atti di convegno]

W. Kim; A. J. Kassler; M. Di Felice; M. Gerla, Cognitive Multi-Radio Mesh Networks on ISM Bands: A Cross-Layer Architecture, in: Proceedings of the 29-th International Conference on Performance Computing and Communications Conference (IPCCC 2010), PISCATAWAY, NJ, IEEE, 2010, pp. 34 - 41 (atti di: 29th International Conference on Performance Computing and Communications Conference (IPCCC 2010), Albuquerque, NM, USA, 9-11 December 2010) [Contributo in Atti di convegno]

K. Chowdhury; C. Wu; M. Di Felice; W. Meleis, Spectrum Management of Cognitive Radio Using Multi-agent Reinforcement Learning, in: Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS): Industry track, RICHLAND, SC, International Foundation for Autonomous Agents, 2010, pp. 1705 - 1712 (atti di: 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), Toronto, Canada, May 10-14, 2010) [Contributo in Atti di convegno]

Andrea Nuzzolese; Aldo Gangemi; Paolo Ciancarini; Valentina Presutti, Semion: A Smart Triplification Tool, in: EKAW 2010 Posters and Demos, Aachen, M. Jeusfeld c/o Redaktion Sun SITE, Informatik V, RWTH Aachen, «CEUR WORKSHOP PROCEEDINGS», 2010, 674, pp. 166 - 167 (atti di: EKAW 2010 - Knowledge Engineering and Knowledge Management by the Masses, Lisbona, 11-15 Oct 2010) [Contributo in Atti di convegno]

P. Bellavista; C. Giannelli, Internet Connectivity Sharing in Multi-path Spontaneous Networks: Comparing and Integrating Network- and Application-Layer Approaches, in: Mobile Wireless Middleware, Operating Systems, and Applications : Third International Conference, Mobilware 2010, Chicago, IL, USA, June 30 - July 2, 2010. Revised Selected Papers, BERLIN, Springer, «LECTURE NOTES OF THE INSTITUTE FOR COMPUTER SCIENCES, SOCIAL INFORMATICS AND TELECOMMUNICATIONS ENGINEERING», 2010, 48, pp. 84 - 99 (atti di: 3rd International Conference on MOBILe Wireless MiddleWARE, Operating Systems, and Applications, Chicago, USA, 30 Giugno-2 Luglio, 2010) [Contributo in Atti di convegno]