Sfoglia per ???browse.type.metadata.subjectIsicrui???
Pricing of reservations for time-limited spectrum leases under overbooking
2010-01-01 Mastroeni, L; Naldi, M
Probabilistic model for interactive decision-making
1999-01-01 Reverberi, P; Talamo, M
Process Mining Manifesto
2012-11-01 van der Aalst, W; Adriansyah, A; de Medeiros, A; Arcieri, F; Baier, T; Blickle, T; Bose, J; van den Brand, P; Brandtjen, R; Buijs, J; Burattin, A; Carmona, J; Castellanos, M; Claes, J; Cook, J; Costantini, N; Curbera, F; Damiani, E; de Leoni, M; Delias, P; van Dongen, B; Dumas, M; Dustdar, S; Fahland, D; Ferreira, D; Gaaloul, W; van Geffen, F; Goel, S; Günther, C; Guzzo, A; Harmon, P; ter Hofstede, A; Hoogland, J; Ingvaldsen, J; Kato, K; Kuhn, R; Kumar, A; La Rosa, M; Maggi, F; Malerba, D; Mans, R; Manuel, A; Mccreesh, M; Mello, P; Mendling, J; Montali, M; Motahari Nezhad, H; zur Muehlen, M; Munoz Gama, J; Pontieri, L; Ribeiro, J; Rozinat, A; Seguel Pérez, H; Seguel Pérez, R; Sepúlveda, M; Sinur, J; Soffer, P; Song, M; Sperduti, A; Stilo, G; Stoel, C; Swenson, K; Talamo, M; Tan, W; Turner, C; Vanthienen, J; Varvaressos, G; Verbeek, E; Verdonk, M; Vigo, R; Wang, J; Weber, B; Weidlich, M; Weijters, T; Wen, L; Westergaard, M; Wynn, M
Producing simulation sequences by use of a Java-based generalized framework
2008-01-01 Gianni, D; D'Ambrogio, A; Iazeolla, G; Pieroni, G
Production and maintenance of goal-oriented software measurement models
2000-01-01 Cantone, G; Donzelli, P
Program specialization for verifying infinite state systems: an experimental evaluation
2010-01-01 Fioravanti, F; Pettorossi, A; Proietti, M; Senni, V
Program transformation for development, verification, and synthesis of programs
2011-01-01 Fioravanti, F; Pettorossi, A; Proietti, M; Senni, V
Program transformation: Theoretical foundations and basic techniques. Part 1
2005-01-01 Pettorossi, A; Proietti, M
Program transformation: theoretical foundations and basic techniques. Part 2
2006-01-01 Pettorossi, A; Proietti, M
Program verification via iterated specialization
2014-01-01 De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M
Projected perspective reformulations with applications in design problems
2011-01-01 Frangioni, A; Gentile, C; Grande, E; Pacifici, A
The Protégé Ontoling Plugin - Linguistic Enrichment of Ontologies in the Semantic Web
2005-11-01 Pazienza, Mt; Stellato, A
Proving properties of constraint logic programs by eliminating existential variables
2006-01-01 Pettorossi, A; Proietti, M; Senni, V
Public administration workflows re-engineering: an agent-based M&S approach
2013-01-01 Casalicchio, E; Tucci, S
QoS driven per-request load-aware service selection in service oriented architectures
2013-01-01 Cardellini, V; Di Valerio, V; Grassi, V; Iannucci, S; LO PRESTI, F
QoS-aware offloading policies for serverless functions in the Cloud-to-Edge continuum
2024-07-01 RUSSO RUSSO, G; Ferrarelli, D; Pasquali, D; Cardellini, V; LO PRESTI, F
QoS-based elasticity for service chains in distributed edge cloud environments
2018-05-01 Cardellini, V; Galinac Grbac, T; Nardelli, M; Tanković, N; Truong, H
QoS-Based Model Driven Assessment of Adaptive Reactive Systems
2010-01-01 Perez Palacin, D; Mirandola, R; Merseguer, J; Grassi, V
QoS-driven runtime adaptation of service oriented architectures
2009-08-01 Cardellini, V; Casalicchio, E; Grassi, V; LO PRESTI, F; Mirandola, R
QShare: QoS-‐enabled description and discovery of services in SOA-‐based P2P applications
2007-01-01 Bocciarelli, P; D'Ambrogio, A; Angelaccio, M
Data di pubblicazione | Titolo | Autore(i) | Tipo | File |
---|---|---|---|---|
1-gen-2010 | Pricing of reservations for time-limited spectrum leases under overbooking | Mastroeni, L; Naldi, M | Intervento a convegno | |
1-gen-1999 | Probabilistic model for interactive decision-making | Reverberi, P; Talamo, M | Articolo su rivista | |
1-nov-2012 | Process Mining Manifesto | van der Aalst, W; Adriansyah, A; de Medeiros, A; Arcieri, F; Baier, T; Blickle, T; Bose, J; van den Brand, P; Brandtjen, R; Buijs, J; Burattin, A; Carmona, J; Castellanos, M; Claes, J; Cook, J; Costantini, N; Curbera, F; Damiani, E; de Leoni, M; Delias, P; van Dongen, B; Dumas, M; Dustdar, S; Fahland, D; Ferreira, D; Gaaloul, W; van Geffen, F; Goel, S; Günther, C; Guzzo, A; Harmon, P; ter Hofstede, A; Hoogland, J; Ingvaldsen, J; Kato, K; Kuhn, R; Kumar, A; La Rosa, M; Maggi, F; Malerba, D; Mans, R; Manuel, A; Mccreesh, M; Mello, P; Mendling, J; Montali, M; Motahari Nezhad, H; zur Muehlen, M; Munoz Gama, J; Pontieri, L; Ribeiro, J; Rozinat, A; Seguel Pérez, H; Seguel Pérez, R; Sepúlveda, M; Sinur, J; Soffer, P; Song, M; Sperduti, A; Stilo, G; Stoel, C; Swenson, K; Talamo, M; Tan, W; Turner, C; Vanthienen, J; Varvaressos, G; Verbeek, E; Verdonk, M; Vigo, R; Wang, J; Weber, B; Weidlich, M; Weijters, T; Wen, L; Westergaard, M; Wynn, M | Intervento a convegno | |
1-gen-2008 | Producing simulation sequences by use of a Java-based generalized framework | Gianni, D; D'Ambrogio, A; Iazeolla, G; Pieroni, G | Intervento a convegno | |
1-gen-2000 | Production and maintenance of goal-oriented software measurement models | Cantone, G; Donzelli, P | Articolo su rivista | |
1-gen-2010 | Program specialization for verifying infinite state systems: an experimental evaluation | Fioravanti, F; Pettorossi, A; Proietti, M; Senni, V | Intervento a convegno | |
1-gen-2011 | Program transformation for development, verification, and synthesis of programs | Fioravanti, F; Pettorossi, A; Proietti, M; Senni, V | Articolo su rivista | |
1-gen-2005 | Program transformation: Theoretical foundations and basic techniques. Part 1 | Pettorossi, A; Proietti, M | Articolo su rivista | |
1-gen-2006 | Program transformation: theoretical foundations and basic techniques. Part 2 | Pettorossi, A; Proietti, M | Articolo su rivista | |
1-gen-2014 | Program verification via iterated specialization | De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M | Articolo su rivista | |
1-gen-2011 | Projected perspective reformulations with applications in design problems | Frangioni, A; Gentile, C; Grande, E; Pacifici, A | Articolo su rivista | |
1-nov-2005 | The Protégé Ontoling Plugin - Linguistic Enrichment of Ontologies in the Semantic Web | Pazienza, Mt; Stellato, A | Intervento a convegno | |
1-gen-2006 | Proving properties of constraint logic programs by eliminating existential variables | Pettorossi, A; Proietti, M; Senni, V | Contributo in libro | |
1-gen-2013 | Public administration workflows re-engineering: an agent-based M&S approach | Casalicchio, E; Tucci, S | Contributo in libro | |
1-gen-2013 | QoS driven per-request load-aware service selection in service oriented architectures | Cardellini, V; Di Valerio, V; Grassi, V; Iannucci, S; LO PRESTI, F | Articolo su rivista | |
1-lug-2024 | QoS-aware offloading policies for serverless functions in the Cloud-to-Edge continuum | RUSSO RUSSO, G; Ferrarelli, D; Pasquali, D; Cardellini, V; LO PRESTI, F | Articolo su rivista | |
1-mag-2018 | QoS-based elasticity for service chains in distributed edge cloud environments | Cardellini, V; Galinac Grbac, T; Nardelli, M; Tanković, N; Truong, H | Contributo in libro | |
1-gen-2010 | QoS-Based Model Driven Assessment of Adaptive Reactive Systems | Perez Palacin, D; Mirandola, R; Merseguer, J; Grassi, V | Intervento a convegno | |
1-ago-2009 | QoS-driven runtime adaptation of service oriented architectures | Cardellini, V; Casalicchio, E; Grassi, V; LO PRESTI, F; Mirandola, R | Intervento a convegno | |
1-gen-2007 | QShare: QoS-‐enabled description and discovery of services in SOA-‐based P2P applications | Bocciarelli, P; D'Ambrogio, A; Angelaccio, M | Intervento a convegno |
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