|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
8 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | ASM-based formal design of an adaptivity component for a Cloud system |
Arcaini, Paolo |
2016 |
28 | 4 |
p. 567-595 |
article |
|
| 2 | Dynamic role authorization in multiparty conversations |
Ghilezan, Silvia |
2016 |
28 | 4 |
p. 643-667 |
article |
|
| 3 | Editorial |
Carbone, Marco |
2016 |
28 | 4 |
p. 529-530 |
article |
|
| 4 | Event-based run-time adaptation in communication-centric systems |
Di Giusto, Cinzia |
2016 |
28 | 4 |
p. 531-566 |
article |
|
| 5 | Model checking Petri nets with names using data-centric dynamic systems |
Montali, Marco |
2016 |
28 | 4 |
p. 615-641 |
article |
|
| 6 | On the expressive power of behavioral profiles |
Polyvyanyy, Artem |
2016 |
28 | 4 |
p. 597-613 |
article |
|
| 7 | Reversible client/server interactions |
Barbanera, Franco |
2016 |
28 | 4 |
p. 697-722 |
article |
|
| 8 | Self-adaptation and secure information flow in multiparty communications |
Castellani, Ilaria |
2016 |
28 | 4 |
p. 669-696 |
article |
8 results found