Vai alla Homepage del Portale
Dipartimento di Informatica - Scienza e Ingegneria

Pubblicazioni

2007 Elimina filtro
Contributo in atti di convegno Elimina filtro

198 pubblicazioni

  • Ricci Alessandro; Viroli Mirko; Omicini Andrea, A General Purpose Programming Model & Technology for Developing Working Environments in MAS, in: 5th International Workshop "Programming Multi-Agent Systems" (PROMAS 2007), Proceedings, HONOLULU, HAWAII, s.n, 2007, pp. 54 - 69 (atti di: 5th International Workshop "Programming Multi-Agent Systems" (PROMAS 2007), co-located with AAMAS 2007, Honolulu, Hawaii, USA, 15 maggio 2007) [Contributo in Atti di convegno]

  • Oliva Enrico; McBurney Peter; Omicini Andrea, Co-Argumentation Artifact for Agent Societies, in: Proceedings of the 4th International Workshop "Argumentation in Multi-Agent Systems" (ArgMAS 2007), HONOLULU, HAWAII, s.n, 2007, pp. 115 - 130 (atti di: 4th International Workshop "Argumentation in Multi-Agent Systems" (ArgMAS 2007), HONOLULU, HAWAII, USA, 15 maggio 2007) [Contributo in Atti di convegno]

  • Ricci Alessandro; Viroli Mirko; Omicini Andrea, "Give Agents their Artifacts": The A&A Approach for Engineering Working Environments in MAS, in: Proceedings of the 6th International Joint Conference “Autonomous Agents & Multi-Agent Systems” (AAMAS 2007), HONOLULU, HAWAII, IFAAMAS, 2007, pp. 601 - 603 (atti di: 6th International Joint Conference “Autonomous Agents & Multi-Agent Systems” (AAMAS 2007), Honolulu, Hawai'i, USA, 14-18 maggio 2007) [Contributo in Atti di convegno]

  • C.E. Palazzi; M. Gerla; G. Pau; G. Marfia; M. Roccetti; M. Y. Sanadidi, Balancing Video on Demand Flows over Links with Heterogeneous Delays, in: Proceedings 3rd ACM International Mobile Multimedia Communications Conference, NEW YORK, Association for Computing Machinery, 2007, I, pp. 1 - 6 (atti di: 3rd ACM International Mobile Multimedia Communications Conference (Mobimedia 2007), Nafpaktos, Greece, August 2007) [Contributo in Atti di convegno]

  • S. Ferretti; S. Mirri; M. Roccetti; P. Salomoni, Notes for a Collaboration: On the Design of a Wiki-type Educational Video Lecture Annotation System, in: Proceedings First IEEE International Conference on Semantic Computing (IEEE-ICSC'07), LOS ALAMITOS, CA, IEEE Computer Society, 2007, I, pp. 651 - 656 (atti di: IEEE International Workshop on Semantic Computing and Multimedia Systems - IEEE International Conference on Semantic Computing, Irvine, CA, September 2007) [Contributo in Atti di convegno]

  • P. Torroni, Formal Properties of the SCIFF-AF Multiagent Argumentation Framework, in: AA.VV., First International Workshop, ArgNMR 2007, Tempe, Arizona, US, May 14, 2007, Proceedings., s.l, s.n, 2007, pp. 125 - 140 (atti di: Argumentation and NonMonotonic Reasoning, First International Workshop, ArgNMR 2007, Tempe, Arizona, US, May 14, 2007) [Contributo in Atti di convegno]

  • M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; S. Storari; P. Torroni, A computational logic-based approach to verification of IT systems, in: AA.VV., Proceedings of the 14th HP Software University Association Workshop (HP-SUA), Garching/Munich, Germany, July 11-14, 2007., STUTTGART, Infonomics-Consulting, 2007, pp. 115 - 125 (atti di: 14th HP Software University Association Workshop (HP-SUA). Hosted by the Leibniz Computing Center and the Munich Network Management Team, Garching/Munich, Germany, July 11-14, 2007) [Contributo in Atti di convegno]

  • M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; P. Torroni, A rule-based approach for reasoning about collaboration between smart Web services, in: Web Reasoning and Rule Systems First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007. Proceedings, «LECTURE NOTES IN COMPUTER SCIENCE», 2007, 4524, pp. 279 - 288 (atti di: Web Reasoning and Rule Systems, First International Conference (RR2007), Innsbruck , Austria, June 7-8, 2007) [Contributo in Atti di convegno]

  • M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; P. Torroni., Web Service Contracting: Specification and Reasoning with SCIFF, in: The Semantic Web: Research and Applications, «LECTURE NOTES IN COMPUTER SCIENCE», 2007, 4519, pp. 68 - 83 (atti di: The Semantic Web: Research and Applications, 4th European Semantic Web Conference, (ESWC 2007), Innsbruck, Austria, June 3-7, 2007) [Contributo in Atti di convegno]

  • P. Torroni, Formal properties of the SCIFF-AF multiagent argumentation framework, in: AA.VV., Eight International Workshop on Computational Logic in Multi-Agent Systems, CLIMA VIII, Proceedings, s.l, s.n, 2007, pp. 226 - 241 (atti di: Eight International Workshop on Computational Logic in Multi-Agent Systems, CLIMA VIII, Porto, Portugal, 10-11 September 2007) [Contributo in Atti di convegno]

  • V. Bryl; P. Mello; M. Montali; P. Torroni; N. Zannone, B-Tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification, in: Eight International Workshop on Computational Logic in Multi-Agent Systems, CLIMA VIII, Proceedings, s.l, s.n, 2007, pp. 150 - 165 (atti di: Eight International Workshop on Computational Logic in Multi-Agent Systems, CLIMA VIII, Porto, Portugal, 10-11 September 2007) [Contributo in Atti di convegno]

  • V. Bryl; P. Mello; M. Montali; P. Torroni; N. Zannone, Extending Agent-oriented Requirements with Declarative Business Processes: a Computational Logic-based Approach, in: AA.VV., Atti del Quarto Convegno Italiano di Logica Computazionale, s.l, s.n, 2007(atti di: Quarto Convegno Italiano di Logica Computazionale, Messina, 20-21 Giugno 2007) [Contributo in Atti di convegno]

  • E. LAMMA; F. RIGUZZI ; S. STORARI; P. MELLO; M. MONTALI, Learning DecSerFlow Models from Labeled Traces, in: First International Workshop on the Induction of Process Models, s.l, s.n, 2007, pp. 13 - 16 (atti di: First International Workshop on the Induction of Process Models, Corvallis, Oregon, 24/6/2007) [Riassunto (Abstract)]

  • Matteo Casadei; Ronaldo Menezes; Robert Tolksdorf; Mirko Viroli, On the Problem of Over-clustering in Tuple-based Coordination Systems, in: S.N., First IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2007), BOSTON, IEEE Computer Society, 2007, pp. 303 - 306 (atti di: First IEEE International Conference on Self-Adaptive and Self-Organizing Systems, Boston, USA, 9-11/07/2007) [Contributo in Atti di convegno]

  • Urovi V.; Bromuri S.; McGinnis J.; Stathis K.; Omicini A., Experiences in Automated Workflows using Dialectical Argumentation, in: Proceedings of IADIS International Conference Intelligent Systems and Agents, s.l, IADIS Press, 2007, pp. 3 - 8 (atti di: IADIS International Conference Intelligent Systems and Agents, MCCSIS, Lisbon, Portugal, 3-8 agosto 2007) [Contributo in Atti di convegno]

  • M. Golfarelli; S. Rizzi, X-Time: Schema Versioning and Cross-Version Querying in Data Warehouses, in: Proceedings of the 23rd International Conference on Data Engineering, s.l, IEEE, 2007(atti di: 23rd International Conference on Data Engineering (ICDE), Istanbul, Turkey, April 15-20, 2007) [Contributo in Atti di convegno]

  • Casadei Matteo; Omicini Andrea; Viroli Mirko, Prototyping A&A ReSpecT in Maude, in: Proceedings of the 6th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'07), LISBONA, s.n, 2007, pp. 133 - 148 (atti di: 6th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'07), CONCUR 2007, Lisbona, Portogallo, 8 settembre 2007) [Contributo in Atti di convegno]

  • Ricci Alessandro; Mirko Viroli; Maurizio Cimadamore, Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus, in: Proceedings of the 6th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'07), LISBONA, s.n, 2007, pp. 149 - 170 (atti di: 6th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'07), CONCUR 2007, Lisbona, Portogallovv, 8 settembre 2007) [Contributo in Atti di convegno]

  • Maurizio Cimadamore; Mirko Viroli, A Prolog-oriented extension of Java programming based on generics and annotations, in: Principles and Practice of Programming in Java. Proceedings of the 5th International Conference, PPPJ 2007, NEW YORK, ACM, 2007, pp. 197 - 202 (atti di: Principle and Practice of Programming in Java (PPPJ), Lisbona, 07/09/2007) [Contributo in Atti di convegno]

  • Matteo Casadei; Ronaldo Menezes; Mirko Viroli; Robert Tolksdorf, Using Ant's Brood Sorting to Increase Fault Tolerance in Linda's Tuple Distribution Mechanism, in: Cooperative Information Agents XI, Heildeberg Berlin, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2007, 4676, pp. 255 - 269 (atti di: Cooperative Information Agents XI, Delft, The Netherlands, September 19-21) [Contributo in Atti di convegno]