Sfoglia per Rivista
Formal Modelling of Content-Based Protection and Release for Access Control in NATO Operations
2014-01-01 Armando, Alessandro; Oudkerk, S.; Ranise, Silvio; Wrona, K.
Formal Specification and Automatic Analysis of Business Processes under Authorization Constraints: an Action-based Approach
2009-01-01 Armando, Alessandro; Giunchiglia, E.; Ponta, S. E.
From Strong Amalgamability to Modularity of Quantifier-Free Interpolation
2012-01-01 R., Bruttomesso; S., Ghilardi; Ranise, Silvio
Gesture signature for ambient intelligence applications: a feasibility study
2006-01-01 Farella, Elisabetta; O'Modhrain, S.; Benini, L.; Riccò, B.
Image Segmentation Fusion Using General Ensemble Clustering Methods
2011-01-01 Franek, L.; Duarte Abdala, D.; Vega Pons, Sandro; Jiang, X.
Investigating Collaboration Dynamics in Different Ontology Development Environments
2014-01-01 Rospocher, Marco; T., Tudorache; M., Musen
Lazy Abstraction with Interpolants for Arrays
2012-01-01 F., Alberti; R., Bruttomesso; S., Ghilardi; Ranise, Silvio; N., Sharygina
Missing values in dissimilarity-based classification of multi-way data
2013-01-01 Porro Munoz, Diana; Duin, R. P. W.; Talavera, I.
Model Checking of Security-sensitive Business Processes
2010-01-01 Armando, Alessandro; Ponta, S. E.
On a rewriting approach to satisfiability procedures: extension, combination of theories and an experimental appraisal
2005-01-01 Armando, Alessandro; Bonacina, M. P.; Ranise, Silvio; Schulz, S.
On the Automated Analysis of Safety in Usage Control: A New Decidability Result
2012-01-01 Ranise, Silvio; Armando, Alessandro
On the collaborative development of application ontologies: a practical case study with a SME
2014-01-01 Rospocher, Marco; Cardillo, Elena; Donadello, Ivan; Serafini, Luciano
Partition Selection Approach for Hierarchical Clustering Based on Clustering Ensemble
2010-01-01 Vega Pons, Sandro; Ruiz Shulcloper, J.
Requirements Analysis in Tropos: a self referencing example
2003-01-01 Bresciani, Paolo; Sannicolò, Fabrizio
SAFARI: SMT-Based Abstraction for Arrays with Interpolants
2012-01-01 F., Alberti; R., Bruttomesso; S., Ghilardi; Ranise, Silvio; N., Sharygina
SAT-based Model-Checking of Security Protocols using Planning Graph Analysis
2003-01-01 Armando, Alessandro; Compagna, L.; Ganty, P.
SATMC: a SAT-based Model Checker for Security Protocols
2004-01-01 Armando, Alessandro; Compagna, L.
SATMC: a SAT-based Model Checker for Security-critical Systems
2014-01-01 Armando, Alessandro; Carbone, Roberto; Compagna, L.
Software Model Checking using Linear Constraints
2004-01-01 Armando, Alessandro; Castellini, C.; Mantovani, J.
The AVISS Security Protocol Analysis Tool
2002-01-01 Armando, Alessandro; Basin, D.; Boullagui, M.; Chevalier, Y.; Compagna, L.; Moedersheim, S.; Rusinowitch, M.; Turuani, M.; Viganò, L.; Vigneron, L.
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile