Pistore, Marco
Pistore, Marco
MoST
2010 ICSE 2nd International Workshop on Principles of Engineering Service-Oriented Systems (PESOS 2010)
2010-01-01 Grace A., Lewis; A., Metzger; Pistore, Marco; Dennis B., Smith; A., Zisman
A Car Logistics Scenario for Context-Aware Adaptive Service-based Systems
2012-01-01 Bucchiarone, Antonio; Khurshid, Nawaz; Marconi, Annapaola; Pistore, Marco; Raik, Heorhi
A conceptual framework for collective adaptive systems
2013-01-01 Bucchiarone, Antonio; Marconi, Annapaola; Mezzina, Claudio Antares; Pistore, Marco
A Context-Aware Framework for Business Processes Evolution
2011-01-01 Bucchiarone, Antonio; Marconi, Annapaola; Pistore, Marco; Sirbu, Adina Iulia
A context-aware framework for dynamic composition of process fragments in the internet of services
2017-01-01 Bucchiarone, Antonio; Marconi, Annapaola; Pistore, Marco; Raik, Heorhi
A Formalisation of Adaptable Pervasive Flows
2009-01-01 Bucchiarone, Antonio; A., Lluch Lafuente; Marconi, Annapaola; Pistore, Marco
A Framework for Integrating Business Processes and Business Requirements
2004-01-01 Kazhamiakin, Raman; Pistore, Marco; Roveri, Marco
A Framework for Planning with Extended Goals under Partial Observability
2003-01-01 Bertoli, Piergiorgio; Cimatti, Alessandro; Pistore, Marco; Traverso, Paolo
A Framework for Proactive Self-adaptation of Service-Based Applications Based on Online Testing
2008-01-01 Julia, Hielscher; Kazhamiakin, Raman; Andreas, Metzger; Pistore, Marco
A gamification framework for the long-term engagement of smart citizens
2016-01-01 Kazhamiakin, Raman; Marconi, Annapaola; Martinelli, Alberto; Pistore, Marco; Valetto, Giuseppe
A Hierarchical Task-Network Planner Based on Symbolic Model Checking
2005-01-01 U., Kuter; D., Nau; Pistore, Marco; Traverso, Paolo
A Minimalist Approach to Semantic Annotations for Web Processes Compositions
2006-01-01 Pistore, Marco; L., Spalazzi; Traverso, Paolo
A Minimalist Approach to Semantic Annotations for Web Processes Compositions
2006-01-01 Pistore, Marco; L., Spalazzi; Traverso, Paolo
A Parametric Communication Model for the Verification of BPEL4WS Compositions
2005-01-01 Kazhamiakin, Raman; Pistore, Marco
A Request Language for Web-Services Based on Planning and Constraint Satisfaction
2002-01-01 M., Aiello; Mike P., Papazoglou; J., Yang; Carman, Mark James; Pistore, Marco; Serafini, Luciano; Traverso, Paolo
Adaptable Pervasive Flows: Towards a More Intelligent Environment
2011-01-01 Bucchiarone, Antonio; S., Foll; K., Herrmann; Pistore, Marco; Raik, Heorhi
Adaptation of Service-Based Applications Based on Process Quality Factor Analysis
2009-01-01 Kazhamiakin, Raman; Branimir, Wetzstein; Dimka, Karastoyanova; Pistore, Marco; Frank, Leymann
Adaptation of Service-based Business Processes by Context-Aware Replanning
2011-01-01 Bucchiarone, Antonio; Kazhamiakin, Raman; Pistore, Marco; Raik, Heorhi
Agent-oriented modeling by interleaving formal and informal specification
2003-01-01 Perini, Anna; Pistore, Marco; Roveri, Marco; Susi, Angelo
Agent-oriented modeling by interleaving formal and informal specification
2003-01-01 Perini, Anna; Pistore, Marco; Roveri, Marco; Susi, Angelo
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| 2010 ICSE 2nd International Workshop on Principles of Engineering Service-Oriented Systems (PESOS 2010) | 1-gen-2010 | Grace A., Lewis; A., Metzger; Pistore, Marco; Dennis B., Smith; A., Zisman | |
| A Car Logistics Scenario for Context-Aware Adaptive Service-based Systems | 1-gen-2012 | Bucchiarone, Antonio; Khurshid, Nawaz; Marconi, Annapaola; Pistore, Marco; Raik, Heorhi | |
| A conceptual framework for collective adaptive systems | 1-gen-2013 | Bucchiarone, Antonio; Marconi, Annapaola; Mezzina, Claudio Antares; Pistore, Marco | |
| A Context-Aware Framework for Business Processes Evolution | 1-gen-2011 | Bucchiarone, Antonio; Marconi, Annapaola; Pistore, Marco; Sirbu, Adina Iulia | |
| A context-aware framework for dynamic composition of process fragments in the internet of services | 1-gen-2017 | Bucchiarone, Antonio; Marconi, Annapaola; Pistore, Marco; Raik, Heorhi | |
| A Formalisation of Adaptable Pervasive Flows | 1-gen-2009 | Bucchiarone, Antonio; A., Lluch Lafuente; Marconi, Annapaola; Pistore, Marco | |
| A Framework for Integrating Business Processes and Business Requirements | 1-gen-2004 | Kazhamiakin, Raman; Pistore, Marco; Roveri, Marco | |
| A Framework for Planning with Extended Goals under Partial Observability | 1-gen-2003 | Bertoli, Piergiorgio; Cimatti, Alessandro; Pistore, Marco; Traverso, Paolo | |
| A Framework for Proactive Self-adaptation of Service-Based Applications Based on Online Testing | 1-gen-2008 | Julia, Hielscher; Kazhamiakin, Raman; Andreas, Metzger; Pistore, Marco | |
| A gamification framework for the long-term engagement of smart citizens | 1-gen-2016 | Kazhamiakin, Raman; Marconi, Annapaola; Martinelli, Alberto; Pistore, Marco; Valetto, Giuseppe | |
| A Hierarchical Task-Network Planner Based on Symbolic Model Checking | 1-gen-2005 | U., Kuter; D., Nau; Pistore, Marco; Traverso, Paolo | |
| A Minimalist Approach to Semantic Annotations for Web Processes Compositions | 1-gen-2006 | Pistore, Marco; L., Spalazzi; Traverso, Paolo | |
| A Minimalist Approach to Semantic Annotations for Web Processes Compositions | 1-gen-2006 | Pistore, Marco; L., Spalazzi; Traverso, Paolo | |
| A Parametric Communication Model for the Verification of BPEL4WS Compositions | 1-gen-2005 | Kazhamiakin, Raman; Pistore, Marco | |
| A Request Language for Web-Services Based on Planning and Constraint Satisfaction | 1-gen-2002 | M., Aiello; Mike P., Papazoglou; J., Yang; Carman, Mark James; Pistore, Marco; Serafini, Luciano; Traverso, Paolo | |
| Adaptable Pervasive Flows: Towards a More Intelligent Environment | 1-gen-2011 | Bucchiarone, Antonio; S., Foll; K., Herrmann; Pistore, Marco; Raik, Heorhi | |
| Adaptation of Service-Based Applications Based on Process Quality Factor Analysis | 1-gen-2009 | Kazhamiakin, Raman; Branimir, Wetzstein; Dimka, Karastoyanova; Pistore, Marco; Frank, Leymann | |
| Adaptation of Service-based Business Processes by Context-Aware Replanning | 1-gen-2011 | Bucchiarone, Antonio; Kazhamiakin, Raman; Pistore, Marco; Raik, Heorhi | |
| Agent-oriented modeling by interleaving formal and informal specification | 1-gen-2003 | Perini, Anna; Pistore, Marco; Roveri, Marco; Susi, Angelo | |
| Agent-oriented modeling by interleaving formal and informal specification | 1-gen-2003 | Perini, Anna; Pistore, Marco; Roveri, Marco; Susi, Angelo |