MANAGING EVOLUTION BY ORCHESTRATING REQUIREMENTS AND TESTING ENGINEERING PROCESSES FEDERICA PACI, FABIO MASSACCI UNIVERSITY OF TRENTO

Source URL: www.spacios.eu

N.56! SeptemberEiji Yamamura! Fabio Sabatini! !

Source URL: www.econometica.it

Verification of Programs by Transformation of Constraint Logic Programs Emanuele De Angelis (University “d’Annunzio”, Pescara, Italy), Fabio Fioravanti (University “d’Annunzio”, Pescara, Italy),

Source URL: www.sci.unich.it

BOARD OF DIRECTORS Ing. Fabio Massimo GRIMALDI – Chairman Ing. Luigi Maria QUAGLINO – Chief Executive Officer Ing. Vincenzo GIORGIO – Board Advisor Ing. Walter CUGNO – Board Advisor Ing. Mauro PIERMARIA - Board A

Source URL: www.altecspace.it

1 Discovering the Top-k Unexplained Sequences in Time-Stamped Observation Data Massimiliano Albanese, Cristian Molinaro, Fabio Persia, Antonio Picariello, V. S. Subrahmanian

Source URL: www.cs.umd.edu

• Mathematics
• Statistical models
• Graph theory
• Statistics
• Stochastic process
• Probability distribution
• Maximal independent set
• Sequence
• Dual space
• Probability
• Bayesian network

When and Why Your Code Starts to Smell Bad Michele Tufano∗ , Fabio Palomba† , Gabriele Bavota‡ , Rocco Oliveto§ , Massimiliano Di Penta¶ , Andrea De Lucia† , Denys Poshyvanyk∗ ∗ The College of William and

Source URL: www.cs.wm.edu

Proving Horn Clause Specifications of Imperative Programs Emanuele De Angelis Fabio Fioravanti DEC, University ‘G. d’Annunzio’, Pescara, Italy

Source URL: www.sci.unich.it

Just a Dream  Reis Fabio  ESL 1: Molina­Perez      CHARACTERS : 

Source URL: c1stageone.files.wordpress.com

A completeness result for gs-monoidal categories Fabio Gadducci Discussions: Andrea Corradini

Source URL: www.cs.le.ac.uk

EFW: A Cross-Layer Metric for Reliable Routing in Wireless Mesh Networks with Selfish Participants Stefano Paris∗ , Cristina Nita-Rotaru† , Fabio Martignon‡ and Antonio Capone∗ di Elettronica e Informazione † D

Source URL: homes.cerias.purdue.edu