VAGLINI, GIGLIOLA Statistiche

VAGLINI, GIGLIOLA  

Mostra records
Risultati 1 - 20 di 119 (tempo di esecuzione: 0.042 secondi).
Titolo Data di pubblicazione Autore(i) File
A FORMULA DRIVEN INCREMENTAL CONSTRUCTION OF WEB SERVICE COMPOSITIONS 1-gen-2009 Santone, Antonella; Vaglini, Gigliola; VILLANI MARIA, Luisa
A Framework for Data-Flow Distributed Processing 1-gen-1980 DE FRANCESCO, Nicoletta; Perego, G; Vanneschi, M; Vaglini, Gigliola
A framework for data-flow distributed processing 1-gen-1980 DE FRANCESCO, Nicoletta; Perego, G.; Vaglini, Gigliola; Vanneschi, Marco
A hyper-heuristic methodology for coordinating swarms of robots in target search 1-gen-2021 Cimino, Mario G. C. A.; Minici, Domenico; Monaco, Manilo; Petrocchi, Stefano; Vaglini, Gigliola
A LOCAL APPROACH FOR TEMPORAL MODEL CHECKING OF JAVA BYTECODE 1-gen-2005 Santone, A.; Vaglini, Gigliola
A new perspective on Process-oriented Software Engineering based on BPMN Process Mining 1-gen-2017 Carmignani, Gionata; Cimino, MARIO GIOVANNI COSIMO ANTONIO; Failli, Franco; Santone, Antonella; Vaglini, Gigliola
A Non-Standard Semantics for Generating Reduced Transition Systems 1-gen-1996 DE FRANCESCO, Nicoletta; Santone, A; Vaglini, Gigliola
A Partial Order Semantics for FIFO-Nets 1-gen-1998 Bernardeschi, Cinzia; DE FRANCESCO, Nicoletta; Vaglini, Gigliola
A Petri Nets Semantics for Data Flow Networks 1-gen-1995 Bernardeschi, Cinzia; DE FRANCESCO, Nicoletta; Vaglini, Gigliola
A stigmergy-based analysis of city hotspots to discover trends and anomalies in urban transportation usage 1-gen-2018 Alfeo, Antonio L.; Cimino, Mario G. C. A.; Egidi, Sara; Lepri, Bruno; Vaglini, Gigliola
A Tableau-based Procedure for Model Checking Programs 1-gen-2002 Santone, A.; Vaglini, Gigliola
A “pay-how-you-drive” car insurance approach through cluster analysis 1-gen-2018 Francesca Carfora, Maria; Martinelli, Fabio; Mercaldo, Francesco; Nardone, Vittoria; Orlando, Albina; Santone, Antonella; Vaglini, Gigliola
Abstract Interpretation of Trace Semantics for Concurrent Calculi 1-gen-1999 Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, Antonella; Vaglini, Gigliola
Abstract reduction in directed model checking CCS processes 1-gen-2012 Santone, A; Vaglini, Gigliola
Adaptive exploration of a UAVs swarm for distributed targets detection and tracking 1-gen-2019 Cimino, Mario G. C. A.; Lega, Massimiliano; Monaco, Manilo; Vaglini, Gigliola
An adaptive stigmergy-based system for evaluating technological indicator dynamics in the context of smart specialization 1-gen-2016 Alfeo, A. L.; Appio, FRANCESCO PAOLO; Cimino, MARIO GIOVANNI COSIMO ANTONIO; Lazzeri, Alessandro; Martini, Antonella; Vaglini, Gigliola
An approach to system design based on P/T net simulation 1-gen-2001 Bernardeschi, Cinzia; DE FRANCESCO, Nicoletta; Vaglini, Gigliola
An Emergent Approach to Text Analysis Based on a Connectionist Model and the Web 1-gen-2013 Cimino, MARIO GIOVANNI COSIMO ANTONIO; Vaglini, Gigliola
An emergent strategy for characterizing urban hotspot dynamics via GPS data 1-gen-2017 Alfeo, Antonio L.; Cimino, MARIO GIOVANNI COSIMO ANTONIO; Egidi, Sara; Lepri, Bruno; Vaglini, Gigliola
An interactive debugger for a concurrent language 1-gen-1985 DE FRANCESCO, Nicoletta; Latella, D.; Vaglini, Gigliola