Publications
Publications found: 398
- Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys
Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini
Published on ICATPN, 2004, Pages: 177-196
- Anonymity and certification: e-mail, a case study.
Lavinia Egidi, Giovanni Porcelli
Published on SAC, 2004, Pages: 397-403
- Anonymity and certification: e-mail, a case study
Lavinia Egidi, Giovanni Porcelli
Published on SAC, 2004, Pages: 397-403
- A Lattice of Classes of User-Defined Symbolic Periodicities
Lavinia Egidi, Paolo Terenziani
Published on TIME, 2004, Pages: 13-20
- Orthogonal Operators for User-Defined Symbolic Periodicities
Lavinia Egidi, Paolo Terenziani
Published on AIMSA, 2004, Pages: 137-147
- A Mathematical Framework for the Semantics of Symbolic Languages Representing Periodic Time
Lavinia Egidi, Paolo Terenziani
Published on TIME, 2004, Pages: 21-27
- An Architecture to Securely Enrich and Distribute MP3 Files over the Internet
Lavinia Egidi, Marco Furini
Published on Proceedings of the Communication and Computer Networks Conference (CCN2004), Ed. Acta press, 2004
- Decentralized rate-limiting of outbound e-mail
Lavinia Egidi, Piermatteo Lova, Giovanni Porcelli
Published on Proceedings of the Communication and Computer Networks Conference (CCN2004), Ed. Acta press, 2004
- Model Synthesis for model-based fault analysis. Fifteenth International Workshop on the Principles of Diagnosis, DX04
L. Console, C. Picardi, Daniele Theseider Dupré
2004
- SALVO: Model-based systems - applications in automotive industry
R. Bray, A. Buffo, F. Cascio, L. Console, C. Picardi, M. Segnan, Daniele Theseider Dupré
Published on INTELLIGENZA ARTIFICIALE Vol. 1, 2004, Pages: 13--20
Pages: « < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 > »