Pubblicazioni
Pubblicazioni trovate: 406
- Well-Defined Generalized Stochastic Petri Nets: A Net-Level Method to Specify Priorities
Enrique Teruel, Giuliana Franceschinis, Massimiliano De Pierro
Apparso su IEEE Trans. Software Eng. Vol. 29 n. 11, 2003, Pagine: 962-973 - Authentication and Access Delegation with User-Released Certificates
Lavinia Egidi, Maurizio Melato
Apparso su SAC, 2003, Pagine: 288-293 - Minimal Information Disclosure in a Centralized Authorization System
Lavinia Egidi, Giovanni Porcelli
Apparso su Electr. Notes Theor. Comput. Sci. Vol. 85 n. 3, 2003, Pagine: 89-104 - Refined Effects for Unanticipated Object Re-classification: Fickle3 (Extended Abstract)
Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini
Apparso su ICTCS'03, Ed. Springer, 2003, Pagine: 97--110 - Alias types for "environment-aware'' computations
Ferruccio Damiani, Paola Giannini
Apparso su WOOD'03 82.8, Ed. Elsevier, 2003 - Multi-modal Diagnosis Combining Case-Based and Model Based Reasoning: a Formal and Experimental Analysis
Diego Magro, Luigi Portinale, Pietro Torasso
Apparso su TR-INF-2003-12-08-UNIPMN, Ed. Computer Science Department, UPO, 2003 - Fault Tolerance in Grid Environment
Massimo Canonico
Apparso su TR-INF-2003-12-07-UNIPMN, Ed. Computer Science Department, UPO, 2003 - Development of a Dynamic Fault Tree Solver based on Coloured Petri Nets and graphically interfaced with DrawNET
Daniele Codetta Raiteri
Apparso su TR-INF-2003-10-06-UNIPMN, Ed. Computer Science Department, UPO, 2003 - Interactive Video Streaming Applications over IP Networks: An Adaptive Approach
Marco Furini, Marco Roccetti
Apparso su TR-INF-2003-07-05-UNIPMN, Ed. Computer Science Department, UPO, 2003 - Audio-Text Synchronization inside mp3 file: a new approach and its implementation
Lorenzo Alboresi, Marco Furini
Apparso su TR-INF-2003-07-04-UNIPMN, Ed. Computer Science Department, UPO, 2003
Pagine: « < 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 41 > »
