Pubblicazioni

A. Boukerche; A. Corradi; M. Fanelli; L. Foschini, Self-Adaptive and Time-Constrained Data Distribution Paths for Emergency Response Scenarios, in: Proceedings of the 2010 ACM international workshop on Mobility management and wireless access, NEW YORK, NY, ACM Press, 2010, pp. 29 - 36 (atti di: ACM international workshop on Mobility management and wireless access, Bodrum, Turchia, 17-21 October 2010) [Contributo in Atti di convegno]

A. Boukerche; A. Corradi; M. Fanelli; L. Foschini, Counteracting wireless congestion in data distribution with adaptive batching techniques, in: Proceedings of the 2010 IEEE Global Communications Conference, PISCATAWAY, NJ, IEEE Computer Society Press, 2010, pp. 1 - 5 (atti di: IEEE Global Communications Conference, Miami, Florida, US, 6-10 Dicembre 2010) [Contributo in Atti di convegno]

Vitali G.; Magnanini E.; Denti E., Simulate plants: a client-server graphic approach, in: Proceedings of, MONTPELLIER, Pure Impressions, 2010, pp. 913 - 914 (atti di: Agro2010 - the XI ESA Congress, Montpellier, August 29 - September 3, 2010) [Contributo in Atti di convegno]

G.Vitali; E.Magnanini; N.Mennucci; E.Denti, Interacting with Virtual Plants: a Client-Server Approach, in: Proceedings of the 6th International Workshop on Functional-Structural Plant Models, DAVIS, University of California, Davis, 2010(atti di: 6th International Workshop on Functional-Structural Plant Models, Davis, CA, September 12-17, 2010) [Contributo in Atti di convegno]

Z. Kiziltan; J. Mauro, Service-Oriented Volunteer Computing for Massively Parallel Constraint Solving Using Portfolios, in: Proceedings of the 7th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, HEIDELBERG, Springer Verlag, 2010, LNCS 6140, pp. 246 - 251 (atti di: 7th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Bologna, Italy, June 2010) [Contributo in Atti di convegno]

Di Iorio A.; Peroni S.; Vitali F., Handling markup overlaps using OWL, in: Knowledge Engineering and Management by the Masses - 17th International Conference, EKAW 2010, BERLINO, Springer Verlag, 2010, 6317, pp. 391 - 400 (atti di: Knowledge Engineering and Management by the Masses - 17th International Conference, EKAW 2010, Lisbona (P), October 11-15, 2010) [Contributo in Atti di convegno]

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]