Sfoglia per Autore
Mostrati risultati da 1 a 5 di 5
Transactional Aspects in Semantic Based Discovery of Services
2005 L. Bocchi; P. Ciancarini; D. Rossi
An OWL-S based approach to express grid services coordination
2005 L. Bocchi; P. Ciancarini; R. Moretti; V. Presutti; D. Rossi
On the impact of Formal Methods in the SOA
2006 L. Bocchi; P. Ciancarini
On the Impact of AOSE in Service-Oriented Computing
2008 L. Bocchi; P. Ciancarini; Rocco Moretti; Valentina Presutti
The Reversible Temporal Process Language
2022 Bocchi L.; Lanese I.; Mezzina C.A.; Yuen S.
Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
---|---|---|---|---|---|---|
Transactional Aspects in Semantic Based Discovery of Services | L. Bocchi; P. Ciancarini; D. Rossi | 2005-01-01 | - | Springer-Verlag | 4.01 Contributo in Atti di convegno | - |
An OWL-S based approach to express grid services coordination | L. Bocchi; P. Ciancarini; R. Moretti; V. Presutti; D. Rossi | 2005-01-01 | - | ACM Press | 4.01 Contributo in Atti di convegno | - |
On the impact of Formal Methods in the SOA | L. Bocchi; P. Ciancarini | 2006-01-01 | ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | - | 1.01 Articolo in rivista | - |
On the Impact of AOSE in Service-Oriented Computing | L. Bocchi; P. Ciancarini; Rocco Moretti; Valentina Presutti | 2008-01-01 | - | Wiley-Interscience & IEEE | 2.01 Capitolo / saggio in libro | - |
The Reversible Temporal Process Language | Bocchi L.; Lanese I.; Mezzina C.A.; Yuen S. | 2022-01-01 | - | Springer Science and Business Media Deutschland GmbH | 4.01 Contributo in Atti di convegno | timed.pdf |
Mostrati risultati da 1 a 5 di 5
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