Sfoglia per Autore
A model-checking verification environment for mobile processes
2003-01-01 G., Ferrari; S., Gnesi; U., Montanari; Pistore, Marco
Specifying and analyzing early requirements: some experimental results
2003-01-01 Fuxman, A.; Liu, L.; Pistore, Marco; Roveri, M.; Mylopoulos, Ioannis
Weak, strong, and strong cyclic planning via symbolic model checking
2003-01-01 Cimatti, A.; Pistore, Marco; Roveri, M.; Traverso, P.
The Planning Spectrum - One, Two, Three, Infinity
2003-01-01 Pistore, Marco; M. Y., Vardi
Graph Rewriting for Agent Oriented Visual Modeling
2003-01-01 Novikau, Aliaksei; A., Perini; Pistore, Marco
A Framework for Planning with Extended Goals under Partial Observability
2003-01-01 P., Bertoli; A., Cimatti; Pistore, Marco; P., Traverso
The Tropos methodology: an overview
2004-01-01 Giorgini, Paolo; Mylopoulos, Ioannis; Pistore, Marco; M., Kolp
Specifying and analyzing early requirements in Tropos
2004-01-01 Fuxman, A.; Liu, L.; Mylopoulos, Ioannis; Pistore, Marco; Roveri, M.; Traverso, P.
Planning with Extended Goals and Partial Observability
2004-01-01 P., Bertoli; Pistore, Marco
A Framework for Integrating Business Processes and Business Requirements
2004-01-01 Kazhamiakin, R.; Pistore, M.; Roveri, M.
A Parametric Communication Model for the Verification of BPEL4WS Compositions
2005-01-01 Kazhamiakin, Raman; Pistore, Marco
History-Dependent Automata: An Introduction
2005-01-01 Pistore, Marco; U., Montanari
Process-Level Composition of Executable Web Services: 'On-the-fly' Versus 'Once-for-all' Composition
2005-01-01 Pistore, Marco; P., Roberti; P., Traverso
A Hierarchical Task-Network Planner based on Symbolic Model Checking
2005-01-01 U., Kuter; D., Nau; Pistore, Marco; P., Traverso
Automated Synthesis of Composite BPEL4WS Web Services
2005-01-01 Pistore, Marco; P., Traverso; P., Bertoli; Marconi, Annapaola
Towards an Independent Semantics and Verification Technology for the HLPSL Specification Language
2005-01-01 Massacci, Fabio; Pistore, Marco; A., Gotsman
Automated Synthesis of Executable Web Serivce Compositions from BPEL4WS Processes Poster presentation
2005-01-01 Pistore, Marco; P., Traverso; P., Bertoli; Marconi, Annapaola
Design for Adaptation of Service-Based Applications: Main Issues and Requirements
2009-01-01 Bucchiarone, A.; Cappiello, C.; Di Nitto, E.; Kazhamiakin, R.; Mazza, V.; Pistore, M.
A Car Logistics Scenario for Context-Aware Adaptive Service-based Systems
2012-01-01 Bucchiarone, A.; Khurshid, N.; Marconi, A.; Pistore, M.; Raik, H.
Adaptivity in Dynamic Service-based Systems
2012-01-01 Bucchiarone, A.; Kazhamiakin, R.; Marconi, A.; Pistore, M.
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile