Sfoglia per Autore
Patterns of Federated Identity Management Systems as Architectural Reconfigurations
2010-01-01 Nizamani, Ali; Tuosto, E
Refactoring Long Running Transactions: A Case Study
2010-01-01 Ferrari, Luigi; Guanciale, Roberto; Strollo, Daniele; Tuosto, E
A Java Inspired Semantics for Transactions in SOC
2010-01-01 Bocchi, Laura; Tuosto, E
BPMN Modelling of Services with Dynamically Reconfigurable Transactions
2010-01-01 Bocchi, Laura; Guanciale, Roberto; Strollo, Daniele; Tuosto, E
A Modular Toolkit for Distributed Interactions
2010-01-01 Lange, Julien; Tuosto, E
Testing Attribute-Based Transactions in SOC
2010-01-01 Bocchi, Laura; Tuosto, E
A Theory of Design-by-Contract for Distributed Multiparty Interactions
2010-01-01 Bocchi, Laura; Honda, Kohei; Tuosto, E; Yoshida, Nobuko
Graph Transformation and Visual Modeling Techniques
2010-01-01 Küster, Malte; Tuosto, E
Architectural Models of Ambient-PRISMA in Channel Ambient Calculus
2011-01-01 Ali, Nour; Tuosto, E
A Formal Support to Business and Architectural Design for Service-Oriented Systems
2011-01-01 Bruni, Roberto; Foster, Howard; Lluch-Lafuente, Alberto; Montanari, Ugo; Tuosto, E
Model-Driven Development of Long Running Transactions
2011-01-01 Ciancia, Vincenzo; Ferrari, Luigi; Guanciale, Roberto; Strollo, Daniele; Tuosto, E
Amending Contracts for Choreographies
2011-01-01 Bocchi, Laura; Lange, Julien; Tuosto, E
Contracts in distributed systems
2011-01-01 Bartoletti, Massimo; Tuosto, E; Zunino, Roberto
Three Algorithms and a Methodology for Amending Contracts for Choreographies
2012-01-01 Bocchi, Laura; Lange, Julien; Tuosto, E
Synthesising Choreographies from Local Session Types
2012-01-01 Lange, Julien; Tuosto, E
On Nominal Regular Languages with Binders
2012-01-01 Kurz, Alexander; Suzuki, Tomoyuki; Tuosto, E
Contract-Oriented Computing in CO2
2012-01-01 Bartoletti, Massimo; Tuosto, E; Zunino, Roberto
Contract-Oriented Services
2012-01-01 Tuosto, E
Enforcing Architectural Styles in Presence of Unexpected Distributed Reconfigurations
2012-01-01 Poyias, Kyriakos; Tuosto, E
Relating archaeological chaîne opératoire and process mining in computer science
2012-01-01 Brysbaert, Anne; Bocchi, Laura; Tuosto, Emilio
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