IRIS

Sfoglia per ???browse.type.metadata.subjectIsicrui???  

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mostrati risultati da 416 a 435 di 568
Data di pubblicazione Titolo Autore(i) Tipo File
1-gen-2010 Penalized second price: a new pricing algorithm for advertising in search engines Grillo, A; Lentini, A; Naldi, M; Italiano, Gf Intervento a convegno
1-lug-2011 Performance and dependability in service computing: concepts, techniques and research directions Cardellini, V; Casalicchio, E; Castelo Branco, K; Estrella, J; Monaco, F Curatele
1-gen-2005 Performance comparison of distributed architectures for content adaptation and delivery of Web resources Canali, C; Cardellini, V; Lancellotti, R; Colajanni, M Intervento a convegno
1-gen-2005 Performance model building of pervasive computing D'Ambrogio, A; Iazeolla, G Intervento a convegno
1-gen-2010 Planning for Autonomous Planetary Vehicles Della Penna, G; Intrigila, B; Magazzeni, D; Mercorio, F Intervento a convegno
1-gen-2010 Pre-mRNA introns as a model for cryptographic algorithm: theory and experiment Regoli, M Intervento a convegno
1-gen-1997 Preserving approximation in the Min-Weighted Set Cover Problem Gambosi, G; Protasi, M; Talamo, M Articolo su rivista
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
Mostrati risultati da 416 a 435 di 568
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