Model Checking Semantically Annotated Services
Di Pietro, I., Pagliarecci, F., Spalazzi, L.
Published in IEEE transactions on software engineering (01.05.2012)
Published in IEEE transactions on software engineering (01.05.2012)
Get full text
Journal Article
Model checking grid security
Pagliarecci, F., Spalazzi, L., Spegni, F.
Published in Future generation computer systems (01.03.2013)
Published in Future generation computer systems (01.03.2013)
Get full text
Journal Article
Reliability of a smartphone-based home monitoring of freezing of gait in subjects with Parkinson's disease
Pepa, L., Andrenelli, E., Di Biagio, L., Ciabattoni, L., Spalazzi, L., Ceravolo, M.G., Capecci, M.
Published in Annals of physical and rehabilitation medicine (01.07.2018)
Published in Annals of physical and rehabilitation medicine (01.07.2018)
Get full text
Journal Article
Complex activity recognition system based on cascade classifiers and wearable device data
Ciabattoni, L., Foresi, G., Monteriu, A., Pagnotta, D. Proietti, Romeo, L., Spalazzi, L., De Cesare, A.
Published in 2018 IEEE International Conference on Consumer Electronics (ICCE) (01.01.2018)
Published in 2018 IEEE International Conference on Consumer Electronics (ICCE) (01.01.2018)
Get full text
Conference Proceeding
Semantic model checking security requirements for web services
Boaro, L, Glorio, E, Pagliarecci, F, Spalazzi, L
Published in 2010 International Conference on High Performance Computing & Simulation (01.06.2010)
Published in 2010 International Conference on High Performance Computing & Simulation (01.06.2010)
Get full text
Conference Proceeding
Flexible planning by integrating multilevel reasoning
Armando, A., Cimatti, A., Giunchiglia, E., Pecchiari, P., Spalazzi, L., Traverso, P.
Published in Engineering applications of artificial intelligence (1995)
Published in Engineering applications of artificial intelligence (1995)
Get full text
Journal Article
An agent-based supply-chain management
Panti, M., Pagliarecci, R., Spalazzi, L.
Published in Proceedings of the 2005 International Symposium on Collaborative Technologies and Systems, 2005 (2005)
Published in Proceedings of the 2005 International Symposium on Collaborative Technologies and Systems, 2005 (2005)
Get full text
Conference Proceeding
A planning language for embedded systems
SPALAZZI, LUCA
Published in Journal of experimental & theoretical artificial intelligence (01.04.1999)
Published in Journal of experimental & theoretical artificial intelligence (01.04.1999)
Get full text
Journal Article
FCFA: A semantic-based federated cloud framework architecture
Manno, G., Smari, W. W., Spalazzi, L.
Published in 2012 International Conference on High Performance Computing & Simulation (HPCS) (01.07.2012)
Published in 2012 International Conference on High Performance Computing & Simulation (HPCS) (01.07.2012)
Get full text
Conference Proceeding
ASA: A conceptual design-support system
Giretti, Alberto, Spalazzi, Luca
Published in Engineering applications of artificial intelligence (01.02.1997)
Published in Engineering applications of artificial intelligence (01.02.1997)
Get full text
Journal Article
An anomaly-based system for parental control
Cioffi, C., Pagliarecci, F., Spalazzi, L.
Published in 2009 International Conference on High Performance Computing & Simulation (01.06.2009)
Published in 2009 International Conference on High Performance Computing & Simulation (01.06.2009)
Get full text
Conference Proceeding
METAFOL: Program tactics and logic tactics plus reflection
Get full text
Journal Article
Conference Proceeding
A modular environment for software development and re-engineering
Campana, S., Poli, A., Spalazzi, L., Spegni, F.
Published in 2012 Second International Workshop on Developing Tools as Plug-Ins (TOPI) (01.06.2012)
Published in 2012 Second International Workshop on Developing Tools as Plug-Ins (TOPI) (01.06.2012)
Get full text
Conference Proceeding
Business process design framework for B2B collaboration
Boaro, L., Glorio, E., Pagliarecci, F., Spalazzi, L.
Published in 2011 International Conference on Collaboration Technologies and Systems (CTS) (01.05.2011)
Published in 2011 International Conference on Collaboration Technologies and Systems (CTS) (01.05.2011)
Get full text
Conference Proceeding
Semantic Web Service Selection at the Process-Level: The eBay/Amazon/PayPal Case Study
Pietro, Ivan Di, Pagliarecci, Francesco, Spalazzi, Luca, Marconi, Annapaola, Pistore, Marco
Published in 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (09.12.2008)
Published in 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (09.12.2008)
Get full text
Conference Proceeding