RICERCA ITALIANA     

Programmi di ricerca simili:

• 1 - Tecniche per la diagnosi, valutazione e adattività per la qualità del servizio nei sistemi informativi (QuaDRAnTIS)
• 2 - Verso un miglior supporto della differenziazione dei servizi in reti 802.11
• 3 - Nuove tecniche e strumenti per l'interrogazione di servizi di ricerca su Web
• 4 - Innovazione di Reti di Servizi Sanitari con tecniche di Supply Chain Management
• 5 - Specifica e verifica di protocolli di interazione fra agenti
• 6 - MOMA: soluzioni middleware per servizi web multiMOdali in MobilitA'
• 7 - D-ASAP: Architetture Software Adattabili e Affidabili per Sistemi Pervasivi
• 8 - flexible SOftware Router PlAtform for Secure Service-specific Overlay networks (SORPASSO)
• 9 - Metodi statistici multivariati per la valutazione integrata della qualità dei servizi di pubblica utilità: efficacia-efficienza, rischio del fornitore, soddisfazione degli utenti
• 10 - Qualità e Controllabilità dei Servizi di Comunicazione su Reti Eterogenee (QuaSAR)

Classificazione scientifico-disciplinare

• Area scientifico disciplinare: Ingegneria industriale e dell'informazione
  • SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI

Classificazione brevettuale

• PHYSICS
  • COMPUTING; CALCULATING; COUNTING (score computers for games A63; combinations of writing applicances with computing devices B43K29/08)
    • ELECTRICAL DIGITAL DATA PROCESSING (computers in which a part of the computation is effected hydraulically or pneumatically G06D; optically G06E; self-contained input or output peripheral equipment G06K; impedance networks using digital techniques H03H) [C9603]

Classificazione geografica

• Regione: Trentino Alto Adige

Bibliografia

[AB04] A. Albore, P. Bertoli. Generating Safe Assumption-Based Plans for Partially Observable, Nondeterministic Domains. To appear in Proc. of AAAI-04.

[Amb03] J.L. Ambite et al. ICAPS03 Workshop on Planning for Web Services, Trento. 2003.

[ABK+02] J.L. Ambite, G. Barish, C.A. Knoblock, M. Muslea, J. Oh, St. Minton. Getting from Here to There: Interactive Planning and Agent Execution for Optimizing Travel. In Proc. IAAI'02. 2002.

[ACD+03] T. Andrews, F. Curbera, H. Dholakia, Y. Goland, J. Klein, F. Leymann, K. Liu, D. Roller, D. Smith, S. Thatte, I. Trickovic, and S. Weerawarana. Business Process Execution Language for Web Services Version 1.1. 2003.

[Ank02] A. Ankolekar. DAML-S: Web Service Description for the Semantic Web. In Proc. of the 1st International Semantic Web Conference (ISWC'02). 2002.

[ACG03] A. Armando, L. Compagna, and P. Ganty. SAT-based Model-Checking of Security Protocols using Planning Graph Analysis. In Proc. FME'03, LNCS 2805, pp. 875-893. Springer, 2003.

[BW90] J.C.M. Baeten and W.P. Weijand. Process Algebra, volume 18 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge, England, 1990.

[BCD+03] D. Berardi, D. Calvanese, G. De Giacomo, M. Lenzerini, and M. Mecella. Automatic Composition of E­services That Export Their Behavior. In Proc. of ICSOC'03, LNCS 2910, pp. 43-58. Springer, 2003.

[BPS01] J.A. Bergstra, A. Ponse, and S. A. Smolka, editors. Handbook of Process Algebra. Elsevier, 2001.

[BCP+01] P. Bertoli, A. Cimatti, M. Pistore, M. Roveri, P. Traverso. MBP: a Model Based Planner. In Proc. of IJCAI'01 workshop on Planning under Uncertainty and Incomplete Information. 2001.

[BCPT03] P. Bertoli, A. Cimatti, M. Pistore, P. Traverso. A Framework for Planning with Extended Goals under Partial Observability. Proc. ICAPS'03, 2003.

[BCRT01] P. Bertoli, A. Cimatti, M. Roveri, P. Traverso. Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking. In Proc. of IJCAI'01. 2001.

[BCT03] P. Bertoli, A. Cimatti, P. Traverso. Interleaving Execution and Planning via Symbolic Model Checking. In Proc. of ICAPS'03 Workshop on Planning under Uncertainty and Incomplete Information. 2003.

[BP04] P. Bertoli, M. Pistore. Planning with Extended Goals and partial Observability. To appear in Proc. of ICAPS'04. 2004.

[BCCZ99] A. Biere, A. Cimatti, E. Clarke, and Y. Zhu. Symbolic model checking without BDDs. In Proc. TACAS '99. LNCS. Springer, 1999.

[BCRZ99] A. Biere, E. Clarke, R. Raimi, and Y. Zhu. Verifying safety properties of a PowerPC microprocessor using symbolic model checking without BDDs. In Proc. CAV'99, pp. 60-71. Springer, 1999.

[BLHL01] T. Berners-Lee, J. Hendler, and O. Lassila. The semantic web. Scientific American, May issue, 2001.

[BLM01] P. Bjesse, T. Leonard, and A. Mokkedem. Finding bugs in an Alpha microprocessor using satisfiability solvers. LNCS, 2102, pp.454-464. Springer 2001.

[BB89] T. Bolognesi and E. Brinksma. Introduction to the ISO Specification Language LOTOS. In The Formal Description Technique LOTOS, pages 23-73. Elsevier, 1989.

[BCP+04] A. Brogi, C. Canal, E. Pimentel, A. Vallecillo. Formalizing Web Services Choreographies. In Proc. 1st International Workshop on Web Services and Formal Methods (WS-FM). 2004.

[Bry92] R.E. Bryant. Symbolic Boolean manipulation with ordered binary-decision diagrams. ACM Computing Surveys, 24(3):293-318, 1992.

[Bun03] A. Bundy. Workshop on Formal Languages for Grid and Web Services, Edimburgh. 2003.

[Bur00] S. Burbeck. The Tao of Web Services, IBM Corporation. 2000.

[CGT03] C. Castellini, E. Giunchiglia, and A. Tacchella. SAT-based planning in complex domains: Concurrency, constraints and nondeterminism. Artificial Intelligence, 147:85-117, 2003.

[CCG+02] A. Cimatti, E. M. Clarke, E. Giunchiglia, F. Giunchiglia, M. Pistore, M. Roveri, R. Sebastiani, A. Tacchella. NuSMV 2: An OpenSource Tool for Symbolic Model Checking. In Proc. of CAV-2002. 2002.

[CGP+02] A. Cimatti, E. Giunchiglia, M. Pistore, M. Roveri, R. Sebastiani, A. Tacchella. Integrating BDD-Based and SAT-Based Symbolic Model Checking. In Proc. of FroCos 2002: 49-56. 2002.

[CPS+99] A. Cimatti, P. Pieraccini, R. Sebastiani, P. Traverso, A. Villafiorita. Formal specification and validation of a vital protocol. In Proc. of World Congress on Formal Methods (FM'99). 1999.

[CPRT03] A. Cimatti, M. Pistore, M. Roveri, P. Traverso. Weak, Strong, and Strong Cyclic Planning via Symbolic Model Checking. Artificial Intelligence, Volume 147 , Issue 1-2. 2003.

[CR00] A. Cimatti, M. Roveri. Conformant Planning via Symbolic Model Checking. In Journal of Artificial Intelligence Research (JAIR), 13:305-338. 2000.

[CGP99] E.M. Clarke, O. Grumberg, and D.A. Peled. Model Checking. The MIT Press, Cambridge, Massachusetts, 1999.

[CFG+01] F. Copty, L. Fix, E. Giunchiglia, G. Kamhi, A. Tacchella, and M. Vardi. Benefits of bounded model checking at an industrial setting. In Proc. CAV'01. Springer, 2001.

[FG00] P. Ferraris and E. Giunchiglia. Planning as satisfiability in nondeterministic domains. In Proc. AAAI'00. 2000.

[FUMK03] H. Foster, S. Uchitel, J. Magee, and J. Kramer. Model­based Verification of Web Service Compositions. In Proc. of the 18th IEEE International Conference on Automated Software Engineering (ASE'03), pages 152-163. IEEE Computer Society Press, 2003.

[GNMS04] P. Giorgini, E. Nicchiarelli, J. Mylopoulous, R. Sebastiani. Formal Reasoning Techniques for Goal Models. Journal of Data Semantics. Springer. 2004.

[GNT01] E. Giunchiglia, M. Narizzano, and A. Tacchella. QUBE: A system for deciding quantified boolean formulas satisfiability. In Proc. IJCAR'01, LNAI 2083, pp. 364-369.

[GNT04] E. Giunchiglia, M. Narizzano, and A. Tacchella. QBF reasoning on real-world instances. In Proc. SAT'04. 2004.

[HCL04] R. Heckel, A. Cherchago, M. Lohmann. A Formal Approach to Service Specification and Matching based on Graph Transformation. In Proc. 1st International Workshop on Web Services and Formal Methods (WS-FM). 2004.

[Hoa84] C.A.R. Hoare. Communicating Sequential Processes. Prentice­Hall, 1984.

[Hol03] G. J. Holzmann. The Spin Model Checker, Primer and Reference Manual. Addison-Wesley, Reading, Massachusetts, 2003.

[HBCS03] R. Hull, M. Benedikt, V. Christophides, and J. Su. E­Services: a Look Behind the Curtain. In ACM, editor, Proceedings of the Twenty­Second ACM SIGMOD­SIGACT­SIGART Symposium on Principles of Database Systems (PODS'03), pages 1-14. ACM Press, 2003.

[KHK+03] J. Koehler, R. Hauser, S. Kapoor, F.Y. Wu, and S. Kumaran. A model-driven transformation method. In Proc. EDOC'03. 2003.

[KTK02] J. Koehler, G. Tirenni, S. Kumaran. From Business Process Model to Consistent Implementation: A Case for Formal Verification Methods, In Proc. of EDOC 2002. 2002.

[LAP03] A. Lazovik, M. Aiello, M. Papazoglou, Planning and Monitoring the Execution of Web Service Requests. In Proc. of ICSOC'03. 2003.

[Ley03] F. Leymann. Web Services: Distributed Applications without Limits - an Outline. In Proc. of the Database Systems For Business, Technology and Web BTW2003, Springer. 2003.

Per problemi di spazio, i riferimenti mancanti si trovano alla fine della Sezione 2.5 (Criteri suggeriti per la valutazione globale e delle singole fasi).

Due to space limitations, the missing references are at the end of Section 2.5 (Suggested criteria for global and single evaluation).

Parole Chiave

INTELLIGENZA ARTIFICIALE; RAGIONAMENTO AUTOMATICO; PIANIFICAZIONE AUTOMATICA; WEB SERVICES