Dipartimento Di Informatica E Comunicazione http://sir.unimi.it:8090/sir/www.dico.unimi.it

Indirizzo: Via Comelico,39 Telefono: 02/50316200 Fax: 02/50316201 E-Mail: giudici@dico.unimi.it Direttore: Prof. ssa Elisa Bertino Macro-Settore: Scienze Matematiche e Informatiche Area di afferenza 1: Scienze Informatiche

1. Organico assegnato e altri collaboratori alla ricerca afferenti alla struttura

1.1 Personale docente

Professori di I fascia a tempo pieno Bertino Elisa tel. 0250316227 bertino@dico.unimi.it

Castano Silvana " 0250316319 castano@dico.unimi.it

D'Antona Ottavio " 0250316323 dantona@dico.unimi.it

Haus Goffredo " 0250316222 haus@dico.unimi.it

Martella Giancarlo " 0250316245 martella@dico.unimi.it

Mussio Piero " 0250316290 mussio@dico.unimi.it

Pighizzini Giovanni " 0250316303 pighizzini@dico.unimi.it

Professori di I fascia a tempo definito Bruschi Danilo tel. 0250316260 bruschi@dico.unimi.it

Rossi Gian Paolo " 0250316272 rossi@dico.unimi.it

Professori di II fascia a tempo pieno Alberti Maria Alberta tel. 0250316311 alberti@dico.unimi.it

Bellettini Carlo " 0250316269 bellettini@dico.unimi.it

Benassi Mario " 0250316235 benassi@dico.unimi.it

Bettini Claudio " 0250316281 bettini@dico.unimi.it

De Cindio Fiorella " 0250316288 fiorella.decindio@dico.unimi.it

Marini Daniele " 0250316358 marini@dico.unimi.it

Pagnoni Astasia Carla " 0250316301 pagnoni@dico.unimi.it

Prini Gianfranco " 0250316279 gfp@dico.unimi.it

Rosti Emilia " 0250316258 rose@dico.unimi.it

Ricercatori universitari, assistenti di ruolo e assimilati a tempo pieno, assegnisti Agostini Alessandra tel. 0250316307 agostini@dico.unimi.it

Bernareggi Cristian " bernareggi@dico.unimi.it

Besozzi Daniela " 0250316274 besozzi@dico.unimi.it

Biondo Loris " 0250316234 biondo.loris@dico.unimi.it

Capra Lorenzo " 0250316256 capra@dico.unimi.it

Cazzola Walter " cazzola@dico.unimi.it

Cirrincione Armando " 0250316234

Damiani Maria Luisa " 0250316313 maria.damiani@dico.unimi.it

Drogo Maurizio Antonello " 0250316257 maurizio.drogo@unimi.it

Fabris Davide " 0250316362

Franzoni Stefano " 0250316299 franzoni@dico.unimi.it

Gadia Davide " 0250316339 gadia@dico.unimi.it

Glave Vincenzo " 0250316362

Maggiorini Dario " 0250316306 dario@dico.unimi.it

Malcangi Mario Natalino " 0250316278 malcangi@dico.unimi.it

Marcante Andrea " 0250316330 marcante@dico.unimi.it

Marchetto Alessandro " marchetto@dico.unimi.it

Marzi Alessandro "

Mazzoleni Pietro " 0250316298 mazzoleni@dico.unimi.it

Mesiti Marco " mesiti@disi.unige.it

Monga Mattia " 0250316313 monga@dico.unimi.it

Nai Fovino Igor "

Pagani Elena " 0250316271 pagani@dico.unimi.it

Parasiliti Provenza Loredana " 0250316290 parasiliti@dico.unimi.it

Perego Andrea " 0250316346 perego@dico.unimi.it

Perlasca Paolo " 0250316322 perlasca@dico.unimi.it

Racca Gianpaolo " 0250316354 racca@dico.unimi.it

Ronchetti Marco " 0250316339 ronchetti@dico.unimi.it

Selmo Davide Matteo " davide.selmo@dico.unimi.it

Tebaldi Stefano " 0250316413

Trentini Andrea " 0250316313 trentini@dico.unimi.it

Valtolina Stefano " 0250316299 valtolina@dico.unimi.it

Visconti Andrea " 0250316351 visconti@dico.unimi.it

1.2 Personale tecnico - amministrativo

Personale amministrativo-contabile e tecnici di categoria D - EP Chierchini Cristina tel. 0250316207 chierchi@dico.unimi.it

Ferrazzi Davide " 0250316291 ferrazzi@dico.unimi.it

Poletti Giusi " 0250316362 poletti@dico.unimi.it

Tanzi Dante " 0250316408 tanzi@dico.unimi.it

Personale amministrativo-contabile e tecnici di categoria B - C Carrozza Anna tel. 0250316213 carrozza@dico.unimi.it

Cieri Elena " 0250316211 cieri@dico.unimi.it

Froio Emanuela Fiorenza " 0250316224 froio@dico.unimi.it

Lanzi Andrea " 0250316362 lanzi@dico.unimi.it

Liberali Giuseppe " 0250316206 liberali@dico.unimi.it

Mara Alberto " 0250316326 mara@dico.unimi.it

Martignoni Lorenzo " 0250316362 martignoni@dico.unimi.it

Masiero Stefano Aristide " 0250316362 masiero@dico.unimi.it

Mileo Alessandra " 0250316250 mileo@dico.unimi.it

Pepe Marialuisa " 0250316250 pepe@dico.unimi.it

Rossi Daniela " 0250316214 drossi@dico.unimi.it

Altri borsisti con laurea e specializzandi attivi, nell'anno, presso la struttura Riboni Daniele tel. 0250316219 riboni@dico.unimi.it

Organico

Personale docente No. Professori I fascia a tempo pieno 7No. Professori I fascia a tempo definito 2No. Professori II fascia a tempo pieno 9No. Professori II fascia a tempo definito 0No. Ricercatori universitari, assistenti di ruolo e assimilati a tempo pieno, assegnisti 33No. Ricercatori universitari, assistenti di ruolo e assimilati a tempo definito 0

Personale tecnico-amministrativo No. Personale amministrativo-contabile e tecnici di categoria D - EP 4No. Altri collaboratori di ricerca con contratti di collaborazione coordinata e continuativa 0No. Personale amministrativo-contabile e tecnici di categoria B - C 11

Dottorandi, specializzandi e borsisti No. Dottorandi attivi, nell'anno, presso la struttura 0No. Borsisti di Training and Mobility of Research della C.E. e No. borsisti post-dottorato attivi, nell'anno, presso la struttura 0No. Altri borsisti con laurea e specializzandi attivi, nell'anno, presso la struttura 1

2. Dati economico finanziari

(Gli importi sono espressi in Euro)

2.1 Finanziamenti per la ricerca Finanziamento complessivo per progetti di Ricerca da fondi di Ateneo 81.852,00 Finanziamento complessivo da fondi MURST 0,00 Finanziamento complessivo da contributi CNR 0,00 Finanziamento complessivo da altri organismi pubblici nazionali e da contratti CNR 0,00 Finanziamento complessivo da altri organismi privati e imprese nazionali 0,00 Finanziamento complessivo da Commissione Europea 0,00 Finanziamento complessivo da altri organismi pubblici internazionali 0,00 Finanziamento complessivo da altri organismi privati e imprese internazionali 151.183,00 Totale 233.035,00 2.2 Dati relativi alle spese per la ricerca Somme pagate Somme impegnateSpese annuali complessive della struttura 798.747,00 870.256,00Spese annuali della struttura esclusivamente per ricerca 503.697,00 517.798,00

2.3 Attrezzature scientifiche e materiale bibliotecario Spesa totale annuale per attrezzature scientifiche 0,00 Spesa totale annuale per materiale bibliotecario 0,00 2.4 Finanziamenti per ricerca gestiti sul bilancio di altri enti e resi disponibili per la strutturaFinanziamenti complessivi messi a disposizione da enti pubblici nazionali 0,00 Altri finanziamenti 0,00

3. Progetti di ricerca in corso presso la struttura, finanziati da enti esterni

No. contratto 1 Durata (mesi) 36 Tipologia del contraente Enti pubblici Contraente CINI + Univ. del Piemonte Orientale + Univ. di Modena + Univ. di Salerno + Univ. di Milano Titolo del progetto Middleware per servizi evoluti su sistemi Finanziamento complessivo (Euro) 705.000,00

Responsabile del progetto BETTINI CLAUDIO No. contratto 2 Durata (mesi) 11 Tipologia del contraente Enti pubblici Contraente MURST Titolo del progetto Domino - Sistema Informativo di Direzione e Controllo per Aziende Sanitarie Multipresidio Finanziamento complessivo (Euro) 40.242,00

Responsabile del progetto PAGNONI ASTASIA CARLA No. contratto 3 Durata (mesi) 24 Tipologia del contraente Enti privati Contraente Microsoft Research Ltd. Titolo del progetto Seamless Nomadic System-Aware (SNA) Servants Finanziamento complessivo (Euro) 3.000,00

Responsabile del progetto MAGGIORINI DARIO No. contratto 4 Durata (mesi) 36 Tipologia del contraente Organismi internazionali Contraente EU

Titolo del progetto INTEROP Network of Eccellence Interoperability Research for Networked Enterprises Applications and Software (FP6 - contract n° 508011)

Finanziamento complessivo (Euro) 40.500,00

Responsabile del progetto CASTANO SILVANA No. contratto 5 Durata (mesi) 12 Tipologia del contraente Enti privati Contraente Fondazione Teatro alla Scala Titolo del progetto Salvataggio e informatizzazione dell’Archivio Fonico del Teatro alla Scala Finanziamento complessivo (Euro) 30.000,00

Responsabile del progetto HAUS GOFFREDO No. contratto 6 Durata (mesi) 12 Tipologia del contraente Enti privati Contraente TDK Titolo del progetto Rinnovamento dell’area audio del Museo della Scienza e della Tecnologia di Milano Finanziamento complessivo (Euro) 20.000,00

Responsabile del progetto HAUS GOFFREDO

4. Elenco delle iniziative scientifiche organizzate e gestite nell'ambito della struttura (congressi, convegni, cicli di conferenze e/o seminari, workshop, mostre ed altre

iniziative)

SEMINARI

Data Luogo Titolo Relatore Persone di riferimento

13/2/2003 DICO

"e-Democracy, come avvicinare cittadini e Istituzioni:visioni e tecnologie"

Fiorella De Cindio,Stefano Micelli,Julian Bowrey,Corrado Viganò,Massimo Maffioli,Leonardo Sonnante,Emilia RostiDavide Ferrazzi,,, A.I.Re.C., IrisCube, Rete Civica di Milano, Technology Reply, con il supporto dell’Universita' degli Studi di Milano, del Comune di Milano, della Provincia di Milano e della Regione Lombardia

24/2/2003 DICO Introduzione ai Sistemi Operativi Dott. Michele Marzulli, Preciso.net Andrea Perego

11/3/2003 DICO introduzione ai Sistemi Operativi Dott. Vincenzo Zini, Preciso.net Andrea Perego

12/3/2003 DICO Strumenti di videoscrittura Dott. Michele Marzulli, Preciso.net Andrea Perego

19/3/2003 DICO Tutorial Ipv6 dott.ssa Gabriella Paolini, Progetto Europeo 6net Emilia Rosti

24/3/2003 DICO Strutturazione di siti Web - Elementi di HTML

Dott. Michele Marzulli, Preciso.net Andrea Perego,

25/3/2003 DICO Strutturazione di siti Web Dott. Vincenzo Zini, Preciso.net Andrea Perego

8/4/2003 DICO Elementi di HTML Dott. Vincenzo Zini, Preciso.net Andrea Perego

9/4/2003 DICO I fogli di stile Dott. Michele Marzulli, Preciso.net Andrea Perego

9/4/2003 DICO Sistemi Informativi Territoriali in Medicina

Dott. Matteo Cristani, Universita' di Verona

Elisa Bertino, Pietro Mazzoleni

6/5/2003 DICO Basi di dati: il modello ER Dott. Michele Marzulli, Preciso.net Andrea Perego

13/5/2003 DICO Experiences of IT in Biomedical Area

Prof. Massimo Ancona, DISI - Dipartimento di Informatica e Scienze dell'Informazione - Università di Genova

Walter Cazzola, Dario Maggiorini, Paolo Perlasca

16/5/2003 DICO

Control Flow Analysis of Mobile Ambients with Security Boundaries

Chiara Braghin, Universita' degli Studi di Venezia - Dipartimento di Informatica

Elisa Bertino

SEMINARI

Data Luogo Titolo Relatore Persone di riferimento

16/5/2003 DICO Secure context for confidential data

Damiano Macedonio, Universita' degli Studi di Venezia Dipartimento di Informatica PAS, Warsaw, Poland

Elisa Bertino

19/5/2003 DICO Basi di dati: il modello ER Dott. Vincenzo Zini, Preciso.net Andrea Perego

20/5/2003 DICO Introduzione ad Access Dott. Michele Marzulli, Preciso.net Andrea Perego

22/5/2003 DICO

"Distributed knowledge management: visione e implementazione"

Dott. Paolo Bouquet, Università di Trento e Itc Mario Benassi

26/5/2003 DICO Continuous Queries and a Streaming Time Series Case

Professor X. Sean Wang, George Mason University, Virginia, USA Claudio Bettini

27/5/2003 DICO Rilevamento di dati spaziali tramite metodologia GPS

Prof. Bruno Crippa, Dipartimento di Scienze della Terra “Ardito Desio” Universita’ di Milano

Maria Luisa Damiani

27/5/2003 DICO

Translation of Binary Regular Expressions into Nondeterministic epsilon-Free Automata with O(n log n) Transitions

Prof. Viliam Geffert, Dept. Computer Science - P.J. Safarik University - Kosice, Slovakia

Giovanni Pighizzini

30/5/2003 DICO

An In-Place Sorting with O(n log n) Comparisons and O(n) Moves

Prof. Viliam Geffert, Dept. Computer Science - P.J. Safarik University - Kosice, Slovakia

Giovanni Pighizzini

30/5/2003 DICO Gestione del territorio e rischio sismico

Dott. Gaetano Zonno, Istituto Nazionale di Geofisica e Vulcanologia Sezione di Milano "Pericolosità e Rischio Sismico"

Maria Luisa Damiani

5/6/2003 DICO Community Marketing in Ducati Prof.ssa Patrizia Cianetti, Ducati.com Fiorella De Cindio

11/6/2003 DICO CodeBricks: Code Fragments as Building Blocks

Prof. Giuseppe Attardi, Università di Pisa Dario Maggiorini

12/6/2003 DICO Community Marketing in Ducati

Patrizia Cianetti, General Manager di Ducati Fiorella De Cindio

17/6/2003 DICO

"Gestione di spettri di radianza, luminanza, illuminamento e materiali per la analisi e sintesi delle immagini"

Dr. Maurizio Rossi, Politecnico di Milano - Dip. Indaco - Lab.ri Luce & Colore

Daniele Marini

22/9/2003 DICO "Developing a real-time embedded system"

Massimiliano De Otto, Wind River Mario Malcangi

SEMINARI

Data Luogo Titolo Relatore Persone di riferimento

25/9/2003 DICO

Dynamic Swarm Discovery for Scalable Routing and Multicast in Ad Hoc Wireless Networks

Prof. Mario Gerla, Computer Science Department, University of California at Los Angeles

Walter Cazzola, Dario Maggiorini, Paolo Perlasca

26/9/2003 DICO Emerald - a distributed OO language

Prof. Eric Jul, University of Copenhagen Elisa Bertino

3/11/2003 DICO INTRODUZIONE AGLI MV-INSIEMI (1° parte)

Dott. Vincenzo Marra, Dipartimento di Informatica e Comunicazione Ottavio Mario D'Antona

4/11/2003 DICO Roaming in reti wireless

Carlini Matteo, Gabas Massimo, Dipartimento di Informatica e Gianfranco Prini

26/11/2003 DICO

"Geometria dello spazio dei colori percepiti: analisi dell'articolo di H.L. Resnikoff 'Differential geometry and color perception'”

Dott. Edoardo Provenzi, Università di Genova Daniele Marini

18/12/2003 DICO ``Solving large Markov chains: theory and applications''

Prof. Evgenia Smirni, College of William and Mary, Virginia Emilia Rosti

19/12/2003 DICO INTRODUZIONE AGLI MV-INSIEMI (2° parte)

Dott. Vincenzo Marra, Dipartimento di Informatica e Comunicazione Ottavio Mario D'Antona

WORKSHOP

Titolo Relatore Data e Luogo Docente Responsabile

“COMMUNITIES OF PRACTICE TECHNOLOGICAL AND ORGANIZATIONAL ISSUES IN LARGE AND SMALL FIRMS”

11/09/2003 DICO Mario Benassi e Fiorella De Cindio

Assegnazione “Premio Business Play 2003” 07/10/2003 DICO Mario Benassi

INIZIATIVE

Titolo Relatore Data E Luogo Docente Responsabile

Corsi FSE su Sistemi Operativi ed Internet Computing 01/10/2003 DICO Claudio Bettini

1^ Edizione del Corso “CISCO” per l’ottenimento certificazione CISCO CCNA

Giulio Casella

da ottobre 2003 a giugno 2004 DICO

Dario Maggiorini

Congressi, convegni, conferenze, workshops organizzati da membri della struttura Gian Paolo Rossi e Elena Pagani

Second International Workshop on QoS in Multiservice IP Networks (QoS-IP 2003) Palazzo Greppi, Milano, 24-26 Febbraio 2003

Walter Cazzola

11th Euromicro Conference on Parallel, Distributed and Network-Based Programming (PDP 2003). Euromicro. Genova - Febbraio 2003.

Mario Benassi

Workshop “Business Play”, 7 ottobre 2003 DICO Via Comelico Mario Benassi e Fiorella De Cindio

Workshop “COMMUNITIES OF PRACTICE TECHNOLOGICAL AND ORGANIZATIONAL ISSUES IN LARGE AND SMALL FIRMS” 11 settembre 2003 DICO Via Comelico, INTERNATIONAL WORKSHOP

Alessandra Agostini

Workshop su Ubiquitous and mobile computing for educational communities: enriching and enlarging community spaces, all’interno della conferenza internazionale su Communities and Technologies. Amsterdam, Olanda, 19 Settembre 2003

Silvana Castano WORKSHOP D2I su Integrazione, Warehousing e Mining di Sorgenti Eterogenee di dati , Milano, 11 Marzo

2003 - Centro Congressi Le Stelline WORKSHOP SPADAGIS su Dati Spaziali e Sistemi Informativi Territoriali, Milano, 10 Marzo 2003 - Centro

Congressi Le Stelline Mario Malcangi

4° Workshop "DSP Application Day" Milano, settembre 2003.

INFORMAZIONI ANALITICHE

Afferenze a consorzi o reti di ricerca nazionali

Gian Paolo Rossi, Elena Pagani: Denominazione: WEB MINDS -- Wide-scalE, Broadband, MIddleware for Network Distributed Services.Al

progetto partecipano 4 unita' di ricerca CINI e 4 universita'.Partecipanti: Prof. Gian Paolo Rossi, Dr. Elena Pagani.Attivita': Le attivita' dei suddetti partecipanti riguardano la definizione di un'architettura, di politiche e

di schemi di interazione basati su paradigma peer-to-peer per la condivisione di informazioni con qualita' di servizio, l'implementazione e valutazione delle prestazioni delle suddette politiche.

Afferenze a consorzi o reti di ricerca internazionali Claudio Bettini:

Afferenza a CologNet, rete di eccellenza europea in Computational Logic. responsabile del nodo UniMi: Prof. Bettini.

Partecipazioni a valutazioni di progetti di ricerca internazionali Silvana Castano

The Israel Science Foundation - revisione di una proposta di progetto di ricerca nell'area dei Web Service semantici.

Membri di comitati editoriali di riviste e/o collane scientifiche internazionali Elisa Bertino

Member of the Advisory Board of the IEEE Transactions on Knowledge and Data Engineering since December 1998

Co-editor in Chief: VLDB Journal, Springer Editor delle seguenti riviste scientifiche internazionali:

Data & Knowledge Engineering journal (Elsevier Science Publishers) Parallel and Distributed Database Journal (Kluwer Publ.) International Journal of Cooperative Information Systems (World Scientific) ACM Transactions on Information and Systems Security (ACM Press) Science of Computer Programming (North-Holland) IEEE Intenet Computing (IEEE Computer Society Press) IEEE Security & Privacy (IEEE Computer Society Press) Claudio Bettini

Membro dell'Editorial Board dell'ACM SIGMOD Digital Review. Pubblicazioni recensite da membri della struttura Elena Pagani

• Proc. Eighth Italian Conference on Theoretical Computer Science (ICTCS 2003) ; editor EATCS ; Bologna (Italy) • Proc. Fifth International Conference on Mobile and Wireless Communications Networks (MWCN 2003) • Computer Networks Journal; editor Elsevier; Belgium • Proc. Second International Workshop on QoS in Multiservice IP Networks (QoS-IP 2003); editor Springer; Berlin (Germany) • Proc. 15th Conference On Advanced Information Systems Engineering; editor Springer ; Berlin (Germany) • Proc. Workshop on High Performance Switching and Routing (HPSR 2003); editor IEEE Communication Society • Proc. International Workshop on Wireless Mobile and Ad Hoc Networks (WMAN 2003) • Proc. IEEE Vehicular Technology Spring Conference 2003 ; editor IEEE

Communication Society • Proc. International Symposium on Performance Evaluation of Computer and Telecommunication Systems (SPECTS 2003)

Gian Paolo Rossi

• Proc. Second International Workshop on QoS in Multiservice IP Networks (QoS-IP 2003); editor Springer; Berlin (Germany) • Proc. International Symposium on Performance Evaluation of Computer and Telecommunication Systems (SPECTS 2003)

Walter Cazzola

A Mechanism for Instrumentation Based on Reflection Qingshan Li, Ping Chen. A Strategy for Deciding Locations of Instrumentation

Qingshan Li, Ping Chen and Haiyang Gao. CRBAC: Information Flow Control within C Application Based on RBAC.

Shih-Chien Chou Tutti e tre gli articoli erano destinati al journal on INFORMATION & SOFTWARE TECHNOLOGY edito da Elsevier.

Building Clusters on Modern Desktop Operating Systems.

Using Recovery Languages to Provide Fault Tolerance in Distributed Shared Memory Systems.

Process Checkpointing and Rollback Recovery on the IA-64 Architecture.

Understanding Perfect Failure Detectors.

A Flexible Library for Dependable Master-Worker Parallel Programs. Tutti e 5 gli articoli referati erano sottomessi a: "11th Euromicro Conference on Parallel, Distributed and Network-Based Programming (PDP 2003)." Proceedings editi da Euromicro.

Anastasia Pagnoni Pagnoni Anastasia, Visconti Andrea, Detection and Analysis of Unexpected State Components in

Biological Systems, in: Computational Models In: Computational Methods in Computer Biology, Corrado Priami (ed.), Springer, LNCS 2602, ISBN 3-540-00605-2.

A.Pagnoni, A.Visconti, Simulation of Error-Prone in Biological Systems. In: Information and Communication Technologies, Markus Aleksy et al. (eds.), The ACM International Proceedings Series, ISBN 0-9544145-3-5

A.Pagnoni, A.Visconti (2004), Intrusion Detection via Evolutionary Immune Networks. Submitted for publication to JBCB (Journal of Bioinformatics and Computational Biology)

A.Pagnoni, S.A.Parisi, A.Visconti, Intrusion Detection via Artificial Immune Networks. In: Proceedings of the VII Ibero-American Seminar of Security in the Technologies of the Information, X International Computer Science Convention INFORMATICA, La Habana, Cuba

Mario Benassi

“Use of Intra- and Interorganizational Networks by Non-Governmental Organizations: Connection Locus and Goal Scope” ACADEMY OF MANAGEMENT REVIEW

Alessandra Agostini

Agostini Alessandra, Divitini Monitica (Ed.) Workshop su Ubiquitous and mobile computing for educational communities: enriching and enlarging community spaces, all’interno della conferenza internazionale su

Communities and Technologies. Amsterdam, Olanda, 19 Settembre 2003 (IDI-NTNU Technical Report 8/03, ISSN: 1503-416X)

Silvana Castano

Silvana Castano Information Systems – Elsevier VLDB Journal - Springer-Verlag International Journal of Information Technology (IJIT) IEEE Transactions on Knowledge and Data Engineering - IEEE Computer Society

Dario Maggiorini

Conferenza internazionale VTC 2003, Vehicular Technology Conference, Orlando (FL, USA), 4-9 ottobre 2003

Conferenza internazionale HPSR 2003, Workshop on High Performance Switching and Routing, Torino, 24-28 giugno 2003

Conferenza internazionale ICC 2003, IEEE International Conference on Communications, Anchorage (AK, USA), 11-15 maggio 2003.

Conferenza internazionale QOSIP 2003, International Workshop on QoS in Multiservice IP Networks, Milano (IT), 25-26 febbraio 2002.

Posizioni di responsabilità: coordinatori programmi ricerca nazionali Giovanni Pighizzini

Coordinatore progetto FIRB del MIUR "Complessità descrizionale di automi e strutture correlate”.Finanziato dal MIUR, 58.000 EUR, Responsabile: G. Pighizzini Durata: 3 anni (inizio novembre 2002) Le ricerche coinvolte in questo progetto riguardano la teoria dei linguaggi formali e automi, dal punto di vista della complessità descrizionale, e le relazioni con la complessita' strutturale, in particolare con le classi di complessita' in spazio. Oltre ai modelli classici (nelle loro varianti one-way/two/way,deterministico/nondeterministico/alternante), vengono considerati anche modelli probabilistici e quantistici.

Posizioni di responsabilità: coordinatori programmi ricerca internazionali Goffredo Haus

Goffredo Haus, official reporter IEEE Standards Association Working Group on Music Application of XML (PAR 1599), Washington, USA. Gruppo di lavoro internazionale per la descrizione multistrato in XML di informazione musicale orientata all’interazione per visualizzare partiture, interpretare codici MIDI e gestire flussi audio digitali

Goffredo Haus, vice-chair IEEE Computer Society Technical Committee on Computer Generated Music,

Washington, USA Comitato tecnico internazionale per la rappresentazione ed elaborazione di informazione musicale mediante computer

Didattica Walter Cazzola N.o corsi di aggioramento n.ro di insegnamenti Tot. 2

Laboratorio di Informatica Generale per il corso di Laurea in Comunicazione Digitale per la Facoltà di Scienze Matematiche Fisiche e Naturali dell'Università di Milano.

Laboratorio di Informatica per il Corso di Laurea Interfacoltà in Biotecnologie dell'Università di Milano.

Claudio Bettini N.o insegnamenti per corsi di dottorato nel 2003: Tot. 1

"Rappresentazione della conoscenza e tecnologie Web"

Anastasia Pagnoni N. insegnamenti per corsi di scuole di perfezionamento Tot. 1 Silvana Castano N. insegnamenti per le seguenti tipologie di corsi: Tot. 2

Laboratorio Internet e Web per SILSIS Basi di dati per Master su Sicurezza ICT

Dario Maggiorini N.o insegnamenti per corsi di scuole di perfezionamento Tot. 2 Andrea Trentini N. insegnamenti per le seguenti tipologie di corsi: Tot. 3

Master Sicurezza, modulo Linux Master Micsu, modulo programmazione FSE Amministrazione Linux, 6 edizioni

Ottavio D’Antona N. insegnamenti per le seguenti tipologie di corsi: Tot. 1

Laboratorio di Analisi Combinatoria per SILSIS

5. Direzione di riviste, collane o rilevanti opere collettive a carattere scientifico che fanno capo a docenti della struttura;

partecipazioni a comitati scientifici responsabili di iniziative editoriali

Giovanni Pighizzini Partecipazione al comitato scientifico del Convegno Eigth Italian Conference on Theoretical Computer

Science,Bertinoro, Italia, Ottobre 2003 Gli atti sono pubblicati in: C. Blundo, C. Laneve, Theoretical Computer Science, Lecture Notes in Computer Science 2841, Springer.

6. Risultati dell'attività di ricerca

Riassunto Macro-Settore Ingegneria Industriale e dell'Informazione

Articoli in atti di congresso E 1 Macro-Settore Scienze Economiche e Statistiche

Altri libri scientifici o di alta divulgazione E 1

Pubblicazioni interne e rapporti di ricerca 1 Relazioni in atti di congressi E 2

Macro-Settore Scienze Matematiche e Informatiche

Articoli completi in atti di congresso con revisori E 50Articoli completi in atti di congresso con revisori I 4 Articoli su rivista di livello elevato E 13Articoli su rivista di livello elevato I 1 Articoli su rivista di livello medio E 6 Articoli su riviste scientifiche ISI 1 Capitoli di libro, monografie enciclopediche E 3 Libri per la didattica I 1 Libri scientifici E 2 Rapporti finali di ricerca pubblicati e disponibili al pubblico E 3

Macro-Settore Scienze della Terra

Riassunti di comunicazioni a congresso internazionale 1 Elenco Riviste - Benassi Mario, Arent Greve; Exploring the Impact of Human and Social Capital to Performance; 2003; UNIVERSITY OF BERGEN.

- Benassi Mario, Roberta Cuel, Paolo Bouquet; Success and failure criteria for Km systems; IRST Technical Report 0212-32, Istituto Trentino di Cultura; 2003; IRST TRENTO.

- Bertino Elisa, Elmagarmid Ahmed, Ahmed K. Elmagarmid, Mohand-Said Hacid; A Database Approach to Quality of Service Specification in Video Databases; ACM SIGMOD RECORD; 2003; ACM Press; vol. 32; pagg. 35-40.

- Bertino Elisa, Ferrari Elena, Elmagarmid Ahmed, Jianping Fan, Elena Ferrari, Mohand-Said Hacid, Ahmed K. Elmagarmid, Xingquan Zhu; A hierarchical access control model for video database systems; ACM Transactions on Information Systems; 2003; ACM Press; vol. 21; pagg. 155-191.

- Bertino Elisa, Catania Barbara, Ferrari Elena, Perlasca Paolo, Barbara Catania, Elena; A logical framework for reasoning about access control models; ACM Transactions on Information and System Security; 2003; ACM Press; vol. 6; pagg. 71-127.

- Bertino Elisa, Guerrini Giovanna, Merlo Isabella, Giovanna Guerrini, Isabella Merlo; A set-oriented method definition language for object databases and its semantics; Concurrency and Computation: Practice and Experience; 2003; vol. 15; pagg. 1275-1335.

- Bertino Elisa, Elmagarmid Ahmed, Athena Vakali, Evimaria Terzi, Ahmed K. Elmagarmid; Hierarchical data placement for navigational multimedia applications; Data & Knowledge Engineering; 2003; North-Holland; vol. 44; pagg. 49-80.

- Bertino Elisa, Perlasca Paolo, Catania Barbara, Catania Barbara; Introducing Dynamic Behavior in Amalgamated Knowledge Bases; Theory and Practice of Logic Programming; 2003; Oxford Press; vol. 3; pagg. 625-669.

- Bertino Elisa, Elmagarmid Ahmed, Ahmed K. Elmagarmid, Mohand-Said Hacid; Ordering and Path Constraints over Semistructured Data; Journal of Intelligent Information Systems; 2003; Kluwer; vol. 20; pagg. 181-206.

- Bertino Elisa, Maria Bagnato, Danilo Montesi; Refined rules termination analysis through transactions; Information Systems; 2003; vol. 28; pagg. 435-456.

- Bertino Elisa, Catania Barbara, Barbara Catania; Static Analysis of Logical Languages with Deferred Update Semantics; IEEE Transactions on Knowledge and Data Engineering; 2003; IEEE Computer Society Press; vol. 15; pagg. 386-404.

- Bertino Elisa, Ferrari Elena, Guerrini Giovanna, Merlo Isabella, Elena Ferrari, Giovanna Guerrini, Isabella Merlo; T-ODMG: an ODMG compliant temporal object model supporting multiple granularity management; Information Systems; 2003; vol. 28; pagg. 885-927.

- Besozzi Daniela, Giancarlo Mauri, Gheorghe Paun, Claudio Zandron; Gemmating P systems: collapsing hierarchies; Theoretical Computer Science; 2003; Elsevier Science; vol. 296; pagg. 253-267.

- Besozzi Daniela, Ferretti Claudio, Mauri Giancarlo, Zandron Claudio; P systems with deadlock; BioSystems; 2003; Elsevier Science; vol. 70; pagg. 95-105.

- Bettini Claudio, Simone Ruffini; Direct Granularity Conversions among Temporal Constraints; Journal of Universal Computer Science; 2003; Springer; vol. 9; pagg. 1123--1136.

- Bettini Claudio, Wang X. Sean, Jajodia Sushil, Jajodia, S.; Wang, X.S.; Wijesekera D.; Provisions and Obligations in Policy Rule Management; Journal of Network and Systems Management; 2003; Kluwer Academic Publishers; vol. 11; pagg. 351-372.

- Bettini Claudio, Angelo Montanari; Temporal representation and reasoning; Data and Knowledge Engineering; 2003; Elsevier; vol. 44; pagg. 139-141.

- Bottoni P., Mauri G.; From strings to pictures and back; Romanian Journal of Information Science and Technology; 2003; Editura Academiei Romane, Bucuresti, Romania; vol. 16; pagg. 87-104.

- Bruschi Danilo, Rosti Emilia, Curti A., A. Curti; A quantitative study of Public Key Infrastructures; Computers & Security; 2003; Elsevier; vol. 22; pagg. 56-67.

- De Cindio Fiorella, O.Gentile, P.Grew, D. Redolfi; Community Networks: Rules of Behavior and Social Structure; The Information Society; 2003; Taylor&Francis Inc.; vol. 19; pagg. 395-406.

- Longari Maurizio, Diana Loretta; Towards a General Architecture for Musical Archive Information Systems; Lecture Notes in Computer Science; 2003; Springer Verlag - Berlino; pagg. 22-33.

- Mereghetti Carlo, Pighizzini Giovanni, Geffert Viliam; Converting Two-Way Nondeterministic Unary Automata into Simpler Automata; Theoretical Computer Science; 2003; vol. 295; pagg. 189-203.

- Remote Method Invocation as a First-Class Citizen; Distributed Computing; 2003; Springer Verlag; vol. 16; pagg. 287-306.

Libri - Pighizzini Giovanni, Ferrari Mauro; Dai Fondamenti agli Oggetti. Corso di Programmazione JAVA; 2003; Addison Wesley, Milano.

Contributi in Volume (anche Curatele e Editor) - Ancona Massimo, D'Agostino Daniele; Smart Data Caching in Archeological Wireless Applications: the PAST Solution; Proceedings of the 11th Euromicro Conference on Parallel, Distributed and Network-Based Processing; 2003; IEEE Computer Society Press; 532-536.

- Ballarini Paolo Depierro Massimiliano Franceschinis Giuliana; Memory Fault Software Mechanism: Design and Configuration Support through SWN models; Proc. of Third International Conference on Application of Concurrency to System Design (ACSD'03); 2003; IEEE CS Press, Guimarães, Portugal; 111-121.

- Besozzi Daniela, Ferretti Claudio, Mauri Giancarlo, Zandron Claudio; Parallel rewriting P systems with deadlock; Proceedings of 8th International Workshop on DNA Based Computers; 2003; Springer; LNCS/302-314.

- Besozzi Daniela, Mauri Giancarlo, Zandron Claudio; Parallel rewriting P systems without target conflicts; Proceedings of Membrane Computing International Workshop WMC-CdeA2002; 2003; Springer; LNCS/119-133.

- Castano Silvana, Ferrara Alfio; Knowledge Representation and Transformation in Ontology-

based Data Integration; Knowledge Transformation for the Semantic Web; 2003; IOS Press; 107-121.

- Celentano A., Fogli D., Pittarello F.; Context-Aware Interaction in a Mobile Environment; Human-Computer Interaction with Mobile Devices and Services; 2003; Springer Verlag/Heidelberg; LNCS/ 494.

- Costabile M. F., Fogli D., Fresta G., Piccinno A.; Computer Environments for Improving End-User Accessibility; Universal Access: Theoretical Perspectives, Practice, and Experience; 2003; Springer Verlag / Heidelberg; LNCS / 534.

- Ferrari Elena; Protecting Datasources over the Web: Policies, Models, and Mechanisms; Web-Powered Databases 2003; 2003; Idea Group; 299-330.

- Mereghetti Carlo, Pighizzini Giovanni; The world of unary languages. A quick tour; Grammars and automata for string processing.; 2003; Martin-Vide, Mitrana; 275-284.

- Pagnoni Astasia Carla, Visconti Andrea; A.Pagnoni, A.Visconti, Detection and Analysis of Unexpected State Compo-nents in Biological Systems; Computational Methods in Computer Biology 2003; 2003; Springer-Verlag, Heidelberg, etc..

- Visconti Andrea, Visconti Andrea; Simulation of Error-Prone in Systems Biology; Proceedings of the Winter International Symposium on Information and Communication Technologies; 2003; ACM International Conference Proceadings Series.

- Efficient Modelling of Asymmetric Distributed Algorithms through SWN Nets: an Example; Proc. Of The 2003 Int. Conf. On Systemics, Cybernetics and Informatics (SCI 2003); 2003; Orlando, Florida, USA; 980-6560-01-9.

- Exploitation of Local Symmetries for Efficient Performance Analysis; Proc. Of The 2003 Int. Conf. On Parallel and Distributed Processing Techniques and Applications; 2003; CSREA Press, Las Vegas, Nevada, USA; 1-892512-44-0.

Relazioni ai Congressi/Abstract - A. Balk, M. Gerla, M. Sanadidi; Adaptive MPEG-4 Video Streaming with Bandwidth Estimation; International Workshop on QoS in multise; Proceedings of the Second International Workshop on Quality of Service in Multiservice IP Networks; 2003; Milano; Adaptive MPEG-4 Video Streaming with Bandwidth Estimationt; pagg. 525-538.

- Agostini Alessandra, Albolino S., Boselli R., De Michelis G., De Paoli F., Dondi R.; Stimulating Knowledge Discovery and Sharing; GROUP 2003; 2003; Sanibel Island, Florida, USA; ACM/New York, NY, USA; 248-257.

- Agostini Alessandra, Giorgio De Michelis, Marco Loregian; Undo in Workflow Management Systems; Business Process Management; 2003; Eindhoven, The Netherlands; Springer; LNCS 2678/321-335.

- Alberti Maria Alberta, Marini Daniele, Gadia Davide, Casella Giulio Francesco; Approaching a Low-Cost Solution for Distance University Courses; AACE E-Learn 03; 2003; Phoenix, AZ USA.

- Alberti Maria Alberta, Marini Daniele, Casella Giulio Francesco; La video-conferenza come paradigma di e-learning universitario; AICA 2003; 2003; Trento.

- Arcelli, Tisato; A Distributed Document Management approach for Workflow support in the DbSA architecture; SEKE; 2003; San Francisco, CA, USA; KSI Press.

- Benassi Mario, Cirrincione Armando; MULTIMEDIA TECHNOLOGIES AND MUSEUMS; IMP; 2003; LUGANO.

- Benassi Mario, De Cindio Fiorella, Ripamonti Laura Anna; NETWORK OF SMALL FIRMS AND THE WEB: LOOKING FOR A TRUSTWORTHY ARCHITECT; IBIMA; 2003; CAIRO.

- Bertino Elisa, Carminati Barbara, Ferrari Elena, Barbara Carminati, Elena Ferrari; A Flexible Authentication Method for UDDI Registries; ICWS; 2003; Las Vegas (Nevada); IEEE Computer Society Press; pagg. 218-226.

- Bertino Elisa, Damiani Maria Luisa, Groppelli Gianluca, Norini Gianluca, Nucita Andrea,

Pasquare' Giorgio, 3; A GIS integrated approach to lava flows hazard evaluation: from geological and morphological data to risk map. The Mount Etna (Italy) case; Regional Geomorphology Conference; 2003; New Mexico (Mexico).

- Bertino Elisa, Camossi Elena, Guerrini Giovanna, Michela Bertolotto, Giovanna Guerrini; A multigranular spatiotemporal data model; ACM GIS; 2003; New Orleans (LA); ACM Press; pagg. 94-101.

- Bertino Elisa, Catania Barbara, Alberto Belussi, Barbara Catania; A reference framework for integrating multiple representations of geographical maps; GIS; 2003; New Orleans (LA); ACM Press; pagg. 33-40.

- Bertino Elisa, Rafae Bhatti, James Joshi, Arif Ghafoor; Access Control in Dynamic XML-Based Web-Services with X-RBAC; ICWS; 2003; Las Vegas (Nevada); IEEE Computer Society Press; pagg. 243-249.

- Bertino Elisa, Ferrari Elena, Gianluca Correndo, Elena Ferrari; An infrastructure for managing secure update operations on XML data; SACMAT; 2003; Como (Italy); ACM Press; 218-226.

- Bertino Elisa, James Joshi, Basit Shafiq, Arif Ghafoor; Dependencies and separation of duty constraints in GTRBAC; SACMAT; 2003; Como (Italy); ACM Press; 51-64.

- Bertino Elisa, 1; PDL with Maximum Consistency Monitors; ISMIS; 2003; Tokyo (Japan); Springer; Lecture Notes in Computer Science pagg. 65-74.

- Bertino Elisa, Ferrari Elena, Parasiliti Provenza Loredana, Elena Ferrari, Loredana Parasiliti-Provenza; Signature and Access Control Policies for XML Documents; ESORICS; 2003; Gjøvik, Norway; Springer; Lecture Notes in Computer Science pagg. 1-22.

- Bertino Elisa, Catania Barbara, Estefano Rizzi, Barbara Catania, Matteo Golfarelli, Maria Halkidi, Manolis Terrovitis, Panos Vassiliadis, Michalis Vazirgiannis, Euripides Vrachnos; Towards a Logical Model for Patterns; ER; 2003; Chcago (IL); Springer; Lecture Notes in Computer Science pagg. 77-90.

- Bertino Elisa, Ferrari Elena, Squicciarini Anna Cinzia, Elena Ferrari, Anna C. Squicciarini; X -TNL: An XML-based Language for Trust Negotiations; POLICY 2003; 2003; Como (Italy); IEEE Computer Society Press; pagg. 81-84.

- Bettini Claudio, Mascetti, S.; Pupillo, V.; GSTP: A Temporal Reasoning System Supporting Multi-Granularity Temporal Constraints; Int. Conf. on Artificial Intelligence; Proceedings of the International Joint Conference on Artificial Intelligence; 2003; Acapulco, Messico; Morgan Kaufmann; pagg. 1633-1634.

- Bettini Claudio, Agostini Alessandra, Maggiorini Dario, Cesa Bianchi Nicolo', Riboni, D.; Integrated Profile Management for Mobile Computing; Workshop on Artificial Intelligence, Inf; Proc. of AI Moves to IA: Workshop on A. I., Information Access, and Mobile Computing; 2003; Acapulco, Messico.

- Bettini Claudio; Web Services for Time Granularity Reasoning; TIME-ICTL Symposium; Proceeedings of the Symposium on Temporal Representation and Reasoning; 2003; Cairns, Australia; IEEE Computer Society; pagg. 2-4.

- Bruschi Danilo, Rosti Emilia, D. Fabris, V. Glave; How to unwittingly sign non-repudiable documents with Java applications; Computer Security Applications Conferenc; Proceedings of the 19th ACSAC 2003; 2003; Las Vegas, Nevada, USA; IEEE Press, Los Alamitos, CA; pagg. 192-196.

- Castano Silvana, Ferrara Alfio, Montanelli Stefano; H-MATCH: an Algorithm for Dynamically Matching Ontologies in Peer-based Systems; 1st VLDB SWDB Workshop 2003; 2003; Berlin, Germany; pagg. 231-250.

- Castano Silvana, Ferrara Alfio, Montanelli Stefano, Daniele Zucchelli; HELIOS: a General Framework for Ontology-based Knowledge Sharing and Evolution in P2P Systems; DEXA WEBS'03 Workshop; DEXA Workshops; 2003; Prague, Czech Republic; IEEE Computer Society; pagg. 597-603.

- Castano Silvana, Montanelli Stefano, Ferrara Alfio; Ontologies and Matching Techniques for

Peer-based Knowledge Sharing; CAISE '03; CAiSE Short Paper Proceedings; 2003; Klagenfurt/Velden, Austria; Technical University of Aachen (RWTH); pagg. 177-180.

- Castano Silvana, Ferrara Alfio, Montanelli Stefano; The Helios framework for peer-based knowledge sharing and evolution; SEBD 2003; 2003; Cetraro (CS), Italy; pagg. 347-358.

- Castano Silvana, Pagani Elena, Rossi Gian Paolo, Ferrara Alfio, Montanelli Stefano; ``Ontology-Addressable Contents in P2P Networks''; 1st Workshop on SemPGRID; 2003; Budapest; pagg. 55-68.

- Costabile M. F., Fogli D., Piccinno A.; Software Shaping Workshops: environment to support end-user development; CHI 2003; 2003; Fort Lauderdale, USA; pagg. 19-22.

- Costabile M. F., Fogli D., Fresta G., Piccinno A.; Building Environments for End-User Development and Tailoring; IEEE Symposia on HCC; Proc. 2003 IEEE Symposia on HCC Languages and Environments; 2003; Auckland, Nuova Zelanda; pagg. 31-38.

- Costabile M.F., Fogli D., Letondal C., Piccinno A.; Domain-expert users and their needs of software development; Universal Access In Human-Computer Inter; 2003; Heraklion, Creta, Grecia; pagg. 532-536.

- Damiani Maria Luisa; Environmental Decision Support Systems: issues and perspectives; SpadaGIS; 2003; Milano.

- Damiani Maria Luisa, Sfondrini Giuseppe, Aldighieri Barbara, Testa Bruno, 3; La realizzazione di un datawarehouse ambientale: studio di un caso”, Terza Conferenza Nazionale su Informatica e Pianificazione Urbana e Territoriale: Costruzione e Gestione della Conoscenza; INPUT 2003; 2003; Pisa.

- De Cindio Fiorella, Ripamonti Laura Anna, Ivan Longhi; Design Issues in Developing a Learning Environment For Small-sized Enterprises Communities; TEL'03; 2003; Milano; pagg. 133-141.

- De Cindio Fiorella, Ripamonti Laura Anna, Ivan Longhi; The First Need is a Learning Community: Just Do It!; IADIS e-Society 2003 Conference; 2003; Lisbon, Portugal; pagg. 916-919.

- Fogli D., Fresta G., Salvi D.; Document in visual reasoning: from paper-based to electronic ones; Distributed Multimedia Systems; Proceedings DMS 03; 2003; Miami, Florida, USA; pagg. 277-282.

- J.H. Cui, L. Lao, M.Gerla; BEAM: A Distributed Aggregated Multicast Protocol Using Bi-directional Trees; IEEE International Conference on Communi; Proceedings ICC 2003 - IEEE International Conference on Communications; 2003; Anchorage, AK, USA; pagg. 689-695.

- J.H. Cui, M. Falutsos, M. Gerla, K. Boussetta; Measuring and Modelling the Group Membership in the Internet; Internet Measurement Conference; Proceedings IMC 2003 - Internet Measurement Conference; 2003; Miami, FL, USA.

- Lynne Blair; Reasoning on AspectJ Programmes; Workshop on Aspect-Oriented Software; Proceedings of Workshop on Aspect-Oriented Software Development; 2003; Essen, Germany; German Informatics Society; 45-50.

- M.Kazantzidis, M.Gerla; Network independent available bandwidth sampling and measurement; International Workshop on QoS in multise; Proceedings of the Second International Workshop on Quality of Service in Multiservice IP Networks; 2003; Milano; Springer-Verlag London, UK; pagg. 117-130.

- Mazzoleni Pietro, Bertino Elisa, Valtolina Stefano, Ferrari Elena, Elena Ferrari, Chiara Boeri; ViRdB: integrating virtual reality and multimedia databases for customized visualization of cultural heritage; ACM Siggraph; 2003; San Diego (CA, USA); ACM Press.

- Mera Filippo, Pighizzini Giovanni; Complementing Unary Nondeterministic Automata; Descriptional Complexity of Formal Syst.; Descriptional Complexity of Formal Systems (DCFS 2003); 2003; Budapest; MTA SZTAKI, Budapest; pagg. 174-185.

- Micucci; A connector-based approach for controlled data distribution in RTP architecture; DDRTS'03 - ICDCS 2003; 2003; Providence, Rhode Island, USA; IEEE Computer Society

Press. - Micucci; A pattern-like framework to ease dynamical change of components behaviour; SEKE; 2003; San Francisco, CA, USA; KSI Press.

- Pagani Elena, Rossi Gian Paolo, Pelati Matteo; ``A Linux-Based Testbed for Multicast Sessions Set-up in Diff-Serv Networks''; 2nd International Workshop on QOS-IP; Lecture Notes in Computer Science; 2003; Milan; Springer (Berlin); pagg. 619-633.

- Riccardo Casero, Mirko Cesarini; Managing Code Dependencies in C#; ECOOP; {ECOOP} 2003 {.NET}: The Programmer's Perspective; 2003; Darmstadt, D.

- Rosti Emilia, Bruschi Danilo, Alberto Ornaghi; S-ARP: a Secure Address Resolution Protocol; Computer Security Applications Conferenc; Proceedings of the 19th ACSAC 2003; 2003; Las Vegas, Nevada, USA; IEEE Press, Los Alamitos, CA; pagg. 66-74.

- Y. Yi, M. Gerla, J.S. Park; Team-oriented Multicast: A Scalable Routing Protocol for Large Mobile Networks; International Workshop on Networked Grou; Group Communications and Charges: Technology and Business Models. 5th COST 264 International Worksho; 2003; Monaco; Springer-Verlag Heidelberg; pagg. 143-154.

- E-documents as tools for the humanized management of community knowledge; ISD 2003; Constructing the Infrastructure for the Knowledge Economy: Methods and Tools; Theory and Practice; 2003; Melbourne, Australia; Kluwer/ Olanda.

- Supporting nomadic co-workers: an experience with a peer-to-peer configuration management tool; nternational symposium on towards peta-b; Proceedings of the international symposium on towards peta-bit ultra-networks; 2003; ishikawa, Japan; A \& I Ltd., Tokyo; 79-87 pagg. 188.

Rapporti - Bruschi Danilo, Lanzi Andrea, Martignoni Lorenzo, Masiero Stefano Aristide, Poletti Giusi, Rosti Emilia; TRUE-VOTE: Architectural design; 2003; Gennaio; True-Vote IST-2000-29424.

- Bruschi Danilo, Lanzi Andrea, Martignoni Lorenzo, Masiero Stefano Aristide, Poletti Giusi, Rosti Emilia; TRUE-VOTE: Detailed design; 2003; Gennaio; True-Vote IST-2000-29424.

- Lanzi Andrea, Martignoni Lorenzo, Masiero Stefano Aristide, Poletti Giusi, Rosti Emilia; TRUE-VOTE: User manual; 2003; Gennaio; True-Vote IST-2000-29424.

7. Centri di ricerca con sede nel dipartimento o istituto, consorzi per la ricerca cui partecipa la struttura

1. RCM (resp. Prof.ssa De Cindio, F.) La Rete Civica di Milano (RCM) si pone l'obiettivo di mettere a disposizione dei cittadini milanesi un ambiente telematico efficace e facile da usare per favorire la comunicazione tra soggetti diversi: cittadini e loro associazioni di fatto e di diritto, Enti Pubblici e società che ne sono emanazione, aziende che operano nei vari settori di mercato, operatori dell'informazione. RCM e il Laboratorio di Informatica Civica hanno instaurato nel corso degli anni di attività dal '94 ad oggi feconde collaborazioni con la Pubblica Amministrazione Locale, tra cui quelle con Regione Lombardia, Provincia e Camera di Commercio di Milano, Direzione Scolastica della Lombardia e Comune di Milano. L'attività svolta ha contribuito ad ampliare gli spazi della democrazia, della trasparenza , della conoscenza e della collaborazione, richiamandosi alle radici più forti della tradizione municipale ambrosiana, e il riconoscimento di ciò da parte delle autorità cittadine, ha portato al conferimento dell'Ambrogino d'oro 2001 alla Prof.ssa Fiorella De Cindio, presindente della Fondazione RCM e responsabile del Laboratorio di Informatica Civica. 2. CERT-IT (resp. Prof.ssa Rosti, E. - Prof. Bruschi, D.) L'attività del CERT-IT, Computer Emergency Response Team Italiano, durante il 2002 è stata principalmente quella di gestione degli incidenti informatici e diffusione d'informazione riguardante la sicurezza informatica mediante la gestione di una mailing list d'interesse. In occasione delle segnalazioni di incidenti, il CERT-IT ha fornito supporto per via telematica del tutto gratuita ai gestori delle macchine attaccate sia nella fase di analisi dell'accaduto, sia in quella di ripristino dei servizi in modo sicuro.

Inoltre, il CERT-IT è stato attivo presso il FIRST, il Forum of Incident Response and Security Teams, di cui è membro, partecipando alla selezione del programma tecnico della conferenza annuale del FIRST e partecipando allo Steering Committee dello stesso.

8. Partecipazione dei componenti della struttura ad organi di governo, coordinamento, gestione, ecc. della facoltà e/o dell'ateneo

NOMINATIVO ORGANO DI APPARTENENZA GIAN PAOLO ROSSI - Presidenza Consiglio di Coordinamento Didattico per le Scienze Informatiche GIOVANNI PIGHIZZINI - Comitato d'area n. 6 (Scienze Informatiche) ALESSANDRA AGOSTINI - Commissione di Informatica della Facoltà di Scienze

Politiche

SILVANA CASTANO - Commissione per la Ricerca Scientifica e il

Trasferimento Tecnologico (Presidente Comitato Area A06 Scienze Informatiche)

9. Dati di contesto didattico

No. totale insegnamenti tenuti da docenti afferenti alla struttura 76No. insegnamenti corsi di laurea 69No. insegnamenti corsi di diploma universitario 0No. insegnamenti corsi di scuole di specializzazione 7No. insegnamenti corsi di scuole di perfezionamento 3No. insegnamenti corsi di dottorati 3No. insegnamenti corsi di scuole post-laurea 5No. corsi di aggiornamento 2No. totale esami tenuti da docenti afferenti alla struttura 2979No. esami profitto corsi di laurea 2944No. esami profitto corsi di diploma universitario 35No. esami profitto scuole di specializzazione 0No. esami profitto scuole di perfezionamento 0No. tesi di laurea 263No. tesine di diploma 27No. tesi di specialità 0No. dottorati di ricerca con sede amministrativa presso la struttura 0No. dottorati di ricerca con sede amministrativa esterna 0No. dottori di ricerca che hanno conseguito il titolo 0No. di tirocinanti 150No. programmi di tutoraggio 0No. professori a contratto, lettori e docenti di corsi di sostegno 0

10. Commento conclusivo del direttore

Presentazione:

Alla fine del 2003 afferivano al Dipartimento di Informatica e Comunicazione (DICO) 30 professori e ricercatori; il personale non docente del Dipartimento consisteva in 10 tecnici e amministrativi. Ricerca: Il DICO è sede di una intensa attività di ricerca nei principali settori delle Scienze e Tecnologie dell’Informazione e Comunicazione, riguardanti sia gli aspetti sistemistici, architetturali e applicativi dell’Informatica, sia quelli teorici e fondazionali. L’attività di ricerca complessiva è di livello molto buono, come documentato dalle pubblicazioni, collaborazioni, progetti, seminari e inviti presentati nella relazione. Molte attività di ricerca hanno immediate ricadute sul contesto industriale o sociale, come è dimostrato da associazioni o fondazioni che fanno capo al Dipartimento - quali il CERT-IT (Computer Emergency Response Team Italiano) e la Rete Civica di Milano - e da progetti eseguiti dal Dipartimento che hanno impatto con il territorio del milanese - come i progetti per il Teatro alla Scala e per il Museo della Scienza e della Tecnologia. Più analiticamente, le principali attività di ricerca del DICO possono essere divise nei seguenti settori:

• Linguaggi Formali, Algoritmi e Complessità Nell'ambito dello studio della complessità descrizionale dei sistemi formali si è analizzata la complessità descrizionale di vari modelli di automi a stati finiti unari, con implicazioni su questioni rilevanti di complessità strutturale. Si sono inoltre approfondite le relazioni tra la complessità descrizionale di automi e quella di grammatiche. Si sono approfonditi argomenti di crittografia e matematica combinatoria (costanti di connessione, politopi). Particolare attenzione è stata inoltre prestata all'ambito della bioinformatica, in particolare al calcolo con membrane.

• Sistemi Distribuiti e di Rete La ricerca nel campo delle reti di calcolatori e dei sistemi distribuiti ha riguardato la comunicazione peer-to-peer a supporto di web semantico, i protocolli di routing, anche multicast, per sistemi mobili ad hoc e veicolari, i protocolli per la gestione di flussi con qualita' di servizio per applicazioni basate su Internet e lo sviluppo di un sistema per la gestione di profili di utenti mobili e connessi in rete via dispositivi wireless (PDA, notebook). Inoltre, sono state analizzate le tecniche per la valutazione della vulnerabilit√ di sistemi e applicazioni e sono stati progettati strumenti originali per garantire la sicurezza delle comunicazioni in rete.

• Multimedialità La costruzione di sistemi interattivi multimediali richiede l'analisi automatica di segnali complessi (immagini, suoni, parlato) e la sintesi di scene che appaiano reali. In questo contesto sono state svolte ricerche volte all'identificazione di persone da immagini di volti ed alla ricostruzione tridimensionale del volto. Per migliorare la resa grafica sono stati affrontati problemi di rendering in tempo reale e formulati modelli computazionali del colore. Nell'ambito dell'elaborazione del suono sono state svolte ricerche sul riconoscimento automatico di caratteristiche spettrali orientate all'indicizzazione automatica di materiali audio digitali.

• Interazione uomo-macchina La disciplina Uomo-Macchina studia i fenomeni che caratterizzano i processi di calcolo interattivo, nonchè le tecniche di specifica, implementazione e valutazione dei sitemi che permettono la realizzazione di tali processi. In questo quadro si sono sviluppate linee di ricerca sui modelli di descrizione e specifica formale dei processi di interazione uomo-macchina, approfondendo le tecniche di specifica mediante sistemi di riscrittura puri di multiinsiemi e il loro uso nello sviluppo di sistemi interattivi. Le linee di ricerca hanno un carattere sperimentale, in quanto i metodi di specifica ed implemetazione vengono provati in casi reali, mediante lo sviluppo e la validazione di prototitpi di sistemi adattivi specializzati ad un certo dominio.

• Informatica musicale Nell'ambito dell'informatica musicale: è stata definita una rappresentazione multistrato di informazione musicale basata su XML per l’integrazione – orientata alll’interazione – dei livelli di partitura simbolica, MIDI e audio digitale; si sono analizzati problemi di segmentazione automatica di partiture e di segnali audio; si sono progettati e sviluppati prototipi per la elaborazione di informazione musicale direttamente in formato compresso MP3.

• Sistemi innovativi di gestione di dati e conoscenza in sistemi distribuiti aperti L’attività di ricerca è articolata su più filoni di ricerca. Un primo filone di ricerca riguarda lo studio di metodi e tecniche per la condivisione dinamica di conoscenza in sistemi di tipo Peer-to-Peer (P2P). Sono state definite una metodologia e una architettura funzionale di riferimento per la condivisione dinamica di conoscenza in reti P2P pure, ovvero reti in cui non sono previsti peer con funzionalita' di super-peer. A partire dai precedenti risultati di ricerca relativamente all'integrazione semantica di sorgenti informative eterogenee, si sono studiate tecniche configurabili di ontology matching per il confronto dinamico di probe query in arrivo ad un peer con l'ontologia di un peer, al fine di individuare una lista di concetti con cui comporre le risposte da inoltrare nella rete.Un secondo filone di ricerca riguarda la

sicurezza nei sistemi di basi di dati e nelle architetture Grid. In particolare, si sono analizzati e confrontati i meccanismi di controllo dell'accesso e le politiche amministrative con l’obiettivo di individuare il potere espressivo e le caratteristiche di tali modelli. Si sono inoltre studiati sistemi di sicurezza per architetture Grid. Infine, si sono inoltre studiate soluzioni per l'integrazione di basi di dati e tecniche di realtà virtuale per la diffusione di beni culturali. Didattica e formazione: Una caratteristica di rilievo è il contributo pronto e rilevante del DICO all’organizzazione e attivazione di iniziative didattiche, in risposta alle nuove richieste di formazione poste dalla società. In particolare, i corsi di studio cui il DICO contribuisce in modo determinante sono i seguenti:

- Laurea triennale in Informatica (circa 500 matricole all’anno), Classe delle Scienze e Tecnologie Informatiche; - Laurea triennale in Comunicazione Digitale (circa 500 matricole per l’A.A. 2003-2004, con un notevole

incremento di immatricolazioni rispetto all’anno precedente), Classe delle Scienze e Tecnologie Informatiche; - Laurea triennale in Informatica per le Telecomunicazioni, Classe delle Scienze e Tecnologie Informatiche; - Laurea triennale in Scienze e Tecnologie per la Comunicazione Musicale (a numero chiuso, 120 matricole

all’anno), Classe delle Scienze della Comunicazione; - Laurea Specialistica in Informatica, Classe delle Scienze e Tecnologie Informatiche; - Laurea Specialistica in Tecnologie dell’Informazione e Comunicazione, Classe delle Scienze e Tecnologie

Informatiche. Il Dipartimento è sempre impegnato nel compimento ad esaurimento dei corsi dei vecchi ordinamenti (corso di laurea in Scienze dell’Informazione, 4 anni; corso di laurea in Informatica, 5 anni; diploma in Informatica, 3 anni). Sono stati attivati tre corsi di master di I livello:

- Master in "Contenuti e Tecnologie Multimediali per la Comunicazione Interattiva: TV digitale e interattiva, cinema digitale, web, sistemi mobili, diffusione multicanale";

- Master in "Digitalizzazione, Conservazione e Restauro dell'Informazione e dei Supporti Informativi"; - Master in "Sicurezza delle Tecnologie dell’Informazione e della Comunicazione".

Il Dipartimento ha inoltre un ruolo di rilievo presso la SILSIS e sostiene attività didattiche presso altri corsi di studi, sia presso la Facoltà di Scienze MM.FF.NN. che presso le Facoltà Umanistiche e di Medicina. Il DICO sostiene infine la formazione alla ricerca sia nel dottorato di Informatica che nel dottorato di Matematica per le Scienze Computazionali. Conclusioni: Le nuove richieste di formazione della società hanno portato alla progettazione e attivazione di iniziative, sempre sostenute con generosità dai colleghi docenti e dal personale tecnico-amministrativo, nonostante le difficili condizioni (rapporto docenti/studenti 1:60). Oltre ad un aumento dell’attività individuale, in parte compensata dalla politica di riequilibrio adottata dalla Facoltà di Scienze MM.FF.NN, questo ha portato ad una saturazione degli spazi. Pur essendo stati introdotti significativi miglioramenti nella dotazione, flessibilità e sicurezza del laboratorio didattico (SiLab) e delle aule didattiche informatizzate (aula alfa e beta), pur avendo ricavato due nuove aule (gamma e delta), pur essendo in corso la ristrutturazione della segreteria didattica e di numerosi laboratori di ricerca, tutte le strutture sono utilizzate ormai a ciclo continuo e sempre più spesso si dimostrano insufficienti. In attesa dell’edificazione del nuovo campus informatico, diventa urgente l’individuazione di nuove aree integrative per lo svolgimento delle attività del DICO e più in generale per l’area Informatica di Milano. Sono stati fatti passi preliminari in questa direzione, e ci si augura che l’Amministrazione possa aiutare il DICO con coerenza su questo obiettivo nei tempi più brevi possibili.