Pistore, Marco

Pistore, Marco  

Informatica e Telecomunicazioni (cess.31/12/07)  

Mostra records
Risultati 1 - 20 di 42 (tempo di esecuzione: 0.021 secondi).
Titolo Anno di pubblicazione Autori Unitn File
A Framework for Planning with Extended Goals under Partial Observability 1-gen-2003 Pistore, Marco +
A Hierarchical Task-Network Planner based on Symbolic Model Checking 1-gen-2005 Pistore, Marco +
A model checking verification environment for mobile processes In corso di stampa Pistore, Marco +
A model-checking verification environment for mobile processes 1-gen-2003 Pistore, Marco +
A Parametric Communication Model for the Verification of BPEL4WS Compositions 1-gen-2005 Kazhamiakin, RamanPistore, Marco
A partition refinement algorithm for the pi-calculus 1-gen-2001 Pistore, Marco +
A request language for web services based on planning and constraint satisfaction 1-gen-2002 Aiello, MarcoCarman, Mark JamesPistore, Marco +
Adaptivity in Dynamic Service-based Systems 1-gen-2012 A. BucchiaroneR. KazhamiakinA. MarconiM. Pistore
ASTRO-CAptEvo: Dynamic Context-aware Adaptation for Service-based Systems 1-gen-2012 H. RaikA. BucchiaroneN. KhurshidA. MarconiM. Pistore
Automated Synthesis of Composite BPEL4WS Web Services 1-gen-2005 Pistore, MarcoMarconi, Annapaola +
Automated Synthesis of Executable Web Serivce Compositions from BPEL4WS Processes Poster presentation 1-gen-2005 Pistore, MarcoMarconi, Annapaola +
CAptLang: a language for context-aware and adaptable business processes 1-gen-2013 A. BucchiaroneM. Pistore +
A Car Logistics Scenario for Context-Aware Adaptive Service-based Systems 1-gen-2012 A. BucchiaroneN. KhurshidA. MarconiM. PistoreH. Raik
CLIMB: A Pervasive Gameful Platform Promoting Child Independent Mobility 1-gen-2020 Schiavo G.Ferron M.Leonardi C.Marconi A.Massa P.Pistore M. +
'Closed Interval Process Algebra' versus 'Interval Process Algebra' 1-gen-2001 Pistore, Marco +
`Closed interval process algebra' versus `interval process algebra' 1-gen-2001 Pistore, Marco +
Design for Adaptation of Service-Based Applications: Main Issues and Requirements 1-gen-2009 A. BucchiaroneR. KazhamiakinM. Pistore +
Dynamic Adaptation of Fragment-based and Context-aware Business Processes 1-gen-2012 A. BucchiaroneA. MarconiM. PistoreH. Raik
A Framework for Integrating Business Processes and Business Requirements 1-gen-2004 R. KazhamiakinM. PistoreM. Roveri
Graph Rewriting for Agent Oriented Visual Modeling 1-gen-2003 Novikau, AliakseiPistore, Marco +