Corsi
Eventi
Presentazioni
Prodotti
Progetti
Pubblicazioni
Riviste
Tesi
Tirocini
Toggle navigation
SSO login
Home
Indice dei Documenti
Rubrica degli Utenti
Application Index
Global
Lingue
Lingua predefinita
What's New
Indice dei Wiki
Eng
Ita
Ricerca
Presentazioni
Nuvole
tag : pervasive systems
tag : pervasive systems
7 presentazione
SAPERE Methodology: Towards the Final Version
(M32 Consortium Meeting, 18/06/2013) —
Andrea Omicini
(Ambra Molesini, Andrea Omicini)
WP1 at M32: State and Plans
(M32 Consortium Meeting, 18/06/2013) —
Mirko Viroli
(Mirko Viroli)
Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems
(ASENSIS 2012@SASO 2012, 10/09/2012) —
Mirko Viroli
(Matteo Casadei, Mirko Viroli)
Dynamic Composition of Coordination Abstractions for Pervasive Systems: The Case of LogOp
(CM 2012@SAC 2012, 29/03/2012) —
Mirko Viroli
(Andrea Omicini)
From Service-Oriented Architectures to Nature-Inspired Self-aware Pervasive Service Ecosystems: The SAPERE Approach
(The
AWARENESS Virtual Lecture Series
, 11/11/2011) —
Franco Zambonelli
(Franco Zambonelli)
Coordination Models and Technologies toward Self-Organising Systems
(The AWARENESS Virtual Lecture Series, 04/11/2011) —
Andrea Omicini
(Andrea Omicini)
Coordination Models and Technologies toward Self-Organising Systems
(26-esimo Convegno Italiano di Logica Computazionale (
CILC 2011
),
Università degli Studi "Gabriele D'Annunzio" di Chieti e Pescara
, Pescara, Italy, 31/08/2011) —
Andrea Omicini
(Andrea Omicini)
[
nuvola tag
/ presentazioni ]