Pubblicazioni
-
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]
-
G. Simari; P. Torroni (a cura di): AA.VV., First International Workshop, ArgNMR 2007, Tempe, Arizona, US, May 14, 2007, Proceedings, SINE LOCO, sine nomine, 2007, pp. 145 . [Curatela]
-
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]
-
G. Simari; P. Torroni, Preface, in: AA.VV., Argumentation and Non-Monotonic Reasoning: An LPNMR Workshop. Tempe, Arizona, US, May 14, 2007. Proceedings., S.L., s.n., 2007, pp. V - V [Breve introduzione]
-
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]
-
M. Alberti; F. Chesani; D. Daolio; M. Gavanelli; E. Lamma; P. Mello; P. Torroni, Specification and Verification of Agent Interaction Protocols in a Logic-based System, «SCALABLE COMPUTING. PRACTICE AND EXPERIENCE», 2007, 8(1), pp. 1 - 13 [Articolo in rivista]
-
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]
-
Omicini A.; Ricci A.; Viroli M., Timed Environment for Web Agents, «WEB INTELLIGENCE AND AGENT SYSTEMS», 2007, 5, pp. 161 - 175 [Articolo in rivista]
-
Blasi D.; Cacace V.; Casone L.; Rizzello M.; Rotolo S.; Bononi L., Ad Hoc Wireless Sensor Networking: Challenges and Issues, «ST JOURNAL», 2007, 4, No.1 (May 2007), pp. 19 - 32 [Articolo in rivista]
-
Bononi L.; Tacconi C., Intrusion Detection for Secure Clustering and Routing in Mobile Multi-hop Wireless Networks, «INTERNATIONAL JOURNAL OF INFORMATION SECURITY», 2007, 6, pp. 379 - 392 [Articolo in rivista]
-
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. Terrovitis; P. Vassiliadis; S. Skiadopoulos; E. Bertino; B. Catania; A. Maddalena; S. Rizzi, Modeling and Language Support for the Management of Pattern-Bases, «DATA & KNOWLEDGE ENGINEERING», 2007, 62, pp. 368 - 397 [Articolo in rivista]
-
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]