Pistore, Marco

Pistore, Marco  

Centro DIGIS  

Mostra records
Risultati 1 - 20 di 147 (tempo di esecuzione: 0.021 secondi).
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 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 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 A. Bucchiarone; R. Kazhamiakin; M. Pistore; H. Raik
Adaptivity in Dynamic Service-based Systems 1-gen-2012 Bucchiarone, Antonio; Kazhamiakin, Raman; Marconi, Annapaola; Pistore, Marco
Agent-oriented modeling by interleaving formal and informal specification 1-gen-2003 Anna Perini; Marco Pistore; Marco Roveri; Angelo Susi
Agent-oriented modeling by interleaving formal and informal specification 1-gen-2003 Anna Perini; Marco Pistore; Marco Roveri; Angelo Susi
Agree or Change! Making Services Evolve 1-gen-2007 Traverso, Paolo; Pistore, Marco