Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 88
Titolo Data di pubblicazione Autore(i) File
An Experiment in Applying UML2.0 to the Development of an Industrial Critical Application 1-gen-2003 Cigoli, S.; Leblanc, P.; Malaponti, S.; Mandrioli, D.; Mazzucchelli, M.; Morzenti, A.; Spoletini, Paola
Practical Model Checking of LTL with Past 1-gen-2003 Pradella, M.; San Pietro, P.; Spoletini, Paola; Morzenti, A.
Model-Checking TRIO specifications in SPIN 1-gen-2003 Morzenti, A.; Pradella, M.; San Pietro, P.; Spoletini, Paola
Modeling and analyzing context-aware composition of services 1-gen-2005 Colombo, E.; Mylopoulos, J.; Spoletini, Paola
A formal approach supporting the specification and verification of business conversation requirements. 1-gen-2005 Cherubini, A.; Colombo, E.; Francalanci, C; Spoletini, Paola
Esercizi di Informatica Teorica - terza edizione 1-gen-2005 Mandrioli, D.; Lavazza, LUIGI ANTONIO; Morzenti, A.; San Pietro, P.; Spoletini, Paola
Fuzzy querying of semistructured data 1-gen-2005 Campi, A.; Guinea, S.; Spoletini, Paola
History checking of XML data streams 1-gen-2006 Campi, A.; Spoletini, Paola
On the use of Alloy to analyze graph transformation systems 1-gen-2006 Baresi, L.; Spoletini, Paola
Formal verification of production systems performance: a new approach to the detailed system design phase 1-gen-2006 Spoletini, Paola; Tomassella, M.; Matta, A.; Rossi, M.
A framework for XML Data Streams History Checking and Monitoring 1-gen-2006 Campi, A.; Spoletini, Paola
A fuzzy extension for the XPath query language 1-gen-2006 Campi, A.; Guinea, S.; Spoletini, Paola
A graph-coloring approach to the allocation and tasks scheduling for reconfigurable architectures 1-gen-2006 Giorgetta, M.; Santambrogio, M.; Sciuto, D.; Spoletini, Paola
XQuery layers 1-gen-2007 Braga, D.; Campi, A.; Ceri, S.; Spoletini, Paola
Formal analysis of Publish-Subscribe systems by probabilistic timed automata 1-gen-2007 Fei, He; Baresi, L.; Ghezzi, C; Spoletini, Paola
Commitment monitoring in a multiagent system 1-gen-2007 Spoletini, Paola; Verdicchio, M.
Model checking temporal metric specifications with Trio2Promela 1-gen-2007 Bianculli, D.; Spoletini, Paola; Morzenti, A.; Pradella, M.; San Pietro, P.
FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems 1-gen-2007 Matta, A.; Rossi, M.; Spoletini, Paola; Mandrioli, D.; Semeraro, Q.; Tolio, T.
Quantifying the discord: order discrepancies in message sequence charts 1-gen-2007 Elkind, E.; Genest, B.; Peled, D.; Spoletini, Paola
Trio2Promela: a model checker for temporal metric specifications 1-gen-2007 Bianculli, D.; Morzenti, A.; Pradella, M.; San Pietro, P.; Spoletini, Paola
Mostrati risultati da 1 a 20 di 88
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