Criteri di ricerca correnti

Filtri correnti:


Aggiungere filtri:

Utilizza i filtri per perfezionare i risultati della ricerca.

Paginazione
 
   
Prodotto trovati:
TitoloData di pubblicazioneAutore(i)
1Verification of deployed artifact systems via data abstraction2011Francesco, Belardinelli; Alessio, Lomuscio; Patrizi, Fabio
2On the performance and analysis of DNS security extensions2005Reza, Curtmola; Aniello Del, Sorbo; Ateniese, Giuseppe
3RoboCup@Home: Adaptive benchmarking of robot bodies and minds2011T., Van Der Zant; IOCCHI, Luca
4Improved bounds and new trade-offs for dynamic all pairs shortest paths2002Demetrescu, Camil; Giuseppe F., Italiano
5Identity-Based Proxy Re-encryption2007Matthew, Green; Ateniese, Giuseppe
6To re-rank or to re-query: Can visual analytics solve this dilemma?2011E., Di Buccio; Marco, Dussin; Nicola, Ferro; Ivano, Masiero; Santucci, Giuseppe; Giuseppe, Tino
7Xere: Towards a Natural Interoperability between XML and ER Diagrams2003G., Della Penna; A., Di Marco; Benedetto, Intrigila; Melatti, Igor; Alfonso, Pierantonio
8An Experimental Study of Prefetching and Caching Algorithms for the World Wide Web2002Massimiliano, Curcio; Leonardi, Stefano; Vitaletti, Andrea
9Parallel and distributed model checking in Eddy2006Melatti, Igor; Robert, Palmer; Geoffrey, Sawaya; Yu, Yang; Robert Mike, Kirby; Ganesh, Gopalakrishnan
10Cumulated relative position: A metric for ranking evaluation2012Angelini, Marco; Nicola, Ferro; Kalervo, Jarvelin; Heikki, Keskustalo; Ari, Pirkola; Santucci, Giuseppe; Gianmaria, Silvello

Scopri