Sfoglia per Autore
Local policies for resource usage analysis
2009-01-01 M., Bartoletti; P., Degano; G. L., Ferrari; Zunino, Roberto
Static Enforcement of Service Deadlines
2010-01-01 Bartoletti, Massimo; Zunino, Roberto
Static Enforcement of Service Deadlines
2010-01-01 M., Bartoletti; Zunino, Roberto
A Calculus of Contracting Processes
2010-01-01 M., Bartoletti; Zunino, Roberto
Primitives for Contract-based Synchronization
2010-01-01 M., Bartoletti; Zunino, Roberto
Tree-Based Search for Stochastic Simulation Algorithm
2011-01-01 Vo Hong, Thanh; Zunino, Roberto
Tools and Verification
2011-01-01 M., Bartoletti; L., Caires; I., Lanese; F., Mazzanti; D., Sangiorgi; H. T., Vieira; Zunino, Roberto
Call-by-contract for service discovery, orchestration and recovery
2011-01-01 M., Bartoletti; P., Degano; G. L., Ferrari; Zunino, Roberto
Trading computation time for synchronization time in spatial distributed simulation
2011-01-01 Zunino, Roberto
Contracts in distributed systems
2011-01-01 M., Bartoletti; E., Tuosto; Zunino, Roberto
Tree-Based Search for stochastic simulation algorithm
2012-01-01 V. H., Thanh; Zunino, Roberto
A rule-based and imperative language for biochemical modeling and simulation
2012-01-01 Đ., Nikolić; Priami, Corrado; Zunino, Roberto
An imperative language of self-modifying graphs for biological systems
2012-01-01 Priami, Corrado; Quaglia, Paola; Zunino, Roberto
On computation and synchronization costs in spatial distributed simulation
2012-01-01 Zunino, Roberto
On the Realizability of Contracts in Dishonest Systems
2012-01-01 M., Bartoletti; E., Tuosto; Zunino, Roberto
Contract-Oriented Computing in CO2
2012-01-01 M., Bartoletti; E., Tuosto; Zunino, Roberto
RSSA: a Rejection-based Stochastic Simulation Algorithm
2013-01-01 Vo Hong, Thanh; Zunino, Roberto
A theory of agreements and protection
2013-01-01 M., Bartoletti; T., Cimoli; Zunino, Roberto
Contract agreements via logic
2013-01-01 M., Bartoletti; T., Cimoli; P., Di Giamberardino; Zunino, Roberto
Honesty by typing
2013-01-01 M., Bartoletti; A., Scalas; E., Tuosto; Zunino, Roberto
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