Sfoglia per Rivista SCIENCE OF COMPUTER PROGRAMMING
Mobile JikesRVM: a Framework to Support Transparent Java Thread Migration
2008 Quitadamo, R; Cabri, Giacomo; Leonardi, Letizia
Preface to the special section on agent-oriented design methods and programming techniques for distributed computing in dynamic and complex environments
2013 Cabri, G.; Ganzha, M.
Preface to the special section on self-organizing coordination
2013 Casadei, M.; Mamei, M.; Menezes, R.
Principles and practice of programming in java 2008 special issue
2011 Horspool, R. N.; Gitzel, R.; Cabri, G.; Aleksy, M.
RML: Theory and practice of a domain specific language for runtime verification
2021 Ancona, Davide; Franceschini, Luca; Ferrando, Angelo; Mascardi, Viviana
The early bird catches the worm: First verify, then monitor!
2019 Ferrando, Angelo
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Mobile JikesRVM: a Framework to Support Transparent Java Thread Migration | 1-gen-2008 | Quitadamo, R; Cabri, Giacomo; Leonardi, Letizia | |
Preface to the special section on agent-oriented design methods and programming techniques for distributed computing in dynamic and complex environments | 1-gen-2013 | Cabri, G.; Ganzha, M. | |
Preface to the special section on self-organizing coordination | 1-gen-2013 | Casadei, M.; Mamei, M.; Menezes, R. | |
Principles and practice of programming in java 2008 special issue | 1-gen-2011 | Horspool, R. N.; Gitzel, R.; Cabri, G.; Aleksy, M. | |
RML: Theory and practice of a domain specific language for runtime verification | 1-gen-2021 | Ancona, Davide; Franceschini, Luca; Ferrando, Angelo; Mascardi, Viviana | |
The early bird catches the worm: First verify, then monitor! | 1-gen-2019 | Ferrando, Angelo |
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