Items where Division is "Dipartimenti (until 2012) > DIPARTIMENTO DI INFORMATICA" and Year is 2006

Book

Albano, Michele and Chessa, Stefano and Nidito, Francesco and Pelagatti, Susanna (2006) Q-NiGHT: Adding QoS to Data Centric Storage in Non-Uniform Sensor Networks. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Aldinucci, Marco and Bertolli, Carlo and Campa, Sonia and Coppola, Massimo and Vanneschi, Marco and Veraldi, Luca and Zoccolo, Corrado (2006) Self-Configuring and Self-Optimising Grid Components in the GCM model and their ASSIST Implementation. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Aldinucci, Marco and Danelutto, Marco (2006) The cost of security in skeletal systems. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bellia, Marco and Occhiuto, Maria Eugena (2006) From Object Calculus to Java with Passing and Extraction of Methods. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bellia, Marco and Occhiuto, Maria Eugena (2006) Methods Passed as Parameters in Java: A Pre-processing Approach. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bernasconi, Anna and Ciriani, Valentina (2006) DRedSOP: Synthesis of a new class of regular functions. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bernasconi, Anna and Ciriani, Valentina and Cordone, Roberto (2006) EXOR Projected Sum of Products. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bonchi, Filippo and Gadducci, Fabio and Koenig, Barbara (2006) Process Bisimulation via a Graphical Encoding. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bonchi, Filippo and Montanari, Ugo (2006) A Coalgebraic Theory of Reactive Systems. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Brogi, Antonio and Corfini, Sara (2006) Behaviour-aware discovery of Web service compositions. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Brogi, Antonio and Popescu, Razvan (2006) BPEL2YAWL: Transalating BPEL processes into YAWL workflows. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Brogi, Antonio and Popescu, Razvan (2006) Contract-based Service Aggregation. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Brogi, Antonio and Popescu, Razvan and Tanca, Matteo (2006) Design and implementation of SATOR: a Web service aggregator. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Ciuffoletti, Augusto (2006) Scalable accessibility of a recoverable database using wandering tokens. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Ferragina, Paolo and Venturini, Rossano (2006) On a simple storage scheme for strings achieving entropy bounds. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Frangioni, Antonio and Gentile, Claudio (2006) SDP Diagonalizations and Perspective Cuts for a Class of Nonseparable MIQP. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Peterlongo, Pierre and Pisanti, Nadia and Pereira do Lago, Alair and Sagot, Marie-France (2006) Lossless Filter for Long Multiple Repetitions with Edit Distance. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Pisanti, Nadia and Soldano, Henry and Carpentier, Mathilde and Pothier, Joel (2006) Inference of Approximated Motifs with Conserved Relations. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Vanneschi, Marco (2006) La Ricerca su Grid di prossima generazione. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.