Sfoglia per Autore
Mostrati risultati da 1 a 7 di 7
Book of abstracts: Scientific Opening of The Microsoft Reasearch Centre for Computational and Systems Biology, Trento, Italy, April 3-5, 2006
2006-01-01 Cavaliere, Matteo; Cappello, Igor; Walker, David; Montanari, Ugo; Baralla, Angela; Priami, Corrado; Mura, Ivan; Csikasz-Nagy, Attila; Hillston, Jane
A translation of Beta-binders in a prioritized pi-calculus
2009-01-01 Cappello, Igor; Quaglia, Paola
A Translation of Beta-binders in a Prioritized Pi-calculus
2009-01-01 Cappello, Igor; Quaglia, Paola
A Tool for Checking Probabilistic Properties of COWS Services
2010-01-01 Cappello, Igor; Quaglia, Paola
Quantitative Analysis of Services
2011-01-01 Cappello, Igor; A., Clark; S., Gilmore; D., Latella; M., Loreti; Quaglia, Paola; Schivo, Stefano
Communication Priorities and Stochastic Measures for Web Services Modeling
2012-01-01 Cappello, Igor
Expressing global priorities by best-matching
2012-01-01 Cappello, Igor; Quaglia, Paola
Mostrati risultati da 1 a 7 di 7
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