Pubblicazioni

M. Bravetti; G. Zavattaro, A theory of contracts for strong service compliance, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2009, 19(3), pp. 601 - 638 [Articolo in rivista]

M. Bravetti; G. Zavattaro, On the expressive power of process interruption and compensation, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2009, 19, pp. 565 - 599 [Articolo in rivista]

S. Carpineti; C. Laneve; L. Padovani, PiDuce - A project for experimenting Web services technologies, «SCIENCE OF COMPUTER PROGRAMMING», 2009, 74/10, pp. 777 - 811 [Articolo in rivista]

A. Carbonaro, Un ambiente semantico per la gestione e il reperimento di video, «JE-LKS. JOURNAL OF E-LEARNING AND KNOWLEDGE SOCIETY», 2009, 5, pp. 87 - 97 [Articolo in rivista]

A. Carbonaro, Ontology-based video retrieval, «INTERNATIONAL JOURNAL OF DIGITAL CULTURE AND ELECTRONIC TOURISM», 2009, 1, pp. 302 - 311 [Articolo in rivista]

M. MILANO; A. GUERRI, Bid evaluation in combinatorial auctions: optimization and learning, «SOFTWARE-PRACTICE & EXPERIENCE», 2009, 39(13), pp. 1127 - 1155 [Articolo in rivista]

Franco Callegati; Marco Ramilli, Frightened by Links, «IEEE SECURITY & PRIVACY», 2009, 7, pp. 72 - 76 [Articolo in rivista]

G. D'Angelo; M. Bracuto, Distributed Simulation of Large-Scale and Detailed Models, «INTERNATIONAL JOURNAL OF SIMULATION & PROCESS MODELLING», 2009, 5, pp. 120 - 131 [Articolo in rivista]

L. Abeti; P. Ciancarini; R. Moretti, Business-oriented model-driven development of services in civil protection, «INTERNATIONAL JOURNAL OF EMERGENCY MANAGEMENT», 2009, 6(3/4), pp. 317 - 341 [Articolo in rivista]

Bononi L.; Di Felice M.; Pizzi S., DBA-MAC: Dynamic Backbone-assisted Medium Access Control Protocol for Efficient Broadcast in VANETs, «JOURNAL OF INTERCONNECTION NETWORKS», 2009, 10, pp. 321 - 344 [Articolo in rivista]

A. Toninelli; O. Lassila; D. Khushraj; R. Montanari, What's on Users' Minds? Toward a Usable Smart Phone Security Model, «IEEE PERVASIVE COMPUTING», 2009, 8, pp. 32 - 39 [Articolo in rivista]

C. Guidi; I. Lanese; F. Montesi; G. Zavattaro, Dynamic Error Handling in Service Oriented Applications, «FUNDAMENTA INFORMATICAE», 2009, 95(1), pp. 73 - 102 [Articolo in rivista]

S. Ferretti; V. Ghini, Discovering Points of Interests Through A Web 2.0, Location-based Architecture, «INTERNATIONAL JOURNAL ON ADVANCES IN INTERNET TECHNOLOGY», 2009, 2, pp. 238 - 252 [Articolo in rivista]

V. Ghini; G. Lodi; F. Panzieri, Always Best Packet Switching: the Mobile VoIP Case Study, «JOURNAL OF COMMUNICATIONS», 2009, 4, pp. 700 - 713 [Articolo in rivista]

L. Abeti; P. Ciancarini, Editorial of the Special Issue on Collaboration and Social Networking in Emergency, «INTERNATIONAL JOURNAL OF EMERGENCY MANAGEMENT», 2009, 6:(3/4), pp. 245 - 247 [Articolo in rivista]

K. Chowdhury; M. Di Felice, SEARCH: A Routing Protocol for Mobile Cognitive Radio Ad-hoc Networks, «COMPUTER COMMUNICATIONS», 2009, 32, pp. 1983 - 1997 [Articolo in rivista]

R. Barbuti; A. Maggiolo-Schettini; P. Milazzo; A. Troina, A Methodology for the Stochastic Modelling and Simulation of Sympatric Speciation by Sexual Selection, «JOURNAL OF BIOLOGICAL SYSTEMS», 2009, 17, pp. 349 - 376 [Articolo in rivista]

Zahariadis, Theodore; Pau, Giovanni; Celetto, Luca; Daras, Petros, Seamless content delivery in the future mobile internet - Guest editorial, «IEEE WIRELESS COMMUNICATIONS», 2009, 16, pp. 10 - 12 [Recensione in rivista]

Capone, A; Elias, J; Martignon, F, Routing and resource optimization in service overlay networks, «COMPUTER NETWORKS», 2009, 53, pp. 180 - 190 [Articolo in rivista]

Giuseppe, Castagna; Nils, Gesbert; Padovani, Luca, A Theory of Contracts for Web Services, «ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS», 2009, 31(5), pp. 92 - 153 [Articolo in rivista]