Publications
Publications found: 401
- Dynamic Bayesian Networks for Modeling Advanced Fault Tree Features in Dependability Analisys
Andrea Bobbio, Stefania Montani, Luigi Portinale
Published on TR-INF-2004-03-04-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 2004
- Two space saving tricks for linear time LCP computation
Giovanni Manzini
Published on TR-INF-2004-02-03-UNIPMN, Ed. Computer Science Department, UPO, 2004
- Grid Scheduling and Economic Models
Massimo Canonico
Published on TR-INF-2004-01-01-UNIPMN, Ed. Computer Science Department, UPO, 2004
- Parametric Fault Tree for the Dependability Analysis of Redundant Systems and Its High-Level Petri Net Semantics
Andrea Bobbio, Giuliana Franceschinis, Rossano Gaeta, Luigi Portinale
Published on IEEE Trans. Software Eng. Vol. 29 n. 3, 2003, Pages: 270-287
- Memory Fault Tolerance Software Mechanisms: Design and Configuration Support through SWN Models
Paolo Ballarini, Lorenzo Capra, Giuliana Franceschinis, Massimiliano De Pierro
Published on ACSD, 2003, Pages: 111-121
- Well-Defined Generalized Stochastic Petri Nets: A Net-Level Method to Specify Priorities
Enrique Teruel, Giuliana Franceschinis, Massimiliano De Pierro
Published on IEEE Trans. Software Eng. Vol. 29 n. 11, 2003, Pages: 962-973
- Authentication and Access Delegation with User-Released Certificates
Lavinia Egidi, Maurizio Melato
Published on SAC, 2003, Pages: 288-293
- Minimal Information Disclosure in a Centralized Authorization System
Lavinia Egidi, Giovanni Porcelli
Published on Electr. Notes Theor. Comput. Sci. Vol. 85 n. 3, 2003, Pages: 89-104
- Refined Effects for Unanticipated Object Re-classification: Fickle3 (Extended Abstract)
Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini
Published on ICTCS'03, Ed. Springer, 2003, Pages: 97--110
- Alias types for "environment-aware'' computations
Ferruccio Damiani, Paola Giannini
Published on WOOD'03 82.8, Ed. Elsevier, 2003
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 41 > »
